diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-05-13 18:55:30 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2017-05-14 00:52:04 -0400 |
| commit | 9a3c43c13107b33ea7d109d23c83e81d414f84dd (patch) | |
| tree | 0def08f53367a39347c05411039e5f3a3ad37b96 /src/Compilers | |
| parent | 096a24265d4df0bbb5321c6fa794577bee5cae25 (diff) | |
Comment out CSE in pipeline
Diffstat (limited to 'src/Compilers')
| -rw-r--r-- | src/Compilers/Z/Bounds/Pipeline/Definition.v | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/Compilers/Z/Bounds/Pipeline/Definition.v b/src/Compilers/Z/Bounds/Pipeline/Definition.v index 8ca3c9b46..b9258e4f9 100644 --- a/src/Compilers/Z/Bounds/Pipeline/Definition.v +++ b/src/Compilers/Z/Bounds/Pipeline/Definition.v @@ -61,9 +61,9 @@ Require Import Crypto.Compilers.Z.InlineWf. Require Import Crypto.Compilers.Linearize. Require Import Crypto.Compilers.LinearizeInterp. Require Import Crypto.Compilers.LinearizeWf. -Require Import Crypto.Compilers.Z.CommonSubexpressionElimination. +(*Require Import Crypto.Compilers.Z.CommonSubexpressionElimination. Require Import Crypto.Compilers.Z.CommonSubexpressionEliminationInterp. -Require Import Crypto.Compilers.Z.CommonSubexpressionEliminationWf. +Require Import Crypto.Compilers.Z.CommonSubexpressionEliminationWf.*) Require Import Crypto.Compilers.Z.ArithmeticSimplifierWf. Require Import Crypto.Compilers.Z.Bounds.MapCastByDeBruijn. Require Import Crypto.Compilers.Z.Bounds.MapCastByDeBruijnInterp. @@ -83,7 +83,7 @@ Definition PostWfPipeline let e := SimplifyArith e in let e := ANormal e in let e := InlineConst e in - let e := CSE false e in + (*let e := CSE false e in*) let e := MapCast _ e input_bounds in option_map (projT2_map |