| Chris Lattner | a9c677e | 2002-08-16 16:54:52 +0000 | [diff] [blame] | 1 | ; In this testcase, the bytecode reader or writer is not correctly handling the |
| Tanya Lattner | 6e9bcee | 2008-02-14 07:57:12 +0000 | [diff] [blame] | 2 | ; ConstExpr reference. Disassembling this program assembled yields invalid |
| Chris Lattner | a9c677e | 2002-08-16 16:54:52 +0000 | [diff] [blame] | 3 | ; assembly (because there are placeholders still around), which the assembler |
| 4 | ; dies on. |
| 5 | |
| 6 | ; There are two things that need to be fixed here. Obviously assembling and |
| 7 | ; disassembling this would be good, but in addition to that, the bytecode |
| 8 | ; reader should NEVER produce a program "successfully" with placeholders still |
| 9 | ; around! |
| Tanya Lattner | 6e9bcee | 2008-02-14 07:57:12 +0000 | [diff] [blame] | 10 | ; |
| 11 | ; RUN: llvm-as < %s | llvm-dis | llvm-as |
| Duncan P. N. Exon Smith | 13f5c58 | 2014-08-19 21:08:27 +0000 | [diff] [blame] | 12 | ; RUN: verify-uselistorder %s |
| Chris Lattner | a9c677e | 2002-08-16 16:54:52 +0000 | [diff] [blame] | 13 | |
| Tanya Lattner | 6e9bcee | 2008-02-14 07:57:12 +0000 | [diff] [blame] | 14 | @.LC0 = internal global [4 x i8] c"foo\00" ; <[4 x i8]*> [#uses=1] |
| 15 | @X = global i8* null ; <i8**> [#uses=0] |
| Chris Lattner | a9c677e | 2002-08-16 16:54:52 +0000 | [diff] [blame] | 16 | |
| Tanya Lattner | 6e9bcee | 2008-02-14 07:57:12 +0000 | [diff] [blame] | 17 | declare i32 @puts(i8*) |
| Chris Lattner | a9c677e | 2002-08-16 16:54:52 +0000 | [diff] [blame] | 18 | |
| Tanya Lattner | 6e9bcee | 2008-02-14 07:57:12 +0000 | [diff] [blame] | 19 | define void @main() { |
| 20 | bb1: |
| David Blaikie | 5a70dd1 | 2015-03-13 18:20:45 +0000 | [diff] [blame] | 21 | %reg211 = call i32 @puts( i8* getelementptr ([4 x i8], [4 x i8]* @.LC0, i64 0, i64 0) ) ; <i32> [#uses=0] |
| Chris Lattner | a9c677e | 2002-08-16 16:54:52 +0000 | [diff] [blame] | 22 | ret void |
| 23 | } |