From c41f7f2b356a509b9465985a4054a2e27a395e66 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sat, 17 Jun 2017 23:48:02 -0400 Subject: Try more simplification --- src/Compilers/Z/Bounds/Pipeline/Definition.v | 18 ++++++++++-------- 1 file changed, 10 insertions(+), 8 deletions(-) (limited to 'src') 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')) -- cgit v1.2.3