| 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 | |