27 lines · plain
1; RUN: opt -passes=tailcallelim -verify-dom-info -S < %s 2>&1 | FileCheck %s2 3; CHECK: add nsw i324; CHECK-NEXT: br label5; CHECK: add nsw i326; CHECK-NEXT: br label7; CHECK-NOT: Uses remain when a value is destroyed8define i32 @test(i32 %n) {9entry:10 %cmp = icmp slt i32 %n, 211 br i1 %cmp, label %if.then, label %if.else12 13if.then: ; preds = %entry14 %v1 = add nsw i32 %n, -215 %call1 = tail call i32 @test(i32 %v1)16 br label %return17 18if.else: ; preds = %entry19 %v2 = add nsw i32 %n, 420 %call2 = tail call i32 @test(i32 %v2)21 br label %return22 23return: ; preds = %if.end, %if.else24 %retval = phi i32 [ %call1, %if.then ], [ %call2, %if.else ]25 ret i32 %retval26}27