1 ; RUN: opt -tailcallelim -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 } 27
