Tanya Lattner | 3f7706b | 2004-11-07 06:08:43 +0000 | [diff] [blame] | 1 | ; RUN: llvm-as %s -o - | llvm-dis > %t1.ll |
| 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 | |
| 7 | declare int "test"(...) ; Test differences of prototype |
| 8 | declare int "test"() ; Differ only by vararg |
| 9 | |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 10 | implementation |
| 11 | |
Chris Lattner | d100d4c | 2005-05-06 06:18:33 +0000 | [diff] [blame] | 12 | void "invoke"(%FunTy *%x) { |
Chris Lattner | 49ca7aa | 2001-10-13 07:05:07 +0000 | [diff] [blame] | 13 | %foo = call %FunTy* %x(int 123) |
Chris Lattner | d100d4c | 2005-05-06 06:18:33 +0000 | [diff] [blame] | 14 | %foo2 = tail call %FunTy* %x(int 123) |
Chris Lattner | 49ca7aa | 2001-10-13 07:05:07 +0000 | [diff] [blame] | 15 | ret void |
Chris Lattner | d100d4c | 2005-05-06 06:18:33 +0000 | [diff] [blame] | 16 | } |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 17 | |
| 18 | int "main"(int %argc) ; TODO: , sbyte **argv, sbyte **envp) |
| 19 | begin |
Chris Lattner | da25716 | 2001-10-03 14:50:12 +0000 | [diff] [blame] | 20 | %retval = call int (int) *%test(int %argc) |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 21 | %two = add int %retval, %retval |
Chris Lattner | 49ca7aa | 2001-10-13 07:05:07 +0000 | [diff] [blame] | 22 | %retval2 = invoke int %test(int %argc) |
| 23 | to label %Next except label %Error |
| 24 | Next: |
| 25 | %two2 = add int %two, %retval2 |
| 26 | call void %invoke (%FunTy* %test) |
| 27 | ret int %two2 |
| 28 | Error: |
| 29 | ret int -1 |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 30 | end |
| 31 | |
| 32 | int "test"(int %i0) |
| 33 | begin |
| 34 | ret int %i0 |
| 35 | end |