| Rafael Espindola | 0e00c6c | 2011-05-16 03:05:33 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -tailcallelim -S | FileCheck %s |
| 2 | |||||
| 3 | ; Test that we don't tail call in a functions that calls setjmp. | ||||
| 4 | |||||
| 5 | ; CHECK-NOT: tail call void @bar() | ||||
| 6 | |||||
| 7 | define void @foo(i32* %x) { | ||||
| 8 | bb: | ||||
| 9 | %tmp75 = tail call i32 @setjmp(i32* %x) | ||||
| 10 | call void @bar() | ||||
| 11 | ret void | ||||
| 12 | } | ||||
| 13 | |||||
| 14 | declare i32 @setjmp(i32*) | ||||
| 15 | |||||
| 16 | declare void @bar() | ||||