| Chandler Carruth | 563add9 | 2012-07-02 12:23:19 +0000 | [diff] [blame] | 1 | ; RUN: not llvm-as < %s > /dev/null 2> %t |
| Eli Bendersky | c3d5c1c | 2013-04-08 18:33:51 +0000 | [diff] [blame] | 2 | ; RUN: FileCheck %s --input-file=%t |
| 3 | ; CHECK: basic block pointers are invalid |
| Chris Lattner | 1d4b6bf | 2006-10-15 23:26:28 +0000 | [diff] [blame] | 4 | |
| Reid Spencer | e3ff5ad | 2007-01-26 08:25:06 +0000 | [diff] [blame] | 5 | define i32 @main() { |
| 6 | %foo = call i8* %llvm.stacksave() |
| 7 | %foop = bitcast i8* %foo to label* |
| David Blaikie | 7c9c6ed | 2015-02-27 21:17:42 +0000 | [diff] [blame] | 8 | %nret = load label, label* %foop |
| Dan Gohman | aceba31 | 2010-01-05 17:55:26 +0000 | [diff] [blame] | 9 | br label %nret |
| Chris Lattner | 1d4b6bf | 2006-10-15 23:26:28 +0000 | [diff] [blame] | 10 | } |