Will Dietz | b854036 | 2012-11-27 15:01:55 +0000 | [diff] [blame] | 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 | |
Stephen Lin | 93ab6bf | 2013-08-15 06:47:53 +0000 | [diff] [blame] | 11 | // CHECK-LABEL: define void @testlongadd() |
Will Dietz | b854036 | 2012-11-27 15:01:55 +0000 | [diff] [blame] | 12 | void testlongadd() { |
| 13 | |
Pirama Arumuga Nainar | 3ea9e33 | 2015-04-08 08:57:32 -0700 | [diff] [blame] | 14 | // CHECK: [[T1:%.*]] = load i64, i64* @lj |
| 15 | // CHECK-NEXT: [[T2:%.*]] = load i64, i64* @lk |
Will Dietz | b854036 | 2012-11-27 15:01:55 +0000 | [diff] [blame] | 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 | |
Stephen Lin | 93ab6bf | 2013-08-15 06:47:53 +0000 | [diff] [blame] | 23 | // CHECK-LABEL: define void @testlongsub() |
Will Dietz | b854036 | 2012-11-27 15:01:55 +0000 | [diff] [blame] | 24 | void testlongsub() { |
| 25 | |
Pirama Arumuga Nainar | 3ea9e33 | 2015-04-08 08:57:32 -0700 | [diff] [blame] | 26 | // CHECK: [[T1:%.*]] = load i64, i64* @lj |
| 27 | // CHECK-NEXT: [[T2:%.*]] = load i64, i64* @lk |
Will Dietz | b854036 | 2012-11-27 15:01:55 +0000 | [diff] [blame] | 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 | |
Stephen Lin | 93ab6bf | 2013-08-15 06:47:53 +0000 | [diff] [blame] | 35 | // CHECK-LABEL: define void @testlongmul() |
Will Dietz | b854036 | 2012-11-27 15:01:55 +0000 | [diff] [blame] | 36 | void testlongmul() { |
| 37 | |
Pirama Arumuga Nainar | 3ea9e33 | 2015-04-08 08:57:32 -0700 | [diff] [blame] | 38 | // CHECK: [[T1:%.*]] = load i64, i64* @lj |
| 39 | // CHECK-NEXT: [[T2:%.*]] = load i64, i64* @lk |
Will Dietz | b854036 | 2012-11-27 15:01:55 +0000 | [diff] [blame] | 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 | |
Stephen Lin | 93ab6bf | 2013-08-15 06:47:53 +0000 | [diff] [blame] | 47 | // CHECK-LABEL: define void @testlongpostinc() |
Will Dietz | b854036 | 2012-11-27 15:01:55 +0000 | [diff] [blame] | 48 | void testlongpostinc() { |
| 49 | opaquelong(li++); |
| 50 | |
Pirama Arumuga Nainar | 3ea9e33 | 2015-04-08 08:57:32 -0700 | [diff] [blame] | 51 | // CHECK: [[T1:%.*]] = load i64, i64* @li |
Will Dietz | b854036 | 2012-11-27 15:01:55 +0000 | [diff] [blame] | 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 | |
Stephen Lin | 93ab6bf | 2013-08-15 06:47:53 +0000 | [diff] [blame] | 58 | // CHECK-LABEL: define void @testlongpreinc() |
Will Dietz | b854036 | 2012-11-27 15:01:55 +0000 | [diff] [blame] | 59 | void testlongpreinc() { |
| 60 | opaquelong(++li); |
| 61 | |
Pirama Arumuga Nainar | 3ea9e33 | 2015-04-08 08:57:32 -0700 | [diff] [blame] | 62 | // CHECK: [[T1:%.*]] = load i64, i64* @li |
Will Dietz | b854036 | 2012-11-27 15:01:55 +0000 | [diff] [blame] | 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 | |
Stephen Lin | 93ab6bf | 2013-08-15 06:47:53 +0000 | [diff] [blame] | 69 | // CHECK-LABEL: define void @testintadd() |
Will Dietz | b854036 | 2012-11-27 15:01:55 +0000 | [diff] [blame] | 70 | void testintadd() { |
| 71 | |
Pirama Arumuga Nainar | 3ea9e33 | 2015-04-08 08:57:32 -0700 | [diff] [blame] | 72 | // CHECK: [[T1:%.*]] = load i32, i32* @ij |
| 73 | // CHECK-NEXT: [[T2:%.*]] = load i32, i32* @ik |
Will Dietz | b854036 | 2012-11-27 15:01:55 +0000 | [diff] [blame] | 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 | |
Stephen Lin | 93ab6bf | 2013-08-15 06:47:53 +0000 | [diff] [blame] | 81 | // CHECK-LABEL: define void @testintsub() |
Will Dietz | b854036 | 2012-11-27 15:01:55 +0000 | [diff] [blame] | 82 | void testintsub() { |
| 83 | |
Pirama Arumuga Nainar | 3ea9e33 | 2015-04-08 08:57:32 -0700 | [diff] [blame] | 84 | // CHECK: [[T1:%.*]] = load i32, i32* @ij |
| 85 | // CHECK-NEXT: [[T2:%.*]] = load i32, i32* @ik |
Will Dietz | b854036 | 2012-11-27 15:01:55 +0000 | [diff] [blame] | 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 | |
Stephen Lin | 93ab6bf | 2013-08-15 06:47:53 +0000 | [diff] [blame] | 93 | // CHECK-LABEL: define void @testintmul() |
Will Dietz | b854036 | 2012-11-27 15:01:55 +0000 | [diff] [blame] | 94 | void testintmul() { |
| 95 | |
Pirama Arumuga Nainar | 3ea9e33 | 2015-04-08 08:57:32 -0700 | [diff] [blame] | 96 | // CHECK: [[T1:%.*]] = load i32, i32* @ij |
| 97 | // CHECK-NEXT: [[T2:%.*]] = load i32, i32* @ik |
Will Dietz | b854036 | 2012-11-27 15:01:55 +0000 | [diff] [blame] | 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 | |
Stephen Lin | 93ab6bf | 2013-08-15 06:47:53 +0000 | [diff] [blame] | 105 | // CHECK-LABEL: define void @testintpostinc() |
Will Dietz | b854036 | 2012-11-27 15:01:55 +0000 | [diff] [blame] | 106 | void testintpostinc() { |
| 107 | opaqueint(ii++); |
| 108 | |
Pirama Arumuga Nainar | 3ea9e33 | 2015-04-08 08:57:32 -0700 | [diff] [blame] | 109 | // CHECK: [[T1:%.*]] = load i32, i32* @ii |
Will Dietz | b854036 | 2012-11-27 15:01:55 +0000 | [diff] [blame] | 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 | |
Stephen Lin | 93ab6bf | 2013-08-15 06:47:53 +0000 | [diff] [blame] | 116 | // CHECK-LABEL: define void @testintpreinc() |
Will Dietz | b854036 | 2012-11-27 15:01:55 +0000 | [diff] [blame] | 117 | void testintpreinc() { |
| 118 | opaqueint(++ii); |
| 119 | |
Pirama Arumuga Nainar | 3ea9e33 | 2015-04-08 08:57:32 -0700 | [diff] [blame] | 120 | // CHECK: [[T1:%.*]] = load i32, i32* @ii |
Will Dietz | b854036 | 2012-11-27 15:01:55 +0000 | [diff] [blame] | 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 | } |