Mercurial > urweb
comparison src/mono_reduce.sml @ 1966:b15a4c2cb542
neverInline
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Sun, 09 Feb 2014 19:29:36 -0500 |
parents | fec7beec96c7 |
children | 8ea382a57ce2 |
comparison
equal
deleted
inserted
replaced
1963:fec7beec96c7 | 1966:b15a4c2cb542 |
---|---|
393 | _ => functionInside' t | 393 | _ => functionInside' t |
394 | 394 |
395 fun mayInline (n, e, t, s) = | 395 fun mayInline (n, e, t, s) = |
396 case IM.find (uses, n) of | 396 case IM.find (uses, n) of |
397 NONE => false | 397 NONE => false |
398 | SOME count => count <= 1 | 398 | SOME count => not (Settings.checkNeverInline s) |
399 orelse size e <= Settings.getMonoInline () | 399 andalso (count <= 1 |
400 orelse functionInside t | 400 orelse size e <= Settings.getMonoInline () |
401 orelse Settings.checkAlwaysInline s | 401 orelse functionInside t |
402 orelse Settings.checkAlwaysInline s) | |
402 | 403 |
403 fun summarize d (e, _) = | 404 fun summarize d (e, _) = |
404 let | 405 let |
405 val s = | 406 val s = |
406 case e of | 407 case e of |