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, i32 0, i32 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