xref: /aosp_15_r20/external/llvm/test/CodeGen/Generic/add-with-overflow.ll (revision 9880d6810fe72a1726cb53787c6711e909410d58)
1*9880d681SAndroid Build Coastguard Worker; RUN: llc < %s
2*9880d681SAndroid Build Coastguard Worker; RUN: llc < %s -fast-isel
3*9880d681SAndroid Build Coastguard Worker
4*9880d681SAndroid Build Coastguard Worker@ok = internal constant [4 x i8] c"%d\0A\00"
5*9880d681SAndroid Build Coastguard Worker@no = internal constant [4 x i8] c"no\0A\00"
6*9880d681SAndroid Build Coastguard Worker
7*9880d681SAndroid Build Coastguard Workerdefine i1 @func1(i32 %v1, i32 %v2) nounwind {
8*9880d681SAndroid Build Coastguard Workerentry:
9*9880d681SAndroid Build Coastguard Worker  %t = call {i32, i1} @llvm.sadd.with.overflow.i32(i32 %v1, i32 %v2)
10*9880d681SAndroid Build Coastguard Worker  %sum = extractvalue {i32, i1} %t, 0
11*9880d681SAndroid Build Coastguard Worker  %obit = extractvalue {i32, i1} %t, 1
12*9880d681SAndroid Build Coastguard Worker  br i1 %obit, label %overflow, label %normal
13*9880d681SAndroid Build Coastguard Worker
14*9880d681SAndroid Build Coastguard Workernormal:
15*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
16*9880d681SAndroid Build Coastguard Worker  ret i1 true
17*9880d681SAndroid Build Coastguard Worker
18*9880d681SAndroid Build Coastguard Workeroverflow:
19*9880d681SAndroid Build Coastguard Worker  %t2 = tail call i32 (i8*, ...) @printf( i8* getelementptr ([4 x i8], [4 x i8]* @no, i32 0, i32 0) ) nounwind
20*9880d681SAndroid Build Coastguard Worker  ret i1 false
21*9880d681SAndroid Build Coastguard Worker}
22*9880d681SAndroid Build Coastguard Worker
23*9880d681SAndroid Build Coastguard Workerdefine i1 @func2(i32 %v1, i32 %v2) nounwind {
24*9880d681SAndroid Build Coastguard Workerentry:
25*9880d681SAndroid Build Coastguard Worker  %t = call {i32, i1} @llvm.uadd.with.overflow.i32(i32 %v1, i32 %v2)
26*9880d681SAndroid Build Coastguard Worker  %sum = extractvalue {i32, i1} %t, 0
27*9880d681SAndroid Build Coastguard Worker  %obit = extractvalue {i32, i1} %t, 1
28*9880d681SAndroid Build Coastguard Worker  br i1 %obit, label %overflow, label %normal
29*9880d681SAndroid Build Coastguard Worker
30*9880d681SAndroid Build Coastguard Workernormal:
31*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
32*9880d681SAndroid Build Coastguard Worker  ret i1 true
33*9880d681SAndroid Build Coastguard Worker
34*9880d681SAndroid Build Coastguard Workeroverflow:
35*9880d681SAndroid Build Coastguard Worker  %t2 = tail call i32 (i8*, ...) @printf( i8* getelementptr ([4 x i8], [4 x i8]* @no, i32 0, i32 0) ) nounwind
36*9880d681SAndroid Build Coastguard Worker  ret i1 false
37*9880d681SAndroid Build Coastguard Worker}
38*9880d681SAndroid Build Coastguard Worker
39*9880d681SAndroid Build Coastguard Workerdeclare i32 @printf(i8*, ...) nounwind
40*9880d681SAndroid Build Coastguard Workerdeclare {i32, i1} @llvm.sadd.with.overflow.i32(i32, i32)
41*9880d681SAndroid Build Coastguard Workerdeclare {i32, i1} @llvm.uadd.with.overflow.i32(i32, i32)
42