Support :foreigncall to an SSAValue-referenced symbol (fixes #220) (#223)

Author: KristofferC

src/interpret.jl

@@ -118,6 +118,9 @@ end
 function resolvefc(frame, @nospecialize(expr))
     if isa(expr, SlotNumber)
         expr = lookup_var(frame, expr)
+    elseif isa(expr, SSAValue)
+        expr = lookup_var(frame, expr)
+        isa(expr, Symbol) && return QuoteNode(expr)
     end
     (isa(expr, Symbol) || isa(expr, String) || isa(expr, Ptr) || isa(expr, QuoteNode)) && return expr
     isa(expr, Tuple{Symbol,Symbol}) && return expr

test/interpret.jl

@@ -446,3 +446,10 @@ end
 # Check #args for builtins (#217)
 f217() = <:(Float64, Float32, Float16)
 @test_throws ArgumentError @interpret(f217())
+
+# issue #220
+function hash220(x::Tuple{Ptr{UInt8},Int}, h::UInt)
+    h += Base.memhash_seed
+    ccall(Base.memhash, UInt, (Ptr{UInt8}, Csize_t, UInt32), x[1], x[2], h % UInt32) + h
+end
+@test @interpret(hash220((Ptr{UInt8}(0),0), UInt(1))) == hash220((Ptr{UInt8}(0),0), UInt(1))