xref: /aosp_15_r20/external/llvm/test/CodeGen/X86/dagcombine-and-setcc.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1*9880d681SAndroid Build Coastguard Worker; RUN: llc < %s | FileCheck %s
2*9880d681SAndroid Build Coastguard Worker
3*9880d681SAndroid Build Coastguard Workertarget datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
4*9880d681SAndroid Build Coastguard Workertarget triple = "x86_64-apple-macosx10.10.0"
5*9880d681SAndroid Build Coastguard Worker
6*9880d681SAndroid Build Coastguard Worker; Function Attrs: nounwind
7*9880d681SAndroid Build Coastguard Workerdeclare i32 @printf(i8* nocapture readonly, ...)
8*9880d681SAndroid Build Coastguard Worker
9*9880d681SAndroid Build Coastguard Worker; On X86 1 is true and 0 is false, so we can't perform the combine:
10*9880d681SAndroid Build Coastguard Worker; (and (setgt X,  true), (setgt Y,  true)) -> (setgt (or X, Y), true)
11*9880d681SAndroid Build Coastguard Worker; This combine only works if the true value is -1.
12*9880d681SAndroid Build Coastguard Worker
13*9880d681SAndroid Build Coastguard Worker
14*9880d681SAndroid Build Coastguard Worker;CHECK: cmpl
15*9880d681SAndroid Build Coastguard Worker;CHECK: setg
16*9880d681SAndroid Build Coastguard Worker;CHECK: cmpl
17*9880d681SAndroid Build Coastguard Worker;CHECK: setg
18*9880d681SAndroid Build Coastguard Worker;CHECK: andb
19*9880d681SAndroid Build Coastguard Worker
20*9880d681SAndroid Build Coastguard Worker@.str = private unnamed_addr constant [4 x i8] c"%d\0A\00", align 1
21*9880d681SAndroid Build Coastguard Worker; Function Attrs: optsize ssp uwtable
22*9880d681SAndroid Build Coastguard Workerdefine i32 @foo(i32 %a, i32 %b, i32 * %c) {
23*9880d681SAndroid Build Coastguard Workerif.else429:
24*9880d681SAndroid Build Coastguard Worker  %cmp.i1144 = icmp eq i32* %c, null
25*9880d681SAndroid Build Coastguard Worker  %cmp430 = icmp slt i32 %a, 2
26*9880d681SAndroid Build Coastguard Worker  %cmp432 = icmp slt i32 %b, 2
27*9880d681SAndroid Build Coastguard Worker  %or.cond710 = or i1 %cmp430, %cmp432
28*9880d681SAndroid Build Coastguard Worker  %or.cond710.not = xor i1 %or.cond710, true
29*9880d681SAndroid Build Coastguard Worker  %brmerge1448 = or i1 %cmp.i1144, %or.cond710.not
30*9880d681SAndroid Build Coastguard Worker  br i1 %brmerge1448, label %ret1, label %ret2
31*9880d681SAndroid Build Coastguard Worker
32*9880d681SAndroid Build Coastguard Workerret1:
33*9880d681SAndroid Build Coastguard Worker  ret i32 0
34*9880d681SAndroid Build Coastguard Worker
35*9880d681SAndroid Build Coastguard Workerret2:
36*9880d681SAndroid Build Coastguard Worker  ret i32 1
37*9880d681SAndroid Build Coastguard Worker}
38*9880d681SAndroid Build Coastguard Worker
39*9880d681SAndroid Build Coastguard Workerdefine i32 @main(i32 %argc, i8** nocapture readnone %argv) {
40*9880d681SAndroid Build Coastguard Worker  %res = alloca i32, align 4
41*9880d681SAndroid Build Coastguard Worker  %t = call i32 @foo(i32 1, i32 2, i32* %res) #3
42*9880d681SAndroid Build Coastguard Worker  %v = call i32 (i8*, ...) @printf(i8* getelementptr inbounds ([4 x i8], [4 x i8]* @.str, i64 0, i64 0), i32 %t)
43*9880d681SAndroid Build Coastguard Worker  ret i32 0
44*9880d681SAndroid Build Coastguard Worker}
45*9880d681SAndroid Build Coastguard Worker
46*9880d681SAndroid Build Coastguard Worker
47*9880d681SAndroid Build Coastguard Worker
48