search

jasmin-lang / jasmin

Language for high-assurance and high-speed cryptography
MIT License
271 stars 55 forks source link

Risc v constants if while #934

Closed bgregoir closed 3 weeks ago

eponier commented 1 month ago

I took the liberty to rename the pass ("prelowering" was unclear). If you agree with the changes I did, I'll merge.

eponier commented 1 month ago

One side note: maybe it would make sense not to print the program after the pass when actually the pass is not called (on x86 and arm), but this is not so clear to me.

clebreto commented 3 weeks ago

@bgregoir @eponier

What's the status of this MR ?

bgregoir commented 3 weeks ago

For me it is ok, we can merge it. I agree that the printing can be removed is the pass is not used (but it is not important).

eponier commented 3 weeks ago

Ok, I'm merging then.