bgregoir

Call ret

4

Work in progress

VPMULL_16u8 is accepted by the typing and then compiled to an instruction that do not exists. The point is that the instruction exists but has no semantic. The type checking...

The following code does not type check (typing.ml) because pretyping does not insert the good "type annotation" in the assignment. inline fn test(reg u64 buffer) -> inline int { inline...

more flexibility for (s)ct checker

3

The main idea of this PR is do provide more flexibility in the usage of (S)CT checker. What we want is to be able to add annotations in libjade allowing...

inconsistant/non uniform traitement of global and param

1

``` u32 x = 2; param int x = 1; export fn f_param() -> reg u32 { reg u32 r; r = x; return r; } param int y =...

compilation (assemble) of tests/success/x86-64/clflush.jazz fail when using /nix/store/jf8g1nq6lrxa4s4m9y7cls33rp2s5lgp-clang-wrapper-11.1.0/bin/cc error: invalid operand for instruction clflush qword ptr[rdi] clfush [rdi] is accepted

add something to exit while and for loop

2

this kind of code are tricking to translate in jasmin: ``` k = 0; for (i = 0; i < K; ++i) { for (j = 0; j < N;...

do not generate #spill() and #unspill() with no argument

1

# Description Please include a summary of the changes and the related issue (if applicable). Please also include relevant motivation and context. List any dependencies that are required for this...

# Description Please include a summary of the changes and the related issue (if applicable). Please also include relevant motivation and context. List any dependencies that are required for this...