X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FFeature%2Fparamattrs.ll;h=9860f5a6a5bf4f0d7f1c61115f278621228de3f6;hb=61268701931d747fa95e0be8a368101e7f97b83c;hp=f87e061d87bb4a9282e350ca0877f795722e8779;hpb=13701fa098bb6b7e7d8fa5fef3b3095c1d7e3141;p=oota-llvm.git diff --git a/test/Feature/paramattrs.ll b/test/Feature/paramattrs.ll index f87e061d87b..9860f5a6a5b 100644 --- a/test/Feature/paramattrs.ll +++ b/test/Feature/paramattrs.ll @@ -2,19 +2,23 @@ ; 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) +%SFunTy = type i32(i8) -declare i16 @(sext) "test"(i16 @sext %arg) -declare i8 @zext "test2" (i16 @zext %a2) +declare signext i16 @"test"(i16 signext %arg) +declare zeroext i8 @"test2" (i16 zeroext %a2) -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 signext i16 (i16 ) *@test(i16 signext %val) + %two = add i16 %res1, %res1 + %res2 = call zeroext i8 @test2(i16 zeroext %two ) %retVal = sext i16 %two to i32 ret i32 %retVal } + +declare void @function_to_resolve_eagerly() nonlazybind