Reject ARM intrinsics with an S when they do not support it

jasmin-lang / jasmin

Language for high-assurance and high-speed cryptography

MIT License

271 stars 55 forks source link

Reject ARM intrinsics with an S when they do not support it #809

Closed sarranz closed 6 months ago

sarranz commented 6 months ago

Solves #808.

vbgl commented 6 months ago

Does this deserve a changelog entry?

sarranz commented 6 months ago

I added an entry in the changelog, and updated the check-arm-m4 script. All the test cases I added were accepted by the compiler but rejected by the assembler so they wouldn't have caught this.