1 ; RUN: opt < %s -loop-vectorize -force-vector-width=4 -dce -instcombine -licm -S -enable-if-conversion | FileCheck %s
3 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-S128"
4 target triple = "x86_64-apple-macosx10.9.0"
6 ; When we scalarize a store, make sure that the addresses are extracted
7 ; from a vector. We had a bug where the addresses were the old scalar
12 ; CHECK: extractelement
14 ; CHECK: extractelement
16 ; CHECK: extractelement
18 ; CHECK: extractelement
21 define i32 @foo(i32* nocapture %a) nounwind uwtable ssp {
24 ; <label>:1 ; preds = %7, %0
25 %indvars.iv = phi i64 [ 0, %0 ], [ %indvars.iv.next, %7 ]
26 %2 = mul nsw i64 %indvars.iv, 7
27 %3 = getelementptr inbounds i32* %a, i64 %2
28 %4 = load i32* %3, align 4
29 %5 = icmp sgt i32 %4, 3
30 br i1 %5, label %6, label %7
32 ; <label>:6 ; preds = %1
34 %tmp1 = mul i32 %tmp, %4
37 ; <label>:7 ; preds = %6, %1
38 %x.0 = phi i32 [ %tmp1, %6 ], [ %4, %1 ]
39 %8 = add nsw i32 %x.0, 3
40 store i32 %8, i32* %3, align 4
41 %indvars.iv.next = add i64 %indvars.iv, 1
42 %lftr.wideiv = trunc i64 %indvars.iv.next to i32
43 %exitcond = icmp eq i32 %lftr.wideiv, 256
44 br i1 %exitcond, label %9, label %1
46 ; <label>:9 ; preds = %7