llvm/test/Transforms/TailCallElim/tre-noncapturing-alloca-calls.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -tailcallelim -verify-dom-info -S | FileCheck %s
   3
   4 ; IR for that test was generated from the following C++ source:
   5 ;
   6 ;int count;
   7 ;__attribute__((noinline)) void globalIncrement(const int* param) { count += *param; }
   8 ;
   9 ;void test(int recurseCount)
  10 ;{
  11 ;    if (recurseCount == 0) return;
  12 ;    int temp = 10;
  13 ;    globalIncrement(&temp);
  14 ;    test(recurseCount - 1);
  15 ;}
  16 ;
  17
  18 @count = dso_local local_unnamed_addr global i32 0, align 4
  19
  20 ; Function Attrs: nofree noinline norecurse nounwind uwtable
  21 declare void @_Z15globalIncrementPKi(i32* nocapture readonly %param) #0
  22
  23 ; Test that TRE could be done for recursive tail routine containing
  24 ; call to function receiving a pointer to local stack.
  25
  26 ; Function Attrs: nounwind uwtable
  27 define dso_local void @_Z4testi(i32 %recurseCount) local_unnamed_addr #1 {
  28 ; CHECK-LABEL: @_Z4testi(
  29 ; CHECK-NEXT:  entry:
  30 ; CHECK-NEXT:    [[TEMP:%.*]] = alloca i32, align 4
  31 ; CHECK-NEXT:    br label [[TAILRECURSE:%.*]]
  32 ; CHECK:       tailrecurse:
  33 ; CHECK-NEXT:    [[RECURSECOUNT_TR:%.*]] = phi i32 [ [[RECURSECOUNT:%.*]], [[ENTRY:%.*]] ], [ [[SUB:%.*]], [[IF_END:%.*]] ]
  34 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i32 [[RECURSECOUNT_TR]], 0
  35 ; CHECK-NEXT:    br i1 [[CMP]], label [[RETURN:%.*]], label [[IF_END]]
  36 ; CHECK:       if.end:
  37 ; CHECK-NEXT:    [[TMP0:%.*]] = bitcast i32* [[TEMP]] to i8*
  38 ; CHECK-NEXT:    call void @llvm.lifetime.start.p0i8(i64 4, i8* nonnull [[TMP0]])
  39 ; CHECK-NEXT:    store i32 10, i32* [[TEMP]], align 4
  40 ; CHECK-NEXT:    call void @_Z15globalIncrementPKi(i32* nonnull [[TEMP]])
  41 ; CHECK-NEXT:    [[SUB]] = add nsw i32 [[RECURSECOUNT_TR]], -1
  42 ; CHECK-NEXT:    call void @llvm.lifetime.end.p0i8(i64 4, i8* nonnull [[TMP0]])
  43 ; CHECK-NEXT:    br label [[TAILRECURSE]]
  44 ; CHECK:       return:
  45 ; CHECK-NEXT:    ret void
  46 ;
  47 entry:
  48   %temp = alloca i32, align 4
  49   %cmp = icmp eq i32 %recurseCount, 0
  50   br i1 %cmp, label %return, label %if.end
  51
  52 if.end:                                           ; preds = %entry
  53   %0 = bitcast i32* %temp to i8*
  54   call void @llvm.lifetime.start.p0i8(i64 4, i8* nonnull %0) #6
  55   store i32 10, i32* %temp, align 4
  56   call void @_Z15globalIncrementPKi(i32* nonnull %temp)
  57   %sub = add nsw i32 %recurseCount, -1
  58   call void @_Z4testi(i32 %sub)
  59   call void @llvm.lifetime.end.p0i8(i64 4, i8* nonnull %0) #6
  60   br label %return
  61
  62 return:                                           ; preds = %entry, %if.end
  63   ret void
  64 }
  65
  66 ; Function Attrs: argmemonly nounwind willreturn
  67 declare void @llvm.lifetime.start.p0i8(i64 immarg, i8* nocapture) #2
  68
  69 ; Function Attrs: argmemonly nounwind willreturn
  70 declare void @llvm.lifetime.end.p0i8(i64 immarg, i8* nocapture) #2
  71
  72 attributes #0 = { nofree noinline norecurse nounwind uwtable }
  73 attributes #1 = { nounwind uwtable }
  74 attributes #2 = { argmemonly nounwind willreturn }