33 lines · plain
1; RUN: opt < %s -passes=loop-vectorize,instcombine -mtriple=x86_64-apple-macosx10.8.0 -mcpu=corei7 -S | FileCheck %s2target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"3target triple = "x86_64-unknown-linux-gnu"4 5define void @test1() {6entry:7 %alloca = alloca float, align 48 br label %loop_exit.dim.11.critedge9 10loop_exit.dim.11.critedge: ; preds = %loop_body.dim.011 %ptrint = ptrtoint ptr %alloca to i6412 %maskedptr = and i64 %ptrint, 413 %maskcond = icmp eq i64 %maskedptr, 014 br label %loop_header.dim.017.preheader15 16loop_header.dim.017.preheader: ; preds = %loop_exit.dim.016, %loop_exit.dim.11.critedge17 br label %loop_body.dim.01818 19loop_body.dim.018: ; preds = %loop_body.dim.018, %loop_header.dim.017.preheader20 %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, 125 %1 = icmp eq i64 %0, 25626 br i1 %1, label %loop_header.dim.017.preheader, label %loop_body.dim.01827}28 29; Function Attrs: nounwind30declare void @llvm.assume(i1) #031 32attributes #0 = { nounwind }33