pr37027.ll

   1 ; RUN: opt %loadPolly %defaultOpts -polly-codegen -enable-polly-vector -dce -S %s | FileCheck %s
   2 ; Obtained from C source as:
   3 ; clang -S -emit-llvm -O0 pr37027.c
   4 ; opt -correlated-propagation -mem2reg -instcombine -loop-simplify -indvars -instnamer pr37027.s > pr37027.ll
   5 ;
   6 ; ModuleID = 'pr37027.s'
   7 target datalayout = "e-p:64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:64:64-f32:32:32-f64:64:64-v64:64:64-v128:128:128-a0:0:64-s0:64:64-f80:128:128-n8:16:32:64"
   8 target triple = "x86_64-unknown-linux-gnu"
   9
  10 %struct.mystr = type { i32, i32 }
  11
  12 @a = common global [16 x %struct.mystr] zeroinitializer, align 16
  13 @b = common global [16 x %struct.mystr] zeroinitializer, align 16
  14 @res1 = common global i32 0, align 4
  15 @res2 = common global i32 0, align 4
  16
  17 define void @foo() nounwind uwtable {
  18 entry:
  19   br label %for.cond
  20
  21 for.cond:                                         ; preds = %for.inc, %entry
  22   %indvar = phi i64 [ %indvar.next, %for.inc ], [ 0, %entry ]
  23   %sum2.0 = phi i32 [ undef, %entry ], [ %add21, %for.inc ]
  24   %sum1.0 = phi i32 [ undef, %entry ], [ %add9, %for.inc ]
  25   %f217 = getelementptr [16 x %struct.mystr]* @b, i64 0, i64 %indvar, i32 1
  26   %f2 = getelementptr [16 x %struct.mystr]* @a, i64 0, i64 %indvar, i32 1
  27   %scevgep = getelementptr [16 x %struct.mystr]* @b, i64 0, i64 %indvar
  28   %f16 = bitcast %struct.mystr* %scevgep to i32*
  29   %scevgep2 = getelementptr [16 x %struct.mystr]* @a, i64 0, i64 %indvar
  30   %f1 = bitcast %struct.mystr* %scevgep2 to i32*
  31   %exitcond = icmp ne i64 %indvar, 16
  32   br i1 %exitcond, label %for.body, label %for.end
  33
  34 for.body:                                         ; preds = %for.cond
  35   br label %for.inc
  36
  37 for.inc:                                          ; preds = %for.body
  38   %tmp18 = load i32* %f217, align 4
  39   %tmp13 = load i32* %f2, align 4
  40   %tmp7 = load i32* %f16, align 8
  41   %tmp2 = load i32* %f1, align 8
  42   %add19 = add nsw i32 %tmp13, %tmp18
  43   %add = add nsw i32 %tmp2, %tmp7
  44   %add21 = add nsw i32 %sum2.0, %add19
  45   %add9 = add nsw i32 %sum1.0, %add
  46   %indvar.next = add i64 %indvar, 1
  47   br label %for.cond
  48
  49 for.end:                                          ; preds = %for.cond
  50   %sum1.0.lcssa = phi i32 [ %sum1.0, %for.cond ]
  51   %sum2.0.lcssa = phi i32 [ %sum2.0, %for.cond ]
  52   store i32 %sum1.0.lcssa, i32* @res1, align 4
  53   store i32 %sum2.0.lcssa, i32* @res2, align 4
  54   ret void
  55 }
  56 ; CHECK: define