diff options
| -rw-r--r-- | simplify.c | 7 | ||||
| -rw-r--r-- | validation/optim/and-or-bfx.c | 1 | ||||
| -rw-r--r-- | validation/optim/and-or-lsrx.c | 1 | ||||
| -rw-r--r-- | validation/optim/and-or-maskx.c | 1 |
4 files changed, 5 insertions, 5 deletions
@@ -620,11 +620,14 @@ static int simplify_mask_or(struct instruction *insn, unsigned long long mask, s { pseudo_t src1 = or->src1; pseudo_t src2 = or->src2; + int rc; if (def_opcode(src1) == OP_AND) - return simplify_mask_or_and(insn, mask, src1, src2); + if ((rc = simplify_mask_or_and(insn, mask, src1, src2))) + return rc; if (def_opcode(src2) == OP_AND) - return simplify_mask_or_and(insn, mask, src2, src1); + if ((rc = simplify_mask_or_and(insn, mask, src2, src1))) + return rc; return 0; } diff --git a/validation/optim/and-or-bfx.c b/validation/optim/and-or-bfx.c index ed04e2d3..57a54cf5 100644 --- a/validation/optim/and-or-bfx.c +++ b/validation/optim/and-or-bfx.c @@ -11,7 +11,6 @@ void foo(struct s *p, int a, int b) /* * check-name: and-or-bfx * check-command: test-linearize -Wno-decl $file - * check-known-to-fail * * check-output-ignore * check-output-pattern(2): and\\. diff --git a/validation/optim/and-or-lsrx.c b/validation/optim/and-or-lsrx.c index 0b7d8f44..31adca92 100644 --- a/validation/optim/and-or-lsrx.c +++ b/validation/optim/and-or-lsrx.c @@ -6,7 +6,6 @@ unsigned int foo(unsigned int x, unsigned int y, unsigned int a) /* * check-name: and-or-lsrx * check-command: test-linearize -Wno-decl $file - * check-known-to-fail * * check-output-ignore * check-output-pattern(1): and\\. diff --git a/validation/optim/and-or-maskx.c b/validation/optim/and-or-maskx.c index 497c1a60..21d44e8d 100644 --- a/validation/optim/and-or-maskx.c +++ b/validation/optim/and-or-maskx.c @@ -6,7 +6,6 @@ int foo(int x, int y, int a) /* * check-name: and-or-maskx * check-command: test-linearize -Wno-decl $file - * check-known-to-fail * * check-output-ignore * check-output-pattern(2): and\\. |