Tanya Lattner | 2393a24 | 2004-11-06 23:08:26 +0000 | [diff] [blame] | 1 | ; RUN: llvm-as -f %s -o - | llc |
| 2 | |
Vikram S. Adve | a7a1c7e | 2002-07-10 21:54:05 +0000 | [diff] [blame] | 3 | ; Test that a sequence of constant indices are folded correctly |
| 4 | ; into the equivalent offset at compile-time. |
| 5 | |
| 6 | %MixedA = type { float, [15 x int], sbyte, float } |
| 7 | |
| 8 | %MixedB = type { float, %MixedA, float } |
| 9 | |
| 10 | %fmtArg = internal global [44 x sbyte] c"sqrt(2) = %g\0Aexp(1) = %g\0Api = %g\0Afive = %g\0A\00"; <[44 x sbyte]*> [#uses=1] |
| 11 | |
| 12 | implementation |
| 13 | |
| 14 | declare int "printf"(sbyte*, ...) |
| 15 | |
| 16 | int "main"() |
| 17 | begin |
| 18 | %ScalarA = alloca %MixedA |
| 19 | %ScalarB = alloca %MixedB |
| 20 | %ArrayA = alloca %MixedA, uint 4 |
| 21 | %ArrayB = alloca %MixedB, uint 3 |
Chris Lattner | 236c4a3 | 2002-08-21 22:44:39 +0000 | [diff] [blame] | 22 | |
Chris Lattner | 30e2d91 | 2003-09-09 18:14:37 +0000 | [diff] [blame] | 23 | %I1 = getelementptr %MixedA* %ScalarA, long 0, ubyte 0 |
Chris Lattner | 236c4a3 | 2002-08-21 22:44:39 +0000 | [diff] [blame] | 24 | store float 1.4142, float *%I1 |
Chris Lattner | 30e2d91 | 2003-09-09 18:14:37 +0000 | [diff] [blame] | 25 | %I2 = getelementptr %MixedB* %ScalarB, long 0, ubyte 1, ubyte 0 |
Chris Lattner | 236c4a3 | 2002-08-21 22:44:39 +0000 | [diff] [blame] | 26 | store float 2.7183, float *%I2 |
Vikram S. Adve | a7a1c7e | 2002-07-10 21:54:05 +0000 | [diff] [blame] | 27 | |
Chris Lattner | 30e2d91 | 2003-09-09 18:14:37 +0000 | [diff] [blame] | 28 | %fptrA = getelementptr %MixedA* %ArrayA, long 1, ubyte 0 |
| 29 | %fptrB = getelementptr %MixedB* %ArrayB, long 2, ubyte 1, ubyte 0 |
Vikram S. Adve | a7a1c7e | 2002-07-10 21:54:05 +0000 | [diff] [blame] | 30 | |
| 31 | store float 3.1415, float* %fptrA |
| 32 | store float 5.0, float* %fptrB |
| 33 | |
Vikram S. Adve | 7894d56 | 2002-08-04 20:53:14 +0000 | [diff] [blame] | 34 | ;; Test that a sequence of GEPs with constant indices are folded right |
Chris Lattner | 30e2d91 | 2003-09-09 18:14:37 +0000 | [diff] [blame] | 35 | %fptrA1 = getelementptr %MixedA* %ArrayA, long 3 ; &ArrayA[3] |
| 36 | %fptrA2 = getelementptr %MixedA* %fptrA1, long 0, ubyte 1 ; &(*fptrA1).1 |
| 37 | %fptrA3 = getelementptr [15 x int]* %fptrA2, long 0, long 8 ; &(*fptrA2)[8] |
Vikram S. Adve | 7894d56 | 2002-08-04 20:53:14 +0000 | [diff] [blame] | 38 | store int 5, int* %fptrA3 ; ArrayA[3].1[8] = 5 |
| 39 | |
Chris Lattner | 236c4a3 | 2002-08-21 22:44:39 +0000 | [diff] [blame] | 40 | %sqrtTwo = load float *%I1 |
| 41 | %exp = load float *%I2 |
Chris Lattner | 30e2d91 | 2003-09-09 18:14:37 +0000 | [diff] [blame] | 42 | %I3 = getelementptr %MixedA* %ArrayA, long 1, ubyte 0 |
Chris Lattner | 236c4a3 | 2002-08-21 22:44:39 +0000 | [diff] [blame] | 43 | %pi = load float* %I3 |
Chris Lattner | 30e2d91 | 2003-09-09 18:14:37 +0000 | [diff] [blame] | 44 | %I4 = getelementptr %MixedB* %ArrayB, long 2, ubyte 1, ubyte 0 |
Chris Lattner | 236c4a3 | 2002-08-21 22:44:39 +0000 | [diff] [blame] | 45 | %five = load float* %I4 |
Vikram S. Adve | a7a1c7e | 2002-07-10 21:54:05 +0000 | [diff] [blame] | 46 | |
| 47 | %dsqrtTwo = cast float %sqrtTwo to double |
| 48 | %dexp = cast float %exp to double |
| 49 | %dpi = cast float %pi to double |
| 50 | %dfive = cast float %five to double |
| 51 | |
Chris Lattner | 30e2d91 | 2003-09-09 18:14:37 +0000 | [diff] [blame] | 52 | %castFmt = getelementptr [44 x sbyte]* %fmtArg, long 0, long 0 |
Vikram S. Adve | a7a1c7e | 2002-07-10 21:54:05 +0000 | [diff] [blame] | 53 | call int (sbyte*, ...)* %printf(sbyte* %castFmt, double %dsqrtTwo, double %dexp, double %dpi, double %dfive) |
| 54 | |
| 55 | ret int 0 |
| 56 | end |