diff options
| author | azidar | 2016-01-23 17:28:49 -0800 |
|---|---|---|
| committer | azidar | 2016-01-23 17:28:49 -0800 |
| commit | 3d472002d74121742f20ab72387d091f38eff4f2 (patch) | |
| tree | d4ade67ae318c29aaa74d6ae5c222abd7685cb15 /src | |
| parent | c241ed5e77a84634c5d4729b44b07436c0472a42 (diff) | |
Removed buggy optimization of dshr and dshl
Diffstat (limited to 'src')
| -rw-r--r-- | src/main/stanza/passes.stanza | 20 |
1 files changed, 10 insertions, 10 deletions
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) : |