1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 5 2; RUN: opt -S --passes=complex-deinterleaving %s --mattr=+sve2 | FileCheck %s 3 4target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128-ni:1-p2:32:8:8:32-ni:2" 5target triple = "aarch64-arm-none-linux" 6 7; Ensure that a second reduction-like pattern doesn't override the first 8; We don't care what this IR produces, just that it produces something and doesn't cause a crash 9define void @reprocessing_crash() #0 { 10; CHECK-LABEL: define void @reprocessing_crash 11; 12entry: 13 br label %vector.body 14 15vector.body: ; preds = %vector.body, %entry 16 %vec.phi18 = phi <vscale x 2 x double> [ zeroinitializer, %entry ], [ %2, %vector.body ] 17 %vec.phi20 = phi <vscale x 2 x double> [ zeroinitializer, %entry ], [ %3, %vector.body ] 18 %strided.vec22 = tail call { <vscale x 2 x double>, <vscale x 2 x double> } @llvm.vector.deinterleave2.nxv4f64(<vscale x 4 x double> zeroinitializer) 19 %0 = extractvalue { <vscale x 2 x double>, <vscale x 2 x double> } %strided.vec22, 0 20 %1 = extractvalue { <vscale x 2 x double>, <vscale x 2 x double> } %strided.vec22, 1 21 %2 = fsub <vscale x 2 x double> %vec.phi18, %0 22 %3 = fsub <vscale x 2 x double> %vec.phi20, %1 23 br i1 false, label %middle.block, label %vector.body 24 25middle.block: ; preds = %vector.body 26 %bin.rdx = fadd <vscale x 2 x double> %2, zeroinitializer 27 %bin.rdx23 = fadd <vscale x 2 x double> %3, zeroinitializer 28 ret void 29} 30 31; Function Attrs: nocallback nofree nosync nounwind willreturn memory(none) 32declare { <vscale x 2 x double>, <vscale x 2 x double> } @llvm.vector.deinterleave2.nxv4f64(<vscale x 4 x double>) #1 33 34attributes #0 = { "target-cpu"="neoverse-v1" } 35attributes #1 = { nocallback nofree nosync nounwind willreturn memory(none) } 36