From 3d472002d74121742f20ab72387d091f38eff4f2 Mon Sep 17 00:00:00 2001
From: azidar
Date: Sat, 23 Jan 2016 17:28:49 -0800
Subject: Removed buggy optimization of dshr and dshl

---
 src/main/stanza/passes.stanza | 20 ++++++++++----------
 1 file changed, 10 insertions(+), 10 deletions(-)

(limited to 'src')

diff --git a/src/main/stanza/passes.stanza b/src/main/stanza/passes.stanza
index 30527af8..eae4aff2 100644
--- a/src/main/stanza/passes.stanza
+++ b/src/main/stanza/passes.stanza
@@ -1898,16 +1898,16 @@ defn const-prop-e (e:Expression) -> Expression :
    match(map(const-prop-e,e)) :
       (e:DoPrim) : 
          switch {op(e) == _} :
-            DYN-SHIFT-RIGHT-OP :
-               match(args(e)[1]) :
-                  (x:UIntValue|SIntValue) :
-                     DoPrim(SHIFT-RIGHT-OP,list(args(e)[0]),list(to-int(value(x))),UnknownType())
-                  (x) : e
-            DYN-SHIFT-LEFT-OP :
-               match(args(e)[1]) :
-                  (x:UIntValue|SIntValue) :
-                     DoPrim(SHIFT-LEFT-OP,list(args(e)[0]),list(to-int(value(x))),UnknownType())
-                  (x) : e
+            ;DYN-SHIFT-RIGHT-OP :
+            ;   match(args(e)[1]) :
+            ;      (x:UIntValue|SIntValue) :
+            ;         DoPrim(SHIFT-RIGHT-OP,list(args(e)[0]),list(to-int(value(x))),UnknownType())
+            ;      (x) : e
+            ;DYN-SHIFT-LEFT-OP :
+            ;   match(args(e)[1]) :
+            ;      (x:UIntValue|SIntValue) :
+            ;         DoPrim(SHIFT-LEFT-OP,list(args(e)[0]),list(to-int(value(x))),UnknownType())
+            ;      (x) : e
             SHIFT-RIGHT-OP :
                match(args(e)[0]) :
                   (x:UIntValue) : 
-- 
cgit v1.2.3