| # RUN: llc --verify-machineinstrs -mtriple=aarch64 -o - %s -mcpu=a64fx -aarch64-enable-pipeliner -pipeliner-max-mii=100 -pipeliner-enable-copytophi=0 -debug-only=pipeliner -run-pass=pipeliner -treat-scalable-fixed-error-as-warning 2>&1 | FileCheck %s |
| |
| # REQUIRES: asserts |
| |
| # Verify that the order of the instructions is correct if they are scheduled in |
| # the same cycle and they have physical register dependencies. |
| |
| # CHECK: Schedule Found? 1 |
| # CHECK: cycle {{[0-9]+}} (0) {{.*}} SUBS{{.*}} implicit-def $nzcv |
| # CHECK-NOT: cycle {{[0-9]+}} (0) {{.*}} implicit-def {{.*}} $nzcv |
| |
| --- | |
| target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128-Fn32" |
| |
| declare void @free(ptr allocptr nocapture noundef) local_unnamed_addr #0 |
| |
| define dso_local noundef i32 @main(i32 noundef %argc, ptr nocapture noundef readnone %argv) local_unnamed_addr #1 { |
| entry: |
| %ret.i.i55 = alloca ptr, align 8 |
| %ret.i.i = alloca ptr, align 8 |
| %0 = load ptr, ptr %ret.i.i, align 8 |
| br label %vector.ph |
| |
| vector.ph: ; preds = %for.inc20.i, %entry |
| %lsr.iv1 = phi i64 [ %lsr.iv.next2, %for.inc20.i ], [ 0, %entry ] |
| %indvars.iv45.i = phi i64 [ 0, %entry ], [ %indvars.iv.next46.i, %for.inc20.i ] |
| %broadcast.splatinsert = insertelement <vscale x 4 x i64> poison, i64 %indvars.iv45.i, i64 0 |
| %broadcast.splat = shufflevector <vscale x 4 x i64> %broadcast.splatinsert, <vscale x 4 x i64> poison, <vscale x 4 x i32> zeroinitializer |
| br label %vector.body |
| |
| vector.body: ; preds = %vector.body, %vector.ph |
| %lsr.iv3 = phi i64 [ %lsr.iv.next4, %vector.body ], [ %lsr.iv1, %vector.ph ] |
| %lsr.iv = phi i64 [ %lsr.iv.next, %vector.body ], [ 2800, %vector.ph ] |
| %vec.ind = phi <vscale x 4 x i64> [ zeroinitializer, %vector.ph ], [ %vec.ind.next.6, %vector.body ] |
| %1 = mul nuw nsw <vscale x 4 x i64> %vec.ind, %broadcast.splat |
| %2 = trunc <vscale x 4 x i64> %1 to <vscale x 4 x i32> |
| %3 = urem <vscale x 4 x i32> %2, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 7, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %4 = add nuw nsw <vscale x 4 x i32> %3, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 1, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %5 = shl nuw nsw i64 %lsr.iv3, 2 |
| %scevgep16 = getelementptr i8, ptr %0, i64 %5 |
| %6 = add nuw nsw <vscale x 4 x i64> %vec.ind, %broadcast.splat |
| %7 = trunc <vscale x 4 x i64> %6 to <vscale x 4 x i32> |
| %8 = urem <vscale x 4 x i32> %7, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 13, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %9 = icmp eq <vscale x 4 x i32> %8, zeroinitializer |
| %10 = urem <vscale x 4 x i32> %7, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 7, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %11 = icmp eq <vscale x 4 x i32> %10, zeroinitializer |
| %12 = or <vscale x 4 x i1> %9, %11 |
| %13 = urem <vscale x 4 x i32> %7, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 11, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %14 = icmp eq <vscale x 4 x i32> %13, zeroinitializer |
| %15 = or <vscale x 4 x i1> %14, %12 |
| %16 = select <vscale x 4 x i1> %15, <vscale x 4 x i32> shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 999, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer), <vscale x 4 x i32> %4 |
| store <vscale x 4 x i32> %16, ptr %scevgep16, align 4 |
| %vec.ind.next = add <vscale x 4 x i64> %vec.ind, shufflevector (<vscale x 4 x i64> insertelement (<vscale x 4 x i64> poison, i64 4, i64 0), <vscale x 4 x i64> poison, <vscale x 4 x i32> zeroinitializer) |
| %17 = mul nuw nsw <vscale x 4 x i64> %vec.ind.next, %broadcast.splat |
| %18 = trunc <vscale x 4 x i64> %17 to <vscale x 4 x i32> |
| %19 = urem <vscale x 4 x i32> %18, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 7, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %20 = add nuw nsw <vscale x 4 x i32> %19, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 1, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %21 = shl nuw nsw i64 %lsr.iv3, 2 |
| %scevgep14 = getelementptr i8, ptr %0, i64 %21 |
| %scevgep15 = getelementptr i8, ptr %scevgep14, i64 16 |
| %22 = add nuw nsw <vscale x 4 x i64> %vec.ind.next, %broadcast.splat |
| %23 = trunc <vscale x 4 x i64> %22 to <vscale x 4 x i32> |
| %24 = urem <vscale x 4 x i32> %23, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 13, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %25 = icmp eq <vscale x 4 x i32> %24, zeroinitializer |
| %26 = urem <vscale x 4 x i32> %23, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 7, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %27 = icmp eq <vscale x 4 x i32> %26, zeroinitializer |
| %28 = or <vscale x 4 x i1> %25, %27 |
| %29 = urem <vscale x 4 x i32> %23, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 11, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %30 = icmp eq <vscale x 4 x i32> %29, zeroinitializer |
| %31 = or <vscale x 4 x i1> %30, %28 |
| %32 = select <vscale x 4 x i1> %31, <vscale x 4 x i32> shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 999, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer), <vscale x 4 x i32> %20 |
| store <vscale x 4 x i32> %32, ptr %scevgep15, align 4 |
| %vec.ind.next.1 = add <vscale x 4 x i64> %vec.ind, shufflevector (<vscale x 4 x i64> insertelement (<vscale x 4 x i64> poison, i64 8, i64 0), <vscale x 4 x i64> poison, <vscale x 4 x i32> zeroinitializer) |
| %33 = mul nuw nsw <vscale x 4 x i64> %vec.ind.next.1, %broadcast.splat |
| %34 = trunc <vscale x 4 x i64> %33 to <vscale x 4 x i32> |
| %35 = urem <vscale x 4 x i32> %34, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 7, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %36 = add nuw nsw <vscale x 4 x i32> %35, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 1, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %37 = shl nuw nsw i64 %lsr.iv3, 2 |
| %scevgep12 = getelementptr i8, ptr %0, i64 %37 |
| %scevgep13 = getelementptr i8, ptr %scevgep12, i64 32 |
| %38 = add nuw nsw <vscale x 4 x i64> %vec.ind.next.1, %broadcast.splat |
| %39 = trunc <vscale x 4 x i64> %38 to <vscale x 4 x i32> |
| %40 = urem <vscale x 4 x i32> %39, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 13, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %41 = icmp eq <vscale x 4 x i32> %40, zeroinitializer |
| %42 = urem <vscale x 4 x i32> %39, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 7, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %43 = icmp eq <vscale x 4 x i32> %42, zeroinitializer |
| %44 = or <vscale x 4 x i1> %41, %43 |
| %45 = urem <vscale x 4 x i32> %39, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 11, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %46 = icmp eq <vscale x 4 x i32> %45, zeroinitializer |
| %47 = or <vscale x 4 x i1> %46, %44 |
| %48 = select <vscale x 4 x i1> %47, <vscale x 4 x i32> shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 999, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer), <vscale x 4 x i32> %36 |
| store <vscale x 4 x i32> %48, ptr %scevgep13, align 4 |
| %vec.ind.next.2 = add <vscale x 4 x i64> %vec.ind, shufflevector (<vscale x 4 x i64> insertelement (<vscale x 4 x i64> poison, i64 12, i64 0), <vscale x 4 x i64> poison, <vscale x 4 x i32> zeroinitializer) |
| %49 = mul nuw nsw <vscale x 4 x i64> %vec.ind.next.2, %broadcast.splat |
| %50 = trunc <vscale x 4 x i64> %49 to <vscale x 4 x i32> |
| %51 = urem <vscale x 4 x i32> %50, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 7, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %52 = add nuw nsw <vscale x 4 x i32> %51, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 1, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %53 = shl nuw nsw i64 %lsr.iv3, 2 |
| %scevgep10 = getelementptr i8, ptr %0, i64 %53 |
| %scevgep11 = getelementptr i8, ptr %scevgep10, i64 48 |
| %54 = add nuw nsw <vscale x 4 x i64> %vec.ind.next.2, %broadcast.splat |
| %55 = trunc <vscale x 4 x i64> %54 to <vscale x 4 x i32> |
| %56 = urem <vscale x 4 x i32> %55, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 13, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %57 = icmp eq <vscale x 4 x i32> %56, zeroinitializer |
| %58 = urem <vscale x 4 x i32> %55, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 7, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %59 = icmp eq <vscale x 4 x i32> %58, zeroinitializer |
| %60 = or <vscale x 4 x i1> %57, %59 |
| %61 = urem <vscale x 4 x i32> %55, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 11, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %62 = icmp eq <vscale x 4 x i32> %61, zeroinitializer |
| %63 = or <vscale x 4 x i1> %62, %60 |
| %64 = select <vscale x 4 x i1> %63, <vscale x 4 x i32> shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 999, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer), <vscale x 4 x i32> %52 |
| store <vscale x 4 x i32> %64, ptr %scevgep11, align 4 |
| %vec.ind.next.3 = add <vscale x 4 x i64> %vec.ind, shufflevector (<vscale x 4 x i64> insertelement (<vscale x 4 x i64> poison, i64 16, i64 0), <vscale x 4 x i64> poison, <vscale x 4 x i32> zeroinitializer) |
| %65 = mul nuw nsw <vscale x 4 x i64> %vec.ind.next.3, %broadcast.splat |
| %66 = trunc <vscale x 4 x i64> %65 to <vscale x 4 x i32> |
| %67 = urem <vscale x 4 x i32> %66, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 7, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %68 = add nuw nsw <vscale x 4 x i32> %67, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 1, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %69 = shl nuw nsw i64 %lsr.iv3, 2 |
| %scevgep8 = getelementptr i8, ptr %0, i64 %69 |
| %scevgep9 = getelementptr i8, ptr %scevgep8, i64 64 |
| %70 = add nuw nsw <vscale x 4 x i64> %vec.ind.next.3, %broadcast.splat |
| %71 = trunc <vscale x 4 x i64> %70 to <vscale x 4 x i32> |
| %72 = urem <vscale x 4 x i32> %71, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 13, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %73 = icmp eq <vscale x 4 x i32> %72, zeroinitializer |
| %74 = urem <vscale x 4 x i32> %71, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 7, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %75 = icmp eq <vscale x 4 x i32> %74, zeroinitializer |
| %76 = or <vscale x 4 x i1> %73, %75 |
| %77 = urem <vscale x 4 x i32> %71, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 11, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %78 = icmp eq <vscale x 4 x i32> %77, zeroinitializer |
| %79 = or <vscale x 4 x i1> %78, %76 |
| %80 = select <vscale x 4 x i1> %79, <vscale x 4 x i32> shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 999, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer), <vscale x 4 x i32> %68 |
| store <vscale x 4 x i32> %80, ptr %scevgep9, align 4 |
| %vec.ind.next.4 = add <vscale x 4 x i64> %vec.ind, shufflevector (<vscale x 4 x i64> insertelement (<vscale x 4 x i64> poison, i64 20, i64 0), <vscale x 4 x i64> poison, <vscale x 4 x i32> zeroinitializer) |
| %81 = mul nuw nsw <vscale x 4 x i64> %vec.ind.next.4, %broadcast.splat |
| %82 = trunc <vscale x 4 x i64> %81 to <vscale x 4 x i32> |
| %83 = urem <vscale x 4 x i32> %82, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 7, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %84 = add nuw nsw <vscale x 4 x i32> %83, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 1, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %85 = shl nuw nsw i64 %lsr.iv3, 2 |
| %scevgep6 = getelementptr i8, ptr %0, i64 %85 |
| %scevgep7 = getelementptr i8, ptr %scevgep6, i64 80 |
| %86 = add nuw nsw <vscale x 4 x i64> %vec.ind.next.4, %broadcast.splat |
| %87 = trunc <vscale x 4 x i64> %86 to <vscale x 4 x i32> |
| %88 = urem <vscale x 4 x i32> %87, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 13, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %89 = icmp eq <vscale x 4 x i32> %88, zeroinitializer |
| %90 = urem <vscale x 4 x i32> %87, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 7, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %91 = icmp eq <vscale x 4 x i32> %90, zeroinitializer |
| %92 = or <vscale x 4 x i1> %89, %91 |
| %93 = urem <vscale x 4 x i32> %87, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 11, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %94 = icmp eq <vscale x 4 x i32> %93, zeroinitializer |
| %95 = or <vscale x 4 x i1> %94, %92 |
| %96 = select <vscale x 4 x i1> %95, <vscale x 4 x i32> shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 999, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer), <vscale x 4 x i32> %84 |
| store <vscale x 4 x i32> %96, ptr %scevgep7, align 4 |
| %vec.ind.next.5 = add <vscale x 4 x i64> %vec.ind, shufflevector (<vscale x 4 x i64> insertelement (<vscale x 4 x i64> poison, i64 24, i64 0), <vscale x 4 x i64> poison, <vscale x 4 x i32> zeroinitializer) |
| %97 = mul nuw nsw <vscale x 4 x i64> %vec.ind.next.5, %broadcast.splat |
| %98 = trunc <vscale x 4 x i64> %97 to <vscale x 4 x i32> |
| %99 = urem <vscale x 4 x i32> %98, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 7, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %100 = add nuw nsw <vscale x 4 x i32> %99, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 1, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %101 = shl nuw nsw i64 %lsr.iv3, 2 |
| %scevgep = getelementptr i8, ptr %0, i64 %101 |
| %scevgep5 = getelementptr i8, ptr %scevgep, i64 96 |
| %102 = add nuw nsw <vscale x 4 x i64> %vec.ind.next.5, %broadcast.splat |
| %103 = trunc <vscale x 4 x i64> %102 to <vscale x 4 x i32> |
| %104 = urem <vscale x 4 x i32> %103, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 13, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %105 = icmp eq <vscale x 4 x i32> %104, zeroinitializer |
| %106 = urem <vscale x 4 x i32> %103, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 7, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %107 = icmp eq <vscale x 4 x i32> %106, zeroinitializer |
| %108 = or <vscale x 4 x i1> %105, %107 |
| %109 = urem <vscale x 4 x i32> %103, shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 11, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer) |
| %110 = icmp eq <vscale x 4 x i32> %109, zeroinitializer |
| %111 = or <vscale x 4 x i1> %110, %108 |
| %112 = select <vscale x 4 x i1> %111, <vscale x 4 x i32> shufflevector (<vscale x 4 x i32> insertelement (<vscale x 4 x i32> poison, i32 999, i64 0), <vscale x 4 x i32> poison, <vscale x 4 x i32> zeroinitializer), <vscale x 4 x i32> %100 |
| store <vscale x 4 x i32> %112, ptr %scevgep5, align 4 |
| %vec.ind.next.6 = add <vscale x 4 x i64> %vec.ind, shufflevector (<vscale x 4 x i64> insertelement (<vscale x 4 x i64> poison, i64 28, i64 0), <vscale x 4 x i64> poison, <vscale x 4 x i32> zeroinitializer) |
| %lsr.iv.next = add nsw i64 %lsr.iv, -28 |
| %lsr.iv.next4 = add nuw nsw i64 %lsr.iv3, 28 |
| %113 = icmp eq i64 %lsr.iv.next, 0 |
| br i1 %113, label %for.inc20.i, label %vector.body |
| |
| for.inc20.i: ; preds = %vector.body |
| %indvars.iv.next46.i = add nuw nsw i64 %indvars.iv45.i, 1 |
| %lsr.iv.next2 = add nuw nsw i64 %lsr.iv1, 2800 |
| %exitcond48.not.i = icmp eq i64 %indvars.iv.next46.i, 2800 |
| br i1 %exitcond48.not.i, label %init_array.exit, label %vector.ph |
| |
| init_array.exit: ; preds = %for.inc20.i |
| call void @free(ptr noundef nonnull %0) |
| ret i32 0 |
| } |
| |
| attributes #0 = { mustprogress nounwind willreturn allockind("free") memory(argmem: readwrite, inaccessiblemem: readwrite) "alloc-family"="malloc" "frame-pointer"="non-leaf" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="a64fx" "target-features"="+aes,+complxnum,+crc,+fp-armv8,+fullfp16,+lse,+neon,+outline-atomics,+perfmon,+ras,+rdm,+sha2,+sve,+v8.1a,+v8.2a,+v8a,-fmv" } |
| attributes #1 = { nounwind uwtable vscale_range(1,1) "frame-pointer"="non-leaf" "no-trapping-math"="true" "stack-protector-buffer-size"="8" "target-cpu"="a64fx" "target-features"="+aes,+complxnum,+crc,+fp-armv8,+fullfp16,+lse,+neon,+outline-atomics,+perfmon,+ras,+rdm,+sha2,+sve,+v8.1a,+v8.2a,+v8a,-fmv" } |
| |
| ... |
| --- |
| name: main |
| tracksRegLiveness: true |
| stack: |
| - { id: 0, name: ret.i.i55, size: 8, alignment: 8, local-offset: -8 } |
| - { id: 1, name: ret.i.i, size: 8, alignment: 8, local-offset: -16 } |
| machineFunctionInfo: {} |
| body: | |
| bb.0.entry: |
| %18:gpr64all = COPY $xzr |
| %17:gpr64all = COPY %18 |
| %19:gpr64common = LDRXui %stack.1.ret.i.i, 0 :: (dereferenceable load (s64) from %ir.ret.i.i) |
| %0:gpr64common = COPY %19 |
| %21:zpr = DUP_ZI_D 0, 0, implicit $vg |
| %23:gpr32 = MOVi32imm 2800 |
| %24:ppr_3b = PTRUE_D 31, implicit $vg |
| %28:ppr_3b = PTRUE_S 31, implicit $vg |
| %29:gpr32common = MOVi32imm 613566757 |
| %30:zpr = DUP_ZR_S %29 |
| %36:zpr = DUP_ZI_S 7, 0, implicit $vg |
| %43:gpr32common = MOVi32imm -991146299 |
| %44:zpr = DUP_ZR_S %43 |
| %46:gpr32common = MOVi32imm 330382099 |
| %47:zpr = DUP_ZR_S %46 |
| %49:gpr32common = MOVi32imm -1227133513 |
| %50:zpr = DUP_ZR_S %49 |
| %52:gpr32common = MOVi32imm 613566756 |
| %53:zpr = DUP_ZR_S %52 |
| %56:gpr32common = MOVi32imm -1171354717 |
| %57:zpr = DUP_ZR_S %56 |
| %59:gpr32common = MOVi32imm 390451572 |
| %60:zpr = DUP_ZR_S %59 |
| %63:gpr32common = MOVi32imm 999 |
| %64:zpr = DUP_ZR_S %63 |
| %79:gpr64common = MOVi64imm 4 |
| %104:gpr64common = MOVi64imm 8 |
| %129:gpr64common = MOVi64imm 12 |
| %154:gpr64common = MOVi64imm 16 |
| %179:gpr64common = MOVi64imm 20 |
| %204:gpr64common = MOVi64imm 24 |
| |
| bb.1.vector.ph: |
| %1:gpr64sp = PHI %17, %bb.0, %14, %bb.3 |
| %2:gpr64sp = PHI %17, %bb.0, %13, %bb.3 |
| %4:zpr = DUP_ZR_D %2 |
| %22:zpr = COPY %21 |
| %20:gpr64all = SUBREG_TO_REG 0, %23, %subreg.sub_32 |
| |
| bb.2.vector.body: |
| successors: %bb.3(0x04000000), %bb.2(0x7c000000) |
| |
| %5:gpr64common = PHI %1, %bb.1, %12, %bb.2 |
| %6:gpr64sp = PHI %20, %bb.1, %11, %bb.2 |
| %7:zpr = PHI %21, %bb.1, %9, %bb.2 |
| %8:zpr = PHI %22, %bb.1, %10, %bb.2 |
| %25:zpr = nuw nsw MUL_ZPZZ_D_UNDEF %24, %7, %4 |
| %26:zpr = nuw nsw MUL_ZPZZ_D_UNDEF %24, %8, %4 |
| %27:zpr = UZP1_ZZZ_S killed %25, killed %26 |
| %31:zpr = UMULH_ZPZZ_S_UNDEF %28, %27, %30 |
| %32:zpr = SUB_ZZZ_S %27, %31 |
| %33:zpr = LSR_ZZI_S killed %32, 1 |
| %34:zpr = ADD_ZZZ_S killed %33, %31 |
| %35:zpr = LSR_ZZI_S killed %34, 2 |
| %37:zpr = MLS_ZPZZZ_S_UNDEF %28, %27, killed %35, %36 |
| %38:zpr = nuw nsw ADD_ZI_S %37, 1, 0 |
| %39:gpr64common = ADDXrs %19, %5, 2 |
| %40:zpr = nuw nsw ADD_ZZZ_D %7, %4 |
| %41:zpr = nuw nsw ADD_ZZZ_D %8, %4 |
| %42:zpr = UZP1_ZZZ_S killed %40, killed %41 |
| %45:zpr = MUL_ZPZZ_S_UNDEF %28, %42, %44 |
| %48:ppr = CMPHS_PPzZZ_S %28, %47, killed %45, implicit-def dead $nzcv |
| %51:zpr = MUL_ZPZZ_S_UNDEF %28, %42, %50 |
| %54:ppr = CMPHS_PPzZZ_S %28, %53, killed %51, implicit-def dead $nzcv |
| %55:ppr = SEL_PPPP %48, %48, killed %54 |
| %58:zpr = MUL_ZPZZ_S_UNDEF %28, %42, %57 |
| %61:ppr = CMPHS_PPzZZ_S %28, %60, killed %58, implicit-def dead $nzcv |
| %62:ppr = SEL_PPPP %61, %61, killed %55 |
| %65:zpr = SEL_ZPZZ_S killed %62, %64, killed %38 |
| ST1W killed %65, %28, %0, %5 :: (store (<vscale x 1 x s128>) into %ir.scevgep16, align 4) |
| %67:zpr = ADD_ZI_D %8, 4, 0 |
| %68:zpr = ADD_ZI_D %7, 4, 0 |
| %69:zpr = nuw nsw MUL_ZPZZ_D_UNDEF %24, %68, %4 |
| %70:zpr = nuw nsw MUL_ZPZZ_D_UNDEF %24, %67, %4 |
| %71:zpr = UZP1_ZZZ_S killed %69, killed %70 |
| %72:zpr = UMULH_ZPZZ_S_UNDEF %28, %71, %30 |
| %73:zpr = SUB_ZZZ_S %71, %72 |
| %74:zpr = LSR_ZZI_S killed %73, 1 |
| %75:zpr = ADD_ZZZ_S killed %74, %72 |
| %76:zpr = LSR_ZZI_S killed %75, 2 |
| %77:zpr = MLS_ZPZZZ_S_UNDEF %28, %71, killed %76, %36 |
| %78:zpr = nuw nsw ADD_ZI_S %77, 1, 0 |
| %80:zpr = nuw nsw ADD_ZZZ_D %68, %4 |
| %81:zpr = nuw nsw ADD_ZZZ_D %67, %4 |
| %82:zpr = UZP1_ZZZ_S killed %80, killed %81 |
| %83:zpr = MUL_ZPZZ_S_UNDEF %28, %82, %44 |
| %84:ppr = CMPHS_PPzZZ_S %28, %47, killed %83, implicit-def dead $nzcv |
| %85:zpr = MUL_ZPZZ_S_UNDEF %28, %82, %50 |
| %86:ppr = CMPHS_PPzZZ_S %28, %53, killed %85, implicit-def dead $nzcv |
| %87:ppr = SEL_PPPP %84, %84, killed %86 |
| %88:zpr = MUL_ZPZZ_S_UNDEF %28, %82, %57 |
| %89:ppr = CMPHS_PPzZZ_S %28, %60, killed %88, implicit-def dead $nzcv |
| %90:ppr = SEL_PPPP %89, %89, killed %87 |
| %91:zpr = SEL_ZPZZ_S killed %90, %64, killed %78 |
| ST1W killed %91, %28, %39, %79 :: (store (<vscale x 1 x s128>) into %ir.scevgep15, align 4) |
| %92:zpr = ADD_ZI_D %8, 8, 0 |
| %93:zpr = ADD_ZI_D %7, 8, 0 |
| %94:zpr = nuw nsw MUL_ZPZZ_D_UNDEF %24, %93, %4 |
| %95:zpr = nuw nsw MUL_ZPZZ_D_UNDEF %24, %92, %4 |
| %96:zpr = UZP1_ZZZ_S killed %94, killed %95 |
| %97:zpr = UMULH_ZPZZ_S_UNDEF %28, %96, %30 |
| %98:zpr = SUB_ZZZ_S %96, %97 |
| %99:zpr = LSR_ZZI_S killed %98, 1 |
| %100:zpr = ADD_ZZZ_S killed %99, %97 |
| %101:zpr = LSR_ZZI_S killed %100, 2 |
| %102:zpr = MLS_ZPZZZ_S_UNDEF %28, %96, killed %101, %36 |
| %103:zpr = nuw nsw ADD_ZI_S %102, 1, 0 |
| %105:zpr = nuw nsw ADD_ZZZ_D %93, %4 |
| %106:zpr = nuw nsw ADD_ZZZ_D %92, %4 |
| %107:zpr = UZP1_ZZZ_S killed %105, killed %106 |
| %108:zpr = MUL_ZPZZ_S_UNDEF %28, %107, %44 |
| %109:ppr = CMPHS_PPzZZ_S %28, %47, killed %108, implicit-def dead $nzcv |
| %110:zpr = MUL_ZPZZ_S_UNDEF %28, %107, %50 |
| %111:ppr = CMPHS_PPzZZ_S %28, %53, killed %110, implicit-def dead $nzcv |
| %112:ppr = SEL_PPPP %109, %109, killed %111 |
| %113:zpr = MUL_ZPZZ_S_UNDEF %28, %107, %57 |
| %114:ppr = CMPHS_PPzZZ_S %28, %60, killed %113, implicit-def dead $nzcv |
| %115:ppr = SEL_PPPP %114, %114, killed %112 |
| %116:zpr = SEL_ZPZZ_S killed %115, %64, killed %103 |
| ST1W killed %116, %28, %39, %104 :: (store (<vscale x 1 x s128>) into %ir.scevgep13, align 4) |
| %117:zpr = ADD_ZI_D %8, 12, 0 |
| %118:zpr = ADD_ZI_D %7, 12, 0 |
| %119:zpr = nuw nsw MUL_ZPZZ_D_UNDEF %24, %118, %4 |
| %120:zpr = nuw nsw MUL_ZPZZ_D_UNDEF %24, %117, %4 |
| %121:zpr = UZP1_ZZZ_S killed %119, killed %120 |
| %122:zpr = UMULH_ZPZZ_S_UNDEF %28, %121, %30 |
| %123:zpr = SUB_ZZZ_S %121, %122 |
| %124:zpr = LSR_ZZI_S killed %123, 1 |
| %125:zpr = ADD_ZZZ_S killed %124, %122 |
| %126:zpr = LSR_ZZI_S killed %125, 2 |
| %127:zpr = MLS_ZPZZZ_S_UNDEF %28, %121, killed %126, %36 |
| %128:zpr = nuw nsw ADD_ZI_S %127, 1, 0 |
| %130:zpr = nuw nsw ADD_ZZZ_D %118, %4 |
| %131:zpr = nuw nsw ADD_ZZZ_D %117, %4 |
| %132:zpr = UZP1_ZZZ_S killed %130, killed %131 |
| %133:zpr = MUL_ZPZZ_S_UNDEF %28, %132, %44 |
| %134:ppr = CMPHS_PPzZZ_S %28, %47, killed %133, implicit-def dead $nzcv |
| %135:zpr = MUL_ZPZZ_S_UNDEF %28, %132, %50 |
| %136:ppr = CMPHS_PPzZZ_S %28, %53, killed %135, implicit-def dead $nzcv |
| %137:ppr = SEL_PPPP %134, %134, killed %136 |
| %138:zpr = MUL_ZPZZ_S_UNDEF %28, %132, %57 |
| %139:ppr = CMPHS_PPzZZ_S %28, %60, killed %138, implicit-def dead $nzcv |
| %140:ppr = SEL_PPPP %139, %139, killed %137 |
| %141:zpr = SEL_ZPZZ_S killed %140, %64, killed %128 |
| ST1W killed %141, %28, %39, %129 :: (store (<vscale x 1 x s128>) into %ir.scevgep11, align 4) |
| %142:zpr = ADD_ZI_D %8, 16, 0 |
| %143:zpr = ADD_ZI_D %7, 16, 0 |
| %144:zpr = nuw nsw MUL_ZPZZ_D_UNDEF %24, %143, %4 |
| %145:zpr = nuw nsw MUL_ZPZZ_D_UNDEF %24, %142, %4 |
| %146:zpr = UZP1_ZZZ_S killed %144, killed %145 |
| %147:zpr = UMULH_ZPZZ_S_UNDEF %28, %146, %30 |
| %148:zpr = SUB_ZZZ_S %146, %147 |
| %149:zpr = LSR_ZZI_S killed %148, 1 |
| %150:zpr = ADD_ZZZ_S killed %149, %147 |
| %151:zpr = LSR_ZZI_S killed %150, 2 |
| %152:zpr = MLS_ZPZZZ_S_UNDEF %28, %146, killed %151, %36 |
| %153:zpr = nuw nsw ADD_ZI_S %152, 1, 0 |
| %155:zpr = nuw nsw ADD_ZZZ_D %143, %4 |
| %156:zpr = nuw nsw ADD_ZZZ_D %142, %4 |
| %157:zpr = UZP1_ZZZ_S killed %155, killed %156 |
| %158:zpr = MUL_ZPZZ_S_UNDEF %28, %157, %44 |
| %159:ppr = CMPHS_PPzZZ_S %28, %47, killed %158, implicit-def dead $nzcv |
| %160:zpr = MUL_ZPZZ_S_UNDEF %28, %157, %50 |
| %161:ppr = CMPHS_PPzZZ_S %28, %53, killed %160, implicit-def dead $nzcv |
| %162:ppr = SEL_PPPP %159, %159, killed %161 |
| %163:zpr = MUL_ZPZZ_S_UNDEF %28, %157, %57 |
| %164:ppr = CMPHS_PPzZZ_S %28, %60, killed %163, implicit-def dead $nzcv |
| %165:ppr = SEL_PPPP %164, %164, killed %162 |
| %166:zpr = SEL_ZPZZ_S killed %165, %64, killed %153 |
| ST1W killed %166, %28, %39, %154 :: (store (<vscale x 1 x s128>) into %ir.scevgep9, align 4) |
| %167:zpr = ADD_ZI_D %8, 20, 0 |
| %168:zpr = ADD_ZI_D %7, 20, 0 |
| %169:zpr = nuw nsw MUL_ZPZZ_D_UNDEF %24, %168, %4 |
| %170:zpr = nuw nsw MUL_ZPZZ_D_UNDEF %24, %167, %4 |
| %171:zpr = UZP1_ZZZ_S killed %169, killed %170 |
| %172:zpr = UMULH_ZPZZ_S_UNDEF %28, %171, %30 |
| %173:zpr = SUB_ZZZ_S %171, %172 |
| %174:zpr = LSR_ZZI_S killed %173, 1 |
| %175:zpr = ADD_ZZZ_S killed %174, %172 |
| %176:zpr = LSR_ZZI_S killed %175, 2 |
| %177:zpr = MLS_ZPZZZ_S_UNDEF %28, %171, killed %176, %36 |
| %178:zpr = nuw nsw ADD_ZI_S %177, 1, 0 |
| %180:zpr = nuw nsw ADD_ZZZ_D %168, %4 |
| %181:zpr = nuw nsw ADD_ZZZ_D %167, %4 |
| %182:zpr = UZP1_ZZZ_S killed %180, killed %181 |
| %183:zpr = MUL_ZPZZ_S_UNDEF %28, %182, %44 |
| %184:ppr = CMPHS_PPzZZ_S %28, %47, killed %183, implicit-def dead $nzcv |
| %185:zpr = MUL_ZPZZ_S_UNDEF %28, %182, %50 |
| %186:ppr = CMPHS_PPzZZ_S %28, %53, killed %185, implicit-def dead $nzcv |
| %187:ppr = SEL_PPPP %184, %184, killed %186 |
| %188:zpr = MUL_ZPZZ_S_UNDEF %28, %182, %57 |
| %189:ppr = CMPHS_PPzZZ_S %28, %60, killed %188, implicit-def dead $nzcv |
| %190:ppr = SEL_PPPP %189, %189, killed %187 |
| %191:zpr = SEL_ZPZZ_S killed %190, %64, killed %178 |
| ST1W killed %191, %28, %39, %179 :: (store (<vscale x 1 x s128>) into %ir.scevgep7, align 4) |
| %192:zpr = ADD_ZI_D %8, 24, 0 |
| %193:zpr = ADD_ZI_D %7, 24, 0 |
| %194:zpr = nuw nsw MUL_ZPZZ_D_UNDEF %24, %193, %4 |
| %195:zpr = nuw nsw MUL_ZPZZ_D_UNDEF %24, %192, %4 |
| %196:zpr = UZP1_ZZZ_S killed %194, killed %195 |
| %197:zpr = UMULH_ZPZZ_S_UNDEF %28, %196, %30 |
| %198:zpr = SUB_ZZZ_S %196, %197 |
| %199:zpr = LSR_ZZI_S killed %198, 1 |
| %200:zpr = ADD_ZZZ_S killed %199, %197 |
| %201:zpr = LSR_ZZI_S killed %200, 2 |
| %202:zpr = MLS_ZPZZZ_S_UNDEF %28, %196, killed %201, %36 |
| %203:zpr = nuw nsw ADD_ZI_S %202, 1, 0 |
| %205:zpr = nuw nsw ADD_ZZZ_D %193, %4 |
| %206:zpr = nuw nsw ADD_ZZZ_D %192, %4 |
| %207:zpr = UZP1_ZZZ_S killed %205, killed %206 |
| %208:zpr = MUL_ZPZZ_S_UNDEF %28, %207, %44 |
| %209:ppr = CMPHS_PPzZZ_S %28, %47, killed %208, implicit-def dead $nzcv |
| %210:zpr = MUL_ZPZZ_S_UNDEF %28, %207, %50 |
| %211:ppr = CMPHS_PPzZZ_S %28, %53, killed %210, implicit-def dead $nzcv |
| %212:ppr = SEL_PPPP %209, %209, killed %211 |
| %213:zpr = MUL_ZPZZ_S_UNDEF %28, %207, %57 |
| %214:ppr = CMPHS_PPzZZ_S %28, %60, killed %213, implicit-def dead $nzcv |
| %215:ppr = SEL_PPPP %214, %214, killed %212 |
| %216:zpr = SEL_ZPZZ_S killed %215, %64, killed %203 |
| ST1W killed %216, %28, %39, %204 :: (store (<vscale x 1 x s128>) into %ir.scevgep5, align 4) |
| %9:zpr = ADD_ZI_D %7, 28, 0 |
| %10:zpr = ADD_ZI_D %8, 28, 0 |
| %217:gpr64 = nsw SUBSXri %6, 28, 0, implicit-def $nzcv |
| %11:gpr64all = COPY %217 |
| %218:gpr64sp = nuw nsw ADDXri %5, 28, 0 |
| %12:gpr64all = COPY %218 |
| Bcc 1, %bb.2, implicit $nzcv |
| B %bb.3 |
| |
| bb.3.for.inc20.i: |
| successors: %bb.4(0x04000000), %bb.1(0x7c000000) |
| |
| %219:gpr64sp = nuw nsw ADDXri %2, 1, 0 |
| %13:gpr64all = COPY %219 |
| %220:gpr64sp = nuw nsw ADDXri %1, 2800, 0 |
| %14:gpr64all = COPY %220 |
| dead $xzr = SUBSXri %219, 2800, 0, implicit-def $nzcv |
| Bcc 1, %bb.1, implicit $nzcv |
| B %bb.4 |
| |
| bb.4.init_array.exit: |
| ADJCALLSTACKDOWN 0, 0, implicit-def dead $sp, implicit $sp |
| $x0 = COPY %0 |
| BL @free, csr_aarch64_aapcs, implicit-def dead $lr, implicit $sp, implicit $x0, implicit-def $sp |
| ADJCALLSTACKUP 0, 0, implicit-def dead $sp, implicit $sp |
| %222:gpr32all = COPY $wzr |
| $w0 = COPY %222 |
| RET_ReallyLR implicit $w0 |
| |
| ... |
