Rocco

Rogin C Compiler

What is this

A compiler from subset of C99 language into webassembly

Demo is here https://roginvs.github.io/rocco

What is supported

TODO to add

(maybe some subset of misra rules)

What is not supported yet

• proper type checking
• "long long", float, double, short types
• switch and goto statements
• unions and structs
• variable-length arrays
• array initializers
• ints are unsigned by default (simple to fix)
• linkage (also not possible to declare function and define it later)
• "" strings

Why no goto/switch

https://en.wikipedia.org/wiki/Structured_program_theorem

https://github.com/kripken/emscripten/raw/master/docs/paper.pdf

https://medium.com/leaningtech/solving-the-structured-control-flow-problem-once-and-for-all-5123117b1ee2

Links

https://www.w3.org/TR/wasm-core-1/

https://webassembly.github.io/spec/core/appendix/index-instructions.html

C99 specification

https://developer.mozilla.org/ru/docs/WebAssembly/Understanding_the_text_format