Search
9:40:54
stassats
huh, an inlined local functions using funcall leaves the type checks from the called function
9:41:07
stassats
even if the function is not defined in the same file and the types are actually derived
9:43:24
stassats
a direct calls from the same file do the same, even though it should be externally checkable
9:44:33
stassats
so, two problems, bogus is-defined-here, and bogus cast-externally-checkable-p
9:48:28
stassats
bogus cast-externally-checkable-p because it's a derived type
10:09:07
stassats
good thing i eventually find these things, but i do need a way to test generated/not generated type checks
10:09:22
stassats
disassembling? not portable
10:09:30
stassats
maybe inspecting the eventual IR1
14:21:27
pfdietz
Use satisfies types where the predicate sets an indicator variable to show it's been called?
14:22:01
stassats
that's when satisfies will do, but what if i want to test for FIXNUMP
14:22:58
stassats
ha, what if, notinline fixnump?
14:23:50
stassats
ok, that works, but if that interfere with compilation
14:24:22
stassats
can't trace it, cause normally fixnump is a vop, but after notinline, i can find it the constant vector
14:24:24
pfdietz
trace it after compilation, when you call the compiled function.
14:24:54
stassats
i think inspecting IR1 is the least invasive and most portable way