test: version 1.12 #1776

avik-pal · 2025-10-19T15:13:33Z

No description provided.

avik-pal · 2025-10-26T20:01:07Z

julia> using Reactant
Precompiling SparseArraysExt finished.
  1 dependency successfully precompiled in 2 seconds
Info Given ReactantStatisticsExt was explicitly requested, output will be shown live 
┌ Warning: Reactant.jl currently doesn't support versions of Julia 1.12 or newer. We are
│ actively working on adding support for newer versions of Julia. For the time
│ being we recommend using 1.11 or LTS.
│ 
│ For latest updates, check the status of support for Julia 1.12+ at
│ https://github.com/EnzymeAD/Reactant.jl/issues/1736.
└ @ Reactant /mnt/software/lux/Reactant.jl/src/Reactant.jl:335
Precompiling ReactantStatisticsExt finished.
  1 dependency successfully precompiled in 3 seconds
  1 dependency had output during precompilation:
┌ ReactantStatisticsExt
│  [Output was shown above]
└  

julia> x_ra = Reactant.to_rarray(rand(Float32, 4, 3))
WARNING: All log messages before absl::InitializeLog() is called are written to STDERR
I0000 00:00:1761508771.477702  407258 service.cc:158] XLA service 0x2c47d3e0 initialized for platform CUDA (this does not guarantee that XLA will be used). Devices:
I0000 00:00:1761508771.477929  407258 service.cc:166]   StreamExecutor device (0): NVIDIA GeForce RTX 4050 Laptop GPU, Compute Capability 8.9
I0000 00:00:1761508771.479202  407258 se_gpu_pjrt_client.cc:1295] Using BFC allocator.
I0000 00:00:1761508771.479253  407258 gpu_helpers.cc:136] XLA backend allocating 4538351616 bytes on device 0 for BFCAllocator.
I0000 00:00:1761508771.479437  407258 gpu_helpers.cc:177] XLA backend will use up to 1512783872 bytes on device 0 for CollectiveBFCAllocator.
I0000 00:00:1761508771.490449  407258 cuda_dnn.cc:463] Loaded cuDNN version 91200
4×3 ConcretePJRTArray{Float32,2}:
 0.609525  0.56646   0.355121
 0.314876  0.276415  0.855706
 0.755625  0.511299  0.640577
 0.463603  0.581469  0.106345

julia> @code_hlo sum(x_ra)
ERROR: TypeError: non-boolean (Compiler.IRCode) used in boolean context
Stacktrace:
  [1] semiconcrete_result_item(result::Compiler.SemiConcreteResult, info::Compiler.CallInfo, flag::UInt32, state::Compiler.InliningState{Enzyme.Compiler.Interpreter.EnzymeInterpreter{typeof(Reactant.set_reactant_abi)}})
    @ Compiler ./../usr/share/julia/Compiler/src/ssair/inlining.jl:1449
  [2] handle_semi_concrete_result!(cases::Vector{Compiler.InliningCase}, result::Compiler.SemiConcreteResult, match::Core.MethodMatch, info::Compiler.CallInfo, flag::UInt32, state::Compiler.InliningState{Enzyme.Compiler.Interpreter.EnzymeInterpreter{…}})
    @ Compiler ./../usr/share/julia/Compiler/src/ssair/inlining.jl:1462
  [3] handle_any_const_result!(cases::Vector{…}, result::Any, match::Core.MethodMatch, argtypes::Vector{…}, info::Compiler.CallInfo, flag::UInt32, state::Compiler.InliningState{…}; allow_typevars::Bool)
    @ Compiler ./../usr/share/julia/Compiler/src/ssair/inlining.jl:1304
  [4] handle_any_const_result!
    @ ./../usr/share/julia/Compiler/src/ssair/inlining.jl:1297 [inlined]
  [5] compute_inlining_cases(info::Compiler.CallInfo, flag::UInt32, sig::Compiler.Signature, state::Compiler.InliningState{Enzyme.Compiler.Interpreter.EnzymeInterpreter{typeof(Reactant.set_reactant_abi)}})
    @ Compiler ./../usr/share/julia/Compiler/src/ssair/inlining.jl:1369
  [6] handle_call!
    @ ./../usr/share/julia/Compiler/src/ssair/inlining.jl:1401 [inlined]
  [7] assemble_inline_todo!(ir::Compiler.IRCode, state::Compiler.InliningState{Enzyme.Compiler.Interpreter.EnzymeInterpreter{typeof(Reactant.set_reactant_abi)}})
    @ Compiler ./../usr/share/julia/Compiler/src/ssair/inlining.jl:1652
  [8] ssa_inlining_pass!
    @ ./../usr/share/julia/Compiler/src/ssair/inlining.jl:76 [inlined]
  [9] run_passes_ipo_safe(ci::Core.CodeInfo, sv::Compiler.OptimizationState{Enzyme.Compiler.Interpreter.EnzymeInterpreter{typeof(Reactant.set_reactant_abi)}}, optimize_until::Nothing)
    @ Compiler ./../usr/share/julia/Compiler/src/optimize.jl:1013
 [10] run_passes_ipo_safe
    @ ./../usr/share/julia/Compiler/src/optimize.jl:1027 [inlined]
 [11] optimize(interp::Enzyme.Compiler.Interpreter.EnzymeInterpreter{typeof(Reactant.set_reactant_abi)}, opt::Compiler.OptimizationState{Enzyme.Compiler.Interpreter.EnzymeInterpreter{typeof(Reactant.set_reactant_abi)}}, caller::Compiler.InferenceResult)
    @ Compiler ./../usr/share/julia/Compiler/src/optimize.jl:1002
 [12] finish_nocycle(::Enzyme.Compiler.Interpreter.EnzymeInterpreter{typeof(Reactant.set_reactant_abi)}, frame::Compiler.InferenceState, time_before::UInt64)
    @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:202
 [13] typeinf(interp::Enzyme.Compiler.Interpreter.EnzymeInterpreter{typeof(Reactant.set_reactant_abi)}, frame::Compiler.InferenceState)
    @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4507
 [14] const_prop_call(interp::Enzyme.Compiler.Interpreter.EnzymeInterpreter{typeof(Reactant.set_reactant_abi)}, mi::Core.MethodInstance, result::Compiler.MethodCallResult, arginfo::Compiler.ArgInfo, sv::Compiler.InferenceState, concrete_eval_result::Nothing)
    @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:1348
 [15] abstract_call_method_with_const_args(interp::Enzyme.Compiler.Interpreter.EnzymeInterpreter{…}, result::Compiler.MethodCallResult, f::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, match::Core.MethodMatch, sv::Compiler.InferenceState, invokecall::Nothing)
    @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:898
 [16] abstract_call_method_with_const_args
    @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:868 [inlined]
 [17] (::Compiler.var"#handle1#abstract_call_gf_by_type##1"{…})(interp::Enzyme.Compiler.Interpreter.EnzymeInterpreter{…}, sv::Compiler.InferenceState)
    @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:178
 [18] (::Compiler.var"#infercalls#abstract_call_gf_by_type##0"{…})(interp::Enzyme.Compiler.Interpreter.EnzymeInterpreter{…}, sv::Compiler.InferenceState)
    @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:252
 [19] abstract_call_gf_by_type(interp::Enzyme.Compiler.Interpreter.EnzymeInterpreter{typeof(Reactant.set_reactant_abi)}, func::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, atype::Any, sv::Compiler.InferenceState, max_methods::Int64)
    @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:338
 [20] abstract_call_gf_by_type(interp::Enzyme.Compiler.Interpreter.EnzymeInterpreter, f::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, atype::Any, sv::Compiler.InferenceState, max_methods::Int64)
    @ Enzyme.Compiler.Interpreter /mnt/.julia/packages/Enzyme/Ah2fT/src/compiler/interpreter.jl:364
 [21] abstract_call_known(interp::Enzyme.Compiler.Interpreter.EnzymeInterpreter{typeof(Reactant.set_reactant_abi)}, f::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, sv::Compiler.InferenceState, max_methods::Int64)
    @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2782
 [22] set_reactant_abi(interp::Enzyme.Compiler.Interpreter.EnzymeInterpreter{typeof(Reactant.set_reactant_abi)}, f::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, sv::Compiler.InferenceState, max_methods::Int64)
    @ Reactant /mnt/software/lux/Reactant.jl/src/Interpreter.jl:66
 [23] abstract_call_known(interp::Enzyme.Compiler.Interpreter.EnzymeInterpreter{typeof(Reactant.set_reactant_abi)}, f::Any, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, sv::Compiler.InferenceState, max_methods::Int64)
    @ Enzyme.Compiler.Interpreter /mnt/.julia/packages/Enzyme/Ah2fT/src/compiler/interpreter.jl:1184
 [24] abstract_call(interp::Enzyme.Compiler.Interpreter.EnzymeInterpreter{typeof(Reactant.set_reactant_abi)}, arginfo::Compiler.ArgInfo, si::Compiler.StmtInfo, sv::Compiler.InferenceState, max_methods::Int64)
    @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2889
 [25] abstract_call
    @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:2882 [inlined]
 [26] abstract_call(interp::Enzyme.Compiler.Interpreter.EnzymeInterpreter{typeof(Reactant.set_reactant_abi)}, arginfo::Compiler.ArgInfo, sstate::Compiler.StatementState, sv::Compiler.InferenceState)
    @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3042
 [27] abstract_eval_call
    @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3060 [inlined]
 [28] abstract_eval_statement_expr(interp::Enzyme.Compiler.Interpreter.EnzymeInterpreter{typeof(Reactant.set_reactant_abi)}, e::Expr, sstate::Compiler.StatementState, sv::Compiler.InferenceState)
    @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3389
 [29] abstract_eval_basic_statement
    @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3835 [inlined]
 [30] abstract_eval_basic_statement
    @ ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:3792 [inlined]
 [31] typeinf_local(interp::Enzyme.Compiler.Interpreter.EnzymeInterpreter{typeof(Reactant.set_reactant_abi)}, frame::Compiler.InferenceState, nextresult::Compiler.CurrentState)
    @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4342
 [32] typeinf(interp::Enzyme.Compiler.Interpreter.EnzymeInterpreter{typeof(Reactant.set_reactant_abi)}, frame::Compiler.InferenceState)
    @ Compiler ./../usr/share/julia/Compiler/src/abstractinterpretation.jl:4500
 [33] typeinf_frame(interp::Enzyme.Compiler.Interpreter.EnzymeInterpreter{typeof(Reactant.set_reactant_abi)}, mi::Core.MethodInstance, run_optimizer::Bool)
    @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1122
 [34] typeinf_ircode(interp::Enzyme.Compiler.Interpreter.EnzymeInterpreter{typeof(Reactant.set_reactant_abi)}, mi::Core.MethodInstance, optimize_until::Nothing)
    @ Compiler ./../usr/share/julia/Compiler/src/typeinfer.jl:1101
 [35] call_with_reactant_generator(world::UInt64, source::Union{LineNumberNode, Method}, self::Any, redub_arguments::Any)
    @ Reactant /mnt/software/lux/Reactant.jl/src/utils.jl:695
 [36] make_mlir_fn(f::typeof(sum), args::Tuple{…}, kwargs::@NamedTuple{}, name::String, concretein::Bool; toscalar::Bool, return_dialect::Symbol, args_in_result::Symbol, construct_function_without_args::Bool, do_transpose::Bool, input_shardings::Nothing, output_shardings::Nothing, runtime::Val{…}, verify_arg_names::Nothing, argprefix::Symbol, resprefix::Symbol, resargprefix::Symbol, num_replicas::Int64, optimize_then_pad::Bool)
    @ Reactant.TracedUtils /mnt/software/lux/Reactant.jl/src/TracedUtils.jl:345
 [37] make_mlir_fn
    @ /mnt/software/lux/Reactant.jl/src/TracedUtils.jl:275 [inlined]
 [38] compile_mlir!(mod::Reactant.MLIR.IR.Module, f::typeof(sum), args::Tuple{…}, compile_options::CompileOptions, callcache::Dict{…}, sdycache::Dict{…}; fn_kwargs::@NamedTuple{}, backend::String, runtime::Val{…}, legalize_stablehlo_to_mhlo::Bool, client::Reactant.XLA.PJRT.Client, kwargs::@Kwargs{})
    @ Reactant.Compiler /mnt/software/lux/Reactant.jl/src/Compiler.jl:1608
 [39] (::Reactant.Compiler.var"#11#12"{Reactant.XLA.PJRT.Client, typeof(sum), Tuple{ConcretePJRTArray{Float32, 2, 1, Reactant.Sharding.ShardInfo{Reactant.Sharding.NoSharding, Nothing}}}})(ctx::Reactant.MLIR.IR.Context)
    @ Reactant.Compiler /mnt/software/lux/Reactant.jl/src/Compiler.jl:1411
 [40] with_context(f::Reactant.Compiler.var"#11#12"{Reactant.XLA.PJRT.Client, typeof(sum), Tuple{ConcretePJRTArray{Float32, 2, 1, Reactant.Sharding.ShardInfo{Reactant.Sharding.NoSharding, Nothing}}}}; allow_use_existing::Bool)
    @ Reactant.MLIR.IR /mnt/software/lux/Reactant.jl/src/mlir/IR/Context.jl:99
 [41] with_context(f::Function)
    @ Reactant.MLIR.IR /mnt/software/lux/Reactant.jl/src/mlir/IR/Context.jl:82
 [42] compile_mlir(f::Function, args::Tuple{…}; client::Nothing, kwargs::@Kwargs{…})
    @ Reactant.Compiler /mnt/software/lux/Reactant.jl/src/Compiler.jl:1407
 [43] top-level scope
    @ /mnt/software/lux/Reactant.jl/src/Compiler.jl:2649
 [44] top-level scope
    @ REPL:1
Some type information was truncated. Use `show(err)` to see complete types.

src/Interpreter.jl

src/utils.jl

ext/ReactantKernelAbstractionsExt.jl

wsmoses · 2025-10-28T06:04:33Z

@avik-pal in a twist of events, can you review this?

Comment out older Go versions in CI matrix

giordano · 2025-10-28T23:56:52Z

deps/build_local.jl

 # Discover built libraries
 built_libs = filter(readdir(joinpath(source_dir, "bazel-bin"))) do file
-    endswith(file, "Extra.so") && startswith(file, "lib")
+    return endswith(file, "Extra.so") && startswith(file, "lib")


return outside of functions doesn't make much sense

avik-pal force-pushed the avik-pal-patch-1 branch 2 times, most recently from 23910f3 to f112745 Compare October 26, 2025 19:48

github-actions bot reviewed Oct 28, 2025

View reviewed changes

src/Interpreter.jl Outdated Show resolved Hide resolved

src/Interpreter.jl Outdated Show resolved Hide resolved

src/utils.jl Outdated Show resolved Hide resolved

src/utils.jl Outdated Show resolved Hide resolved

github-actions bot reviewed Oct 28, 2025

View reviewed changes

ext/ReactantKernelAbstractionsExt.jl Outdated Show resolved Hide resolved

ext/ReactantKernelAbstractionsExt.jl Outdated Show resolved Hide resolved

ext/ReactantKernelAbstractionsExt.jl Outdated Show resolved Hide resolved

github-actions bot reviewed Oct 28, 2025

View reviewed changes

ext/ReactantKernelAbstractionsExt.jl Show resolved Hide resolved

wsmoses force-pushed the avik-pal-patch-1 branch from 44dbe68 to 5b9e6eb Compare October 28, 2025 06:05

avik-pal and others added 8 commits October 28, 2025 10:06

test: version 1.12

c5f3e58

Comment out older Go versions in CI matrix

test: v1.12

959902e

ci: disable downgrade

02003fa

fix: get 1.12 KAExt loading to work

8346a31

Mildly functioning on 1.12

4c55386

ci

f7abeec

fix 1.10

6da11e9

Change Julia version from 1.12 to 1.10

06e91d1

avik-pal force-pushed the avik-pal-patch-1 branch from 5b9e6eb to 06e91d1 Compare October 28, 2025 15:06

chore: run formatter

4ea6303

avik-pal merged commit 6e1a02c into main Oct 28, 2025
68 of 73 checks passed

avik-pal deleted the avik-pal-patch-1 branch October 28, 2025 16:39

giordano reviewed Oct 28, 2025

View reviewed changes

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

Uh oh!

test: version 1.12 #1776

test: version 1.12 #1776

Uh oh!

avik-pal commented Oct 19, 2025

Uh oh!

avik-pal commented Oct 26, 2025

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

wsmoses commented Oct 28, 2025

Uh oh!

Uh oh!

giordano Oct 28, 2025

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

4 participants

test: version 1.12 #1776

test: version 1.12 #1776

Uh oh!

Conversation

avik-pal commented Oct 19, 2025

Uh oh!

avik-pal commented Oct 26, 2025

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

wsmoses commented Oct 28, 2025

Uh oh!

Uh oh!

giordano Oct 28, 2025

Choose a reason for hiding this comment

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

4 participants