1 // RUN: %clang_cc1 -triple x86_64-apple-darwin10 -fsanitize=unsigned-integer-overflow %s -emit-llvm -o - | FileCheck %s 2 // Verify checked operations are emitted for integers and longs. 3 // unsigned short/char's tested in unsigned-promotion.c 4 5 unsigned long li, lj, lk; 6 unsigned int ii, ij, ik; 7 8 extern void opaquelong(unsigned long); 9 extern void opaqueint(unsigned int); 10 11 // CHECK-LABEL: define void @testlongadd() 12 void testlongadd() { 13 14 // CHECK: [[T1:%.*]] = load i64* @lj 15 // CHECK-NEXT: [[T2:%.*]] = load i64* @lk 16 // CHECK-NEXT: [[T3:%.*]] = call { i64, i1 } @llvm.uadd.with.overflow.i64(i64 [[T1]], i64 [[T2]]) 17 // CHECK-NEXT: [[T4:%.*]] = extractvalue { i64, i1 } [[T3]], 0 18 // CHECK-NEXT: [[T5:%.*]] = extractvalue { i64, i1 } [[T3]], 1 19 // CHECK: call void @__ubsan_handle_add_overflow 20 li = lj + lk; 21 } 22 23 // CHECK-LABEL: define void @testlongsub() 24 void testlongsub() { 25 26 // CHECK: [[T1:%.*]] = load i64* @lj 27 // CHECK-NEXT: [[T2:%.*]] = load i64* @lk 28 // CHECK-NEXT: [[T3:%.*]] = call { i64, i1 } @llvm.usub.with.overflow.i64(i64 [[T1]], i64 [[T2]]) 29 // CHECK-NEXT: [[T4:%.*]] = extractvalue { i64, i1 } [[T3]], 0 30 // CHECK-NEXT: [[T5:%.*]] = extractvalue { i64, i1 } [[T3]], 1 31 // CHECK: call void @__ubsan_handle_sub_overflow 32 li = lj - lk; 33 } 34 35 // CHECK-LABEL: define void @testlongmul() 36 void testlongmul() { 37 38 // CHECK: [[T1:%.*]] = load i64* @lj 39 // CHECK-NEXT: [[T2:%.*]] = load i64* @lk 40 // CHECK-NEXT: [[T3:%.*]] = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 [[T1]], i64 [[T2]]) 41 // CHECK-NEXT: [[T4:%.*]] = extractvalue { i64, i1 } [[T3]], 0 42 // CHECK-NEXT: [[T5:%.*]] = extractvalue { i64, i1 } [[T3]], 1 43 // CHECK: call void @__ubsan_handle_mul_overflow 44 li = lj * lk; 45 } 46 47 // CHECK-LABEL: define void @testlongpostinc() 48 void testlongpostinc() { 49 opaquelong(li++); 50 51 // CHECK: [[T1:%.*]] = load i64* @li 52 // CHECK-NEXT: [[T2:%.*]] = call { i64, i1 } @llvm.uadd.with.overflow.i64(i64 [[T1]], i64 1) 53 // CHECK-NEXT: [[T3:%.*]] = extractvalue { i64, i1 } [[T2]], 0 54 // CHECK-NEXT: [[T4:%.*]] = extractvalue { i64, i1 } [[T2]], 1 55 // CHECK: call void @__ubsan_handle_add_overflow 56 } 57 58 // CHECK-LABEL: define void @testlongpreinc() 59 void testlongpreinc() { 60 opaquelong(++li); 61 62 // CHECK: [[T1:%.*]] = load i64* @li 63 // CHECK-NEXT: [[T2:%.*]] = call { i64, i1 } @llvm.uadd.with.overflow.i64(i64 [[T1]], i64 1) 64 // CHECK-NEXT: [[T3:%.*]] = extractvalue { i64, i1 } [[T2]], 0 65 // CHECK-NEXT: [[T4:%.*]] = extractvalue { i64, i1 } [[T2]], 1 66 // CHECK: call void @__ubsan_handle_add_overflow 67 } 68 69 // CHECK-LABEL: define void @testintadd() 70 void testintadd() { 71 72 // CHECK: [[T1:%.*]] = load i32* @ij 73 // CHECK-NEXT: [[T2:%.*]] = load i32* @ik 74 // CHECK-NEXT: [[T3:%.*]] = call { i32, i1 } @llvm.uadd.with.overflow.i32(i32 [[T1]], i32 [[T2]]) 75 // CHECK-NEXT: [[T4:%.*]] = extractvalue { i32, i1 } [[T3]], 0 76 // CHECK-NEXT: [[T5:%.*]] = extractvalue { i32, i1 } [[T3]], 1 77 // CHECK: call void @__ubsan_handle_add_overflow 78 ii = ij + ik; 79 } 80 81 // CHECK-LABEL: define void @testintsub() 82 void testintsub() { 83 84 // CHECK: [[T1:%.*]] = load i32* @ij 85 // CHECK-NEXT: [[T2:%.*]] = load i32* @ik 86 // CHECK-NEXT: [[T3:%.*]] = call { i32, i1 } @llvm.usub.with.overflow.i32(i32 [[T1]], i32 [[T2]]) 87 // CHECK-NEXT: [[T4:%.*]] = extractvalue { i32, i1 } [[T3]], 0 88 // CHECK-NEXT: [[T5:%.*]] = extractvalue { i32, i1 } [[T3]], 1 89 // CHECK: call void @__ubsan_handle_sub_overflow 90 ii = ij - ik; 91 } 92 93 // CHECK-LABEL: define void @testintmul() 94 void testintmul() { 95 96 // CHECK: [[T1:%.*]] = load i32* @ij 97 // CHECK-NEXT: [[T2:%.*]] = load i32* @ik 98 // CHECK-NEXT: [[T3:%.*]] = call { i32, i1 } @llvm.umul.with.overflow.i32(i32 [[T1]], i32 [[T2]]) 99 // CHECK-NEXT: [[T4:%.*]] = extractvalue { i32, i1 } [[T3]], 0 100 // CHECK-NEXT: [[T5:%.*]] = extractvalue { i32, i1 } [[T3]], 1 101 // CHECK: call void @__ubsan_handle_mul_overflow 102 ii = ij * ik; 103 } 104 105 // CHECK-LABEL: define void @testintpostinc() 106 void testintpostinc() { 107 opaqueint(ii++); 108 109 // CHECK: [[T1:%.*]] = load i32* @ii 110 // CHECK-NEXT: [[T2:%.*]] = call { i32, i1 } @llvm.uadd.with.overflow.i32(i32 [[T1]], i32 1) 111 // CHECK-NEXT: [[T3:%.*]] = extractvalue { i32, i1 } [[T2]], 0 112 // CHECK-NEXT: [[T4:%.*]] = extractvalue { i32, i1 } [[T2]], 1 113 // CHECK: call void @__ubsan_handle_add_overflow 114 } 115 116 // CHECK-LABEL: define void @testintpreinc() 117 void testintpreinc() { 118 opaqueint(++ii); 119 120 // CHECK: [[T1:%.*]] = load i32* @ii 121 // CHECK-NEXT: [[T2:%.*]] = call { i32, i1 } @llvm.uadd.with.overflow.i32(i32 [[T1]], i32 1) 122 // CHECK-NEXT: [[T3:%.*]] = extractvalue { i32, i1 } [[T2]], 0 123 // CHECK-NEXT: [[T4:%.*]] = extractvalue { i32, i1 } [[T2]], 1 124 // CHECK: call void @__ubsan_handle_add_overflow 125 } 126
