fix

Author: wsmoses

src/absint.jl

@@ -28,6 +28,7 @@ function absint(@nospecialize(arg::LLVM.Value), partial::Bool = false, istracked
                     return (true, v)
                 end
             end
+	    @assert !startswith(gname, "ejl_inserted")
         end
         if isa(ce, LLVM.LoadInst)
             gv = operands(ce)[1]

src/compiler/validation.jl

@@ -262,7 +262,7 @@ function check_ir!(interp, @nospecialize(job::CompilerJob), errors::Vector{IRErr
 			end
 			if isa(addr, LLVM.ConstantInt)
 
-			ccall(:jl_, Cvoid, (Any,), ("pre", gname, ptr, string(addr)))
+			ccall(:jl_, Cvoid, (Any,), ("pre", gname, off, string(addr), string(inst), string(inst0)))
 
 			ptr = Base.reinterpret(Ptr{Ptr{Cvoid}}, convert(UInt, addr) + off)
 			if load1

src/errors.jl

@@ -1258,7 +1258,7 @@ function julia_error(
             if cur in keys(seen)
                 return seen[cur]
             end
-                
+
 		if isa(cur, LLVM.LoadInst)
                     larg, off = get_base_and_offset(operands(cur)[1])
 		    if off == 0 && isa(larg, LLVM.AllocaInst)
@@ -1310,7 +1310,7 @@ function julia_error(
 			return make_batched(ncur, prevbb)
 		   end
                    if active_reg(TT, world) == ActiveState &&
-                   isa(cur, LLVM.ConstantExpr) &&
+		     ( isa(cur, LLVM.ConstantExpr) || isa(cur, LLVM.GlobalVariable)) &&
                    cur == data2
                     if width == 1
                         if mode == API.DEM_ForwardMode
@@ -1364,6 +1364,7 @@ end
 		    if obj0 isa Core.Binding
 			sv = sv *" binded at "*string(obj0)
 		    end
+		    sv
                 else
                     "Unknown object of type" * " " * string(TT)
                 end

src/utils.jl

@@ -107,7 +107,7 @@ function unsafe_to_llvm(B::LLVM.IRBuilder, @nospecialize(val); insert_name_if_no
         end
     end
 
-    function setup_global(k, v)
+    function setup_global(k, v, force_inactive=false)
             mod = LLVM.parent(LLVM.parent(LLVM.position(B)))
             globs = LLVM.globals(mod)
             if Base.haskey(globs, "ejl_" * k)
@@ -116,7 +116,7 @@ function unsafe_to_llvm(B::LLVM.IRBuilder, @nospecialize(val); insert_name_if_no
             gv = LLVM.GlobalVariable(mod, T_jlvalue, "ejl_" * k, Tracked)
 
             API.SetMD(gv, "enzyme_ta_norecur", LLVM.MDNode(LLVM.Metadata[]))
-            inactive = Enzyme.Compiler.is_memory_instance(v)
+            inactive = force_inactive && Enzyme.Compiler.is_memory_instance(v)
 	    if !inactive && v isa Core.SimpleVector && length(v) == 0
 		inactive = true
 	    end
@@ -150,7 +150,9 @@ function unsafe_to_llvm(B::LLVM.IRBuilder, @nospecialize(val); insert_name_if_no
     if insert_name_if_not_exists !== nothing
         insert_name_if_not_exists = "inserted\$"*string(Base.reinterpret(UInt, Compiler.unsafe_to_ptr(val)))*"\$"*insert_name_if_not_exists
         Compiler.JuliaEnzymeNameMap[insert_name_if_not_exists] = val
-	return setup_global(insert_name_if_not_exists, val)
+	# Since the legacy behavior was to force inactive for global constants, we retain that here (for now)
+	force_inactive = true
+	return setup_global(insert_name_if_not_exists, val, force_inactive)
     end
 
     # XXX: This prevents code from being runtime relocatable