Skip to content

Commit

Permalink
Absiint pointer_from_objre (#1165)
Browse files Browse the repository at this point in the history
  • Loading branch information
wsmoses authored Nov 28, 2023
1 parent 33fe17c commit 1356ec5
Showing 1 changed file with 7 additions and 0 deletions.
7 changes: 7 additions & 0 deletions src/absint.jl
Original file line number Diff line number Diff line change
Expand Up @@ -21,6 +21,9 @@ function absint(arg::LLVM.Value, partial::Bool=false)
end
end
end
if nm == "julia.pointer_from_objref"
return absint(operands(arg)[1], partial)
end
if nm == "jl_typeof" || nm == "ijl_typeof"
return abs_typeof(operands(arg)[1], partial)
end
Expand Down Expand Up @@ -123,6 +126,10 @@ function abs_typeof(arg::LLVM.Value, partial::Bool=false)::Union{Tuple{Bool, Typ
nm = LLVM.name(fn)
end

if nm == "julia.pointer_from_objref"
return abs_typeof(operands(arg)[1], partial)
end

# Type tag is arg 3
if nm == "julia.gc_alloc_obj"
return absint(operands(arg)[3], partial)
Expand Down

0 comments on commit 1356ec5

Please sign in to comment.