| Chris Lattner | ac0ec63 | 2003-04-26 20:29:09 +0000 | [diff] [blame] | 1 | ; This one fails because the LLVM runtime is allowing two null pointers of |
| 2 | ; the same type to be created! |
| 3 | |
| Andrew Trick | 6ca06cd | 2011-08-26 20:09:48 +0000 | [diff] [blame] | 4 | ; RUN: echo {%%T = type i32} | llvm-as > %t.2.bc |
| Dan Gohman | fea1dd0 | 2009-08-25 15:38:29 +0000 | [diff] [blame] | 5 | ; RUN: llvm-as %s -o %t.1.bc |
| Reid Spencer | edca80b | 2007-04-15 18:11:57 +0000 | [diff] [blame] | 6 | ; RUN: llvm-link %t.1.bc %t.2.bc |
| Chris Lattner | ac0ec63 | 2003-04-26 20:29:09 +0000 | [diff] [blame] | 7 | |
| 8 | %T = type opaque |
| 9 | |
| Tanya Lattner | 76806b6 | 2008-03-09 08:16:40 +0000 | [diff] [blame] | 10 | declare %T* @create() |
| Chris Lattner | ac0ec63 | 2003-04-26 20:29:09 +0000 | [diff] [blame] | 11 | |
| Tanya Lattner | 76806b6 | 2008-03-09 08:16:40 +0000 | [diff] [blame] | 12 | define void @test() { |
| 13 | %X = call %T* @create( ) ; <%T*> [#uses=1] |
| 14 | %v = icmp eq %T* %X, null ; <i1> [#uses=0] |
| Chris Lattner | ac0ec63 | 2003-04-26 20:29:09 +0000 | [diff] [blame] | 15 | ret void |
| 16 | } |
| 17 | |