1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 63 64 65 66 67 68 69 70 71 72 73 74 75 76 77 78 79 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141 142 143 144 145 146 147 148 149 150 151 152
|
// RUN: %clang_cc1 -triple x86_64-unknown-unknown -emit-llvm -disable-llvm-optzns -o - %s -O2 | FileCheck %s
// RUN: %clang_cc1 -triple x86_64-unknown-unknown -emit-llvm -disable-llvm-optzns -o - %s -O0 | FileCheck %s
int a = 42;
/* --- Compound literals */
struct foo { int x, y; };
int y;
struct foo f = (struct foo){ __builtin_constant_p(y), 42 };
struct foo test0(int expr) {
// CHECK-LABEL: test0
// CHECK: call i1 @llvm.is.constant.i32
struct foo f = (struct foo){ __builtin_constant_p(expr), 42 };
return f;
}
/* --- Pointer types */
int test1(void) {
// CHECK-LABEL: test1
// CHECK: ret i32 0
return __builtin_constant_p(&a - 13);
}
/* --- Aggregate types */
int b[] = {1, 2, 3};
int test2(void) {
// CHECK-LABEL: test2
// CHECK: ret i32 0
return __builtin_constant_p(b);
}
const char test3_c[] = {1, 2, 3, 0};
int test3(void) {
// CHECK-LABEL: test3
// CHECK: ret i32 0
return __builtin_constant_p(test3_c);
}
inline char test4_i(const char *x) {
return x[1];
}
int test4(void) {
// CHECK: define{{.*}} i32 @test4
// CHECK: ret i32 0
return __builtin_constant_p(test4_i(test3_c));
}
/* --- Constant global variables */
const int c = 42;
int test5(void) {
// CHECK-LABEL: test5
// CHECK: ret i32 1
return __builtin_constant_p(c);
}
/* --- Array types */
int arr[] = { 1, 2, 3 };
const int c_arr[] = { 1, 2, 3 };
int test6(void) {
// CHECK-LABEL: test6
// CHECK: call i1 @llvm.is.constant.i32
return __builtin_constant_p(arr[2]);
}
int test7(void) {
// CHECK-LABEL: test7
// CHECK: call i1 @llvm.is.constant.i32
return __builtin_constant_p(c_arr[2]);
}
int test8(void) {
// CHECK-LABEL: test8
// CHECK: ret i32 0
return __builtin_constant_p(c_arr);
}
/* --- Function pointers */
int test9(void) {
// CHECK-LABEL: test9
// CHECK: ret i32 0
return __builtin_constant_p(&test9);
}
int test10(void) {
// CHECK-LABEL: test10
// CHECK: ret i32 1
return __builtin_constant_p(&test10 != 0);
}
typedef unsigned long uintptr_t;
#define assign(p, v) ({ \
uintptr_t _r_a_p__v = (uintptr_t)(v); \
if (__builtin_constant_p(v) && _r_a_p__v == (uintptr_t)0) { \
union { \
uintptr_t __val; \
char __c[1]; \
} __u = { \
.__val = (uintptr_t)_r_a_p__v \
}; \
*(volatile unsigned int*)&p = *(unsigned int*)(__u.__c); \
__u.__val; \
} \
_r_a_p__v; \
})
typedef void fn_p(void);
extern fn_p *dest_p;
static void src_fn(void) {
}
void test11(void) {
assign(dest_p, src_fn);
}
extern int test12_v;
struct { const char *t; int a; } test12[] = {
{ "tag", __builtin_constant_p(test12_v) && !test12_v ? 1 : 0 }
};
extern char test13_v;
struct { int a; } test13 = { __builtin_constant_p(test13_v) };
extern unsigned long long test14_v;
void test14(void) {
// CHECK-LABEL: test14
// CHECK: call void asm sideeffect "", {{.*}}(i32 -1)
__asm__ __volatile__("" :: "n"( (__builtin_constant_p(test14_v) || 0) ? 1 : -1));
}
int test15_f(void);
// CHECK-LABEL: define{{.*}} void @test15
// CHECK-NOT: call {{.*}}test15_f
void test15(void) {
int a, b;
(void)__builtin_constant_p((a = b, test15_f()));
}
|