X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FFeature%2Fparamattrs.ll;h=9860f5a6a5bf4f0d7f1c61115f278621228de3f6;hb=54c251c77ff818dad2496f0069e780cf3cb9066f;hp=6c2e8b175c77f6a66aaf071f111bfd97ee6bb5cc;hpb=2fd6c65010b510d3bd3f15780f2237a8eb76cc4c;p=oota-llvm.git diff --git a/test/Feature/paramattrs.ll b/test/Feature/paramattrs.ll index 6c2e8b175c7..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 "test"(i16 sext %arg) sext -declare i8 "test2" (i16 zext %a2) zext +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 (i16 sext) sext *%test(i16 %val) - %two = add i16 %res, %res - %res = call i8 %test2(i16 %two zext) 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