jeltz/heptagon
1
0
Fork 0
Code Issues Pull requests Releases Activity

Optimize static evaluation

Browse source 
It greatly reduce the amount of constraints kept.
Indeed, all the constraints : x = x, x /y = x/y, etc
were kept when x and y were local params.
This commit is contained in:
Léonard Gérard 2011-11-14 11:05:16 +01:00
parent ffa37f78af
commit d5858d6dd2
1 changed files with 9 additions and 6 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

15
compiler/global/static.ml
View file

@ -75,7 +75,7 @@ let apply_op partial loc op se_list =
in
let sed_l, has_var = Misc.mapfold has_var_desc false se_list in
if (op.qual = Pervasives) && not has_var
then (
then ( (* concret evaluation *)
match op.name, sed_l with
| "+", [Sint n1; Sint n2] -> Sint (n1 + n2)
| "-", [Sint n1; Sint n2] -> Sint (n1 - n2)
@ -99,11 +99,14 @@ let apply_op partial loc op se_list =
| "~-.", [Sfloat f] -> Sfloat (-. f)
| f,_ -> Misc.internal_error ("Static evaluation failed of the pervasive operator "^f)
)
else
if partial
then Sop(op, se_list) (* partial evaluation *)
else raise (Partial_evaluation (Unknown_op op, loc))
else ( (* symbolic evaluation *)
match op, sed_l with
| {qual = Pervasives; name = "=" }, [sed1;sed2] when sed1 = sed2 -> Sbool true
| _ ->
if partial
then Sop(op, se_list) (* partial evaluation *)
else raise (Partial_evaluation (Unknown_op op, loc))
)