aboutsummaryrefslogtreecommitdiffstatshomepage
path: root/validation/optim/bool-context-fp.c
diff options
authorLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2017-02-23 13:59:57 +0100
committerLuc Van Oostenryck <luc.vanoostenryck@gmail.com>2018-06-28 18:55:41 +0200
commit22a058c697d310797c6af326345c68739778b7c4 (patch)
tree86078ce96c7bb45c7f21f6b11c2ff2183cbf6c75 /validation/optim/bool-context-fp.c
parente124eabaa61618abd9af2b60ecb1646a9db7091b (diff)
downloadsparse-dev-22a058c697d310797c6af326345c68739778b7c4.tar.gz
bool: generate plain OP_{AND,OR} instead of OP_{AND,OR}_BOOL
Now that OP_AND_BOOL and OP_OR_BOOL are always given boolean operands, they are just a special case of 1 bit OP_AND & OP_OR. To avoid to have to repeat CSE, simplification patterns, ... better to generate plain OP_AND & OP_OR instead. Signed-off-by: Luc Van Oostenryck <luc.vanoostenryck@gmail.com>
Diffstat (limited to 'validation/optim/bool-context-fp.c')
-rw-r--r--validation/optim/bool-context-fp.c8
1 files changed, 4 insertions, 4 deletions
diff --git a/validation/optim/bool-context-fp.c b/validation/optim/bool-context-fp.c
index c3c2e546..50e96825 100644
--- a/validation/optim/bool-context-fp.c
+++ b/validation/optim/bool-context-fp.c
@@ -53,7 +53,7 @@ bfior:
setfval.32 %r19 <- 0.000000
fcmpune.1 %r20 <- %arg1, %r19
fcmpune.1 %r23 <- %arg2, %r19
- or-bool.1 %r24 <- %r20, %r23
+ or.1 %r24 <- %r20, %r23
setne.1 %r26 <- %r24, $0
ret.1 %r26
@@ -64,7 +64,7 @@ ifior:
setfval.32 %r29 <- 0.000000
fcmpune.1 %r30 <- %arg1, %r29
fcmpune.1 %r33 <- %arg2, %r29
- or-bool.1 %r34 <- %r30, %r33
+ or.1 %r34 <- %r30, %r33
zext.32 %r35 <- (1) %r34
ret.32 %r35
@@ -75,7 +75,7 @@ bfand:
setfval.32 %r38 <- 0.000000
fcmpune.1 %r39 <- %arg1, %r38
fcmpune.1 %r42 <- %arg2, %r38
- and-bool.1 %r43 <- %r39, %r42
+ and.1 %r43 <- %r39, %r42
setne.1 %r45 <- %r43, $0
ret.1 %r45
@@ -86,7 +86,7 @@ ifand:
setfval.32 %r48 <- 0.000000
fcmpune.1 %r49 <- %arg1, %r48
fcmpune.1 %r52 <- %arg2, %r48
- and-bool.1 %r53 <- %r49, %r52
+ and.1 %r53 <- %r49, %r52
zext.32 %r54 <- (1) %r53
ret.32 %r54