Heejin Ahn 0db40de6ca [WebAssembly] Optimize Irreducible Control Flow ...

Summary:
Irreducible control flow is not that rare, e.g. it happens in malloc and
3 other places in the libc portions linked in to a hello world program.
This patch improves how we handle that code: it emits a br_table to
dispatch to only the minimal necessary number of blocks. This reduces
the size of malloc by 33%, and makes it comparable in size to asm2wasm's
malloc output.

Added some tests, and verified this passes the emscripten-wasm tests run
on the waterfall (binaryen2, wasmobj2, other).

Reviewers: aheejin, sunfish

Subscribers: mgrang, jgravelle-google, sbc100, dschuff, llvm-commits

Differential Revision: https://reviews.llvm.org/D55467

Patch by Alon Zakai (kripken)

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@350367 91177308-0d34-0410-b5e6-96231b3b80d8

2019-01-03 23:10:11 +00:00

..

add-prototypes.ll

[WebAssembly] Fix broken assumption that all bitcasts are to functions types

2018-11-13 19:14:02 +00:00

address-offsets.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

annotations.mir

[WebAssembly] Support EH instructions in InstPrinter

2018-10-25 23:45:48 +00:00

atomic-mem-consistency.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

atomic-rmw.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

byval.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

call.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

cfg-stackify-dbg-skip.ll

[WebAssembly] Ignore DBG_VALUE in WebAssemblyCFGStackify pass when looking for block start

2018-10-04 23:31:00 +00:00

cfg-stackify-eh.ll

[WebAssembly] Added default stack-only instruction mode for MC.

2018-08-27 15:45:51 +00:00

cfg-stackify-eh.mir

[WebAssembly] Fix immediate of rethrow when throwing to caller

2018-10-24 23:31:24 +00:00

cfg-stackify.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

cfi.ll

[WebAssembly] Added default stack-only instruction mode for MC.

2018-08-27 15:45:51 +00:00

comparisons-f32.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

comparisons-f64.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

comparisons-i32.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

comparisons-i64.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

conv-trap.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

conv.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

copysign-casts.ll

[WebAssembly] Added default stack-only instruction mode for MC.

2018-08-27 15:45:51 +00:00

cpus.ll

[WebAsembly] Update default triple in test files to wasm32-unknown-unkown.

2018-05-10 17:49:11 +00:00

custom-sections.ll

[WebAsembly] Update default triple in test files to wasm32-unknown-unkown.

2018-05-10 17:49:11 +00:00

dbgvalue.ll

[WebAsembly] Update default triple in test files to wasm32-unknown-unkown.

2018-05-10 17:49:11 +00:00

dead-vreg.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

divrem-constant.ll

[WebAssembly] Added default stack-only instruction mode for MC.

2018-08-27 15:45:51 +00:00

eh-lsda.ll

Reland "[WebAssembly] LSDA info generation"

2018-10-25 23:55:10 +00:00

exception.ll

[WebAssembly] Add '.eventtype' directive support

2018-12-11 01:11:04 +00:00

explicit-locals.mir

[WebAssembly] Added default stack-only instruction mode for MC.

2018-08-27 15:45:51 +00:00

f16.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

f32.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

f64.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

fast-isel-br-i1.ll

[WebAssembly] Added default stack-only instruction mode for MC.

2018-08-27 15:45:51 +00:00

fast-isel-i24.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

fast-isel-i256.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

fast-isel-noreg.ll

[WebAssembly] Added default stack-only instruction mode for MC.

2018-08-27 15:45:51 +00:00

fast-isel.ll

[WebAssembly] Added default stack-only instruction mode for MC.

2018-08-27 15:45:51 +00:00

frem.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

func.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

function-bitcasts-varargs.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

function-bitcasts.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

global.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

globl.ll

[WebAsembly] Update default triple in test files to wasm32-unknown-unkown.

2018-05-10 17:49:11 +00:00

i32-load-store-alignment.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

i32.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

i64-load-store-alignment.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

i64.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

i128-returned.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

i128.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

ident.ll

[WebAssembly] Added default stack-only instruction mode for MC.

2018-08-27 15:45:51 +00:00

immediates.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

implicit-def.ll

[WebAssembly] Emit a splat for v128 IMPLICIT_DEF

2018-12-20 04:20:32 +00:00

import-module.ll

[WebAssembly] Added default stack-only instruction mode for MC.

2018-08-27 15:45:51 +00:00

indirect-import.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

inline-asm-m.ll

[WebAssembly] Added default stack-only instruction mode for MC.

2018-08-27 15:45:51 +00:00

inline-asm-roundtrip.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

inline-asm.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

irreducible-cfg-exceptions.ll

[WebAssembly] Optimize Irreducible Control Flow

2019-01-03 23:10:11 +00:00

irreducible-cfg-nested2.ll

[WebAssembly] Optimize Irreducible Control Flow

2019-01-03 23:10:11 +00:00

irreducible-cfg-nested.ll

[WebAssembly] Optimize Irreducible Control Flow

2019-01-03 23:10:11 +00:00

irreducible-cfg.ll

[WebAssembly] Optimize Irreducible Control Flow

2019-01-03 23:10:11 +00:00

legalize.ll

[WebAssembly] Added default stack-only instruction mode for MC.

2018-08-27 15:45:51 +00:00

libcalls.ll

[WebAssembly] Added default stack-only instruction mode for MC.

2018-08-27 15:45:51 +00:00

lit.local.cfg

[WebAssembly] Create a CodeGen unittest directory.

2015-07-06 23:14:57 +00:00

load-ext-atomic.ll

[WebAssembly] Added default stack-only instruction mode for MC.

2018-08-27 15:45:51 +00:00

load-ext.ll

[WebAssembly] Added default stack-only instruction mode for MC.

2018-08-27 15:45:51 +00:00

load-store-i1.ll

[WebAssembly] Added default stack-only instruction mode for MC.

2018-08-27 15:45:51 +00:00

load.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

lower-em-ehsjlj-options.ll

[WebAssembly] Added default stack-only instruction mode for MC.

2018-08-27 15:45:51 +00:00

lower-em-exceptions-whitelist.ll

[WebAsembly] Update default triple in test files to wasm32-unknown-unkown.

2018-05-10 17:49:11 +00:00

lower-em-exceptions.ll

[WebAssembly] WebAssemblyLowerEmscriptenEHSjLj: use getter/setter for accessing tempRet0

2018-11-20 19:25:07 +00:00

lower-em-sjlj-longjmp-only.ll

[WebAssembly] Fix LowerEmscriptenEHSjLj when there's only longjmp

2018-11-08 22:56:26 +00:00

lower-em-sjlj.ll

[WebAssembly] WebAssemblyLowerEmscriptenEHSjLj: use getter/setter for accessing tempRet0

2018-11-20 19:25:07 +00:00

lower-global-dtors.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

main-declaration.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

main-no-args.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

main-with-args.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

mem-intrinsics.ll

[WebAssembly] Added default stack-only instruction mode for MC.

2018-08-27 15:45:51 +00:00

memory-addr32.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

muloti4.ll

[WebAssembly] Added default stack-only instruction mode for MC.

2018-08-27 15:45:51 +00:00

negative-base-reg.ll

[WebAssembly] Added default stack-only instruction mode for MC.

2018-08-27 15:45:51 +00:00

non-executable-stack.ll

[WebAsembly] Update default triple in test files to wasm32-unknown-unkown.

2018-05-10 17:49:11 +00:00

null-streamer.ll

[WebAssembly] Add null streamer support

2018-11-18 11:58:47 +00:00

offset-atomics.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

offset-fastisel.ll

[WebAssembly] Added default stack-only instruction mode for MC.

2018-08-27 15:45:51 +00:00

offset-folding.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

offset.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

phi.ll

[WebAssembly] Added default stack-only instruction mode for MC.

2018-08-27 15:45:51 +00:00

reg-stackify.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

regcopy.mir

[WebAssembly] Add V128 to WebAssemblyInstrInfo::copyPhysReg

2018-11-08 02:35:28 +00:00

return-int32.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

return-void.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

returned.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

select.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

signext-arg.ll

[WebAssembly] Added default stack-only instruction mode for MC.

2018-08-27 15:45:51 +00:00

signext-inreg.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

signext-zeroext.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

simd-arith.ll

[WebAssembly] Fix invalid machine instrs in -O0, verify in tests

2018-12-21 06:58:15 +00:00

simd-bitcasts.ll

[WebAssembly] Fix invalid machine instrs in -O0, verify in tests

2018-12-21 06:58:15 +00:00

simd-comparisons.ll

[WebAssembly] Fix invalid machine instrs in -O0, verify in tests

2018-12-21 06:58:15 +00:00

simd-conversions.ll

[WebAssembly] Fix invalid machine instrs in -O0, verify in tests

2018-12-21 06:58:15 +00:00

simd-ext-load-trunc-store.ll

[WebAssembly] Fix invalid machine instrs in -O0, verify in tests

2018-12-21 06:58:15 +00:00

simd-intrinsics.ll

[WebAssembly] Fix invalid machine instrs in -O0, verify in tests

2018-12-21 06:58:15 +00:00

simd-load-store-alignment.ll

[WebAssembly] Fix invalid machine instrs in -O0, verify in tests

2018-12-21 06:58:15 +00:00

simd-nested-shuffles.ll

[WebAssembly] Fix invalid machine instrs in -O0, verify in tests

2018-12-21 06:58:15 +00:00

simd-noopt.ll

[WebAssembly][NFC] Elaborate on simd-noopt test comment

2019-01-02 20:43:08 +00:00

simd-offset.ll

[WebAssembly] Fix invalid machine instrs in -O0, verify in tests

2018-12-21 06:58:15 +00:00

simd-select.ll

[WebAssembly] Fix invalid machine instrs in -O0, verify in tests

2018-12-21 06:58:15 +00:00

simd-sext-inreg.ll

[WebAssembly] Fix invalid machine instrs in -O0, verify in tests

2018-12-21 06:58:15 +00:00

simd.ll

[WebAssembly] Fix invalid machine instrs in -O0, verify in tests

2018-12-21 06:58:15 +00:00

stack-alignment.ll

[WebAssembly] Added default stack-only instruction mode for MC.

2018-08-27 15:45:51 +00:00

stack-insts.ll

[WebAssembly] Fix assembler parsing of br_table.

2018-12-17 22:04:44 +00:00

store-trunc-atomic.ll

[WebAssembly] Added default stack-only instruction mode for MC.

2018-08-27 15:45:51 +00:00

store-trunc.ll

[WebAssembly] Added default stack-only instruction mode for MC.

2018-08-27 15:45:51 +00:00

store.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

switch.ll

[WebAssembly] Added default stack-only instruction mode for MC.

2018-08-27 15:45:51 +00:00

tls.ll

[WebAssembly] Added default stack-only instruction mode for MC.

2018-08-27 15:45:51 +00:00

umulo-128-legalisation-lowering.ll

[WebAssembly] Added default stack-only instruction mode for MC.

2018-08-27 15:45:51 +00:00

umulo-i64.ll

[WebAssembly] Added default stack-only instruction mode for MC.

2018-08-27 15:45:51 +00:00

unreachable.ll

[WebAsembly] Update default triple in test files to wasm32-unknown-unkown.

2018-05-10 17:49:11 +00:00

unsupported-function-bitcasts.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

unused-argument.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

userstack.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

varargs.ll

[WebAssembly] replaced .param/.result by .functype

2018-11-19 17:10:36 +00:00

vector-sdiv.ll

[WebAssembly] Convert remaining tests from elf to wasm output format

2018-07-02 16:03:49 +00:00

vtable.ll

[WebAssembly] Default to static reloc model

2018-11-16 18:59:51 +00:00

wasmehprepare.ll

[WebAssembly] Split BBs after throw instructions

2018-11-16 00:47:18 +00:00