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 | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 5 | %myty = type int |
6 | %myfn = type float (int,double,uint,short) | ||||
Chris Lattner | 6c14230 | 2004-07-14 23:14:07 +0000 | [diff] [blame] | 7 | type int(%myfn*) |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 8 | type int(int) |
Chris Lattner | 6c14230 | 2004-07-14 23:14:07 +0000 | [diff] [blame] | 9 | type int(int(int)*) |
Chris Lattner | 8fba3a0 | 2002-05-02 21:52:35 +0000 | [diff] [blame] | 10 | |
11 | %thisfuncty = type int (int) * | ||||
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 12 | implementation |
13 | |||||
Chris Lattner | 7209bff | 2002-10-06 22:43:49 +0000 | [diff] [blame] | 14 | declare void %F(%thisfuncty, %thisfuncty, %thisfuncty) |
15 | |||||
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 16 | ; This function always returns zero |
Chris Lattner | 7209bff | 2002-10-06 22:43:49 +0000 | [diff] [blame] | 17 | int %zarro(int %Func) |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 18 | begin |
19 | Startup: | ||||
Chris Lattner | 8fba3a0 | 2002-05-02 21:52:35 +0000 | [diff] [blame] | 20 | add int 0, 10 |
21 | ret int 0 | ||||
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 22 | end |
23 | |||||
Chris Lattner | 7209bff | 2002-10-06 22:43:49 +0000 | [diff] [blame] | 24 | int %test(int) |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 25 | begin |
Chris Lattner | 7209bff | 2002-10-06 22:43:49 +0000 | [diff] [blame] | 26 | call void %F(%thisfuncty %zarro, %thisfuncty %test, %thisfuncty %foozball) |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 27 | ret int 0 |
28 | end | ||||
29 | |||||
Chris Lattner | 7209bff | 2002-10-06 22:43:49 +0000 | [diff] [blame] | 30 | int %foozball(int) |
Chris Lattner | 0095054 | 2001-06-06 20:29:01 +0000 | [diff] [blame] | 31 | begin |
32 | ret int 0 | ||||
33 | end | ||||
34 |