From bdf568b0ef007f0ea814e3ed7844c07c2831f900 Mon Sep 17 00:00:00 2001 From: Jason Gross Date: Sat, 20 May 2017 01:28:33 -0400 Subject: Fix extra opp in freeze No idea why it's valid both ways, but apparently it is. --- src/Compilers/Z/Bounds/Pipeline/Definition.v | 1 + 1 file changed, 1 insertion(+) (limited to 'src') diff --git a/src/Compilers/Z/Bounds/Pipeline/Definition.v b/src/Compilers/Z/Bounds/Pipeline/Definition.v index 5aadc8dfd..5408c944c 100644 --- a/src/Compilers/Z/Bounds/Pipeline/Definition.v +++ b/src/Compilers/Z/Bounds/Pipeline/Definition.v @@ -95,6 +95,7 @@ Definition PostWfPipeline 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 + let e := if opts.(anf) then InlineConstAndOpp (ANormal e) else e in let e := InlineConstAndOpp (Linearize (SimplifyArith true e)) in (*let e := CSE false e in*) let e := MapCast _ e input_bounds in -- cgit v1.2.3