blob: 3bee6177e0b6216e2950affcea131a985c0555a9 [file] [log] [blame]
Reid Spencer5f1397d2007-01-03 23:54:02 +00001; 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 Spencer9445e9a2007-07-19 23:13:04 +00005%ZFunTy = type i32(i8 zeroext)
6%SFunTy = type i32(i8 signext)
Reid Spencer5f1397d2007-01-03 23:54:02 +00007
Reid Spencer9445e9a2007-07-19 23:13:04 +00008declare i16 @"test"(i16 signext %arg) signext
9declare i8 @"test2" (i16 zeroext %a2) zeroext
Reid Spencer5f1397d2007-01-03 23:54:02 +000010
Zhou Shengfebca342007-06-05 05:28:26 +000011declare i32 @"test3"(i32* noalias %p)
12
Reid Spencerc2df0702007-03-22 02:15:17 +000013declare void @exit(i32) noreturn nounwind
Reid Spencer5f1397d2007-01-03 23:54:02 +000014
Reid Spencer9445e9a2007-07-19 23:13:04 +000015define i32 @main(i32 inreg %argc, i8 ** inreg %argv) nounwind {
Reid Spencer5f1397d2007-01-03 23:54:02 +000016 %val = trunc i32 %argc to i16
Duncan Sandsdc024672007-11-27 13:23:08 +000017 %res1 = call i16 (i16 signext) signext *@test(i16 signext %val) signext
Reid Spencer90850432007-01-30 16:16:01 +000018 %two = add i16 %res1, %res1
Reid Spencer9445e9a2007-07-19 23:13:04 +000019 %res2 = call i8 @test2(i16 %two zeroext) zeroext
Reid Spencer5f1397d2007-01-03 23:54:02 +000020 %retVal = sext i16 %two to i32
21 ret i32 %retVal
22}