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