X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FFeature%2Fparamattrs.ll;h=3bee6177e0b6216e2950affcea131a985c0555a9;hb=933e51c5e3b9db7b0deebcbca387c86cb3b7cb3b;hp=f87e061d87bb4a9282e350ca0877f795722e8779;hpb=13701fa098bb6b7e7d8fa5fef3b3095c1d7e3141;p=oota-llvm.git diff --git a/test/Feature/paramattrs.ll b/test/Feature/paramattrs.ll index f87e061d87b..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 @(sext) "test"(i16 @sext %arg) -declare i8 @zext "test2" (i16 @zext %a2) +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 @sext (i16 @sext) *%test(i16 %val) - %two = add i16 %res, %res - %res = call i8 @zext %test2(i16 %two @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 }