diff --git a/cranelift/codegen/src/preopt.peepmatic b/cranelift/codegen/src/preopt.peepmatic index 0833206450..cd988ff7d9 100644 --- a/cranelift/codegen/src/preopt.peepmatic +++ b/cranelift/codegen/src/preopt.peepmatic @@ -113,9 +113,6 @@ ;; Replace with negative 1. (=> (bor_imm -1 $x) -1) -;; Other replacments -(=> (bxor_imm -1 $x) (bnot $x)) - ;; Transform `[(x << N) >> N]` into a (un)signed-extending move. ;; ;; i16 -> i8 -> i16 diff --git a/cranelift/codegen/src/preopt.serialized b/cranelift/codegen/src/preopt.serialized index 896c3ac8d7..1319882a51 100644 Binary files a/cranelift/codegen/src/preopt.serialized and b/cranelift/codegen/src/preopt.serialized differ diff --git a/cranelift/filetests/filetests/peepmatic/simplify64.clif b/cranelift/filetests/filetests/peepmatic/simplify64.clif index 72b4893c70..93c289ccdd 100644 --- a/cranelift/filetests/filetests/peepmatic/simplify64.clif +++ b/cranelift/filetests/filetests/peepmatic/simplify64.clif @@ -324,17 +324,3 @@ block0(v0: i32): ; nextln: v1 = iadd_imm v0, 42 ; nextln: nop ; nextln: return v2 - -function %bxor_imm_32(i32) -> i32 { -block0(v0: i32): - v1 = bxor_imm v0, -1 - ; check: bnot v0 - return v1 -} - -function %bxor_imm_64(i64) -> i64 { -block0(v0: i64): - v1 = bxor_imm v0, -1 - ; check: bnot v0 - return v1 -}