X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=test%2FCodeGen%2FGeneric%2Fconstindices.ll;h=837836fb29ca5759d5ae11d5aee052e547a73df2;hb=b83896903b07f3be5722c8a0449d4922ef8a5a8a;hp=0b8ef91346587492a4c7e8793de3601c12ed1d29;hpb=a7a1c7e9719a4358521035be9965603eb1f429a6;p=oota-llvm.git diff --git a/test/CodeGen/Generic/constindices.ll b/test/CodeGen/Generic/constindices.ll index 0b8ef913465..837836fb29c 100644 --- a/test/CodeGen/Generic/constindices.ll +++ b/test/CodeGen/Generic/constindices.ll @@ -1,44 +1,44 @@ +; RUN: llc < %s + ; Test that a sequence of constant indices are folded correctly ; into the equivalent offset at compile-time. -%MixedA = type { float, [15 x int], sbyte, float } - -%MixedB = type { float, %MixedA, float } - -%fmtArg = internal global [44 x sbyte] c"sqrt(2) = %g\0Aexp(1) = %g\0Api = %g\0Afive = %g\0A\00"; <[44 x sbyte]*> [#uses=1] + %MixedA = type { float, [15 x i32], i8, float } + %MixedB = type { float, %MixedA, float } +@fmtArg = internal global [44 x i8] c"sqrt(2) = %g\0Aexp(1) = %g\0Api = %g\0Afive = %g\0A\00" ; <[44 x i8]*> [#uses=1] -implementation +declare i32 @printf(i8*, ...) -declare int "printf"(sbyte*, ...) +define i32 @main() { + %ScalarA = alloca %MixedA ; <%MixedA*> [#uses=1] + %ScalarB = alloca %MixedB ; <%MixedB*> [#uses=1] + %ArrayA = alloca %MixedA, i32 4 ; <%MixedA*> [#uses=3] + %ArrayB = alloca %MixedB, i32 3 ; <%MixedB*> [#uses=2] + %I1 = getelementptr %MixedA, %MixedA* %ScalarA, i64 0, i32 0 ; [#uses=2] + store float 0x3FF6A09020000000, float* %I1 + %I2 = getelementptr %MixedB, %MixedB* %ScalarB, i64 0, i32 1, i32 0 ; [#uses=2] + store float 0x4005BF1420000000, float* %I2 + %fptrA = getelementptr %MixedA, %MixedA* %ArrayA, i64 1, i32 0 ; [#uses=1] + %fptrB = getelementptr %MixedB, %MixedB* %ArrayB, i64 2, i32 1, i32 0 ; [#uses=1] + store float 0x400921CAC0000000, float* %fptrA + store float 5.000000e+00, float* %fptrB -int "main"() -begin - %ScalarA = alloca %MixedA - %ScalarB = alloca %MixedB - %ArrayA = alloca %MixedA, uint 4 - %ArrayB = alloca %MixedB, uint 3 - - store float 1.4142, %MixedA* %ScalarA, uint 0, ubyte 0 - store float 2.7183, %MixedB* %ScalarB, uint 0, ubyte 1, ubyte 0 - - %fptrA = getelementptr %MixedA* %ArrayA, uint 1, ubyte 0 - %fptrB = getelementptr %MixedB* %ArrayB, uint 2, ubyte 1, ubyte 0 - - store float 3.1415, float* %fptrA - store float 5.0, float* %fptrB - - %sqrtTwo = load %MixedA* %ScalarA, uint 0, ubyte 0 - %exp = load %MixedB* %ScalarB, uint 0, ubyte 1, ubyte 0 - %pi = load %MixedA* %ArrayA, uint 1, ubyte 0 - %five = load %MixedB* %ArrayB, uint 2, ubyte 1, ubyte 0 - - %dsqrtTwo = cast float %sqrtTwo to double - %dexp = cast float %exp to double - %dpi = cast float %pi to double - %dfive = cast float %five to double - - %castFmt = getelementptr [44 x sbyte]* %fmtArg, uint 0, uint 0 - call int (sbyte*, ...)* %printf(sbyte* %castFmt, double %dsqrtTwo, double %dexp, double %dpi, double %dfive) - - ret int 0 -end + ;; Test that a sequence of GEPs with constant indices are folded right + %fptrA1 = getelementptr %MixedA, %MixedA* %ArrayA, i64 3 ; <%MixedA*> [#uses=1] + %fptrA2 = getelementptr %MixedA, %MixedA* %fptrA1, i64 0, i32 1 ; <[15 x i32]*> [#uses=1] + %fptrA3 = getelementptr [15 x i32], [15 x i32]* %fptrA2, i64 0, i64 8 ; [#uses=1] + store i32 5, i32* %fptrA3 + %sqrtTwo = load float, float* %I1 ; [#uses=1] + %exp = load float, float* %I2 ; [#uses=1] + %I3 = getelementptr %MixedA, %MixedA* %ArrayA, i64 1, i32 0 ; [#uses=1] + %pi = load float, float* %I3 ; [#uses=1] + %I4 = getelementptr %MixedB, %MixedB* %ArrayB, i64 2, i32 1, i32 0 ; [#uses=1] + %five = load float, float* %I4 ; [#uses=1] + %dsqrtTwo = fpext float %sqrtTwo to double ; [#uses=1] + %dexp = fpext float %exp to double ; [#uses=1] + %dpi = fpext float %pi to double ; [#uses=1] + %dfive = fpext float %five to double ; [#uses=1] + %castFmt = getelementptr [44 x i8], [44 x i8]* @fmtArg, i64 0, i64 0 ; [#uses=1] + call i32 (i8*, ...) @printf( i8* %castFmt, double %dsqrtTwo, double %dexp, double %dpi, double %dfive ) ; :1 [#uses=0] + ret i32 0 +}