bytecodealliance / cranelift

Cranelift code generator
https://cranelift.readthedocs.io/
2.49k stars 202 forks source link

wasm: rename `PassiveElemIndex` to `ElemIndex` and same for `PassiveDataIndex` #1407

Closed fitzgen closed 4 years ago

fitzgen commented 4 years ago

Even though the index is only ever useful (and only ever reported to API consumers) for passive element indices, the index space is for all elements. To be technically correct (the best kind of correct) we should rename PassiveElemIndex into ElemIndex.

Same for PassiveDataIndex --> DataIndex.

Helpful locations in the code base: