Microses: bitfields, so microses is subset of asm.js

[erights]

No description provided.

[erights]

Microses is not a syntactic subset of asm.js anyway. @metaweta , the question is, if we lift the bitfield restrictions, can legal asm.js easily be transformed into equivalent asm.js programs that are also microses programs? If not, what other restrictions would we need to lift?

[metaweta]

Will have to check, but here's the specification:
http://asmjs.org/spec/latest/

[metaweta]

Current support:
http://caniuse.com/#feat=asmjs

[metaweta]

I looked over the validation section, and as far as I can tell, if you lift the restriction on bitwise operators, the rest of asm.js code can be transformed into microses. In particular, asm.js is pretty much restricted to manipulating numbers and typed arrays, not strings or other kinds of objects.

[erights]

At https://github.com/Agoric/TinySES we list an additional reason for TinySES to include bitwise operators: the addition of BigInts to JS and TinySES.

Leaving open here for now, but this issue should move to https://github.com/Agoric/TinySES