| Rafael Espindola | 2050af8 | 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 | |
| Rafael Espindola | cc349c8 | 2011-10-03 14:45:37 +0000 | [diff] [blame] | 14 | declare i32 @setjmp(i32*) returns_twice |
| Rafael Espindola | 2050af8 | 2011-05-16 03:05:33 +0000 | [diff] [blame] | 15 | |
| 16 | declare void @bar() |