Clang Project

clang_source_code/test/CodeGenCXX/builtins.cpp
1// RUN: %clang_cc1 -triple=x86_64-linux-gnu -emit-llvm -o - %s | FileCheck %s
2
3// PR8839
4extern "C" char memmove();
5
6int main() {
7  // CHECK: call {{signext i8|i8}} @memmove()
8  return memmove();
9}
10
11struct S;
12// CHECK: define {{.*}} @_Z9addressofbR1SS0_(
13S *addressof(bool b, S &s, S &t) {
14  // CHECK: %[[LVALUE:.*]] = phi
15  // CHECK: ret {{.*}}* %[[LVALUE]]
16  return __builtin_addressof(b ? s : t);
17}
18
19extern "C" int __builtin_abs(int); // #1
20long __builtin_abs(long);          // #2
21extern "C" int __builtin_abs(int); // #3
22
23int x = __builtin_abs(-2);
24// CHECK:  store i32 2, i32* @x, align 4
25
26long y = __builtin_abs(-2l);
27// CHECK:  [[Y:%.+]] = call i64 @_Z13__builtin_absl(i64 -2)
28// CHECK:  store i64 [[Y]], i64* @y, align 8
29
30extern const char char_memchr_arg[32];
31char *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
34int 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