reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 | ; RUN: opt < %s -tailcallelim -verify-dom-info -S | FileCheck %s ; Test that we don't tail call in a functions that calls returns_twice ; functions. declare void @bar() ; CHECK: foo1 ; CHECK-NOT: tail call void @bar() define void @foo1(i32* %x) { bb: %tmp75 = tail call i32 @setjmp(i32* %x) call void @bar() ret void } declare i32 @setjmp(i32*) returns_twice ; CHECK: foo2 ; CHECK-NOT: tail call void @bar() define void @foo2(i32* %x) { bb: %tmp75 = tail call i32 @zed2(i32* %x) call void @bar() ret void } declare i32 @zed2(i32*) returns_twice |