pr37474.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 pr37474.c
   4 ; opt -correlated-propagation -mem2reg -instcombine -loop-simplify -indvars -instnamer pr37474.s > pr37474.ll
   5 ;
   6 ; ModuleID = 'pr37474.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 define void @foo(i32* noalias %pInput, i32* noalias %pOutput) nounwind uwtable {
  11 entry:
  12   br label %for.cond
  13
  14 for.cond:                                         ; preds = %for.inc, %entry
  15   %indvar = phi i64 [ %indvar.next, %for.inc ], [ 0, %entry ]
  16   %tmp = mul i64 %indvar, 2
  17   %tmp1 = add i64 %tmp, 1
  18   %incdec.ptr34 = getelementptr i32* %pOutput, i64 %tmp1
  19   %pOutput.addr.0 = getelementptr i32* %pOutput, i64 %tmp
  20   %tmp3 = mul i64 %indvar, 6
  21   %tmp4 = add i64 %tmp3, 5
  22   %incdec.ptr13 = getelementptr i32* %pInput, i64 %tmp4
  23   %tmp6 = add i64 %tmp3, 4
  24   %incdec.ptr10 = getelementptr i32* %pInput, i64 %tmp6
  25   %tmp7 = add i64 %tmp3, 3
  26   %incdec.ptr7 = getelementptr i32* %pInput, i64 %tmp7
  27   %tmp9 = add i64 %tmp3, 2
  28   %incdec.ptr4 = getelementptr i32* %pInput, i64 %tmp9
  29   %tmp10 = add i64 %tmp3, 1
  30   %incdec.ptr = getelementptr i32* %pInput, i64 %tmp10
  31   %pInput.addr.0 = getelementptr i32* %pInput, i64 %tmp3
  32   %exitcond = icmp ne i64 %indvar, 5
  33   br i1 %exitcond, label %for.body, label %for.end
  34
  35 for.body:                                         ; preds = %for.cond
  36   %tmp2 = load i32* %pInput.addr.0, align 4
  37   %tmp5 = load i32* %incdec.ptr, align 4
  38   %tmp8 = load i32* %incdec.ptr4, align 4
  39   %tmp11 = load i32* %incdec.ptr7, align 4
  40   %tmp14 = load i32* %incdec.ptr10, align 4
  41   %tmp17 = load i32* %incdec.ptr13, align 4
  42   %add = add i32 %tmp2, %tmp11
  43   %add22 = add i32 %tmp5, %tmp14
  44   %add25 = add i32 %tmp8, %tmp17
  45   %mul = mul i32 %add, 100
  46   %mul28 = mul i32 %add22, 1322
  47   %add29 = add i32 %mul, %mul28
  48   %mul31 = mul i32 %add25, 74
  49   %add32 = add i32 %add29, %mul31
  50   store i32 %add32, i32* %pOutput.addr.0, align 4
  51   %mul36 = mul i32 %add, 216
  52   %mul38 = mul i32 %add22, 13
  53   %add39 = add i32 %mul36, %mul38
  54   %mul41 = mul i32 %add25, 191
  55   %add42 = add i32 %add39, %mul41
  56   store i32 %add42, i32* %incdec.ptr34, align 4
  57   br label %for.inc
  58
  59 for.inc:                                          ; preds = %for.body
  60   %indvar.next = add i64 %indvar, 1
  61   br label %for.cond
  62
  63 for.end:                                          ; preds = %for.cond
  64   ret void
  65 }
  66 ; CHECK: define