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 vect-outer-1b.c
4 ; opt -correlated-propagation -mem2reg -instcombine -loop-simplify -indvars -instnamer vect-outer-1b.s > vect-outer-1b.ll
6 ; ModuleID = 'vect-outer-1b.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"
10 @image = common global [40 x [40 x i16]] zeroinitializer, align 16
11 @block = common global [40 x [40 x i16]] zeroinitializer, align 16
12 @out = common global [40 x i16] zeroinitializer, align 16
14 define void @foo() nounwind uwtable {
18 for.cond: ; preds = %for.inc26, %entry
19 %indvar1 = phi i64 [ %indvar.next2, %for.inc26 ], [ 0, %entry ]
20 %arrayidx25 = getelementptr [40 x i16]* @out, i64 0, i64 %indvar1
21 %exitcond4 = icmp ne i64 %indvar1, 40
22 br i1 %exitcond4, label %for.body, label %for.end28
24 for.body: ; preds = %for.cond
27 for.cond1: ; preds = %for.inc, %for.body
28 %indvar = phi i64 [ %indvar.next, %for.inc ], [ 0, %for.body ]
29 %diff.0 = phi i32 [ 0, %for.body ], [ %add, %for.inc ]
30 %tmp5 = mul i64 %indvar, 4
31 %arrayidx8 = getelementptr [40 x [40 x i16]]* @image, i64 0, i64 %indvar1, i64 %tmp5
32 %arrayidx15 = getelementptr [40 x [40 x i16]]* @block, i64 0, i64 %indvar1, i64 %tmp5
33 %exitcond = icmp ne i64 %indvar, 10
34 br i1 %exitcond, label %for.body4, label %for.end
36 for.body4: ; preds = %for.cond1
39 for.inc: ; preds = %for.body4
40 %tmp16 = load i16* %arrayidx15, align 8
41 %tmp9 = load i16* %arrayidx8, align 8
42 %conv17 = sext i16 %tmp16 to i32
43 %conv = sext i16 %tmp9 to i32
44 %sub = sub nsw i32 %conv, %conv17
45 %add = add nsw i32 %diff.0, %sub
46 %indvar.next = add i64 %indvar, 1
49 for.end: ; preds = %for.cond1
50 %diff.0.lcssa = phi i32 [ %diff.0, %for.cond1 ]
51 %conv22 = trunc i32 %diff.0.lcssa to i16
52 store i16 %conv22, i16* %arrayidx25, align 2
55 for.inc26: ; preds = %for.end
56 %indvar.next2 = add i64 %indvar1, 1
59 for.end28: ; preds = %for.cond