Consider Adopting Industry Standard to Specify Operations in ISA

ietf-wg-bpf / ebpf-docs

eBPF Standard Documentation

37 stars 5 forks source link

Consider Adopting Industry Standard to Specify Operations in ISA #34

Closed hawkinsw closed 5 months ago

hawkinsw commented 1 year ago

There are a few "industrial" ISAs that specify a "language" that they then use to describe the operations of each opcode. Should we use them for describing the operations?

cc @wbl

Intel: 3.1.1.9 Operation Section ARM: Chapter J1 Armv8 Pseudocode

dthaler commented 5 months ago

Closing since I think we have WG consensus on the current approach in the document. Please reopen if you disagree or want further discussion.

hawkinsw commented 5 months ago

I agree! Thanks for following up!