Reid Spencer | c094836 | 2007-01-16 18:08:22 +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 | |
| 5 | %FunTy = type i31(i31) |
| 6 | |
Reid Spencer | c094836 | 2007-01-16 18:08:22 +0000 | [diff] [blame] | 7 | |
Reid Spencer | e3ff5ad | 2007-01-26 08:25:06 +0000 | [diff] [blame] | 8 | define void @"invoke"(%FunTy *%x) |
Reid Spencer | c094836 | 2007-01-16 18:08:22 +0000 | [diff] [blame] | 9 | begin |
| 10 | %foo = call %FunTy* %x(i31 123) |
| 11 | ret void |
| 12 | end |
| 13 | |
Reid Spencer | e3ff5ad | 2007-01-26 08:25:06 +0000 | [diff] [blame] | 14 | define i31 @"main"(i31 %argc, i8 **%argv, i8 **%envp) |
Reid Spencer | c094836 | 2007-01-16 18:08:22 +0000 | [diff] [blame] | 15 | begin |
Reid Spencer | e3ff5ad | 2007-01-26 08:25:06 +0000 | [diff] [blame] | 16 | %retval = call i31 (i31) *@test(i31 %argc) |
Reid Spencer | c094836 | 2007-01-16 18:08:22 +0000 | [diff] [blame] | 17 | %two = add i31 %retval, %retval |
Reid Spencer | e3ff5ad | 2007-01-26 08:25:06 +0000 | [diff] [blame] | 18 | %retval2 = call i31 @test(i31 %argc) |
Reid Spencer | c094836 | 2007-01-16 18:08:22 +0000 | [diff] [blame] | 19 | |
| 20 | %two2 = add i31 %two, %retval2 |
Reid Spencer | e3ff5ad | 2007-01-26 08:25:06 +0000 | [diff] [blame] | 21 | call void @invoke (%FunTy* @test) |
Reid Spencer | c094836 | 2007-01-16 18:08:22 +0000 | [diff] [blame] | 22 | ret i31 %two2 |
| 23 | end |
| 24 | |
Reid Spencer | e3ff5ad | 2007-01-26 08:25:06 +0000 | [diff] [blame] | 25 | define i31 @"test"(i31 %i0) |
Reid Spencer | c094836 | 2007-01-16 18:08:22 +0000 | [diff] [blame] | 26 | begin |
| 27 | ret i31 %i0 |
| 28 | end |