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