2e3de997ab
If we have a `SETCC (SETCC), 0, NE` and ZeroOrOneBooleanContent, we can remove the outer setcc as it will produce the same value as the inner. This can be generalized to anything where the top bits are known to be 0, as the value will remain as 1 or 0.
42 lines
1.4 KiB
LLVM
42 lines
1.4 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
|
|
; RUN: llc < %s | FileCheck %s
|
|
|
|
target triple = "wasm32-unknown-unknown"
|
|
|
|
define i32 @reassociate_xor(float %x, float %y) {
|
|
; CHECK-LABEL: reassociate_xor:
|
|
; CHECK: .functype reassociate_xor (f32, f32) -> (i32)
|
|
; CHECK-NEXT: .local i32
|
|
; CHECK-NEXT: # %bb.0: # %entry
|
|
; CHECK-NEXT: i32.const 1
|
|
; CHECK-NEXT: local.set 2
|
|
; CHECK-NEXT: block
|
|
; CHECK-NEXT: local.get 1
|
|
; CHECK-NEXT: f32.const 0x1p-23
|
|
; CHECK-NEXT: f32.le
|
|
; CHECK-NEXT: local.get 0
|
|
; CHECK-NEXT: f32.const 0x1p-23
|
|
; CHECK-NEXT: f32.gt
|
|
; CHECK-NEXT: i32.xor
|
|
; CHECK-NEXT: br_if 0 # 0: down to label0
|
|
; CHECK-NEXT: # %bb.1: # %if.then.i
|
|
; CHECK-NEXT: i32.const 0
|
|
; CHECK-NEXT: local.set 2
|
|
; CHECK-NEXT: .LBB0_2: # %if.end.i
|
|
; CHECK-NEXT: end_block # label0:
|
|
; CHECK-NEXT: local.get 2
|
|
; CHECK-NEXT: # fallthrough-return
|
|
entry: ; preds = %if.then, %entry
|
|
%cmp0 = fcmp ule float %x, 0x3E80000000000000
|
|
%cmp1 = fcmp ugt float %y, 0x3E80000000000000
|
|
%cmp2 = xor i1 %cmp0, %cmp1
|
|
br i1 %cmp2, label %if.end.i, label %if.then.i
|
|
|
|
if.then.i: ; preds = %if.end
|
|
br label %if.end.i
|
|
|
|
if.end.i: ; preds = %if.then.i, %if.end
|
|
%s = phi i32 [ 1, %entry ], [ 0, %if.then.i ]
|
|
ret i32 %s
|
|
}
|