X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FFeature%2Fparamattrs.ll;h=3bee6177e0b6216e2950affcea131a985c0555a9;hb=3762046dbfbf17b0c21804cce39f02b2dce05ff9;hp=df0232c68110064d035caed5135c3f92c5206d98;hpb=5f1397d6771f662684084cf8257b6bb996c7e64b;p=oota-llvm.git

diff --git a/test/Feature/paramattrs.ll b/test/Feature/paramattrs.ll
index df0232c6811..3bee6177e0b 100644
--- a/test/Feature/paramattrs.ll
+++ b/test/Feature/paramattrs.ll
@@ -2,17 +2,21 @@
 ; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
 ; RUN: diff %t1.ll %t2.ll
 
-%FunTy = type i32(i8 @zext)
+%ZFunTy = type i32(i8 zeroext)
+%SFunTy = type i32(i8 signext)
 
-declare i16 @(sext) "test"(i16 @sext %arg)      ; Differ only by vararg
-declare i16 "test2" (i16 %a1, i16 %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
+    %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
 }