test/Transforms/LoopVectorize/X86/register-assumption.ll

   1 ; RUN: opt < %s  -loop-vectorize -instcombine -mtriple=x86_64-apple-macosx10.8.0 -mcpu=corei7 -S | FileCheck %s
   2 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   3 target triple = "x86_64-unknown-linux-gnu"
   4
   5 define void @test1() {
   6 entry:
   7   %alloca = alloca float, align 4
   8   br label %loop_exit.dim.11.critedge
   9
  10 loop_exit.dim.11.critedge:                        ; preds = %loop_body.dim.0
  11   %ptrint = ptrtoint float* %alloca to i64
  12   %maskedptr = and i64 %ptrint, 4
  13   %maskcond = icmp eq i64 %maskedptr, 0
  14   br label %loop_header.dim.017.preheader
  15
  16 loop_header.dim.017.preheader:                    ; preds = %loop_exit.dim.016, %loop_exit.dim.11.critedge
  17   br label %loop_body.dim.018
  18
  19 loop_body.dim.018:                                ; preds = %loop_body.dim.018, %loop_header.dim.017.preheader
  20   %invar_address.dim.019.0135 = phi i64 [ 0, %loop_header.dim.017.preheader ], [ %0, %loop_body.dim.018 ]
  21   call void @llvm.assume(i1 %maskcond)
  22 ; CHECK:     call void @llvm.assume(
  23 ; CHECK-NOT: call void @llvm.assume(
  24   %0 = add nuw nsw i64 %invar_address.dim.019.0135, 1
  25   %1 = icmp eq i64 %0, 256
  26   br i1 %1, label %loop_header.dim.017.preheader, label %loop_body.dim.018
  27 }
  28
  29 ; Function Attrs: nounwind
  30 declare void @llvm.assume(i1) #0
  31
  32 attributes #0 = { nounwind }