diff options
Diffstat (limited to 'src/Compilers/Z/Bounds')
-rw-r--r-- | src/Compilers/Z/Bounds/Pipeline/Definition.v | 18 |
1 files changed, 10 insertions, 8 deletions
diff --git a/src/Compilers/Z/Bounds/Pipeline/Definition.v b/src/Compilers/Z/Bounds/Pipeline/Definition.v index d11d9c906..c1112812a 100644 --- a/src/Compilers/Z/Bounds/Pipeline/Definition.v +++ b/src/Compilers/Z/Bounds/Pipeline/Definition.v @@ -88,9 +88,15 @@ Definition PostWfPreBoundsPipeline {t} (e : Expr base_type op t) : Expr base_type op t := let e := InlineConst e in - let e := InlineConst (SimplifyArith false e) in - let e := InlineConst (SimplifyArith false e) in - let e := InlineConst (SimplifyArith false e) in + let e := InlineConst (Linearize (SimplifyArith false e)) in + let e := InlineConst (Linearize (SimplifyArith false e)) in + let e := InlineConst (Linearize (SimplifyArith false e)) in + let e := InlineConst (Linearize (SimplifyArith false e)) in + let e := InlineConst (Linearize (SimplifyArith false e)) in + let e := InlineConst (Linearize (SimplifyArith false e)) in + let e := InlineConst (Linearize (SimplifyArith false e)) in + let e := InlineConst (Linearize (SimplifyArith false e)) in + let e := InlineConst (Linearize (SimplifyArith false e)) in let e := if opts.(anf) then InlineConst (ANormal e) else e in let e := RewriteAdc e in let e := InlineConstAndOpp (Linearize (SimplifyArith true e)) in @@ -114,11 +120,7 @@ Definition PostWfBoundsPipeline (projT2_map (fun b e' => let e' := InlineConst e' in - (*let e' := InlineConst (Linearize (SimplifyArith false e')) in - let e' := InlineConst (Linearize (SimplifyArith false e')) in - let e' := InlineConst (Linearize (SimplifyArith false e')) in - let e' := InlineConst (Linearize (SimplifyArith false e')) in - let e' := InlineConst (Linearize (SimplifyArith false e')) in + (*let e' := InlineConst (SimplifyArith false e') in let e' := if opts.(anf) then InlineConst (ANormal e') else e' in*) let e' := ExprEta e' in e')) |