Missing error for invalid vector right shift

jasmin-lang / jasmin

Language for high-assurance and high-speed cryptography

MIT License

271 stars 55 forks source link

Missing error for invalid vector right shift #950

Closed kraemv closed 2 weeks ago

kraemv commented 4 weeks ago

Hello everyone,

I am using Jasmin Compiler 2023.06.1. My compiler compiled the following instruction: a = #VPSRA_4u64(a, 63); AVX2 extensions do not allow Quadword shifts, so this should throw an error.

Thanks, Vincent

vbgl commented 3 weeks ago

Thanks for the report. This sounds easy to fix.

vbgl commented 2 weeks ago

Fixed in #955.