| ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4 |
| ; RUN: opt -passes=loop-vectorize -mtriple=s390x -mcpu=z14 -S %s | FileCheck %s |
| |
| define void @test(ptr %p, i40 %a) { |
| ; CHECK-LABEL: define void @test( |
| ; CHECK-SAME: ptr [[P:%.*]], i40 [[A:%.*]]) #[[ATTR0:[0-9]+]] { |
| ; CHECK-NEXT: entry: |
| ; CHECK-NEXT: br i1 false, label [[SCALAR_PH:%.*]], label [[VECTOR_PH:%.*]] |
| ; CHECK: vector.ph: |
| ; CHECK-NEXT: br label [[VECTOR_BODY:%.*]] |
| ; CHECK: vector.body: |
| ; CHECK-NEXT: br i1 true, label [[PRED_STORE_IF:%.*]], label [[PRED_STORE_CONTINUE:%.*]] |
| ; CHECK: pred.store.if: |
| ; CHECK-NEXT: store i1 false, ptr [[P]], align 1 |
| ; CHECK-NEXT: br label [[PRED_STORE_CONTINUE]] |
| ; CHECK: pred.store.continue: |
| ; CHECK-NEXT: br i1 true, label [[PRED_STORE_IF1:%.*]], label [[PRED_STORE_CONTINUE2:%.*]] |
| ; CHECK: pred.store.if1: |
| ; CHECK-NEXT: store i1 false, ptr [[P]], align 1 |
| ; CHECK-NEXT: br label [[PRED_STORE_CONTINUE2]] |
| ; CHECK: pred.store.continue2: |
| ; CHECK-NEXT: br i1 true, label [[PRED_STORE_IF3:%.*]], label [[PRED_STORE_CONTINUE4:%.*]] |
| ; CHECK: pred.store.if3: |
| ; CHECK-NEXT: store i1 false, ptr [[P]], align 1 |
| ; CHECK-NEXT: br label [[PRED_STORE_CONTINUE4]] |
| ; CHECK: pred.store.continue4: |
| ; CHECK-NEXT: br i1 true, label [[PRED_STORE_IF5:%.*]], label [[PRED_STORE_CONTINUE6:%.*]] |
| ; CHECK: pred.store.if5: |
| ; CHECK-NEXT: store i1 false, ptr [[P]], align 1 |
| ; CHECK-NEXT: br label [[PRED_STORE_CONTINUE6]] |
| ; CHECK: pred.store.continue6: |
| ; CHECK-NEXT: br i1 true, label [[PRED_STORE_IF7:%.*]], label [[PRED_STORE_CONTINUE8:%.*]] |
| ; CHECK: pred.store.if7: |
| ; CHECK-NEXT: store i1 false, ptr [[P]], align 1 |
| ; CHECK-NEXT: br label [[PRED_STORE_CONTINUE8]] |
| ; CHECK: pred.store.continue8: |
| ; CHECK-NEXT: br i1 true, label [[PRED_STORE_IF9:%.*]], label [[PRED_STORE_CONTINUE10:%.*]] |
| ; CHECK: pred.store.if9: |
| ; CHECK-NEXT: store i1 false, ptr [[P]], align 1 |
| ; CHECK-NEXT: br label [[PRED_STORE_CONTINUE10]] |
| ; CHECK: pred.store.continue10: |
| ; CHECK-NEXT: br i1 true, label [[PRED_STORE_IF11:%.*]], label [[PRED_STORE_CONTINUE12:%.*]] |
| ; CHECK: pred.store.if11: |
| ; CHECK-NEXT: store i1 false, ptr [[P]], align 1 |
| ; CHECK-NEXT: br label [[PRED_STORE_CONTINUE12]] |
| ; CHECK: pred.store.continue12: |
| ; CHECK-NEXT: br i1 true, label [[PRED_STORE_IF13:%.*]], label [[PRED_STORE_CONTINUE14:%.*]] |
| ; CHECK: pred.store.if13: |
| ; CHECK-NEXT: store i1 false, ptr [[P]], align 1 |
| ; CHECK-NEXT: br label [[PRED_STORE_CONTINUE14]] |
| ; CHECK: pred.store.continue14: |
| ; CHECK-NEXT: br i1 true, label [[PRED_STORE_IF15:%.*]], label [[PRED_STORE_CONTINUE16:%.*]] |
| ; CHECK: pred.store.if15: |
| ; CHECK-NEXT: store i1 false, ptr [[P]], align 1 |
| ; CHECK-NEXT: br label [[PRED_STORE_CONTINUE16]] |
| ; CHECK: pred.store.continue16: |
| ; CHECK-NEXT: br i1 true, label [[PRED_STORE_IF17:%.*]], label [[PRED_STORE_CONTINUE18:%.*]] |
| ; CHECK: pred.store.if17: |
| ; CHECK-NEXT: store i1 false, ptr [[P]], align 1 |
| ; CHECK-NEXT: br label [[PRED_STORE_CONTINUE18]] |
| ; CHECK: pred.store.continue18: |
| ; CHECK-NEXT: br i1 false, label [[PRED_STORE_IF19:%.*]], label [[PRED_STORE_CONTINUE20:%.*]] |
| ; CHECK: pred.store.if19: |
| ; CHECK-NEXT: store i1 false, ptr [[P]], align 1 |
| ; CHECK-NEXT: br label [[PRED_STORE_CONTINUE20]] |
| ; CHECK: pred.store.continue20: |
| ; CHECK-NEXT: br i1 false, label [[PRED_STORE_IF21:%.*]], label [[PRED_STORE_CONTINUE22:%.*]] |
| ; CHECK: pred.store.if21: |
| ; CHECK-NEXT: store i1 false, ptr [[P]], align 1 |
| ; CHECK-NEXT: br label [[PRED_STORE_CONTINUE22]] |
| ; CHECK: pred.store.continue22: |
| ; CHECK-NEXT: br i1 false, label [[PRED_STORE_IF23:%.*]], label [[PRED_STORE_CONTINUE24:%.*]] |
| ; CHECK: pred.store.if23: |
| ; CHECK-NEXT: store i1 false, ptr [[P]], align 1 |
| ; CHECK-NEXT: br label [[PRED_STORE_CONTINUE24]] |
| ; CHECK: pred.store.continue24: |
| ; CHECK-NEXT: br i1 false, label [[PRED_STORE_IF25:%.*]], label [[PRED_STORE_CONTINUE26:%.*]] |
| ; CHECK: pred.store.if25: |
| ; CHECK-NEXT: store i1 false, ptr [[P]], align 1 |
| ; CHECK-NEXT: br label [[PRED_STORE_CONTINUE26]] |
| ; CHECK: pred.store.continue26: |
| ; CHECK-NEXT: br i1 false, label [[PRED_STORE_IF27:%.*]], label [[PRED_STORE_CONTINUE28:%.*]] |
| ; CHECK: pred.store.if27: |
| ; CHECK-NEXT: store i1 false, ptr [[P]], align 1 |
| ; CHECK-NEXT: br label [[PRED_STORE_CONTINUE28]] |
| ; CHECK: pred.store.continue28: |
| ; CHECK-NEXT: br i1 false, label [[PRED_STORE_IF29:%.*]], label [[PRED_STORE_CONTINUE30:%.*]] |
| ; CHECK: pred.store.if29: |
| ; CHECK-NEXT: store i1 false, ptr [[P]], align 1 |
| ; CHECK-NEXT: br label [[PRED_STORE_CONTINUE30]] |
| ; CHECK: pred.store.continue30: |
| ; CHECK-NEXT: br label [[MIDDLE_BLOCK:%.*]] |
| ; CHECK: middle.block: |
| ; CHECK-NEXT: br label [[EXIT:%.*]] |
| ; CHECK: scalar.ph: |
| ; CHECK-NEXT: br label [[FOR_BODY:%.*]] |
| ; CHECK: for.body: |
| ; CHECK-NEXT: [[IV:%.*]] = phi i32 [ 0, [[SCALAR_PH]] ], [ [[IV_NEXT:%.*]], [[FOR_BODY]] ] |
| ; CHECK-NEXT: [[SHL:%.*]] = shl i40 [[A]], 24 |
| ; CHECK-NEXT: [[ASHR:%.*]] = ashr i40 [[SHL]], 28 |
| ; CHECK-NEXT: [[TRUNC:%.*]] = trunc i40 [[ASHR]] to i32 |
| ; CHECK-NEXT: [[ICMP_EQ:%.*]] = icmp eq i32 [[TRUNC]], 0 |
| ; CHECK-NEXT: [[ZEXT:%.*]] = zext i1 [[ICMP_EQ]] to i32 |
| ; CHECK-NEXT: [[ICMP_ULT:%.*]] = icmp ult i32 0, [[ZEXT]] |
| ; CHECK-NEXT: [[OR:%.*]] = or i1 [[ICMP_ULT]], true |
| ; CHECK-NEXT: [[ICMP_SGT:%.*]] = icmp sgt i1 [[OR]], false |
| ; CHECK-NEXT: store i1 [[ICMP_SGT]], ptr [[P]], align 1 |
| ; CHECK-NEXT: [[IV_NEXT]] = add i32 [[IV]], 1 |
| ; CHECK-NEXT: [[COND:%.*]] = icmp ult i32 [[IV_NEXT]], 10 |
| ; CHECK-NEXT: br i1 [[COND]], label [[FOR_BODY]], label [[EXIT]], !llvm.loop [[LOOP0:![0-9]+]] |
| ; CHECK: exit: |
| ; CHECK-NEXT: ret void |
| ; |
| entry: |
| br label %for.body |
| |
| for.body: ; preds = %for.body, %entry |
| %iv = phi i32 [ 0, %entry ], [ %iv.next, %for.body ] |
| %shl = shl i40 %a, 24 |
| %ashr = ashr i40 %shl, 28 |
| %trunc = trunc i40 %ashr to i32 |
| %icmp.eq = icmp eq i32 %trunc, 0 |
| %zext = zext i1 %icmp.eq to i32 |
| %icmp.ult = icmp ult i32 0, %zext |
| %or = or i1 %icmp.ult, true |
| %icmp.sgt = icmp sgt i1 %or, false |
| store i1 %icmp.sgt, ptr %p, align 1 |
| %iv.next = add i32 %iv, 1 |
| %cond = icmp ult i32 %iv.next, 10 |
| br i1 %cond, label %for.body, label %exit |
| |
| exit: ; preds = %for.body |
| ret void |
| } |
| ;. |
| ; CHECK: [[LOOP0]] = distinct !{[[LOOP0]], [[META1:![0-9]+]], [[META2:![0-9]+]]} |
| ; CHECK: [[META1]] = !{!"llvm.loop.unroll.runtime.disable"} |
| ; CHECK: [[META2]] = !{!"llvm.loop.isvectorized", i32 1} |
| ;. |
