suzanne.soy/tock-mirror
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Corrected the transformation of AFTER for the BYTE type

Browse Source
This commit is contained in:
Neil Brown 2008-03-09 16:26:50 +00:00
parent 668983f1e5
commit c1f0ff92c9
1 changed files with 6 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
transformations/SimplifyExprs.hs
View File

@ -108,8 +108,12 @@ removeAfter = doGeneric `extM` doExpression
= do a' <- removeAfter a
b' <- removeAfter b
t <- typeOfExpression a'
let zero = A.Literal m t $ A.IntLiteral m "0"
return $ A.Dyadic m A.More (A.Dyadic m A.Minus a' b') zero
case t of
A.Byte -> do let one = A.Literal m t $ A.IntLiteral m "1"
oneTwoSeven = A.Literal m t $ A.IntLiteral m "127"
return $ A.Dyadic m A.Less (A.Dyadic m A.Minus (A.Dyadic m A.Minus a' b') one) oneTwoSeven
_ -> do let zero = A.Literal m t $ A.IntLiteral m "0"
return $ A.Dyadic m A.More (A.Dyadic m A.Minus a' b') zero
doExpression e = doGeneric e
-- | For array literals that include other arrays, burst them into their elements.