| ; REQUIRES: asserts |
| ; RUN: opt -mtriple=systemz-unknown -mcpu=z13 -slp-vectorizer -debug-only=SLP \ |
| ; RUN: -S -disable-output < %s 2>&1 | FileCheck %s |
| ; |
| ; Check that SLP vectorizer gets the right cost difference for a compare |
| ; node. |
| |
| ; Function Attrs: norecurse nounwind readonly |
| define void @fun(i8* nocapture, i32 zeroext) local_unnamed_addr #0 { |
| .lr.ph.preheader: |
| br label %.lr.ph |
| |
| .lr.ph: ; preds = %.lr.ph.preheader, %.lr.ph |
| %2 = phi i32 [ %., %.lr.ph ], [ undef, %.lr.ph.preheader ] |
| %3 = phi i32 [ %.9, %.lr.ph ], [ undef, %.lr.ph.preheader ] |
| %4 = icmp ult i32 %2, %1 |
| %5 = select i1 %4, i32 0, i32 %1 |
| %. = sub i32 %2, %5 |
| %6 = icmp ult i32 %3, %1 |
| %7 = select i1 %6, i32 0, i32 %1 |
| %.9 = sub i32 %3, %7 |
| %8 = zext i32 %. to i64 |
| %9 = getelementptr inbounds i8, i8* %0, i64 %8 |
| %10 = load i8, i8* %9, align 1 |
| %11 = zext i32 %.9 to i64 |
| %12 = getelementptr inbounds i8, i8* %0, i64 %11 |
| %13 = load i8, i8* %12, align 1 |
| %14 = icmp eq i8 %10, %13 |
| br i1 %14, label %.lr.ph, label %._crit_edge |
| |
| ._crit_edge: ; preds = %.lr.ph |
| ret void |
| |
| ; CHECK: SLP: Adding cost -1 for bundle that starts with %4 = icmp ult i32 %2, %1. |
| } |
| |