xref: /llvm-project/llvm/test/CodeGen/Generic/add-with-overflow.ll (revision 2278f8f5e138dbc0accc340e432cfbb1d5bd763b) 
1; RUN: llvm-as < %s | llc
2
3@ok = internal constant [4 x i8] c"%d\0A\00"
4@no = internal constant [4 x i8] c"no\0A\00"
5
6define i1 @func1(i32 %v1, i32 %v2) nounwind {
7entry:
8  %t = call {i32, i1} @llvm.sadd.with.overflow.i32(i32 %v1, i32 %v2)
9  %sum = extractvalue {i32, i1} %t, 0
10  %obit = extractvalue {i32, i1} %t, 1
11  br i1 %obit, label %overflow, label %normal
12
13normal:
14  %t1 = tail call i32 (i8*, ...)* @printf( i8* getelementptr ([4 x i8]* @ok, i32 0, i32 0), i32 %sum ) nounwind
15  ret i1 true
16
17overflow:
18  %t2 = tail call i32 (i8*, ...)* @printf( i8* getelementptr ([4 x i8]* @no, i32 0, i32 0) ) nounwind
19  ret i1 false
20}
21
22define i1 @func2(i32 %v1, i32 %v2) nounwind {
23entry:
24  %t = call {i32, i1} @llvm.uadd.with.overflow.i32(i32 %v1, i32 %v2)
25  %sum = extractvalue {i32, i1} %t, 0
26  %obit = extractvalue {i32, i1} %t, 1
27  br i1 %obit, label %overflow, label %normal
28
29normal:
30  %t1 = tail call i32 (i8*, ...)* @printf( i8* getelementptr ([4 x i8]* @ok, i32 0, i32 0), i32 %sum ) nounwind
31  ret i1 true
32
33overflow:
34  %t2 = tail call i32 (i8*, ...)* @printf( i8* getelementptr ([4 x i8]* @no, i32 0, i32 0) ) nounwind
35  ret i1 false
36}
37
38declare i32 @printf(i8*, ...) nounwind
39declare {i32, i1} @llvm.sadd.with.overflow.i32(i32, i32)
40declare {i32, i1} @llvm.uadd.with.overflow.i32(i32, i32)
41