Decision #1273 — exports.rs:52

Status: no_witness

Truth table

rowc0 br 8600c1 br 8603c2 br 8609outcome
3257T**T
3258T**T
10214T**T
10215T**T
17067T**T
17068T**T
22531T**T
25271T**T
27917T**T
39514T**T
60366T**T
75975T**T
85858T**T
94172T**T
94173T**T
102033T**T
102034T**T
110514T**T
110515T**T
118516T**T
118517T**T
132903T**T
149622T**T
161014T**T
170872T**T
182036T**T
185352T**T
188463T**T
192619T**T
199101T**T
204408T**T
210022T**T
217499T**T
253504T**T
330881T**T
377932T**T
380599T**T
383480T**T

Independent-effect pairs

All 3 conditions live in <wasmparser::readers::core::types::FuncType as wasmparser::readers::FromReader>::from_reader — 3 br_if