1; RUN: opt -mtriple=x86_64-apple-darwin -mattr=+sse2 -loop-vectorize -debug-only=loop-vectorize -S < %s 2>&1 | FileCheck %s 2; REQUIRES: asserts 3 4; CHECK: "foo" 5; CHECK: LV: Found an estimated cost of 1 for VF 4 For instruction: %shift = ashr i32 %val, %k 6define void @foo(i32* nocapture %p, i32 %k) local_unnamed_addr #0 { 7entry: 8 br label %body 9 10body: 11 %i = phi i64 [ 0, %entry ], [ %next, %body ] 12 %ptr = getelementptr inbounds i32, i32* %p, i64 %i 13 %val = load i32, i32* %ptr, align 4 14 %shift = ashr i32 %val, %k 15 store i32 %shift, i32* %ptr, align 4 16 %next = add nuw nsw i64 %i, 1 17 %cmp = icmp eq i64 %next, 16 18 br i1 %cmp, label %exit, label %body 19 20exit: 21 ret void 22 23} 24