aboutsummaryrefslogtreecommitdiffstatshomepage
diff options
-rw-r--r--simplify.c2
-rw-r--r--validation/optim/lsr-and1.c1
2 files changed, 2 insertions, 1 deletions
diff --git a/simplify.c b/simplify.c
index 0511aa67..b9aa88b1 100644
--- a/simplify.c
+++ b/simplify.c
@@ -685,6 +685,8 @@ static int simplify_shift(struct instruction *insn, pseudo_t pseudo, long long v
nmask = omask & mask;
if (nmask == 0)
return replace_with_pseudo(insn, value_pseudo(0));
+ if (nmask == mask)
+ return replace_pseudo(insn, &insn->src1, def->src1);
if (nbr_users(pseudo) > 1)
break;
def->opcode = OP_LSR;
diff --git a/validation/optim/lsr-and1.c b/validation/optim/lsr-and1.c
index e2eb5059..393679e3 100644
--- a/validation/optim/lsr-and1.c
+++ b/validation/optim/lsr-and1.c
@@ -12,7 +12,6 @@ unsigned lsr_and1(unsigned x)
/*
* check-name: lsr-and1
* check-command: test-linearize -Wno-decl $file
- * check-known-to-fail
*
* check-output-ignore
* check-output-contains: ret\\..*\\$0$