; RUN: opt < %s  -loop-vectorize -instcombine -mtriple=x86_64-apple-macosx10.8.0 -mcpu=corei7 -S | FileCheck %s
target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
target triple = "x86_64-unknown-linux-gnu"

define void @test1() {
entry:
  %alloca = alloca float, align 4
  br label %loop_exit.dim.11.critedge

loop_exit.dim.11.critedge:                        ; preds = %loop_body.dim.0
  %ptrint = ptrtoint float* %alloca to i64
  %maskedptr = and i64 %ptrint, 4
  %maskcond = icmp eq i64 %maskedptr, 0
  br label %loop_header.dim.017.preheader

loop_header.dim.017.preheader:                    ; preds = %loop_exit.dim.016, %loop_exit.dim.11.critedge
  br label %loop_body.dim.018

loop_body.dim.018:                                ; preds = %loop_body.dim.018, %loop_header.dim.017.preheader
  %invar_address.dim.019.0135 = phi i64 [ 0, %loop_header.dim.017.preheader ], [ %0, %loop_body.dim.018 ]
  call void @llvm.assume(i1 %maskcond)
; CHECK:     call void @llvm.assume(
; CHECK-NOT: call void @llvm.assume(
  %0 = add nuw nsw i64 %invar_address.dim.019.0135, 1
  %1 = icmp eq i64 %0, 256
  br i1 %1, label %loop_header.dim.017.preheader, label %loop_body.dim.018
}

; Function Attrs: nounwind
declare void @llvm.assume(i1) #0

attributes #0 = { nounwind }