clang/test/CodeGen/weak_constant.c


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

// RUN: %clang_cc1 -w -emit-llvm %s -O1 -o - | FileCheck %s
// This used to "check for bug compatibility with gcc".
// Now it checks that that the "weak" declaration makes the value
// fully interposable whereas a "selectany" one is handled as constant
// and propagated.

// CHECK: @x = weak {{.*}}constant i32 123
const int x __attribute((weak)) = 123;

// CHECK: @y = weak_odr {{.*}}constant i32 234
const int y __attribute((selectany)) = 234;

int* f(void) {
  return &x;
}

int g(void) {
  // CHECK: load i32, ptr @x
  // CHECK-NOT: ret i32 123
  return *f();
}

int *k(void) {
  return &y;
}

int l(void) {
  // CHECK-NOT: load i32, ptr @y
  // CHECK: ret i32 234
  return *k();
}