jasmin

jasmin copied to clipboard

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...

bgregoir

Reg ptr export

4

This adds the support of reg ptr in export function arguments. This is not polished at all for the moment. I would like to have feedback about the correctness theorem...

eponier

Split large memory accesses in stack alloc

2

When stack allocation replaces `x = e` by `[rsp + off] = e`, the offset may be too large. I introduced a check at every `Copn` that splits this memory...

sarranz

vbgl

Compiling the following program crashes at asm-generation time: ~~~ export fn bad_inc(reg u64 p) { [p + 8] = [p] + 1; } ~~~ Stack-allocation is not aware of x86...

vbgl

Provide: - generalization to prepare for riscv: - [x] #700 - ISA description (riscv_desc.v), parsing & compilation: - [x] #705 - [x] #714 - [x] https://github.com/jasmin-lang/jasmin/issues/739 - [x] #744 -...

clebreto

Register allocation chooses a general purpose register instead of MMX for underscore

1

The following program fails to compile ``` export fn main(reg u64 r) -> reg u64 { _ = #MOVX(r); r = r; return r; } ``` because register allocation gives...

sarranz

EDIT: Currently, bug_499.jazz does not compile for RISC-V since we do not support pseudo-instruction `Omulu`.

clebreto

The Jasmin compiler use `rectypes` in the type of expressions: this might not be needed.

vbgl

Readability of global data section in generated assembly

2

Add one or more options to compiler that permit generating assembly with more readable global data. A minimal change would be to comment each global data entry with its offset,...

mbbarbosa