69f3552d5e
Optimize ((signext (xor (trunc X), imm)) to (xor (X, imm)). Fix https://github.com/llvm/llvm-project/issues/99783
46 lines
1.2 KiB
LLVM
46 lines
1.2 KiB
LLVM
; RUN: llc -O3 -mcpu=mips64 -mtriple=mips64el-unknown-linux-gnuabi64 < %s -o - | FileCheck %s
|
|
|
|
define noundef signext i32 @xor_and(i32 noundef signext %a, i32 noundef signext %b) local_unnamed_addr {
|
|
; CHECK-LABEL: xor_and:
|
|
; CHECK: # %bb.0: # %entry
|
|
; CHECK-NEXT: and $1, $5, $4
|
|
; CHECK-NEXT: daddiu $2, $zero, -1
|
|
; CHECK-NEXT: jr $ra
|
|
; CHECK-NEXT: xor $2, $1, $2
|
|
|
|
entry:
|
|
%0 = and i32 %b, %a
|
|
%or1 = xor i32 %0, -1
|
|
ret i32 %or1
|
|
}
|
|
|
|
define noundef signext i32 @input_i16(i16 noundef signext %a, i16 noundef signext %b) local_unnamed_addr {
|
|
; CHECK-LABEL: input_i16:
|
|
; CHECK: # %bb.0: # %entry
|
|
; CHECK-NEXT: and $1, $5, $4
|
|
; CHECK-NEXT: daddiu $2, $zero, -1
|
|
; CHECK-NEXT: jr $ra
|
|
; CHECK-NEXT: xor $2, $1, $2
|
|
|
|
entry:
|
|
%0 = and i16 %b, %a
|
|
%1 = xor i16 %0, -1
|
|
%or4 = sext i16 %1 to i32
|
|
ret i32 %or4
|
|
}
|
|
|
|
define i64 @return_i64(i32 noundef signext %a, i32 noundef signext %b) local_unnamed_addr {
|
|
; CHECK-LABEL: return_i64:
|
|
; CHECK: # %bb.0: # %entry
|
|
; CHECK-NEXT: and $1, $5, $4
|
|
; CHECK-NEXT: daddiu $2, $zero, -1
|
|
; CHECK-NEXT: jr $ra
|
|
; CHECK-NEXT: xor $2, $1, $2
|
|
|
|
entry:
|
|
%0 = and i32 %b, %a
|
|
%or1 = xor i32 %0, -1
|
|
%conv = sext i32 %or1 to i64
|
|
ret i64 %conv
|
|
}
|