Malformed IR with cglobal call inside try/catch on master debug build #46837
Description
A debug build of fresh master (1.9.0-DEV.1402) running https://github.com/JuliaCI/GCBenchmarks/blob/main/benches/multithreaded/flux/flux_multithreaded_training.jl gives Expr not allowed in value position. I don't think this has to do with anything special that the benchmark itself is doing, rather that we generate bad IR somewhere in the optimizer. It could also be possible that the debug build itself causes the difference. Still, it seems worth looking into why this happens.
Stacktrace:
Expr not allowed in value position
Internal error: encountered unexpected error in runtime:
ErrorException("")
error at ./error.jl:35
check_op at ./compiler/ssair/verify.jl:61
verify_ir at ./compiler/ssair/verify.jl:253
verify_ir at ./compiler/ssair/verify.jl:89 [inlined]
run_passes at ./compiler/optimize.jl:557
run_passes at ./compiler/optimize.jl:543 [inlined]
optimize at ./compiler/optimize.jl:492 [inlined]
_typeinf at ./compiler/typeinfer.jl:259
typeinf at ./compiler/typeinfer.jl:215
typeinf_edge at ./compiler/typeinfer.jl:937
abstract_call_method at ./compiler/abstractinterpretation.jl:613
abstract_call_gf_by_type at ./compiler/abstractinterpretation.jl:152
abstract_call_known at ./compiler/abstractinterpretation.jl:1842
abstract_call at ./compiler/abstractinterpretation.jl:1913
abstract_call at ./compiler/abstractinterpretation.jl:1892
abstract_eval_statement_expr at ./compiler/abstractinterpretation.jl:2043
abstract_eval_statement at ./compiler/abstractinterpretation.jl:2256
abstract_eval_basic_statement at ./compiler/abstractinterpretation.jl:2457
typeinf_local at ./compiler/abstractinterpretation.jl:2632
typeinf_nocycle at ./compiler/abstractinterpretation.jl:2738
_typeinf at ./compiler/typeinfer.jl:232
typeinf at ./compiler/typeinfer.jl:215
typeinf_ext at ./compiler/typeinfer.jl:1061
typeinf_ext_toplevel at ./compiler/typeinfer.jl:1094
typeinf_ext_toplevel at ./compiler/typeinfer.jl:1090
jfptr_typeinf_ext_toplevel_19278 at /Users/ian/projects/master2/usr/lib/julia/sys-debug.dylib (unknown line)
_jl_invoke at /Users/ian/projects/master2/src/gf.c:2428
ijl_apply_generic at /Users/ian/projects/master2/src/gf.c:2629
jl_apply at /Users/ian/projects/master2/src/./julia.h:1866
jl_type_infer at /Users/ian/projects/master2/src/gf.c:317
jl_generate_fptr_impl at /Users/ian/projects/master2/src/jitlayers.cpp:413
jl_compile_method_internal at /Users/ian/projects/master2/src/gf.c:2156
_jl_invoke at /Users/ian/projects/master2/src/gf.c:2439
ijl_apply_generic at /Users/ian/projects/master2/src/gf.c:2629
jl_apply at /Users/ian/projects/master2/src/./julia.h:1866
do_call at /Users/ian/projects/master2/src/interpreter.c:126
eval_value at /Users/ian/projects/master2/src/interpreter.c:226
eval_stmt_value at /Users/ian/projects/master2/src/interpreter.c:177
eval_body at /Users/ian/projects/master2/src/interpreter.c:606
jl_interpret_toplevel_thunk at /Users/ian/projects/master2/src/interpreter.c:762
top-level scope at /Users/ian/.julia/packages/LLVMExtra_jll/RuRRc/.pkg/select_artifacts.jl:11
jl_toplevel_eval_flex at /Users/ian/projects/master2/src/toplevel.c:912
jl_toplevel_eval_flex at /Users/ian/projects/master2/src/toplevel.c:856
ijl_toplevel_eval at /Users/ian/projects/master2/src/toplevel.c:921
ijl_toplevel_eval_in at /Users/ian/projects/master2/src/toplevel.c:971
eval at ./boot.jl:370 [inlined]
include_string at ./loading.jl:1525
jl_fptr_args at /Users/ian/projects/master2/src/gf.c:2203
_jl_invoke at /Users/ian/projects/master2/src/gf.c:2428
ijl_apply_generic at /Users/ian/projects/master2/src/gf.c:2629
_include at ./loading.jl:1585
include at ./client.jl:478
unknown function (ip: 0x104a4c11f)
_jl_invoke at /Users/ian/projects/master2/src/gf.c:2447
ijl_apply_generic at /Users/ian/projects/master2/src/gf.c:2629
jl_apply at /Users/ian/projects/master2/src/./julia.h:1866
do_call at /Users/ian/projects/master2/src/interpreter.c:126
eval_value at /Users/ian/projects/master2/src/interpreter.c:226
eval_stmt_value at /Users/ian/projects/master2/src/interpreter.c:177
eval_body at /Users/ian/projects/master2/src/interpreter.c:606
jl_interpret_toplevel_thunk at /Users/ian/projects/master2/src/interpreter.c:762
top-level scope at none:5
jl_toplevel_eval_flex at /Users/ian/projects/master2/src/toplevel.c:912
jl_toplevel_eval_flex at /Users/ian/projects/master2/src/toplevel.c:856
ijl_toplevel_eval at /Users/ian/projects/master2/src/toplevel.c:921
ijl_toplevel_eval_in at /Users/ian/projects/master2/src/toplevel.c:971
jlplt_ijl_toplevel_eval_in_10890 at /Users/ian/projects/master2/usr/lib/julia/sys-debug.dylib (unknown line)
eval at ./boot.jl:370 [inlined]
exec_options at ./client.jl:280
_start at ./client.jl:522
jfptr__start_32191 at /Users/ian/projects/master2/usr/lib/julia/sys-debug.dylib (unknown line)
_jl_invoke at /Users/ian/projects/master2/src/gf.c:2428
ijl_apply_generic at /Users/ian/projects/master2/src/gf.c:2629
jl_apply at /Users/ian/projects/master2/src/./julia.h:1866
true_main at /Users/ian/projects/master2/src/jlapi.c:567
jl_repl_entrypoint at /Users/ian/projects/master2/src/jlapi.c:711