mirror of
https://github.com/RPCS3/llvm.git
synced 2024-12-30 08:24:12 +00:00
b5838689c6
arithmetic instructions. However, when small data types are used, a truncate node appears between the SETCC node and the arithmetic operation. This patch adds support for this pattern. Before: xorl %esi, %edi testb %dil, %dil setne %al ret After: xorb %dil, %sil setne %al ret rdar://12081007 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@162160 91177308-0d34-0410-b5e6-96231b3b80d8
46 lines
877 B
LLVM
46 lines
877 B
LLVM
; RUN: llc < %s -mtriple=x86_64-apple-macosx | FileCheck %s
|
|
|
|
; rdar://12081007
|
|
|
|
; CHECK: and_1:
|
|
; CHECK: andb
|
|
; CHECK-NEXT: cmovnel
|
|
; CHECK: ret
|
|
define i32 @and_1(i8 zeroext %a, i8 zeroext %b, i32 %x) {
|
|
%1 = and i8 %b, %a
|
|
%2 = icmp ne i8 %1, 0
|
|
%3 = select i1 %2, i32 %x, i32 0
|
|
ret i32 %3
|
|
}
|
|
|
|
; CHECK: and_2:
|
|
; CHECK: andb
|
|
; CHECK-NEXT: setne
|
|
; CHECK: ret
|
|
define zeroext i1 @and_2(i8 zeroext %a, i8 zeroext %b) {
|
|
%1 = and i8 %b, %a
|
|
%2 = icmp ne i8 %1, 0
|
|
ret i1 %2
|
|
}
|
|
|
|
; CHECK: xor_1:
|
|
; CHECK: xorb
|
|
; CHECK-NEXT: cmovnel
|
|
; CHECK: ret
|
|
define i32 @xor_1(i8 zeroext %a, i8 zeroext %b, i32 %x) {
|
|
%1 = xor i8 %b, %a
|
|
%2 = icmp ne i8 %1, 0
|
|
%3 = select i1 %2, i32 %x, i32 0
|
|
ret i32 %3
|
|
}
|
|
|
|
; CHECK: xor_2:
|
|
; CHECK: xorb
|
|
; CHECK-NEXT: setne
|
|
; CHECK: ret
|
|
define zeroext i1 @xor_2(i8 zeroext %a, i8 zeroext %b) {
|
|
%1 = xor i8 %b, %a
|
|
%2 = icmp ne i8 %1, 0
|
|
ret i1 %2
|
|
}
|