Hi list,

I've been playing around with the flambda build of 4.03.0+dev16, and I found some seemingly useless code in the generated assembly and cmm tree that is not returned without flambda.

I made a small function to demonstrate it:

let compare_str_sub p s s_off len =

if s_off < 0 || s_off + len > String.length s

then invalid_arg "Don't do that!";

else p = s

The non-flambda cmm is:

(function camlTest__compare_str_sub_1199

(p/1200: val s/1201: val s_off/1202: val len/1203: val)

(catch

(if (< s_off/1202 1) (exit 2)

(if

(> (+ (+ s_off/1202 len/1203) -1)

(<<

(let tmp/1206 (- (<< (>>u (load int (+a s/1201 -8)) 10) 3) 1)

(- tmp/1206 (load unsigned int8 (+a s/1201 tmp/1206))))

1))

(exit 2) (extcall "caml_string_equal" p/1200 s/1201 val)))

with(2) (app "camlPervasives__invalid_arg_1007" "camlTest__1" val)))

flambda results in:

(function camlTest__compare_str_sub_4

(p_9/1210: val s_8/1209: val s_off_7/1208: val len_6/1207: val)

(catch

(if (< s_off_7/1208 1) (if (!= 3 1) (exit 2) (exit 3))

(if

(!=

(let

Pintcomp_arg_15/1217

(<<

(let

tmp/1221

(- (<< (>>u (load int (+a s_8/1209 -8)) 10) 3) 1)

(- tmp/1221 (load unsigned int8 (+a s_8/1209 tmp/1221))))

(<<

(> (+ (+ s_off_7/1208 len_6/1207) -1) Pintcomp_arg_15/1217)

1))

(exit 2) (exit 3)))

with(3) (extcall "caml_string_equal" p_9/1210 s_8/1209 val))

with(2)

(app{test.ml:18,52-90} "camlPervasives__invalid_arg_279"

"camlTest__apply_arg_31" val)))

The odd code is toward the beginning: (if (!= 3 1) (exit 2) (exit 3))

I don't know a lot about cmm code, but it looks like something the compiler should be able to optimize better. Fiddling with the flambda optimization options doesn't seem to remove it.

Is this just due to how new flambda is, or is there some other reason that code makes it through?

Thanks,

Reed Wlison