diff options
Diffstat (limited to 'testsuite/tests/wasm/should_run/control-flow/README.md')
-rw-r--r-- | testsuite/tests/wasm/should_run/control-flow/README.md | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/testsuite/tests/wasm/should_run/control-flow/README.md b/testsuite/tests/wasm/should_run/control-flow/README.md new file mode 100644 index 0000000000..d228c643a9 --- /dev/null +++ b/testsuite/tests/wasm/should_run/control-flow/README.md @@ -0,0 +1,12 @@ +Tests the basic infrastructure used to translate Cmm control flow to WebAssembly control flow: + + - Check a Cmm control-flow graph to see if it is reducible. + + - Convert an irreducible control-flow graph to an equivalent reducible control-flow graph. + + - Interpret both Cmm control-flow graphs and WebAssembly programs using a stream of bits to determine the direction of each conditional and `switch`. Confirm that source and target programs take the same actions and make the same decisions. + +The tests dump a lot of information about the code under test, including the number of execution paths tested. Samples in `WasmControlFlow.stdout`. + +The source codes for the tested control-flow graphs are written in a mix of Haskell and Cmm; they are found in directory `src`. + |