Reid Spencer | 69ccadd | 2006-12-02 04:23:10 +0000 | [diff] [blame] | 1 | ; RUN: llvm-upgrade < %s | llvm-as | llvm-dis > %t1.ll |
Tanya Lattner | 3f7706b | 2004-11-07 06:08:43 +0000 | [diff] [blame] | 2 | ; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll |
| 3 | ; RUN: diff %t1.ll %t2.ll |
| 4 | |
Chris Lattner | 49ca7aa | 2001-10-13 07:05:07 +0000 | [diff] [blame] | 5 | %FunTy = type int(int) |
| 6 | |
Reid Spencer | 161a4c9 | 2007-01-07 19:33:49 +0000 | [diff] [blame] | 7 | declare int "test"(int) ; Test forward declaration merging |
Chris Lattner | 49ca7aa | 2001-10-13 07:05:07 +0000 | [diff] [blame] | 8 | |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 9 | implementation |
| 10 | |
Chris Lattner | d100d4c | 2005-05-06 06:18:33 +0000 | [diff] [blame] | 11 | void "invoke"(%FunTy *%x) { |
Chris Lattner | 49ca7aa | 2001-10-13 07:05:07 +0000 | [diff] [blame] | 12 | %foo = call %FunTy* %x(int 123) |
Chris Lattner | d100d4c | 2005-05-06 06:18:33 +0000 | [diff] [blame] | 13 | %foo2 = tail call %FunTy* %x(int 123) |
Chris Lattner | 49ca7aa | 2001-10-13 07:05:07 +0000 | [diff] [blame] | 14 | ret void |
Chris Lattner | d100d4c | 2005-05-06 06:18:33 +0000 | [diff] [blame] | 15 | } |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 16 | |
| 17 | int "main"(int %argc) ; TODO: , sbyte **argv, sbyte **envp) |
| 18 | begin |
Chris Lattner | da25716 | 2001-10-03 14:50:12 +0000 | [diff] [blame] | 19 | %retval = call int (int) *%test(int %argc) |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 20 | %two = add int %retval, %retval |
Chris Lattner | 49ca7aa | 2001-10-13 07:05:07 +0000 | [diff] [blame] | 21 | %retval2 = invoke int %test(int %argc) |
| 22 | to label %Next except label %Error |
| 23 | Next: |
| 24 | %two2 = add int %two, %retval2 |
| 25 | call void %invoke (%FunTy* %test) |
| 26 | ret int %two2 |
| 27 | Error: |
| 28 | ret int -1 |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 29 | end |
| 30 | |
| 31 | int "test"(int %i0) |
| 32 | begin |
| 33 | ret int %i0 |
| 34 | end |