llvm/test/CodeGen/ARM/call-tc.ll

   1 ; RUN: llc < %s -mtriple=armv6-apple-ios5.0 -mattr=+vfp2 -arm-atomic-cfg-tidy=0 | FileCheck %s -check-prefix=CHECKV6
   2 ; RUN: llc < %s -mtriple=thumbv7-apple-ios5.0 -arm-atomic-cfg-tidy=0 | FileCheck %s -check-prefix=CHECKT2D
   3 ; RUN: llc < %s -mtriple=armv6-linux-gnueabi -relocation-model=pic -mattr=+vfp2 -arm-atomic-cfg-tidy=0 \
   4 ; RUN:    | FileCheck %s -check-prefix=CHECKELF
   5
   6 ; Enable tailcall optimization for iOS 5.0
   7 ; rdar://9120031
   8
   9 @t = weak global ptr null           ; <ptr> [#uses=1]
  10
  11 declare void @g(i32, i32, i32, i32)
  12
  13 define void @t1() "frame-pointer"="all" {
  14 ; CHECKELF-LABEL: t1:
  15 ; CHECKELF: bl g
  16         call void @g( i32 1, i32 2, i32 3, i32 4 )
  17         ret void
  18 }
  19
  20 define void @t2() "frame-pointer"="all" {
  21 ; CHECKV6-LABEL: t2:
  22 ; CHECKV6: bx r0
  23 ; CHECKT2D-LABEL: t2:
  24 ; CHECKT2D: ldr
  25 ; CHECKT2D-NEXT: ldr
  26 ; CHECKT2D-NEXT: bx r0
  27         %tmp = load ptr, ptr @t         ; <ptr> [#uses=1]
  28         %tmp.upgrd.2 = tail call i32 %tmp( )            ; <i32> [#uses=0]
  29         ret void
  30 }
  31
  32 define void @t3() "frame-pointer"="all" {
  33 ; CHECKV6-LABEL: t3:
  34 ; CHECKV6: b _t2
  35 ; CHECKELF-LABEL: t3:
  36 ; CHECKELF: b t2
  37 ; CHECKT2D-LABEL: t3:
  38 ; CHECKT2D: b.w _t2
  39
  40         tail call void @t2( )            ; <i32> [#uses=0]
  41         ret void
  42 }
  43
  44 ; Sibcall optimization of expanded libcalls. rdar://8707777
  45 define double @t4(double %a) nounwind readonly ssp "frame-pointer"="all" {
  46 entry:
  47 ; CHECKV6-LABEL: t4:
  48 ; CHECKV6: b _sin
  49 ; CHECKELF-LABEL: t4:
  50 ; CHECKELF: b sin
  51   %0 = tail call double @sin(double %a) nounwind readonly ; <double> [#uses=1]
  52   ret double %0
  53 }
  54
  55 define float @t5(float %a) nounwind readonly ssp "frame-pointer"="all" {
  56 entry:
  57 ; CHECKV6-LABEL: t5:
  58 ; CHECKV6: b _sinf
  59 ; CHECKELF-LABEL: t5:
  60 ; CHECKELF: b sinf
  61   %0 = tail call float @sinf(float %a) nounwind readonly ; <float> [#uses=1]
  62   ret float %0
  63 }
  64
  65 declare float @sinf(float) nounwind readonly
  66
  67 declare double @sin(double) nounwind readonly
  68
  69 define i32 @t6(i32 %a, i32 %b) nounwind readnone "frame-pointer"="all" {
  70 entry:
  71 ; CHECKV6-LABEL: t6:
  72 ; CHECKV6: b ___divsi3
  73 ; CHECKELF-LABEL: t6:
  74 ; CHECKELF: b __aeabi_idiv
  75   %0 = sdiv i32 %a, %b
  76   ret i32 %0
  77 }
  78
  79 ; Make sure the tail call instruction isn't deleted
  80 ; rdar://8309338
  81 declare void @foo() nounwind
  82
  83 define void @t7() nounwind "frame-pointer"="all" {
  84 entry:
  85 ; CHECKT2D-LABEL: t7:
  86 ; CHECKT2D: it ne
  87 ; CHECKT2D-NEXT: bne.w _foo
  88 ; CHECKT2D-NEXT: LBB{{.*}}:
  89 ; CHECKT2D-NEXT: push
  90 ; CHECKT2D-NEXT: mov r7, sp
  91 ; CHECKT2D-NEXT: bl _foo
  92   br i1 undef, label %bb, label %bb1.lr.ph
  93
  94 bb1.lr.ph:
  95   tail call void @foo() nounwind
  96   unreachable
  97
  98 bb:
  99   tail call void @foo() nounwind
 100   ret void
 101 }
 102
 103 ; Make sure codegenprep is duplicating ret instructions to enable tail calls.
 104 ; rdar://11140249
 105 define i32 @t8(i32 %x) nounwind ssp "frame-pointer"="all" {
 106 entry:
 107 ; CHECKT2D-LABEL: t8:
 108 ; CHECKT2D-NOT: push
 109   %and = and i32 %x, 1
 110   %tobool = icmp eq i32 %and, 0
 111   br i1 %tobool, label %if.end, label %if.then
 112
 113 if.then:                                          ; preds = %entry
 114 ; CHECKT2D: bne.w _a
 115   %call = tail call i32 @a(i32 %x) nounwind
 116   br label %return
 117
 118 if.end:                                           ; preds = %entry
 119   %and1 = and i32 %x, 2
 120   %tobool2 = icmp eq i32 %and1, 0
 121   br i1 %tobool2, label %if.end5, label %if.then3
 122
 123 if.then3:                                         ; preds = %if.end
 124 ; CHECKT2D: bmi.w _b
 125   %call4 = tail call i32 @b(i32 %x) nounwind
 126   br label %return
 127
 128 if.end5:                                          ; preds = %if.end
 129 ; CHECKT2D: b.w _c
 130   %call6 = tail call i32 @c(i32 %x) nounwind
 131   br label %return
 132
 133 return:                                           ; preds = %if.end5, %if.then3, %if.then
 134   %retval.0 = phi i32 [ %call, %if.then ], [ %call4, %if.then3 ], [ %call6, %if.end5 ]
 135   ret i32 %retval.0
 136 }
 137
 138 declare i32 @a(i32)
 139
 140 declare i32 @b(i32)
 141
 142 declare i32 @c(i32)
 143
 144 ; PR12419
 145 ; rdar://11195178
 146 ; Use the correct input chain for the tailcall node or else the call to
 147 ; _ZN9MutexLockD1Ev would be lost.
 148 %class.MutexLock = type { i8 }
 149
 150 @x = external global i32, align 4
 151
 152 define i32 @t9() nounwind "frame-pointer"="all" {
 153 ; CHECKT2D-LABEL: t9:
 154 ; CHECKT2D: bl __ZN9MutexLockC1Ev
 155 ; CHECKT2D: bl __ZN9MutexLockD1Ev
 156 ; CHECKT2D: b.w ___divsi3
 157   %lock = alloca %class.MutexLock, align 1
 158   %1 = call ptr @_ZN9MutexLockC1Ev(ptr %lock)
 159   %2 = load i32, ptr @x, align 4
 160   %3 = sdiv i32 1000, %2
 161   %4 = call ptr @_ZN9MutexLockD1Ev(ptr %lock)
 162   ret i32 %3
 163 }
 164
 165 declare ptr @_ZN9MutexLockC1Ev(ptr) unnamed_addr nounwind align 2
 166
 167 declare ptr @_ZN9MutexLockD1Ev(ptr) unnamed_addr nounwind align 2
 168
 169 ; rdar://13827621
 170 ; Correctly preserve the input chain for the tailcall node in the bitcast case,
 171 ; otherwise the call to floorf is lost.
 172 define float @libcall_tc_test2(ptr nocapture %a, float %b) "frame-pointer"="all" {
 173 ; CHECKT2D-LABEL: libcall_tc_test2:
 174 ; CHECKT2D: bl _floorf
 175 ; CHECKT2D: b.w _truncf
 176   %1 = load float, ptr %a, align 4
 177   %call = tail call float @floorf(float %1)
 178   store float %call, ptr %a, align 4
 179   %call1 = tail call float @truncf(float %b)
 180   ret float %call1
 181 }
 182
 183 declare float @floorf(float) readnone
 184 declare float @truncf(float) readnone