X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FFeature%2Fforwardreftest.ll;h=6ca1be79e4617be8efc8a214d6ac997b0d09e21a;hb=7c1683d47c960a66dc0e006f789962b3f10d6f45;hp=5b62989c637e314792c1a7efaa62d72f6d05a313;hpb=8fba3a0f3a4b85066b93b52359b13f00062e247b;p=oota-llvm.git diff --git a/test/Feature/forwardreftest.ll b/test/Feature/forwardreftest.ll index 5b62989c637..6ca1be79e46 100644 --- a/test/Feature/forwardreftest.ll +++ b/test/Feature/forwardreftest.ll @@ -1,29 +1,29 @@ - %myty = type int - %myfn = type float (int,double,uint,short) - type int(%myfn) - type int(int) - type int(int(int)) +; RUN: llvm-as < %s | llvm-dis > %t1.ll +; RUN: llvm-as %t1.ll -o - | llvm-dis > %t2.ll +; RUN: diff %t1.ll %t2.ll - %thisfuncty = type int (int) * -implementation +%myty = type i32 +%myfn = type float (i32,double,i32,i16) +%0 = type i32(%myfn*) +%1 = type i32(i32) +%2 = type i32(i32(i32)*) -; This function always returns zero -int "zarro"(int %Func) -begin + %thisfuncty = type i32 (i32) * + +declare void @F(%thisfuncty, %thisfuncty, %thisfuncty) + +define i32 @zarro(i32 %Func) { Startup: - add int 0, 10 - ret int 0 -end + add i32 0, 10 ; :0 [#uses=0] + ret i32 0 +} -int "test"(int) -begin - add %thisfuncty %zarro, %test - add %thisfuncty %test, %foozball - ret int 0 -end +define i32 @test(i32) { + call void @F( %thisfuncty @zarro, %thisfuncty @test, %thisfuncty @foozball ) + ret i32 0 +} -int "foozball"(int) -begin - ret int 0 -end +define i32 @foozball(i32) { + ret i32 0 +}