1 | // RUN: %clang_cc1 -triple=x86_64-linux-gnu -emit-llvm -o - %s | FileCheck %s |
2 | |
3 | // PR8839 |
4 | extern "C" char memmove(); |
5 | |
6 | int main() { |
7 | // CHECK: call {{signext i8|i8}} @memmove() |
8 | return memmove(); |
9 | } |
10 | |
11 | struct S; |
12 | // CHECK: define {{.*}} @_Z9addressofbR1SS0_( |
13 | S *addressof(bool b, S &s, S &t) { |
14 | // CHECK: %[[LVALUE:.*]] = phi |
15 | // CHECK: ret {{.*}}* %[[LVALUE]] |
16 | return __builtin_addressof(b ? s : t); |
17 | } |
18 | |
19 | extern "C" int __builtin_abs(int); // #1 |
20 | long __builtin_abs(long); // #2 |
21 | extern "C" int __builtin_abs(int); // #3 |
22 | |
23 | int x = __builtin_abs(-2); |
24 | // CHECK: store i32 2, i32* @x, align 4 |
25 | |
26 | long y = __builtin_abs(-2l); |
27 | // CHECK: [[Y:%.+]] = call i64 @_Z13__builtin_absl(i64 -2) |
28 | // CHECK: store i64 [[Y]], i64* @y, align 8 |
29 | |
30 | extern const char char_memchr_arg[32]; |
31 | char *memchr_result = __builtin_char_memchr(char_memchr_arg, 123, 32); |
32 | // CHECK: call i8* @memchr(i8* getelementptr inbounds ([32 x i8], [32 x i8]* @char_memchr_arg, i64 0, i64 0), i32 123, i64 32) |
33 | |
34 | int constexpr_overflow_result() { |
35 | constexpr int x = 1; |
36 | // CHECK: alloca i32 |
37 | constexpr int y = 2; |
38 | // CHECK: alloca i32 |
39 | int z; |
40 | // CHECK: [[Z:%.+]] = alloca i32 |
41 | |
42 | __builtin_sadd_overflow(x, y, &z); |
43 | return z; |
44 | // CHECK: [[RET_PTR:%.+]] = extractvalue { i32, i1 } %0, 0 |
45 | // CHECK: store i32 [[RET_PTR]], i32* [[Z]] |
46 | // CHECK: [[RET_VAL:%.+]] = load i32, i32* [[Z]] |
47 | // CHECK: ret i32 [[RET_VAL]] |
48 | } |
49 | |