test/CodeGen/ARM/call-tc.ll

   1 ; RUN: llc < %s -mtriple=arm-apple-darwin -march=arm | FileCheck %s -check-prefix=CHECKV4
   2 ; RUN: llc < %s -march=arm -mtriple=arm-apple-darwin -mattr=+v5t | FileCheck %s -check-prefix=CHECKV5
   3 ; RUN: llc < %s -march=arm -mtriple=arm-linux-gnueabi\
   4 ; RUN:   -relocation-model=pic | FileCheck %s -check-prefix=CHECKELF
   5 ; XFAIL: *
   6
   7 @t = weak global i32 ()* null           ; <i32 ()**> [#uses=1]
   8
   9 declare void @g(i32, i32, i32, i32)
  10
  11 define void @t1() {
  12 ; CHECKELF: t1:
  13 ; CHECKELF: PLT
  14         call void @g( i32 1, i32 2, i32 3, i32 4 )
  15         ret void
  16 }
  17
  18 define void @t2() {
  19 ; CHECKV4: t2:
  20 ; CHECKV4: bx r0 @ TAILCALL
  21 ; CHECKV5: t2:
  22 ; CHECKV5: bx r0 @ TAILCALL
  23         %tmp = load i32 ()** @t         ; <i32 ()*> [#uses=1]
  24         %tmp.upgrd.2 = tail call i32 %tmp( )            ; <i32> [#uses=0]
  25         ret void
  26 }
  27
  28 define i32* @t3(i32, i32, i32*, i32*, i32*) nounwind {
  29 ; CHECKV4: t3:
  30 ; CHECKV4: bx r{{.*}}
  31 BB0:
  32   %5 = inttoptr i32 %0 to i32*                    ; <i32*> [#uses=1]
  33   %t35 = volatile load i32* %5                    ; <i32> [#uses=1]
  34   %6 = inttoptr i32 %t35 to i32**                 ; <i32**> [#uses=1]
  35   %7 = getelementptr i32** %6, i32 86             ; <i32**> [#uses=1]
  36   %8 = load i32** %7                              ; <i32*> [#uses=1]
  37   %9 = bitcast i32* %8 to i32* (i32, i32*, i32, i32*, i32*, i32*)* ; <i32* (i32, i32*, i32, i32*, i32*, i32*)*> [#uses=1]
  38   %10 = call i32* %9(i32 %0, i32* null, i32 %1, i32* %2, i32* %3, i32* %4) ; <i32*> [#uses=1]
  39   ret i32* %10
  40 }
  41
  42 define void @t4() {
  43 ; CHECKV4: t4:
  44 ; CHECKV4: b _t2  @ TAILCALL
  45 ; CHECKV5: t4:
  46 ; CHECKV5: b _t2  @ TAILCALL
  47         tail call void @t2( )            ; <i32> [#uses=0]
  48         ret void
  49 }