1 // Test CodeGen for Security Check Overflow Builtins.
2 // rdar://13421498
3
4 // RUN: %clang_cc1 -triple "i686-unknown-unknown" -emit-llvm -x c %s -o - | FileCheck %s
5 // RUN: %clang_cc1 -triple "x86_64-unknown-unknown" -emit-llvm -x c %s -o - | FileCheck %s
6 // RUN: %clang_cc1 -triple "x86_64-mingw32" -emit-llvm -x c %s -o - | FileCheck %s
7
8 extern unsigned UnsignedErrorCode;
9 extern unsigned long UnsignedLongErrorCode;
10 extern unsigned long long UnsignedLongLongErrorCode;
11 extern int IntErrorCode;
12 extern long LongErrorCode;
13 extern long long LongLongErrorCode;
14
test_uadd_overflow(unsigned x,unsigned y)15 unsigned test_uadd_overflow(unsigned x, unsigned y) {
16 // CHECK: @test_uadd_overflow
17 // CHECK: %{{.+}} = call { i32, i1 } @llvm.uadd.with.overflow.i32(i32 %{{.+}}, i32 %{{.+}})
18 unsigned result;
19 if (__builtin_uadd_overflow(x, y, &result))
20 return UnsignedErrorCode;
21 return result;
22 }
23
test_uaddl_overflow(unsigned long x,unsigned long y)24 unsigned long test_uaddl_overflow(unsigned long x, unsigned long y) {
25 // CHECK: @test_uaddl_overflow([[UL:i32|i64]] %x
26 // CHECK: %{{.+}} = call { [[UL]], i1 } @llvm.uadd.with.overflow.[[UL]]([[UL]] %{{.+}}, [[UL]] %{{.+}})
27 unsigned long result;
28 if (__builtin_uaddl_overflow(x, y, &result))
29 return UnsignedLongErrorCode;
30 return result;
31 }
32
test_uaddll_overflow(unsigned long long x,unsigned long long y)33 unsigned long long test_uaddll_overflow(unsigned long long x, unsigned long long y) {
34 // CHECK: @test_uaddll_overflow
35 // CHECK: %{{.+}} = call { i64, i1 } @llvm.uadd.with.overflow.i64(i64 %{{.+}}, i64 %{{.+}})
36 unsigned long long result;
37 if (__builtin_uaddll_overflow(x, y, &result))
38 return UnsignedLongLongErrorCode;
39 return result;
40 }
41
test_usub_overflow(unsigned x,unsigned y)42 unsigned test_usub_overflow(unsigned x, unsigned y) {
43 // CHECK: @test_usub_overflow
44 // CHECK: %{{.+}} = call { i32, i1 } @llvm.usub.with.overflow.i32(i32 %{{.+}}, i32 %{{.+}})
45 unsigned result;
46 if (__builtin_usub_overflow(x, y, &result))
47 return UnsignedErrorCode;
48 return result;
49 }
50
test_usubl_overflow(unsigned long x,unsigned long y)51 unsigned long test_usubl_overflow(unsigned long x, unsigned long y) {
52 // CHECK: @test_usubl_overflow([[UL:i32|i64]] %x
53 // CHECK: %{{.+}} = call { [[UL]], i1 } @llvm.usub.with.overflow.[[UL]]([[UL]] %{{.+}}, [[UL]] %{{.+}})
54 unsigned long result;
55 if (__builtin_usubl_overflow(x, y, &result))
56 return UnsignedLongErrorCode;
57 return result;
58 }
59
test_usubll_overflow(unsigned long long x,unsigned long long y)60 unsigned long long test_usubll_overflow(unsigned long long x, unsigned long long y) {
61 // CHECK: @test_usubll_overflow
62 // CHECK: %{{.+}} = call { i64, i1 } @llvm.usub.with.overflow.i64(i64 %{{.+}}, i64 %{{.+}})
63 unsigned long long result;
64 if (__builtin_usubll_overflow(x, y, &result))
65 return UnsignedLongLongErrorCode;
66 return result;
67 }
68
test_umul_overflow(unsigned x,unsigned y)69 unsigned test_umul_overflow(unsigned x, unsigned y) {
70 // CHECK: @test_umul_overflow
71 // CHECK: %{{.+}} = call { i32, i1 } @llvm.umul.with.overflow.i32(i32 %{{.+}}, i32 %{{.+}})
72 unsigned result;
73 if (__builtin_umul_overflow(x, y, &result))
74 return UnsignedErrorCode;
75 return result;
76 }
77
test_umull_overflow(unsigned long x,unsigned long y)78 unsigned long test_umull_overflow(unsigned long x, unsigned long y) {
79 // CHECK: @test_umull_overflow([[UL:i32|i64]] %x
80 // CHECK: %{{.+}} = call { [[UL]], i1 } @llvm.umul.with.overflow.[[UL]]([[UL]] %{{.+}}, [[UL]] %{{.+}})
81 unsigned long result;
82 if (__builtin_umull_overflow(x, y, &result))
83 return UnsignedLongErrorCode;
84 return result;
85 }
86
test_umulll_overflow(unsigned long long x,unsigned long long y)87 unsigned long long test_umulll_overflow(unsigned long long x, unsigned long long y) {
88 // CHECK: @test_umulll_overflow
89 // CHECK: %{{.+}} = call { i64, i1 } @llvm.umul.with.overflow.i64(i64 %{{.+}}, i64 %{{.+}})
90 unsigned long long result;
91 if (__builtin_umulll_overflow(x, y, &result))
92 return UnsignedLongLongErrorCode;
93 return result;
94 }
95
test_sadd_overflow(int x,int y)96 int test_sadd_overflow(int x, int y) {
97 // CHECK: @test_sadd_overflow
98 // CHECK: %{{.+}} = call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 %{{.+}}, i32 %{{.+}})
99 int result;
100 if (__builtin_sadd_overflow(x, y, &result))
101 return IntErrorCode;
102 return result;
103 }
104
test_saddl_overflow(long x,long y)105 long test_saddl_overflow(long x, long y) {
106 // CHECK: @test_saddl_overflow([[UL:i32|i64]] %x
107 // CHECK: %{{.+}} = call { [[UL]], i1 } @llvm.sadd.with.overflow.[[UL]]([[UL]] %{{.+}}, [[UL]] %{{.+}})
108 long result;
109 if (__builtin_saddl_overflow(x, y, &result))
110 return LongErrorCode;
111 return result;
112 }
113
test_saddll_overflow(long long x,long long y)114 long long test_saddll_overflow(long long x, long long y) {
115 // CHECK: @test_saddll_overflow
116 // CHECK: %{{.+}} = call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %{{.+}}, i64 %{{.+}})
117 long long result;
118 if (__builtin_saddll_overflow(x, y, &result))
119 return LongLongErrorCode;
120 return result;
121 }
122
test_ssub_overflow(int x,int y)123 int test_ssub_overflow(int x, int y) {
124 // CHECK: @test_ssub_overflow
125 // CHECK: %{{.+}} = call { i32, i1 } @llvm.ssub.with.overflow.i32(i32 %{{.+}}, i32 %{{.+}})
126 int result;
127 if (__builtin_ssub_overflow(x, y, &result))
128 return IntErrorCode;
129 return result;
130 }
131
test_ssubl_overflow(long x,long y)132 long test_ssubl_overflow(long x, long y) {
133 // CHECK: @test_ssubl_overflow([[UL:i32|i64]] %x
134 // CHECK: %{{.+}} = call { [[UL]], i1 } @llvm.ssub.with.overflow.[[UL]]([[UL]] %{{.+}}, [[UL]] %{{.+}})
135 long result;
136 if (__builtin_ssubl_overflow(x, y, &result))
137 return LongErrorCode;
138 return result;
139 }
140
test_ssubll_overflow(long long x,long long y)141 long long test_ssubll_overflow(long long x, long long y) {
142 // CHECK: @test_ssubll_overflow
143 // CHECK: %{{.+}} = call { i64, i1 } @llvm.ssub.with.overflow.i64(i64 %{{.+}}, i64 %{{.+}})
144 long long result;
145 if (__builtin_ssubll_overflow(x, y, &result))
146 return LongLongErrorCode;
147 return result;
148 }
149
test_smul_overflow(int x,int y)150 int test_smul_overflow(int x, int y) {
151 // CHECK: @test_smul_overflow
152 // CHECK: %{{.+}} = call { i32, i1 } @llvm.smul.with.overflow.i32(i32 %{{.+}}, i32 %{{.+}})
153 int result;
154 if (__builtin_smul_overflow(x, y, &result))
155 return IntErrorCode;
156 return result;
157 }
158
test_smull_overflow(long x,long y)159 long test_smull_overflow(long x, long y) {
160 // CHECK: @test_smull_overflow([[UL:i32|i64]] %x
161 // CHECK: %{{.+}} = call { [[UL]], i1 } @llvm.smul.with.overflow.[[UL]]([[UL]] %{{.+}}, [[UL]] %{{.+}})
162 long result;
163 if (__builtin_smull_overflow(x, y, &result))
164 return LongErrorCode;
165 return result;
166 }
167
test_smulll_overflow(long long x,long long y)168 long long test_smulll_overflow(long long x, long long y) {
169 // CHECK: @test_smulll_overflow
170 // CHECK: %{{.+}} = call { i64, i1 } @llvm.smul.with.overflow.i64(i64 %{{.+}}, i64 %{{.+}})
171 long long result;
172 if (__builtin_smulll_overflow(x, y, &result))
173 return LongLongErrorCode;
174 return result;
175 }
176