polly/test/ScopInfo/multiple-types-non-power-of-two-2.ll

   1 ; RUN: opt %loadPolly -polly-print-scops -polly-allow-differing-element-types -disable-output < %s | FileCheck %s
   2 ;
   3 ;  void multiple_types(i8 *A) {
   4 ;    for (long i = 0; i < 100; i++) {
   5 ;      A[i] = *(i128 *)&A[16 * i] +
   6 ;             *(i192 *)&A[24 * i];
   7 ;    }
   8 ;  }
   9 ;
  10 ;
  11 ; CHECK: Arrays {
  12 ; CHECK:     i64 MemRef_A[*]; // Element size 8
  13 ; CHECK: }
  14 ; CHECK: Arrays (Bounds as pw_affs) {
  15 ; CHECK:     i64 MemRef_A[*]; // Element size 8
  16 ; CHECK: }
  17 ; CHECK: Alias Groups (0):
  18 ; CHECK:     n/a
  19 ; CHECK: Statements {
  20 ; CHECK:   Stmt_bb2
  21 ; CHECK:         Domain :=
  22 ; CHECK:             { Stmt_bb2[i0] : 0 <= i0 <= 99 };
  23 ; CHECK:         Schedule :=
  24 ; CHECK:             { Stmt_bb2[i0] -> [i0] };
  25 ; CHECK:         ReadAccess :=       [Reduction Type: NONE] [Scalar: 0]
  26 ; CHECK:             { Stmt_bb2[i0] -> MemRef_A[o0] : 2i0 <= o0 <= 1 + 2i0 }
  27 ; CHECK:         ReadAccess :=       [Reduction Type: NONE] [Scalar: 0]
  28 ; CHECK:             { Stmt_bb2[i0] -> MemRef_A[o0] : 3i0 <= o0 <= 2 + 3i0 }
  29 ; CHECK:         MustWriteAccess :=  [Reduction Type: NONE] [Scalar: 0]
  30 ; CHECK:             { Stmt_bb2[i0] -> MemRef_A[o0] : 2i0 <= o0 <= 1 + 2i0 }
  31 ; CHECK: }
  32
  33 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  34
  35 define void @multiple_types(ptr %A) {
  36 bb:
  37   br label %bb1
  38
  39 bb1:                                              ; preds = %bb20, %bb
  40   %i.0 = phi i64 [ 0, %bb ], [ %tmp21, %bb20 ]
  41   %exitcond = icmp ne i64 %i.0, 100
  42   br i1 %exitcond, label %bb2, label %bb22
  43
  44 bb2:                                              ; preds = %bb1
  45   %load.i128.offset = mul i64 %i.0, 16
  46   %load.i128.ptr = getelementptr inbounds i8, ptr %A, i64 %load.i128.offset
  47   %load.i128.val = load i128, ptr %load.i128.ptr
  48
  49   %load.i192.offset = mul i64 %i.0, 24
  50   %load.i192.ptr = getelementptr inbounds i8, ptr %A, i64 %load.i192.offset
  51   %load.i192.val = load i192, ptr %load.i192.ptr
  52   %load.i192.val.trunc = trunc i192 %load.i192.val to i128
  53
  54   %sum = add i128 %load.i128.val, %load.i192.val.trunc
  55   store i128 %sum, ptr %load.i128.ptr
  56   br label %bb20
  57
  58 bb20:                                             ; preds = %bb2
  59   %tmp21 = add nuw nsw i64 %i.0, 1
  60   br label %bb1
  61
  62 bb22:                                             ; preds = %bb1
  63   ret void
  64 }
  65