David M. Lloyd
David M. Lloyd
### Type system The type system can be configured ahead of time to support any size for reference types as long as it is at least 2 bytes and is...
The `ValueHandle` concept was introduced by #290 as a way to encapsulate an "lvalue" - something in memory that could be the target of an assignment. However since the original...
When an undefined value is used for: * The target pointer of a call * An argument to a call * The target pointer of a read, write, or atomic...
On Mach-O, the debug information of our final executable is (IIUC) retained only in the original object files. The executable would contain a reference to the original object files, which...
This is the ~~first~~ ~~second~~ final cut at tracking global field reachability. * Tracks reads and writes of fields independently * **New:** Introduce and use a prototype facts API as...
Mirrorable non-commutative operations - for example `IsLt(a, b)` vs `IsGt(b, a)` (for integer types) - pose a challenge for optimizations, which multiply in complexity for every equivalent kind of node....
At present, we have value handle types that abstractly represent the selection of a target method based on the given instance; this handle also encapsulates the receiver to pass into...
Within the interpreter especially, but also in the type system and in other places sporadically, we are using a mix of `int` and `long` for offsets and sizes. These should...
Certain functions will have to become core intrinsics in order to allow the JVM to function at all. Intrinsics are implemented as a delegating `GraphFactory` implementation which transforms certain method...
This PR gathers any resolved source JARs from the Maven resolution path and creates an output directory which contains all of the reachable source files. You would then point the...