| Warren Hunt | 5d80bfa | 2013-11-02 00:34:45 +0000 | [diff] [blame] | 1 | // RUN: %clang_cc1 -triple=x86_64-linux-gnu -emit-llvm -o - %s | FileCheck %s |
| Douglas Gregor | 9246b68 | 2010-12-21 19:47:46 +0000 | [diff] [blame] | 2 | |
| 3 | // PR8839 |
| 4 | extern "C" char memmove(); |
| 5 | |
| 6 | int main() { |
| Tim Northover | dd9809d | 2013-02-07 15:11:36 +0000 | [diff] [blame] | 7 | // CHECK: call {{signext i8|i8}} @memmove() |
| Douglas Gregor | 9246b68 | 2010-12-21 19:47:46 +0000 | [diff] [blame] | 8 | return memmove(); |
| 9 | } |
| Richard Smith | 6cbd65d | 2013-07-11 02:27:57 +0000 | [diff] [blame] | 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 | } |
| Warren Hunt | 445d83e | 2013-11-01 23:46:51 +0000 | [diff] [blame] | 18 | |
| 19 | extern "C" int __builtin_abs(int); // #1 |
| Warren Hunt | 5d80bfa | 2013-11-02 00:34:45 +0000 | [diff] [blame] | 20 | long __builtin_abs(long); // #2 |
| Warren Hunt | 445d83e | 2013-11-01 23:46:51 +0000 | [diff] [blame] | 21 | extern "C" int __builtin_abs(int); // #3 |
| 22 | |
| 23 | int x = __builtin_abs(-2); |
| NAKAMURA Takumi | 9f6383c | 2013-11-02 02:58:42 +0000 | [diff] [blame] | 24 | // CHECK: store i32 2, i32* @x, align 4 |
| Warren Hunt | 445d83e | 2013-11-01 23:46:51 +0000 | [diff] [blame] | 25 | |
| Warren Hunt | 5d80bfa | 2013-11-02 00:34:45 +0000 | [diff] [blame] | 26 | long y = __builtin_abs(-2l); |
| NAKAMURA Takumi | 9f6383c | 2013-11-02 02:58:42 +0000 | [diff] [blame] | 27 | // CHECK: [[Y:%.+]] = call i64 @_Z13__builtin_absl(i64 -2) |
| 28 | // CHECK: store i64 [[Y]], i64* @y, align 8 |
| Richard Smith | 5e29dd3 | 2017-01-20 00:45:35 +0000 | [diff] [blame] | 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, i32 0, i32 0), i32 123, i64 32) |
| Erich Keane | cb54964 | 2018-07-05 15:52:58 +0000 | [diff] [blame] | 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 | } |