test/Transforms/TailCallElim/EraseBB.ll

   1 ; RUN: opt -tailcallelim -verify-dom-info -S < %s 2>&1 | FileCheck %s
   2
   3 ; CHECK: add nsw i32
   4 ; CHECK-NEXT: br label
   5 ; CHECK: add nsw i32
   6 ; CHECK-NEXT: br label
   7 ; CHECK-NOT: Uses remain when a value is destroyed
   8 define i32 @test(i32 %n) {
   9 entry:
  10   %cmp = icmp slt i32 %n, 2
  11   br i1 %cmp, label %if.then, label %if.else
  12
  13 if.then:                                          ; preds = %entry
  14   %v1 = add nsw i32 %n, -2
  15   %call1 = tail call i32 @test(i32 %v1)
  16   br label %return
  17
  18 if.else:                                          ; preds = %entry
  19   %v2 = add nsw i32 %n, 4
  20   %call2 = tail call i32 @test(i32 %v2)
  21   br label %return
  22
  23 return:                                           ; preds = %if.end, %if.else
  24   %retval = phi i32 [ %call1, %if.then ], [ %call2, %if.else ]
  25   ret i32 %retval
  26 }