X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FFeature%2Fparamattrs.ll;h=3bee6177e0b6216e2950affcea131a985c0555a9;hb=933e51c5e3b9db7b0deebcbca387c86cb3b7cb3b;hp=329b875d8a4e0b0c798617449c093eec59a1d46b;hpb=e3ff5ada8a8f6cc166ecc45147da0d63c3683026;p=oota-llvm.git diff --git a/test/Feature/paramattrs.ll b/test/Feature/paramattrs.ll index 329b875d8a4..3bee6177e0b 100644 --- a/test/Feature/paramattrs.ll +++ b/test/Feature/paramattrs.ll @@ -2,19 +2,21 @@ ; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll ; RUN: diff %t1.ll %t2.ll -%ZFunTy = type i32(i8 zext) -%SFunTy = type i32(i8 sext) +%ZFunTy = type i32(i8 zeroext) +%SFunTy = type i32(i8 signext) -declare i16 @"test"(i16 sext %arg) sext -declare i8 @"test2" (i16 zext %a2) zext +declare i16 @"test"(i16 signext %arg) signext +declare i8 @"test2" (i16 zeroext %a2) zeroext -implementation +declare i32 @"test3"(i32* noalias %p) -define i32 @main(i32 %argc, i8 **%argv) { +declare void @exit(i32) noreturn nounwind + +define i32 @main(i32 inreg %argc, i8 ** inreg %argv) nounwind { %val = trunc i32 %argc to i16 - %res = call i16 (i16 sext) sext *@test(i16 %val) - %two = add i16 %res, %res - %res = call i8 @test2(i16 %two zext) zext + %res1 = call i16 (i16 signext) signext *@test(i16 signext %val) signext + %two = add i16 %res1, %res1 + %res2 = call i8 @test2(i16 %two zeroext) zeroext %retVal = sext i16 %two to i32 ret i32 %retVal }