polly/test/ScopInfo/same-base-address-scalar-and-array.ll

   1 ; RUN: opt %loadPolly -polly-print-scops -disable-output < %s | FileCheck %s
   2 ;
   3 ; Verify we introduce two ScopArrayInfo objects (or virtual arrays) for the %out variable
   4 ; as it is used as a memory base pointer (%0) but also as a scalar (%out.addr.0.lcssa).
   5 ;
   6 ; CHECK:         Arrays {
   7 ; CHECK-NEXT:        ptr MemRef_out_addr_0_lcssa; // Element size 8
   8 ; CHECK-NEXT:        float MemRef_out[*]; // Element size 4
   9 ; CHECK-NEXT:    }
  10 ;
  11 target datalayout = "e-m:o-i64:64-f80:128-n8:16:32:64-S128"
  12
  13 ; Function Attrs: nounwind ssp uwtable
  14 define void @ff_celp_lp_synthesis_filterf(ptr %out) #0 {
  15 entry:
  16   br label %entry.split
  17
  18 entry.split:                                      ; preds = %entry
  19   br i1 false, label %for.end.97, label %for.body.lr.ph
  20
  21 for.body.lr.ph:                                   ; preds = %entry.split
  22   %arrayidx13 = getelementptr inbounds float, ptr %out, i64 -3
  23   %0 = load float, ptr %arrayidx13, align 4
  24   br label %for.end.97
  25
  26 for.end.97:                                       ; preds = %for.cond.for.end.97_crit_edge, %entry.split
  27   %out.addr.0.lcssa = phi ptr [ undef, %for.body.lr.ph ], [ %out, %entry.split ]
  28   ret void
  29 }