Vincent Laporte
Vincent Laporte
A few things do not work yet, although they should. * 32-bit immediate assigned to a register (workaround: halve into 16-bit parts and use `#MOVT`) ~~~ export fn big() ->...
In some contexts (e.g., assignments to inline variables or bounds of `for` loops), it might make sense to propagate the values of global variables (i.e., remove memory accesses). Inline array...
The parser optimistically assumes that the trailing `S` means “set flags”. Workaround: instead of `d = #MLS(a, b, c)`, use `d = c - a * b`.
Register allocation sees that `x` and `y` conflict and therefore does not consider allocating them to the same register, hence fails at compiling this program: ~~~ param int N =...
Bug or feature? > "bug_529.jazz", line 5 (2-11): internal compilation error in function bug_529: stack allocation: register array remains (t) ~~~ export fn bug_529() -> reg u32 { inline u32[1]...
The current memory model used for defining semantics Jasmin and assembly languages mandates that any access of size N is done at an address multiple of N. This is a...
Compiling the following program crashes with > "bug.jazz", line 12 (1) to line 30 (1): internal compilation error in function bar: Variable allocation: b (defined at "bug.jazz", line 4 (22-23))...
Running the tests of version `0.6` produces the following error trace: ~~~ --- test/test.ml 2020-12-02 20:26:14.378099919 +0000 +++ test/test.ml.corrected 2020-12-02 20:26:16.712113233 +0000 @@ -49,7 +49,7 @@ print_endline s''' done; [%expect...
A few widgets from this library are not compatible with the latest version of js_of_ocaml (4.1.0), namely the carousel, drawer, swipe, and tongue widgets. It seems to be related to...
## Things done - Built on platform(s) - [x] x86_64-linux - [ ] aarch64-linux - [ ] x86_64-darwin - [ ] aarch64-darwin - For non-Linux: Is sandboxing enabled in `nix.conf`?...