caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
* [Caml-list] flambda seemingly missing easy optimization
@ 2016-03-29 23:06 Reed Wilson
  2016-03-30  9:51 ` [Caml-list] <DKIM> " Pierre Chambart
  0 siblings, 1 reply; 4+ messages in thread
From: Reed Wilson @ 2016-03-29 23:06 UTC (permalink / raw)
  To: caml-list

[-- Attachment #1: Type: text/plain, Size: 2309 bytes --]

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)
           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
   (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))))
                   1)
                 1)
             (+
               (<<
                 (> (+ (+ s_off_7/1208 len_6/1207) -1) Pintcomp_arg_15/1217)
                 1)
               1))
           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

-- 
ç

[-- Attachment #2: Type: text/html, Size: 3553 bytes --]

^ permalink raw reply	[flat|nested] 4+ messages in thread

end of thread, other threads:[~2016-03-31 19:30 UTC | newest]

Thread overview: 4+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2016-03-29 23:06 [Caml-list] flambda seemingly missing easy optimization Reed Wilson
2016-03-30  9:51 ` [Caml-list] <DKIM> " Pierre Chambart
2016-03-31 15:57   ` Reed Wilson
2016-03-31 19:29     ` Gabriel Scherer

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).