[PATCH] D25971: Change block and loop signature fixing

Jacob Gravelle via llvm-commits llvm-commits at lists.llvm.org
Tue Oct 25 16:30:56 PDT 2016


jgravelle-google created this revision.
jgravelle-google added reviewers: dschuff, sunfish.
jgravelle-google added a subscriber: llvm-commits.
Herald added a subscriber: jfb.

We add block signatures to blocks at the ends of functions in order to
satisfy the constraints around unreachable. The way we do so breaks down
with more complex cfgs, particularly those emitted by repeated calls to
setjmp/longjmp.
Change the fixup from adding a type signature, to adding an unreachable
instruction.


https://reviews.llvm.org/D25971

Files:
  lib/Target/WebAssembly/WebAssemblyCFGStackify.cpp
  test/CodeGen/WebAssembly/cfg-stackify.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D25971.75811.patch
Type: text/x-patch
Size: 5224 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20161025/7067bde9/attachment.bin>


More information about the llvm-commits mailing list