diff test/Feature/paramattrs.ll @ 3:9ad51c7bc036

1st commit. remove git dir and add all files.
author Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
date Wed, 15 May 2013 06:43:32 +0900
parents
children afa8332a0e37
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/test/Feature/paramattrs.ll	Wed May 15 06:43:32 2013 +0900
@@ -0,0 +1,24 @@
+; RUN: llvm-as < %s | llvm-dis > %t1.ll
+; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll
+; RUN: diff %t1.ll %t2.ll
+
+%ZFunTy = type i32(i8)
+%SFunTy = type i32(i8)
+
+declare signext i16 @"test"(i16 signext %arg)  
+declare zeroext i8 @"test2" (i16 zeroext %a2) 
+
+declare i32 @"test3"(i32* noalias %p)
+
+declare void @exit(i32) noreturn nounwind
+
+define i32 @main(i32 inreg %argc, i8 ** inreg %argv) nounwind {
+    %val = trunc i32 %argc to i16
+    %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