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 | 9445e9a | 2007-07-19 23:13:04 +0000 | [diff] [blame] | 5 | %ZFunTy = type i32(i8 zeroext) |
| 6 | %SFunTy = type i32(i8 signext) |
Reid Spencer | 5f1397d | 2007-01-03 23:54:02 +0000 | [diff] [blame] | 7 | |
Reid Spencer | 9445e9a | 2007-07-19 23:13:04 +0000 | [diff] [blame] | 8 | declare i16 @"test"(i16 signext %arg) signext |
| 9 | declare i8 @"test2" (i16 zeroext %a2) zeroext |
Reid Spencer | 5f1397d | 2007-01-03 23:54:02 +0000 | [diff] [blame] | 10 | |
Zhou Sheng | febca34 | 2007-06-05 05:28:26 +0000 | [diff] [blame] | 11 | declare i32 @"test3"(i32* noalias %p) |
| 12 | |
Reid Spencer | c2df070 | 2007-03-22 02:15:17 +0000 | [diff] [blame] | 13 | declare void @exit(i32) noreturn nounwind |
Reid Spencer | 5f1397d | 2007-01-03 23:54:02 +0000 | [diff] [blame] | 14 | |
Reid Spencer | 9445e9a | 2007-07-19 23:13:04 +0000 | [diff] [blame] | 15 | define i32 @main(i32 inreg %argc, i8 ** inreg %argv) nounwind { |
Reid Spencer | 5f1397d | 2007-01-03 23:54:02 +0000 | [diff] [blame] | 16 | %val = trunc i32 %argc to i16 |
Duncan Sands | dc02467 | 2007-11-27 13:23:08 +0000 | [diff] [blame] | 17 | %res1 = call i16 (i16 signext) signext *@test(i16 signext %val) signext |
Reid Spencer | 9085043 | 2007-01-30 16:16:01 +0000 | [diff] [blame] | 18 | %two = add i16 %res1, %res1 |
Reid Spencer | 9445e9a | 2007-07-19 23:13:04 +0000 | [diff] [blame] | 19 | %res2 = call i8 @test2(i16 %two zeroext) zeroext |
Reid Spencer | 5f1397d | 2007-01-03 23:54:02 +0000 | [diff] [blame] | 20 | %retVal = sext i16 %two to i32 |
| 21 | ret i32 %retVal |
| 22 | } |