X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FFeature%2Fvarargs.ll;h=b9317df491afb04afde8443098f01c879226e1ae;hb=f907a26bc28c1c2e9e7026815a5271bc393d2933;hp=d75a49d8edf4499250596793eff4adae89b6877a;hpb=3f7706b5d23aca56a6d3a62ebb9466e1e89335f7;p=oota-llvm.git diff --git a/test/Feature/varargs.ll b/test/Feature/varargs.ll index d75a49d8edf..b9317df491a 100644 --- a/test/Feature/varargs.ll +++ b/test/Feature/varargs.ll @@ -1,23 +1,29 @@ -; RUN: llvm-as %s -o - | llvm-dis > %t1.ll +; 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 sbyte* %llvm.va_start() -declare sbyte* %llvm.va_copy(sbyte*) -declare void %llvm.va_end(sbyte*) +declare void @llvm.va_start(i8*) -int %test(int %X, ...) { - %ap = call sbyte* %llvm.va_start() - %aq = call sbyte* %llvm.va_copy(sbyte* %ap) - call void %llvm.va_end(sbyte* %aq) - - %tmp = vaarg sbyte* %ap, int - %ap2 = vanext sbyte* %ap, int +declare void @llvm.va_copy(i8*, i8*) - call void %llvm.va_end(sbyte* %ap2) - ret int %tmp +declare void @llvm.va_end(i8*) + +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 } +