xref: /aosp_15_r20/external/llvm/test/CodeGen/X86/sub-with-overflow.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1*9880d681SAndroid Build Coastguard Worker; RUN: llc < %s -mtriple=i686-linux | FileCheck %s
2*9880d681SAndroid Build Coastguard Worker
3*9880d681SAndroid Build Coastguard Worker@ok = internal constant [4 x i8] c"%d\0A\00"
4*9880d681SAndroid Build Coastguard Worker@no = internal constant [4 x i8] c"no\0A\00"
5*9880d681SAndroid Build Coastguard Worker
6*9880d681SAndroid Build Coastguard Workerdefine i1 @func1(i32 %v1, i32 %v2) nounwind {
7*9880d681SAndroid Build Coastguard Workerentry:
8*9880d681SAndroid Build Coastguard Worker  %t = call {i32, i1} @llvm.ssub.with.overflow.i32(i32 %v1, i32 %v2)
9*9880d681SAndroid Build Coastguard Worker  %sum = extractvalue {i32, i1} %t, 0
10*9880d681SAndroid Build Coastguard Worker  %obit = extractvalue {i32, i1} %t, 1
11*9880d681SAndroid Build Coastguard Worker  br i1 %obit, label %overflow, label %normal
12*9880d681SAndroid Build Coastguard Worker
13*9880d681SAndroid Build Coastguard Workernormal:
14*9880d681SAndroid Build Coastguard Worker  %t1 = tail call i32 (i8*, ...) @printf( i8* getelementptr ([4 x i8], [4 x i8]* @ok, i32 0, i32 0), i32 %sum ) nounwind
15*9880d681SAndroid Build Coastguard Worker  ret i1 true
16*9880d681SAndroid Build Coastguard Worker
17*9880d681SAndroid Build Coastguard Workeroverflow:
18*9880d681SAndroid Build Coastguard Worker  %t2 = tail call i32 (i8*, ...) @printf( i8* getelementptr ([4 x i8], [4 x i8]* @no, i32 0, i32 0) ) nounwind
19*9880d681SAndroid Build Coastguard Worker  ret i1 false
20*9880d681SAndroid Build Coastguard Worker
21*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: func1:
22*9880d681SAndroid Build Coastguard Worker; CHECK: subl 20(%esp)
23*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: jno
24*9880d681SAndroid Build Coastguard Worker}
25*9880d681SAndroid Build Coastguard Worker
26*9880d681SAndroid Build Coastguard Workerdefine i1 @func2(i32 %v1, i32 %v2) nounwind {
27*9880d681SAndroid Build Coastguard Workerentry:
28*9880d681SAndroid Build Coastguard Worker  %t = call {i32, i1} @llvm.usub.with.overflow.i32(i32 %v1, i32 %v2)
29*9880d681SAndroid Build Coastguard Worker  %sum = extractvalue {i32, i1} %t, 0
30*9880d681SAndroid Build Coastguard Worker  %obit = extractvalue {i32, i1} %t, 1
31*9880d681SAndroid Build Coastguard Worker  br i1 %obit, label %carry, label %normal
32*9880d681SAndroid Build Coastguard Worker
33*9880d681SAndroid Build Coastguard Workernormal:
34*9880d681SAndroid Build Coastguard Worker  %t1 = tail call i32 (i8*, ...) @printf( i8* getelementptr ([4 x i8], [4 x i8]* @ok, i32 0, i32 0), i32 %sum ) nounwind
35*9880d681SAndroid Build Coastguard Worker  ret i1 true
36*9880d681SAndroid Build Coastguard Worker
37*9880d681SAndroid Build Coastguard Workercarry:
38*9880d681SAndroid Build Coastguard Worker  %t2 = tail call i32 (i8*, ...) @printf( i8* getelementptr ([4 x i8], [4 x i8]* @no, i32 0, i32 0) ) nounwind
39*9880d681SAndroid Build Coastguard Worker  ret i1 false
40*9880d681SAndroid Build Coastguard Worker
41*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: func2:
42*9880d681SAndroid Build Coastguard Worker; CHECK: subl 20(%esp)
43*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: jae
44*9880d681SAndroid Build Coastguard Worker}
45*9880d681SAndroid Build Coastguard Worker
46*9880d681SAndroid Build Coastguard Workerdeclare i32 @printf(i8*, ...) nounwind
47*9880d681SAndroid Build Coastguard Workerdeclare {i32, i1} @llvm.ssub.with.overflow.i32(i32, i32)
48*9880d681SAndroid Build Coastguard Workerdeclare {i32, i1} @llvm.usub.with.overflow.i32(i32, i32)
49*9880d681SAndroid Build Coastguard Worker
50*9880d681SAndroid Build Coastguard Workerdefine i1 @func3(i32 %x) nounwind {
51*9880d681SAndroid Build Coastguard Workerentry:
52*9880d681SAndroid Build Coastguard Worker  %t = call {i32, i1} @llvm.ssub.with.overflow.i32(i32 %x, i32 1)
53*9880d681SAndroid Build Coastguard Worker  %obit = extractvalue {i32, i1} %t, 1
54*9880d681SAndroid Build Coastguard Worker  ret i1 %obit
55*9880d681SAndroid Build Coastguard Worker
56*9880d681SAndroid Build Coastguard Worker; CHECK-LABEL: func3:
57*9880d681SAndroid Build Coastguard Worker; CHECK: decl
58*9880d681SAndroid Build Coastguard Worker; CHECK-NEXT: seto
59*9880d681SAndroid Build Coastguard Worker}
60