Alex Light
Alex Light
Repro: 1) Have vscode-remote installed 2) use remote-ssh to open a remote directory with the AOSP source code tree 3) Open a random java file (for example art/test/1993-fallback-non-structural/src/art/Test1993.java) 4) wait...
For analysis of tuple and array types we often need to convert and perform math on int64 values. In these cases we do not want the math to overflow. It...
Scheduling and codegen args are both only used by the codegen family of programs. This means that some users (including internally) bundle them all together. This can cause problems when...
**Describe the bug** In order to trigger MSAN errors a function in LLVM must be marked as sanitizable. Our JIT/AOT code does not do this. Some MSAN issues (such as...
**Describe the bug** The jit-wrapper is being generally changed to use AOT code for better performance. We should reflect this in the names of the targets and in the docs.
### What's hard to do? (limit 100 words) ScopedVerifyProcEquivalence won't verify that procs maintain token dependency semantics and has no support for multiple conditional sends (even if they are mutually...
### What's hard to do? (limit 100 words) It should be possible to improve ScopedVerifyProcEquivalence to support procs which are transformed by removing or changing the types of state elements....
**Describe the bug** Fuzzer crash found on 9-23 hash 0330 crashers/crasher_2024-09-23_0330.x Seems to timeout, possibly in LLVM.
### What's hard to do? (limit 100 words) Using the jit/interpreter directly one can use EvaluationObservers to get the value each node takes on during a computation. Currently there is...
### What's hard to do? (limit 100 words) If you run a jit until blocked we have deadlock detection but we do not have livelock detection of any kind. Even...