X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FFeature%2Fvarargs.ll;h=b9317df491afb04afde8443098f01c879226e1ae;hb=a835f00702328df8da968d27b2d5849078ed77e6;hp=defcd93cc668410881ce866a296f08e6635e0fd9;hpb=6d95257a919574e448c069061e2a03c6132bbb6b;p=oota-llvm.git diff --git a/test/Feature/varargs.ll b/test/Feature/varargs.ll index defcd93cc66..b9317df491a 100644 --- a/test/Feature/varargs.ll +++ b/test/Feature/varargs.ll @@ -1,21 +1,29 @@ +; RUN: llvm-as < %s | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll + ; Demonstrate all of the variable argument handling intrinsic functions plus ; the va_arg instruction. -implementation -declare void %llvm.va_start(sbyte**, ...) -declare void %llvm.va_copy(sbyte**, sbyte*) -declare void %llvm.va_end(sbyte**) +declare void @llvm.va_start(i8*) + +declare void @llvm.va_copy(i8*, i8*) -int %test(int %X, ...) { - %ap = alloca sbyte* - %aq = alloca sbyte* - call void (sbyte**, ...)* %llvm.va_start(sbyte** %ap, int %X) - %apv = load sbyte** %ap - call void %llvm.va_copy(sbyte** %aq, sbyte* %apv) - call void %llvm.va_end(sbyte** %aq) - - %tmp = va_arg sbyte** %ap, int +declare void @llvm.va_end(i8*) - call void %llvm.va_end(sbyte** %ap) - ret int %tmp +define i32 @test(i32 %X, ...) { + %ap = alloca i8* ; [#uses=4] + %va.upgrd.1 = bitcast i8** %ap to i8* ; [#uses=1] + call void @llvm.va_start( i8* %va.upgrd.1 ) + %tmp = va_arg i8** %ap, i32 ; [#uses=1] + %aq = alloca i8* ; [#uses=2] + %va0.upgrd.2 = bitcast i8** %aq to i8* ; [#uses=1] + %va1.upgrd.3 = bitcast i8** %ap to i8* ; [#uses=1] + call void @llvm.va_copy( i8* %va0.upgrd.2, i8* %va1.upgrd.3 ) + %va.upgrd.4 = bitcast i8** %aq to i8* ; [#uses=1] + call void @llvm.va_end( i8* %va.upgrd.4 ) + %va.upgrd.5 = bitcast i8** %ap to i8* ; [#uses=1] + call void @llvm.va_end( i8* %va.upgrd.5 ) + ret i32 %tmp } +