aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
-rw-r--r--simplify.c17
-rw-r--r--validation/optim/bool-zext-test.c1
2 files changed, 7 insertions, 11 deletions
diff --git a/simplify.c b/simplify.c
index b6c07ad9..fb63aa9b 100644
--- a/simplify.c
+++ b/simplify.c
@@ -608,16 +608,13 @@ static int simplify_seteq_setne(struct instruction *insn, long long value)
return REPEAT_CSE;
case OP_ZEXT:
- if (def->orig_type->bit_size == 1) {
- // Convert:
- // zext.m %s <- (1) %a
- // setne.1 %r <- %s, $0
- // into:
- // setne.1 %s <- %a, $0
- // and same for setne/eq ... 0/1
- return replace_pseudo(insn, &insn->src1, def->src1);
- }
- break;
+ // Convert:
+ // zext.m %s <- (1) %a
+ // setne.1 %r <- %s, $0
+ // into:
+ // setne.1 %s <- %a, $0
+ // and same for setne/eq ... 0/1
+ return replace_pseudo(insn, &insn->src1, def->src);
}
return 0;
}
diff --git a/validation/optim/bool-zext-test.c b/validation/optim/bool-zext-test.c
index f837ace2..138938b0 100644
--- a/validation/optim/bool-zext-test.c
+++ b/validation/optim/bool-zext-test.c
@@ -6,7 +6,6 @@ _Bool neu1(unsigned char a) { return a != 1; }
/*
* check-name: bool-zext-test
* check-command: test-linearize -Wno-decl $file
- * check-known-to-fail
*
* check-output-ignore
* check-output-excludes: zext\\.