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