clang/test/CodeGen/alias.c

   1 // REQUIRES: arm-registered-target
   2 // RUN: %clang_cc1 -triple i386-pc-linux-gnu -emit-llvm -o - %s | FileCheck -check-prefix=CHECKBASIC %s
   3 // RUN: %clang_cc1 -triple armv7a-eabi -mfloat-abi hard -emit-llvm -o - %s | FileCheck -check-prefix=CHECKCC %s
   4 // RUN: %clang_cc1 -triple armv7a-eabi -mfloat-abi hard -S -o - %s | FileCheck -check-prefix=CHECKASM %s
   5 // RUN: %clang_cc1 -triple aarch64-linux-gnu -emit-llvm -o - %s | FileCheck -check-prefix=CHECKGLOBALS %s
   6
   7 int g0;
   8 // CHECKBASIC-DAG: @g0 ={{.*}} global i32 0
   9 // CHECKASM-DAG:  .bss
  10 // CHECKASM-DAG:  .globl  g0
  11 // CHECKASM-DAG:  .p2align  2
  12 // CHECKASM-DAG:  g0:
  13 // CHECKASM-DAG:  .long 0
  14 // CHECKASM-DAG:  .size g0, 4
  15 __thread int TL_WITH_ALIAS;
  16 // CHECKBASIC-DAG: @TL_WITH_ALIAS ={{.*}} thread_local global i32 0, align 4
  17 // CHECKASM-DAG: .globl TL_WITH_ALIAS
  18 // CHECKASM-DAG: .size TL_WITH_ALIAS, 4
  19 static int bar1 = 42;
  20 // CHECKBASIC-DAG: @bar1 = internal global i32 42
  21 // CHECKASM-DAG: bar1:
  22 // CHECKASM-DAG: .size bar1, 4
  23
  24 // PR24379: alias variable expected to have same size as aliasee even when types differ
  25 const int wacom_usb_ids[] = {1, 1, 2, 3, 5, 8, 13, 0};
  26 // CHECKBASIC-DAG: @wacom_usb_ids ={{.*}} constant [8 x i32] [i32 1, i32 1, i32 2, i32 3, i32 5, i32 8, i32 13, i32 0], align 4
  27 // CHECKASM-DAG: .globl wacom_usb_ids
  28 // CHECKASM-DAG: .size wacom_usb_ids, 32
  29 extern const int __mod_usb_device_table __attribute__ ((alias("wacom_usb_ids")));
  30 // CHECKBASIC-DAG: @__mod_usb_device_table ={{.*}} alias i32, ptr @wacom_usb_ids
  31 // CHECKASM-DAG: .globl __mod_usb_device_table
  32 // CHECKASM-DAG: .set __mod_usb_device_table, wacom_usb_ids
  33 // CHECKASM-NOT: .size __mod_usb_device_table
  34
  35 extern int g1;
  36 extern int g1 __attribute((alias("g0")));
  37 // CHECKBASIC-DAG: @g1 ={{.*}} alias i32, ptr @g0
  38 // CHECKASM-DAG: .globl g1
  39 // CHECKASM-DAG: .set g1, g0
  40 // CHECKASM-NOT: .size g1
  41
  42 extern __thread int __libc_errno __attribute__ ((alias ("TL_WITH_ALIAS")));
  43 // CHECKBASIC-DAG: @__libc_errno ={{.*}} thread_local alias i32, ptr @TL_WITH_ALIAS
  44 // CHECKASM-DAG: .globl __libc_errno
  45 // CHECKASM-DAG: .set __libc_errno, TL_WITH_ALIAS
  46 // CHECKASM-NOT: .size __libc_errno
  47
  48 void f0(void) { }
  49 extern void f1(void);
  50 extern void f1(void) __attribute((alias("f0")));
  51 // CHECKBASIC-DAG: @f1 ={{.*}} alias void (), ptr @f0
  52 // CHECKBASIC-DAG: @test8_foo = weak{{.*}} alias void (...), ptr @test8_bar
  53 // CHECKBASIC-DAG: @test8_zed ={{.*}} alias void (...), ptr @test8_bar
  54 // CHECKBASIC-DAG: @test9_zed ={{.*}} alias void (), ptr @test9_bar
  55 // CHECKBASIC: define{{.*}} void @f0() [[NUW:#[0-9]+]] {
  56
  57 // Make sure that aliases cause referenced values to be emitted.
  58 // PR3200
  59 static inline int foo1() { return 0; }
  60 // CHECKBASIC-LABEL: define internal i32 @foo1()
  61 int foo() __attribute__((alias("foo1")));
  62 int bar() __attribute__((alias("bar1")));
  63
  64 extern int test6();
  65 void test7() { test6(); }  // test6 is emitted as extern.
  66
  67 // test6 changes to alias.
  68 int test6() __attribute__((alias("test7")));
  69
  70 static int inner(int a) { return 0; }
  71 static int inner_weak(int a) { return 0; }
  72 extern __typeof(inner) inner_a __attribute__((alias("inner")));
  73 static __typeof(inner_weak) inner_weak_a __attribute__((weakref, alias("inner_weak")));
  74 // CHECKCC: @inner_a ={{.*}} alias i32 (i32), ptr @inner
  75 // CHECKCC: define internal arm_aapcs_vfpcc i32 @inner(i32 noundef %a) [[NUW:#[0-9]+]] {
  76
  77 int outer(int a) { return inner(a); }
  78 // CHECKCC: define{{.*}} arm_aapcs_vfpcc i32 @outer(i32 noundef %a) [[NUW]] {
  79 // CHECKCC: call arm_aapcs_vfpcc  i32 @inner(i32 noundef %{{.*}})
  80
  81 int outer_weak(int a) { return inner_weak_a(a); }
  82 // CHECKCC: define{{.*}} arm_aapcs_vfpcc i32 @outer_weak(i32 noundef %a) [[NUW]] {
  83 // CHECKCC: call arm_aapcs_vfpcc  i32 @inner_weak(i32 noundef %{{.*}})
  84 // CHECKCC: define internal arm_aapcs_vfpcc i32 @inner_weak(i32 noundef %a) [[NUW]] {
  85
  86 // CHECKBASIC: attributes [[NUW]] = { noinline nounwind{{.*}} }
  87
  88 // CHECKCC: attributes [[NUW]] = { noinline nounwind{{.*}} }
  89
  90 void test8_bar() {}
  91 void test8_foo() __attribute__((weak, alias("test8_bar")));
  92 void test8_zed() __attribute__((alias("test8_foo")));
  93
  94 void test9_bar(void) { }
  95 void test9_zed(void) __attribute__((section("test")));
  96 void test9_zed(void) __attribute__((alias("test9_bar")));
  97
  98 // Test that the alias gets its linkage from its declared qual type.
  99 // CHECKGLOBALS: @test10_foo = internal
 100 // CHECKGLOBALS-NOT: @test10_foo = dso_local
 101 int test10;
 102 static int test10_foo __attribute__((alias("test10")));
 103 // CHECKGLOBALS: @test11_foo = internal
 104 // CHECKGLOBALS-NOT: @test11_foo = dso_local
 105 void test11(void) {}
 106 static void test11_foo(void) __attribute__((alias("test11")));
 107
 108 // Test that gnu_inline+alias work.
 109 // CHECKGLOBALS: @test12_alias ={{.*}} alias void (), ptr @test12
 110 void test12(void) {}
 111 inline void test12_alias(void) __attribute__((gnu_inline, alias("test12")));
 112
 113 // Test that a non visible (-Wvisibility) type doesn't assert.
 114 // CHECKGLOBALS: @test13_alias ={{.*}} alias {}, ptr @test13
 115 enum a_type { test13_a };
 116 void test13(enum a_type y) {}
 117 void test13_alias(enum undeclared_type y) __attribute__((alias ("test13")));