Fix x86 assertion (#2251)

EnzymeAD · Jan 5, 2025 · 1a6ff16 · 1a6ff16
1 parent 1389de1
commit 1a6ff16
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/compiler/validation.jl b/src/compiler/validation.jl
@@ -500,6 +500,10 @@ function check_ir!(@nospecialize(job::CompilerJob), errors::Vector{IRError}, imp
     method_table = Core.Compiler.method_table(interp)
     bt = backtrace(inst)
     dest = called_operand(inst)
+    if isa(dest, LLVM.ConstantExpr) && opcode(dest) == LLVM.API.LLVMIntToPtr && isa(operands(dest)[1], LLVM.ConstantExpr) && opcode(operands(dest)[1]) == LLVM.API.LLVMPtrToInt
+       dest = operands(operands(dest)[1])[1] 
+    end
+
     if isa(dest, LLVM.Function)
         fn = LLVM.name(dest)