`DelinearizeIndexingPass` crashes with `--check-bounds=yes`

[dkytezab]

The following code crashes only when the --check-bounds flag is set to yes:

using Reactant, Enzyme, KernelAbstractions, CUDA
using Statistics: mean
using KernelAbstractions: StaticSize

Reactant.set_default_backend("cpu")
Reactant.allowscalar(true)

H, N = 2, 4
total = N + 2*H

@kernel function halo_kernel!(c, H, N)
    j = @index(Global, Linear)
    @inbounds for i = 1:H
        c[i, j] = c[N+i, j]
    end
end

const ReactantBackend = Base.get_extension(Reactant, :ReactantKernelAbstractionsExt).ReactantBackend
dev = ReactantBackend() 

kernel! = halo_kernel!(dev, StaticSize((8)), StaticSize((total)))

loss(c) = (kernel!(c, H, N); mean(c.^2))
grad(c, dc) = (dc .= 0; Enzyme.autodiff(Enzyme.ReverseWithPrimal, loss, Active, Duplicated(c, dc)))

c  = Reactant.to_rarray(zeros(total, total))
dc = Reactant.to_rarray(zeros(total, total))

Reactant.@compile raise=true raise_first=true sync=true grad(c, dc)

with

[93780] signal 11 (2): Segmentation fault: 11
in expression starting at /Users/danielkz/Aeolus2/Breeze.jl/test/delinearize/test_reactant.jl:34
_ZN23DelinearizeIndexingPass14runOnOperationEv at /Users/danielkz/.julia/artifacts/c9416b570799802958b689f9d33ce9ac2af42e0a/lib/libReactantExtra.dylib (unknown line)
_ZN4mlir6detail17OpToOpPassAdaptor3runEPNS_4PassEPNS_9OperationENS_15AnalysisManagerEbj at /Users/danielkz/.julia/artifacts/c9416b570799802958b689f9d33ce9ac2af42e0a/lib/libReactantExtra.dylib (unknown line)
_ZN4mlir11PassManager9runPassesEPNS_9OperationENS_15AnalysisManagerE at /Users/danielkz/.julia/artifacts/c9416b570799802958b689f9d33ce9ac2af42e0a/lib/libReactantExtra.dylib (unknown line)
_ZN4mlir11PassManager3runEPNS_9OperationE at /Users/danielkz/.julia/artifacts/c9416b570799802958b689f9d33ce9ac2af42e0a/lib/libReactantExtra.dylib (unknown line)
mlirPassManagerRunOnOp at /Users/danielkz/.julia/artifacts/c9416b570799802958b689f9d33ce9ac2af42e0a/lib/libReactantExtra.dylib (unknown line)
jlplt_mlirPassManagerRunOnOp_48189 at /Users/danielkz/.julia/compiled/v1.11/Reactant/p9PzF_EWBkJ.dylib (unknown line)
mlirPassManagerRunOnOp at /Users/danielkz/.julia/packages/Reactant/EhaVb/src/mlir/libMLIR_h.jl:9634 [inlined]
run! at /Users/danielkz/.julia/packages/Reactant/EhaVb/src/mlir/IR/Pass.jl:187
#run_pass_pipeline!#2 at /Users/danielkz/.julia/packages/Reactant/EhaVb/src/Compiler.jl:1436
run_pass_pipeline! at /Users/danielkz/.julia/packages/Reactant/EhaVb/src/Compiler.jl:1431 [inlined]
#compile_mlir!#15 at /Users/danielkz/.julia/packages/Reactant/EhaVb/src/Compiler.jl:1919
unknown function (ip: 0x1272ea54f)
compile_mlir! at /Users/danielkz/.julia/packages/Reactant/EhaVb/src/Compiler.jl:1721
compile_mlir! at /Users/danielkz/.julia/packages/Reactant/EhaVb/src/Compiler.jl:1721 [inlined]
#compile_xla#58 at /Users/danielkz/.julia/packages/Reactant/EhaVb/src/Compiler.jl:3727
compile_xla at /Users/danielkz/.julia/packages/Reactant/EhaVb/src/Compiler.jl:3700 [inlined]
#compile#59 at /Users/danielkz/.julia/packages/Reactant/EhaVb/src/Compiler.jl:3815
compile at /Users/danielkz/.julia/packages/Reactant/EhaVb/src/Compiler.jl:3812
unknown function (ip: 0x12729018f)
jl_apply at /Users/julia/.julia/scratchspaces/a66863c6-20e8-4ff4-8a62-49f30b1f605e/agent-cache/default-honeycrisp-XG3Q6T6R70.0/build/default-honeycrisp-XG3Q6T6R70-0/julialang/julia-release-1-dot-11/src/./julia.h:2157 [inlined]
do_call at /Users/julia/.julia/scratchspaces/a66863c6-20e8-4ff4-8a62-49f30b1f605e/agent-cache/default-honeycrisp-XG3Q6T6R70.0/build/default-honeycrisp-XG3Q6T6R70-0/julialang/julia-release-1-dot-11/src/interpreter.c:126
eval_stmt_value at /Users/julia/.julia/scratchspaces/a66863c6-20e8-4ff4-8a62-49f30b1f605e/agent-cache/default-honeycrisp-XG3Q6T6R70.0/build/default-honeycrisp-XG3Q6T6R70-0/julialang/julia-release-1-dot-11/src/interpreter.c:174
eval_body at /Users/julia/.julia/scratchspaces/a66863c6-20e8-4ff4-8a62-49f30b1f605e/agent-cache/default-honeycrisp-XG3Q6T6R70.0/build/default-honeycrisp-XG3Q6T6R70-0/julialang/julia-release-1-dot-11/src/interpreter.c:666
jl_interpret_toplevel_thunk at /Users/julia/.julia/scratchspaces/a66863c6-20e8-4ff4-8a62-49f30b1f605e/agent-cache/default-honeycrisp-XG3Q6T6R70.0/build/default-honeycrisp-XG3Q6T6R70-0/julialang/julia-release-1-dot-11/src/interpreter.c:824
jl_toplevel_eval_flex at /Users/julia/.julia/scratchspaces/a66863c6-20e8-4ff4-8a62-49f30b1f605e/agent-cache/default-honeycrisp-XG3Q6T6R70.0/build/default-honeycrisp-XG3Q6T6R70-0/julialang/julia-release-1-dot-11/src/toplevel.c:943
jl_toplevel_eval_flex at /Users/julia/.julia/scratchspaces/a66863c6-20e8-4ff4-8a62-49f30b1f605e/agent-cache/default-honeycrisp-XG3Q6T6R70.0/build/default-honeycrisp-XG3Q6T6R70-0/julialang/julia-release-1-dot-11/src/toplevel.c:886
ijl_toplevel_eval at /Users/julia/.julia/scratchspaces/a66863c6-20e8-4ff4-8a62-49f30b1f605e/agent-cache/default-honeycrisp-XG3Q6T6R70.0/build/default-honeycrisp-XG3Q6T6R70-0/julialang/julia-release-1-dot-11/src/toplevel.c:952 [inlined]
ijl_toplevel_eval_in at /Users/julia/.julia/scratchspaces/a66863c6-20e8-4ff4-8a62-49f30b1f605e/agent-cache/default-honeycrisp-XG3Q6T6R70.0/build/default-honeycrisp-XG3Q6T6R70-0/julialang/julia-release-1-dot-11/src/toplevel.c:994
eval at ./boot.jl:430 [inlined]
include_string at ./loading.jl:2775
_include at ./loading.jl:2835
include at ./Base.jl:562
jfptr_include_47084.1 at /Users/danielkz/.julia/juliaup/julia-1.11.8+0.aarch64.apple.darwin14/lib/julia/sys.dylib (unknown line)
exec_options at ./client.jl:316
_start at ./client.jl:524
jfptr__start_73921.1 at /Users/danielkz/.julia/juliaup/julia-1.11.8+0.aarch64.apple.darwin14/lib/julia/sys.dylib (unknown line)
jl_apply at /Users/julia/.julia/scratchspaces/a66863c6-20e8-4ff4-8a62-49f30b1f605e/agent-cache/default-honeycrisp-XG3Q6T6R70.0/build/default-honeycrisp-XG3Q6T6R70-0/julialang/julia-release-1-dot-11/src/./julia.h:2157 [inlined]
true_main at /Users/julia/.julia/scratchspaces/a66863c6-20e8-4ff4-8a62-49f30b1f605e/agent-cache/default-honeycrisp-XG3Q6T6R70.0/build/default-honeycrisp-XG3Q6T6R70-0/julialang/julia-release-1-dot-11/src/jlapi.c:900
jl_repl_entrypoint at /Users/julia/.julia/scratchspaces/a66863c6-20e8-4ff4-8a62-49f30b1f605e/agent-cache/default-honeycrisp-XG3Q6T6R70.0/build/default-honeycrisp-XG3Q6T6R70-0/julialang/julia-release-1-dot-11/src/jlapi.c:1059
Allocations: 74733344 (Pool: 74732134; Big: 1210); GC: 51
zsh: segmentation fault  julia --project=test --check-bounds=yes test/delinearize/test_reactant.jl

[wsmoses]

what reactant are you on [specifically are you on the current reactant/jll]

[dkytezab]

this is version 2.2.210 which i think patched the other DelinearizeIndexingPass issue

Update: i meant 2.2.210

[wsmoses]

change to 0.2.211

[dkytezab]

Gotcha, different bug now with 0.2.211

└ @ GPUArraysCore ~/.julia/packages/GPUArraysCore/aNaXo/src/GPUArraysCore.jl:184
failed to raise func: func.func private @"##call__Z16gpu_halo_kernel_16CompilerMetadataI10StaticSizeI6_8__8_E12DynamicCheckvv7NDRangeILi2ES0_I6_1__1_ES1_vvEE13CuTracedArrayI7Float64Li2ELi1E6_8__8_E5Int64SA_#245$par0"(%arg0: memref<8x8xf64, 1>) {
  %c3_i64 = arith.constant 3 : i64
  %c8 = arith.constant 8 : index
  %false = arith.constant false
  %c-1_i64 = arith.constant -1 : i64
  %0 = ub.poison : i64
  %c1_i64 = arith.constant 1 : i64
  %c64_i64 = arith.constant 64 : i64
  %c8_i64 = arith.constant 8 : i64
  %c2_i64 = arith.constant 2 : i64
  affine.parallel (%arg1) = (0) to (64) {
    %1 = arith.index_castui %arg1 : index to i64
    %2 = arith.divui %arg1, %c8 : index
    %3 = arith.muli %2, %c8 : index
    %4 = arith.index_castui %3 : index to i64
    %5 = arith.subi %1, %4 : i64
    %6 = arith.muli %2, %c8 : index
    %7 = arith.index_castui %6 : index to i64
    %8 = arith.addi %7, %5 : i64
    %9 = arith.muli %8, %c8_i64 : i64
    %10 = scf.while (%arg2 = %c1_i64) : (i64) -> i64 {
      %11 = arith.addi %arg2, %9 : i64
      %12 = arith.addi %11, %c3_i64 : i64
      %13 = arith.index_cast %arg2 : i64 to index
      %14 = arith.cmpi uge, %12, %c64_i64 : i64
      %15:2 = scf.if %14 -> (i64, i1) {
        scf.yield %0, %false : i64, i1
      } else {
        %16 = affine.apply affine_map<(d0) -> (d0 * 8 + 3)>(%arg1)
        %17 = arith.addi %16, %13 : index
        %18 = arith.remui %17, %c8 : index
        %19 = arith.divui %17, %c8 : index
        %20 = memref.load %arg0[%19, %18] : memref<8x8xf64, 1>
        %21 = arith.addi %arg2, %9 : i64
        %22 = arith.addi %21, %c-1_i64 : i64
        %23 = arith.cmpi uge, %22, %c64_i64 : i64
        %24:2 = scf.if %23 -> (i64, i1) {
          scf.yield %0, %false : i64, i1
        } else {
          %25 = arith.index_cast %22 : i64 to index
          %26 = arith.remui %25, %c8 : index
          %27 = arith.divui %25, %c8 : index
          memref.store %20, %arg0[%27, %26] : memref<8x8xf64, 1>
          %28 = arith.addi %arg2, %c1_i64 : i64
          %29 = arith.cmpi ne, %arg2, %c2_i64 : i64
          scf.yield %28, %29 : i64, i1
        }
        scf.yield %24#0, %24#1 : i64, i1
      }
      scf.condition(%15#1) %15#0 : i64
    } do {
    ^bb0(%arg2: i64):
      scf.yield %arg2 : i64
    }
  }
  return
}
┌ Error: Compilation failed, MLIR module written to /var/folders/km/c7cykv9x5s955_48nqv3f4cm0000gn/T/reactant_9oTAfZ/module_000_nxc9_post_all_pm.mlir
└ @ Reactant.MLIR.IR ~/.julia/packages/Reactant/b7fgi/src/mlir/IR/Pass.jl:145
ERROR: LoadError: "failed to run pass manager on module"
Stacktrace:
 [1] run!(pm::Reactant.MLIR.IR.PassManager, operation::Reactant.MLIR.IR.Operation, key::String)
   @ Reactant.MLIR.IR ~/.julia/packages/Reactant/b7fgi/src/mlir/IR/Pass.jl:193
 [2] run_pass_pipeline!(mod::Reactant.MLIR.IR.Module, pass_pipeline::String, key::String; enable_verifier::Bool)
   @ Reactant.Compiler ~/.julia/packages/Reactant/b7fgi/src/Compiler.jl:1447
 [3] run_pass_pipeline!
   @ ~/.julia/packages/Reactant/b7fgi/src/Compiler.jl:1442 [inlined]
 [4] compile_mlir!(mod::Reactant.MLIR.IR.Module, f::typeof(grad), args::Tuple{ConcretePJRTArray{Float64, 2, 1}, ConcretePJRTArray{Float64, 2, 1}}, compile_options::CompileOptions, callcache::Dict{Vector, @NamedTuple{f_name::String, mlir_result_types::Vector{Reactant.MLIR.IR.Type}, traced_result, mutated_args::Vector{Int64}, linear_results::Vector{Union{ReactantCore.MissingTracedValue, Reactant.TracedRArray, Reactant.TracedRNumber}}, fnwrapped::Bool, argprefix::Symbol, resprefix::Symbol, resargprefix::Symbol}}, sdycache::Dict{Tuple{AbstractVector{Int64}, NTuple{var"#s1579", Symbol} where var"#s1579", NTuple{N, Int64} where N}, @NamedTuple{sym_name::Reactant.MLIR.IR.Attribute, mesh_attr::Reactant.MLIR.IR.Attribute, mesh_op::Reactant.MLIR.IR.Operation, mesh::Reactant.Sharding.Mesh}}, sdygroupidcache::Tuple{Reactant.Compiler.SdyGroupIDCounter{Int64}, IdDict{Union{Reactant.TracedRArray, Reactant.TracedRNumber}, Int64}}; fn_kwargs::@NamedTuple{}, backend::String, runtime::Val{:PJRT}, legalize_stablehlo_to_mhlo::Bool, client::Reactant.XLA.PJRT.Client, kwargs::@Kwargs{})
   @ Reactant.Compiler ~/.julia/packages/Reactant/b7fgi/src/Compiler.jl:1930
 [5] compile_mlir!
   @ ~/.julia/packages/Reactant/b7fgi/src/Compiler.jl:1732 [inlined]
 [6] compile_xla(f::Function, args::Tuple{ConcretePJRTArray{Float64, 2, 1}, ConcretePJRTArray{Float64, 2, 1}}; before_xla_optimizations::Bool, client::Nothing, serializable::Bool, kwargs::@Kwargs{compile_options::CompileOptions, fn_kwargs::@NamedTuple{}})
   @ Reactant.Compiler ~/.julia/packages/Reactant/b7fgi/src/Compiler.jl:3738
 [7] compile_xla
   @ ~/.julia/packages/Reactant/b7fgi/src/Compiler.jl:3711 [inlined]
 [8] compile(f::Function, args::Tuple{ConcretePJRTArray{Float64, 2, 1}, ConcretePJRTArray{Float64, 2, 1}}; kwargs::@Kwargs{fn_kwargs::@NamedTuple{}, client::Nothing, reshape_propagate::Symbol, raise_first::Bool, assert_nonallocating::Bool, serializable::Bool, legalize_chlo_to_stablehlo::Bool, transpose_propagate::Symbol, donated_args::Symbol, optimize_then_pad::Bool, cudnn_hlo_optimize::Bool, compile_options::Missing, sync::Bool, no_nan::Bool, raise::Bool, shardy_passes::Symbol, optimize::Bool, optimize_communications::Bool})
   @ Reactant.Compiler ~/.julia/packages/Reactant/b7fgi/src/Compiler.jl:3826
 [9] top-level scope
   @ ~/.julia/packages/Reactant/b7fgi/src/Compiler.jl:2881
in expression starting at /Users/danielkz/Aeolus2/Breeze.jl/test/delinearize/test_reactant.jl:3

[wsmoses]

looks like a failure in while2for, @ivanradanov can you take a look?

[dkytezab]

With --check-bounds=no we instead get

loc(callsite(fused<#llvm.di_subprogram<id = distinct[0]<>, compileUnit = <id = distinct[1]<>, sourceLanguage = DW_LANG_Julia, file = <"julia" in ".">, producer = "julia", isOptimized = true, emissionKind = None, nameTableKind = None>, scope = #llvm.di_file<"/Users/danielkz/.julia/packages/LLVM/fEIbx/src/interop/base.jl" in ".">, name = "macro expansion;", linkageName = "macro expansion", file = <"/Users/danielkz/.julia/packages/LLVM/fEIbx/src/interop/base.jl" in ".">, subprogramFlags = "Definition|Optimized", type = <>>>["/Users/danielkz/.julia/packages/LLVM/fEIbx/src/interop/base.jl":39:0] at callsite(fused<#llvm.di_subprogram<id = distinct[2]<>, compileUnit = <id = distinct[1]<>, sourceLanguage = DW_LANG_Julia, file = <"julia" in ".">, producer = "julia", isOptimized = true, emissionKind = None, nameTableKind = None>, scope = #llvm.di_file<"none" in ".">, name = "macro expansion;", linkageName = "macro expansion", file = <"none" in ".">, subprogramFlags = "Definition|Optimized", type = <>>>["none":0:0] at callsite(fused<#llvm.di_subprogram<id = distinct[3]<>, compileUnit = <id = distinct[1]<>, sourceLanguage = DW_LANG_Julia, file = <"julia" in ".">, producer = "julia", isOptimized = true, emissionKind = None, nameTableKind = None>, scope = #llvm.di_file<"none" in ".">, name = "pointerset;", linkageName = "pointerset", file = <"none" in ".">, subprogramFlags = "Definition|Optimized", type = <>>>["none":0:0] at callsite(fused<#llvm.di_subprogram<id = distinct[4]<>, compileUnit = <id = distinct[1]<>, sourceLanguage = DW_LANG_Julia, file = <"julia" in ".">, producer = "julia", isOptimized = true, emissionKind = None, nameTableKind = None>, scope = #llvm.di_file<"/Users/danielkz/.julia/packages/LLVM/fEIbx/src/interop/pointer.jl" in ".">, name = "unsafe_store!;", linkageName = "unsafe_store!", file = <"/Users/danielkz/.julia/packages/LLVM/fEIbx/src/interop/pointer.jl" in ".">, subprogramFlags = "Definition|Optimized", type = <>>>["/Users/danielkz/.julia/packages/LLVM/fEIbx/src/interop/pointer.jl":88:0] at callsite(fused<#llvm.di_subprogram<id = distinct[5]<>, compileUnit = <id = distinct[1]<>, sourceLanguage = DW_LANG_Julia, file = <"julia" in ".">, producer = "julia", isOptimized = true, emissionKind = None, nameTableKind = None>, scope = #llvm.di_file<"/Users/danielkz/.julia/packages/Reactant/b7fgi/ext/ReactantCUDAExt.jl" in ".">, name = "arrayset_bits;", linkageName = "arrayset_bits", file = <"/Users/danielkz/.julia/packages/Reactant/b7fgi/ext/ReactantCUDAExt.jl" in ".">, subprogramFlags = "Definition|Optimized", type = <>>>["/Users/danielkz/.julia/packages/Reactant/b7fgi/ext/ReactantCUDAExt.jl":356:0] at callsite(fused<#llvm.di_subprogram<id = distinct[6]<>, compileUnit = <id = distinct[1]<>, sourceLanguage = DW_LANG_Julia, file = <"julia" in ".">, producer = "julia", isOptimized = true, emissionKind = None, nameTableKind = None>, scope = #llvm.di_file<"/Users/danielkz/.julia/packages/Reactant/b7fgi/ext/ReactantCUDAExt.jl" in ".">, name = "#arrayset;", linkageName = "#arrayset", file = <"/Users/danielkz/.julia/packages/Reactant/b7fgi/ext/ReactantCUDAExt.jl" in ".">, subprogramFlags = "Definition|Optimized", type = <>>>["/Users/danielkz/.julia/packages/Reactant/b7fgi/ext/ReactantCUDAExt.jl":349:0] at callsite(fused<#llvm.di_subprogram<id = distinct[7]<>, compileUnit = <id = distinct[1]<>, sourceLanguage = DW_LANG_Julia, file = <"julia" in ".">, producer = "julia", isOptimized = true, emissionKind = None, nameTableKind = None>, scope = #llvm.di_file<"/Users/danielkz/.julia/packages/Reactant/b7fgi/ext/ReactantCUDAExt.jl" in ".">, name = "setindex!;", linkageName = "setindex!", file = <"/Users/danielkz/.julia/packages/Reactant/b7fgi/ext/ReactantCUDAExt.jl" in ".">, subprogramFlags = "Definition|Optimized", type = <>>>["/Users/danielkz/.julia/packages/Reactant/b7fgi/ext/ReactantCUDAExt.jl":391:0] at callsite(fused<#llvm.di_subprogram<id = distinct[7]<>, compileUnit = <id = distinct[1]<>, sourceLanguage = DW_LANG_Julia, file = <"julia" in ".">, producer = "julia", isOptimized = true, emissionKind = None, nameTableKind = None>, scope = #llvm.di_file<"/Users/danielkz/.julia/packages/Reactant/b7fgi/ext/ReactantCUDAExt.jl" in ".">, name = "setindex!;", linkageName = "setindex!", file = <"/Users/danielkz/.julia/packages/Reactant/b7fgi/ext/ReactantCUDAExt.jl" in ".">, subprogramFlags = "Definition|Optimized", type = <>>>["/Users/danielkz/.julia/packages/Reactant/b7fgi/ext/ReactantCUDAExt.jl":403:0] at callsite(fused<#llvm.di_subprogram<id = distinct[8]<>, compileUnit = <id = distinct[1]<>, sourceLanguage = DW_LANG_Julia, file = <"julia" in ".">, producer = "julia", isOptimized = true, emissionKind = None, nameTableKind = None>, scope = #llvm.di_file<"/Users/danielkz/Aeolus2/Breeze.jl/test/delinearize/test_reactant.jl" in ".">, name = "macro expansion;", linkageName = "macro expansion", file = <"/Users/danielkz/Aeolus2/Breeze.jl/test/delinearize/test_reactant.jl" in ".">, subprogramFlags = "Definition|Optimized", type = <>>>["/Users/danielkz/Aeolus2/Breeze.jl/test/delinearize/test_reactant.jl":19:0] at callsite(fused<#llvm.di_subprogram<id = distinct[9]<>, compileUnit = <id = distinct[1]<>, sourceLanguage = DW_LANG_Julia, file = <"julia" in ".">, producer = "julia", isOptimized = true, emissionKind = None, nameTableKind = None>, scope = #llvm.di_file<"/Users/danielkz/.julia/packages/KernelAbstractions/X5fk1/src/macros.jl" in ".">, name = "gpu_halo_kernel!;", linkageName = "gpu_halo_kernel!", file = <"/Users/danielkz/.julia/packages/KernelAbstractions/X5fk1/src/macros.jl" in ".">, subprogramFlags = "Definition|Optimized", type = <>>>["/Users/danielkz/.julia/packages/KernelAbstractions/X5fk1/src/macros.jl":332:0] at fused<#llvm.di_subprogram<id = distinct[10]<>, compileUnit = <id = distinct[1]<>, sourceLanguage = DW_LANG_Julia, file = <"julia" in ".">, producer = "julia", isOptimized = true, emissionKind = None, nameTableKind = None>, name = "gpu_halo_kernel!", linkageName = "julia_gpu_halo_kernel!_17555", file = <"none" in ".">, subprogramFlags = "Definition|Optimized", type = <>>>["none":0:0]))))))))))): error: expects size at dimension 0 of update to be in range [0, 8]. Got: 64.
LLVM ERROR: Failed to infer result type(s):
"stablehlo.dynamic_update_slice"(...) {} : (tensor<8x8xf64>, tensor<64x2xf64>, tensor<i64>, tensor<i64>) -> ( ??? )

[95067] signal 6: Abort trap: 6
in expression starting at /Users/danielkz/Aeolus2/Breeze.jl/test/delinearize/test_reactant.jl:36
__pthread_kill at /usr/lib/system/libsystem_kernel.dylib (unknown line)
Allocations: 99753841 (Pool: 99751816; Big: 2025); GC: 107
zsh: abort      julia --project=test --check-bounds=no test/delinearize/test_reactant.jl

[wsmoses]

that's a separate issue. Can you upload the pre_all mlir for both cases? [@giordano / @glwagner can offer some pointers on this]. Relatedly can we add some info on exporting mlir files for debugging to the docs?

[dkytezab]

Yes will upload and raise the other issue

[dkytezab]

Here's the pre_all

module_000_nxc9_pre_all_pm.tar.gz

UPDATE: There's no issue with --check-bounds=no, that was user error (which i fixed in the mwe, changing StaticSize((8, 8)) to StaticSize((8))

[avik-pal]

that's a separate issue. Can you upload the pre_all mlir for both cases? [@giordano / @glwagner can offer some pointers on this]. Relatedly can we add some info on exporting mlir files for debugging to the docs?

I updated the error msg in #1942 (comment) to say which exact files needs to be uploaded. We should still add docs showing manual export with no optimizations in the case where the session crashes on pass failure