Toolchain support for exception handling

[aheejin]

This issue tracks toolchain support for WebAssembly exception handling support.

• [ ] Clang

  • [x] Builtins
  • [ ] Code generation using scoped IR (= Windows IR)
    • [x] Normal code path support
    • [ ] Exception specification support

• [ ] LLVM

  • [x] Intrinsics
  • [x] WebAssembly instructions
  • [x] Pre- instruction lowering
    • [x] WasmEHPrepare (Preparation before ISel)
  • [x] Instruction lowering
    • [x] SelectionDAG: Invoke / landingpad lowering
  • [x] Prolog/epilog generation
    • [x] __stack_pointer adjustment
  • [x] Pre-emission
    • [x] Various late code transformation
    • [x] Exception detection
    • [x] Exception block sorting (in CFGSort)
    • [x] Exception marker insertion & unwind mismatch fix (in CFGStackify)
  • [x] Machine code generation
    • [x] LSDA generation (callsite table, action table, ...)
    • [x] Wasm object format support
    • [x] Linker support
  • [x] Setjmp/longjmp support using EH instructions

• [x] Libraries

  • [x] libc++abi support
  • [x] libunwind support

• [ ] Binaryen

  • [x] EH instructions support
  • [x] Event section/type support
  • [ ] Optimization

• [x] emscripten

  • [x] Command line option support

[GhisHD]

Hello I am wondering if this tasks have any progress and if it’s already uptodate according last EH spec ? Thks

[aheejin]

We had some spec changes, which is still not final. Toolchain implementation work is going on but not yet finished. This hasn't been updated very timely manner, sorry, I'll try to keep this up-to-date.