test/Transforms/MergeFunc/alias.ll

   1 ; RUN: opt -S -mergefunc -mergefunc-use-aliases < %s | FileCheck %s
   2
   3 ; Aliases should always be created for the weak functions, and
   4 ; for external functions if there is no local function
   5
   6 ; CHECK: @external_external_2 = unnamed_addr alias void (float*), bitcast (void (i32*)* @external_external_1 to void (float*)*)
   7 ; CHECK: @weak_weak_2 = weak unnamed_addr alias void (float*), bitcast (void (i32*)* @0 to void (float*)*)
   8 ; CHECK: @weak_weak_1 = weak unnamed_addr alias void (i32*), void (i32*)* @0
   9 ; CHECK: @weak_external_1 = weak unnamed_addr alias void (i32*), bitcast (void (float*)* @weak_external_2 to void (i32*)*)
  10 ; CHECK: @external_weak_2 = weak unnamed_addr alias void (float*), bitcast (void (i32*)* @external_weak_1 to void (float*)*)
  11 ; CHECK: @weak_internal_1 = weak unnamed_addr alias void (i32*), bitcast (void (float*)* @weak_internal_2 to void (i32*)*)
  12 ; CHECK: @internal_weak_2 = weak unnamed_addr alias void (float*), bitcast (void (i32*)* @internal_weak_1 to void (float*)*)
  13
  14 ; A strong backing function had to be created for the weak-weak pair
  15
  16 ; CHECK: define private void @0(i32* %a) unnamed_addr
  17 ; CHECK_NEXT: call void @dummy4()
  18
  19 ; These internal functions are dropped in favor of the external ones
  20
  21 ; CHECK-NOT: define internal void @external_internal_2(float *%a) unnamed_addr
  22 ; CHECK-NOT: define internal void @internal_external_1(i32 *%a) unnamed_addr
  23 ; CHECK-NOT: define internal void @internal_external_1(i32 *%a) unnamed_addr
  24 ; CHECK-NOT: define internal void @internal_external_2(float *%a) unnamed_addr
  25
  26 ; Only used to mark which functions should be merged.
  27 declare void @dummy1()
  28 declare void @dummy2()
  29 declare void @dummy3()
  30 declare void @dummy4()
  31 declare void @dummy5()
  32 declare void @dummy6()
  33 declare void @dummy7()
  34 declare void @dummy8()
  35 declare void @dummy9()
  36
  37 define void @external_external_1(i32 *%a) unnamed_addr {
  38   call void @dummy1()
  39   ret void
  40 }
  41 define void @external_external_2(float *%a) unnamed_addr {
  42   call void @dummy1()
  43   ret void
  44 }
  45
  46 define void @external_internal_1(i32 *%a) unnamed_addr {
  47   call void @dummy2()
  48   ret void
  49 }
  50 define internal void @external_internal_2(float *%a) unnamed_addr {
  51   call void @dummy2()
  52   ret void
  53 }
  54
  55 define internal void @internal_external_1(i32 *%a) unnamed_addr {
  56   call void @dummy3()
  57   ret void
  58 }
  59 define void @internal_external_2(float *%a) unnamed_addr {
  60   call void @dummy3()
  61   ret void
  62 }
  63
  64 define weak void @weak_weak_1(i32 *%a) unnamed_addr {
  65   call void @dummy4()
  66   ret void
  67 }
  68 define weak void @weak_weak_2(float *%a) unnamed_addr {
  69   call void @dummy4()
  70   ret void
  71 }
  72
  73 define weak void @weak_external_1(i32 *%a) unnamed_addr {
  74   call void @dummy5()
  75   ret void
  76 }
  77 define external void @weak_external_2(float *%a) unnamed_addr {
  78   call void @dummy5()
  79   ret void
  80 }
  81
  82 define external void @external_weak_1(i32 *%a) unnamed_addr {
  83   call void @dummy6()
  84   ret void
  85 }
  86 define weak void @external_weak_2(float *%a) unnamed_addr {
  87   call void @dummy6()
  88   ret void
  89 }
  90
  91 define weak void @weak_internal_1(i32 *%a) unnamed_addr {
  92   call void @dummy7()
  93   ret void
  94 }
  95 define internal void @weak_internal_2(float *%a) unnamed_addr {
  96   call void @dummy7()
  97   ret void
  98 }
  99
 100 define internal void @internal_weak_1(i32 *%a) unnamed_addr {
 101   call void @dummy8()
 102   ret void
 103 }
 104 define weak void @internal_weak_2(float *%a) unnamed_addr {
 105   call void @dummy8()
 106   ret void
 107 }
 108
 109 define internal void @internal_internal_1(i32 *%a) unnamed_addr {
 110   call void @dummy9()
 111   ret void
 112 }
 113 define internal void @internal_internal_2(float *%a) unnamed_addr {
 114   call void @dummy9()
 115   ret void
 116 }