Siu Kwan Lam
Siu Kwan Lam
This is a variant on the SCC algorithm, mainly the `yield` statement are replaced: https://gist.github.com/sklam/dbe21c6df5b882bc41a27ff3e6cf79a0 Error: ``` Traceback (most recent call last): File "/path/to/numba-rvsdg/test_fig_scc.py", line 72, in lflow = cflow._restructure_loop()...
From `DEBUGGRAPH=1 pytest numba_rvsdg/tests/test_mock_asm.py::test_mock_scfg_fuzzer_case146` in #42 CFG:  Traceback: ```pytb def test_mock_scfg_fuzzer_case146(): > run_fuzzer(seed=146) numba_rvsdg/tests/test_mock_asm.py:611: _ _ _ _ _ _ _ _ _...
From `DEBUGGRAPH=1 pytest numba_rvsdg/tests/test_mock_asm.py::test_mock_scfg_fuzzer_case0` in #42. We need special handling for endless loop like this:  A potential fix is described in: https://github.com/phate/jlm/pull/71/files#diff-5da2c1eea581b6b09d5820765778b4d657700c2b2fbb46c64fa498d66bcd182fR259-R260
This is a continuation of #23 merging into main with: - conversion code from mockasm to SCFG; - fuzzing tests that exercise the above with simulation of the raw CFG...
Graph rendering code can be messy. Sometimes we need viz-backend specific logic. It's also hard to test. The suggestion is to add a AbstractDataType for hiding the details of graph...
Sample implementation used in Numba RVSDG frontend: https://github.com/numba/numba/blob/edfc1b95bf633abb346fbbe265acf2bb20560a6e/numba/core/frontend2/regionpasses.py `RegionVisitor` and `RegionTransformers` enables a hierarchical thinking for compiler pass implementation. This simplifies compiler passes to just 3 abstract methods: - `visit_block()`:...
Reproducer and SCFG rendering in https://gist.github.com/sklam/f43f7c4eb574a79eaca9d5b4d27ef6ba When calling `find_headers_and_entries` in a header loop region that's inside a branch region, it fails to find the entry node. The usecase is to...
... when the caller passes in a contiguous array. This enables simd-vectorization when the callee takes a "A" layout array and the caller passes in "C" or "F" arrays. Demo:...
This issue is reported on discourse https://numba.discourse.group/t/nested-loop-fails-in-version-0-59/ and affects 0.59. Behavior is non-deterministic on 0.59. Git bisect points to https://github.com/numba/numba/pull/9255 as first bad commit. Running reproducer on 0.58 have always...
building on https://github.com/numba/numba/pull/9436 TODO: - [x] every benchmark should run in a fresh process in benchmark mode https://github.com/numba/numba/pull/9460/commits/df399002ac48901d1941d1d228377b23f1c17492