llvm/test/Feature/indirectcall.ll

   1 ; RUN: llvm-as < %s | llvm-dis > %t1.ll
   2 ; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
   3 ; RUN: diff %t1.ll %t2.ll
   4
   5 declare i32 @atoi(ptr)
   6
   7 define i64 @fib(i64 %n) {
   8         icmp ult i64 %n, 2              ; <i1>:1 [#uses=1]
   9         br i1 %1, label %BaseCase, label %RecurseCase
  10
  11 BaseCase:               ; preds = %0
  12         ret i64 1
  13
  14 RecurseCase:            ; preds = %0
  15         %n2 = sub i64 %n, 2             ; <i64> [#uses=1]
  16         %n1 = sub i64 %n, 1             ; <i64> [#uses=1]
  17         %f2 = call i64 @fib( i64 %n2 )          ; <i64> [#uses=1]
  18         %f1 = call i64 @fib( i64 %n1 )          ; <i64> [#uses=1]
  19         %result = add i64 %f2, %f1              ; <i64> [#uses=1]
  20         ret i64 %result
  21 }
  22
  23 define i64 @realmain(i32 %argc, ptr %argv) {
  24 ; <label>:0
  25         icmp eq i32 %argc, 2            ; <i1>:1 [#uses=1]
  26         br i1 %1, label %HasArg, label %Continue
  27
  28 HasArg:         ; preds = %0
  29         %n1 = add i32 1, 1              ; <i32> [#uses=1]
  30         br label %Continue
  31
  32 Continue:               ; preds = %HasArg, %0
  33         %n = phi i32 [ %n1, %HasArg ], [ 1, %0 ]                ; <i32> [#uses=1]
  34         %N = sext i32 %n to i64         ; <i64> [#uses=1]
  35         %F = call i64 @fib( i64 %N )            ; <i64> [#uses=1]
  36         ret i64 %F
  37 }
  38
  39 define i64 @trampoline(i64 %n, ptr %fibfunc) {
  40         %F = call i64 %fibfunc( i64 %n )                ; <i64> [#uses=1]
  41         ret i64 %F
  42 }
  43
  44 define i32 @main() {
  45         %Result = call i64 @trampoline( i64 10, ptr @fib )               ; <i64> [#uses=1]
  46         %Result.upgrd.1 = trunc i64 %Result to i32              ; <i32> [#uses=1]
  47         ret i32 %Result.upgrd.1
  48 }
  49