Reid Spencer | 5f1397d | 2007-01-03 23:54:02 +0000 | [diff] [blame] | 1 | ; RUN: llvm-as < %s | llvm-dis > %t1.ll |
| 2 | ; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll |
| 3 | ; RUN: diff %t1.ll %t2.ll |
| 4 | |
Reid Spencer | 13701fa | 2007-01-04 00:03:37 +0000 | [diff] [blame] | 5 | %ZFunTy = type i32(i8 @zext) |
| 6 | %SFunTy = type i32(i8 @sext) |
Reid Spencer | 5f1397d | 2007-01-03 23:54:02 +0000 | [diff] [blame] | 7 | |
Reid Spencer | 13701fa | 2007-01-04 00:03:37 +0000 | [diff] [blame] | 8 | declare i16 @(sext) "test"(i16 @sext %arg) |
| 9 | declare i8 @zext "test2" (i16 @zext %a2) |
Reid Spencer | 5f1397d | 2007-01-03 23:54:02 +0000 | [diff] [blame] | 10 | |
| 11 | implementation |
| 12 | |
| 13 | define i32 %main(i32 %argc, i8 **%argv) { |
| 14 | %val = trunc i32 %argc to i16 |
| 15 | %res = call i16 @sext (i16 @sext) *%test(i16 %val) |
| 16 | %two = add i16 %res, %res |
Reid Spencer | 13701fa | 2007-01-04 00:03:37 +0000 | [diff] [blame] | 17 | %res = call i8 @zext %test2(i16 %two @zext) |
Reid Spencer | 5f1397d | 2007-01-03 23:54:02 +0000 | [diff] [blame] | 18 | %retVal = sext i16 %two to i32 |
| 19 | ret i32 %retVal |
| 20 | } |