test/Transforms/DecomposeMultiDimRefs/multidim.ll

   1 ; RUN: llvm-as < %s | opt -f -lowerrefs -o Output/%s.bc
   2 ;
   3         %Flat_struct = type { sbyte, float }
   4         %Flat_t = type { sbyte, float }
   5         %Mixed_struct = type { int, [10 x double], [10 x [10 x double]], [10 x { sbyte, float }] }
   6         %Mixed_t = type { int, [10 x double], [10 x [10 x double]], [10 x { sbyte, float }] }
   7
   8 %trstr = internal constant [34 x sbyte] c"ENTERING METHOD:  int () * %%ain\0A\00"
   9
  10 declare int "printf"(sbyte *, ...)
  11
  12 declare int "ArrayRef"([100 x int] * %Array, long %I, long %J)
  13
  14 implementation
  15
  16 int "test"([20 x [10 x [5 x int]]] * %A)
  17 begin
  18         %idx = getelementptr [20 x [10 x [5 x int]]] * %A, long 1, long 2, long 3, long 4
  19         %i = load int* %idx
  20
  21         ;; same as above but via a GEP
  22         %iptr = getelementptr [20 x [10 x [5 x int]]] * %A, long 1, long 2, long 3, long 4
  23         %ii= load int* %iptr
  24
  25         ;; EXPECTED RESULT: decomposed indices for above LOAD or GEP
  26         ;; %ptr1 = getelementptr [20 x [10 x [5 x int]]] * %A,            uint 1
  27         ;; %ptr2 = getelementptr [20 x [10 x [5 x int]]] * %ptr1, uint 0, uint 2
  28         ;; %ptr3 = getelementptr       [10 x [5 x int]]  * %ptr2, uint 0, uint 3
  29         ;; %iii  = load                      [5 x int]   * %ptr3, uint 0, uint 4
  30
  31         ret int %i
  32 end
  33
  34 void "InitializeMixed"(%Mixed_struct * %M, int %base)
  35 begin
  36 bb0:                                    ;[#uses=2]
  37         %reg112 = add int %base, 1              ; <int> [#uses=1]
  38         %reg164-idxcast = cast int %reg112 to long              ; <uint> [#uses=1]
  39
  40         ;; Store to a structure field
  41         %idx1 = getelementptr %Mixed_struct * %M, long 0, ubyte 3, long %reg164-idxcast, ubyte 0
  42         store sbyte 81, sbyte* %idx1
  43
  44         ;; EXPECTED RESULT: decomposed indices for above STORE
  45         ;; %ptr1 = getelementptr %Mixed_struct * %M,             uint 0, ubyte 3
  46         ;; %ptr2 = getelementptr [10 x { sbyte, float }]* %ptr1, uint 0, uint %reg164-idxcast
  47         ;; store sbyte 81, {sbyte,float}* %ptr2, uint 0, ubyte 0
  48
  49         ;; Store to an array field within a structure
  50         %idx2 = getelementptr %Mixed_struct * %M, long 0, ubyte 1, long %reg164-idxcast
  51         store double 2.17, double* %idx2
  52
  53         ;; EXPECTED RESULT: decomposed indices for above STORE
  54         ;; %ptr1 = getelementptr %Mixed_struct * %M, uint 0, ubyte 1
  55         ;; store double 2.17, [10 x double]* %ptr1, uint 0, uint %reg164-idxcast
  56
  57         ret void
  58 end
  59
  60
  61 int "main"()
  62 begin
  63 bb0:                                    ;[#uses=1]
  64         %Array = alloca [100 x [100 x int]]
  65         %ArraySlice = getelementptr [100 x [100 x int]]* %Array, long 0, long 0
  66         %trstrP = getelementptr [34 x sbyte] * %trstr, long 0, long 0
  67
  68         %trace  = call int (sbyte *, ...) * %printf( sbyte * %trstrP )
  69
  70         %eltVal = call int %ArrayRef([100 x int]* %ArraySlice, long 8, long 12)
  71         ret int %eltVal
  72
  73 ;;      ret int 0
  74 end
  75
  76 int "ArrayRef"([100 x int] * %Array, long %I, long %J)
  77 begin
  78 bb0:                                    ;[#uses=3]
  79         %idx = getelementptr [100 x int]* %Array, long %I, long %J      ; <int> [#uses=1]
  80         %reg121 = load int* %idx
  81         ret int %reg121
  82 end
  83
  84 sbyte "PtrRef"(sbyte** %argv, long %I, long %J)
  85 begin
  86 bb0:                                    ;[#uses=3]
  87         %idx = getelementptr sbyte** %argv, long %I
  88         %reg222 = load sbyte** %idx
  89         %tmp = load sbyte* %reg222
  90         ret sbyte %tmp
  91 end