Lines Matching full:checks
5 // RUN: -fsanitize=signed-integer-overflow | FileCheck %s --check-prefix=CHECKS
15 // CHECKS: define void @testshortadd()
18 // CHECKS: load i16* @sj
19 // CHECKS: load i16* @sk
20 // CHECKS: [[T1:%.*]] = call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 [[T2:%.*]], i32 [[T3:%.*]])
21 // CHECKS-NEXT: [[T4:%.*]] = extractvalue { i32, i1 } [[T1]], 0
22 // CHECKS-NEXT: [[T5:%.*]] = extractvalue { i32, i1 } [[T1]], 1
23 // CHECKS: call void @__ubsan_handle_add_overflow
36 // CHECKS: define void @testshortsub()
40 // CHECKS: load i16* @sj
41 // CHECKS: load i16* @sk
42 // CHECKS: [[T1:%.*]] = call { i32, i1 } @llvm.ssub.with.overflow.i32(i32 [[T2:%.*]], i32 [[T3:%.*]])
43 // CHECKS-NEXT: [[T4:%.*]] = extractvalue { i32, i1 } [[T1]], 0
44 // CHECKS-NEXT: [[T5:%.*]] = extractvalue { i32, i1 } [[T1]], 1
45 // CHECKS: call void @__ubsan_handle_sub_overflow
58 // CHECKS: define void @testshortmul()
62 // CHECKS: load i16* @sj
63 // CHECKS: load i16* @sk
64 // CHECKS: [[T1:%.*]] = call { i32, i1 } @llvm.smul.with.overflow.i32(i32 [[T2:%.*]], i32 [[T3:%.*]])
65 // CHECKS-NEXT: [[T4:%.*]] = extractvalue { i32, i1 } [[T1]], 0
66 // CHECKS-NEXT: [[T5:%.*]] = extractvalue { i32, i1 } [[T1]], 1
67 // CHECKS: call void @__ubsan_handle_mul_overflow
79 // CHECKS: define void @testcharadd()
83 // CHECKS: load i8* @cj
84 // CHECKS: load i8* @ck
85 // CHECKS: [[T1:%.*]] = call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 [[T2:%.*]], i32 [[T3:%.*]])
86 // CHECKS-NEXT: [[T4:%.*]] = extractvalue { i32, i1 } [[T1]], 0
87 // CHECKS-NEXT: [[T5:%.*]] = extractvalue { i32, i1 } [[T1]], 1
88 // CHECKS: call void @__ubsan_handle_add_overflow
101 // CHECKS: define void @testcharsub()
105 // CHECKS: load i8* @cj
106 // CHECKS: load i8* @ck
107 // CHECKS: [[T1:%.*]] = call { i32, i1 } @llvm.ssub.with.overflow.i32(i32 [[T2:%.*]], i32 [[T3:%.*]])
108 // CHECKS-NEXT: [[T4:%.*]] = extractvalue { i32, i1 } [[T1]], 0
109 // CHECKS-NEXT: [[T5:%.*]] = extractvalue { i32, i1 } [[T1]], 1
110 // CHECKS: call void @__ubsan_handle_sub_overflow
123 // CHECKS: define void @testcharmul()
127 // CHECKS: load i8* @cj
128 // CHECKS: load i8* @ck
129 // CHECKS: [[T1:%.*]] = call { i32, i1 } @llvm.smul.with.overflow.i32(i32 [[T2:%.*]], i32 [[T3:%.*]])
130 // CHECKS-NEXT: [[T4:%.*]] = extractvalue { i32, i1 } [[T1]], 0
131 // CHECKS-NEXT: [[T5:%.*]] = extractvalue { i32, i1 } [[T1]], 1
132 // CHECKS: call void @__ubsan_handle_mul_overflow
