Path: blob/main/tests/misc_testsuite/br-table-fuzzbug.wast
1692 views
;; From https://bugzilla.mozilla.org/show_bug.cgi?id=1657062.
;;
;; This just tests that Cranelift can compile this function; it previously
;; triggered a validator error on the CLIF that is generated by the wasm crate.
(module
(type (;0;) (func (param i32 i32 i32) (result i32)))
(func $main (type 0) (param i32 i32 i32) (result i32)
local.get 1
i32.const 6150
local.get 2
i32.const -63
br_if 0 (;@0;)
loop (param i32 i32 i32) (result i32) ;; label = @1
i32.const -59
local.get 1
i32.const -49
br_if 0 (;@1;)
i32.const 0
i32.ge_u
br_if 0 (;@1;)
i32.const 2
i32.const 0
i32.const 2
br_if 0 (;@1;)
i32.const 0
i32.ge_u
i32.const 0
i32.const 0
br_if 0 (;@1;)
i32.const 0
i32.const 27
select
i32.const 24
select
local.get 0
i32.const 27
i32.const 32
br_if 0 (;@1;)
i32.const 32
br_if 0 (;@1;)
i32.const 452672
i32.const 32
br_if 1 (;@0;)
i32.const -23
i32.div_s
local.get 1
if ;; label = @2
nop
i32.const -52
if ;; label = @3
nop
i32.const -52
local.tee 1
br_table 1 (;@2;) 0 (;@3;)
end
local.get 2
br_table 0 (;@2;) 0 (;@2;)
end
local.get 1
nop
i32.const -23
i32.div_s
nop
i32.const -25
i32.popcnt
select
select
i32.const 139
select
drop
i32.const -8051
nop
drop
i32.const 27
i32.const -63
local.get 1
i32.const 1
i32.const -63
i32.const 2
i32.const -6145
br_if 0 (;@1;)
i32.const 0
i32.ge_u
br_if 0 (;@1;)
select
local.get 1
i32.const -7937
i32.const 2
i32.const 0
i32.ge_u
i32.eqz
i32.const -49
br_if 0 (;@1;)
i32.const 0
i32.ge_u
br_if 0 (;@1;)
i32.const 2
i32.const 0
i32.const 2
i32.const 32
call $main
i32.const -1
i32.rem_s
i32.const 2
i32.const 0
i32.const 2
i32.const 0
i32.ge_u
i32.ge_u
br_if 0 (;@1;)
i32.const 0
i32.ge_u
br_if 0 (;@1;)
i32.const 2
i32.const 0
i32.const -49
i32.const 0
i32.const 0
br_if 0 (;@1;)
i32.const 0
local.get 1
select
i32.const 32
call $main
i32.const -1
i32.rem_s
i32.const 2
i32.const 0
i32.const 2
i32.const 0
i32.ge_u
i32.ge_u
br_if 0 (;@1;)
i32.const 3
i32.ge_u
br_if 0 (;@1;)
i32.const 2
i32.const 0
i32.const 2
i32.const 0
i32.ge_u
br_if 0 (;@1;)
i32.const -64
i32.ge_u
br_if 0 (;@1;)
select
br_if 0 (;@1;)
i32.const 0
local.get 1
select
i32.const 2
i32.const 0
i32.ge_u
br_if 0 (;@1;)
i32.const -64
i32.ge_u
i32.const 2
i32.const 0
i32.const 2
i32.const 0
i32.ge_u
i32.ge_u
br_if 0 (;@1;)
i32.const 0
i32.ge_u
nop
i32.const -59
i32.eqz
i32.eqz
i32.eqz
i32.eqz
i32.eqz
i32.eqz
i32.eqz
i32.const 32
select
br_if 0 (;@1;)
i32.const 0
local.get 1
select
i32.const 32
br_if 0 (;@1;)
i32.const 4
i32.rem_s
i32.const 2
i32.const 0
i32.ge_u
br_if 0 (;@1;)
i32.const 0
i32.const -19
nop
nop
i32.const -23
i32.div_s
i32.const 2
i32.const 0
i32.ge_u
br_if 0 (;@1;)
i32.const -63
i32.const 2
i32.const 0
i32.ge_u
br_if 0 (;@1;)
i32.const 0
i32.div_s
local.get 1
i32.const 1
i32.const -63
i32.const 2
i32.const 1
drop
i32.const -63
i32.const 27
select
i32.const 27
select
local.tee 0
i32.const 27
i32.const 32
br_if 0 (;@1;)
i32.const 32
br_if 0 (;@1;)
i32.const 452672
i32.const 32
br_if 1 (;@0;)
i32.const -23
i32.div_s
local.get 1
if ;; label = @2
nop
i32.const -52
if ;; label = @3
nop
i32.const -52
local.tee 1
br_table 1 (;@2;) 0 (;@3;)
end
local.get 2
br_table 0 (;@2;) 0 (;@2;)
end
local.get 1
nop
i32.const -23
i32.div_s
nop
i32.const -25
i32.popcnt
select
select
i32.const 139
select
drop
i32.const -64
i32.ge_u
br_if 0 (;@1;)
select
br_if 0 (;@1;)
i32.const 0
local.get 1
select
i32.const 2
i32.const 0
i32.ge_u
br_if 0 (;@1;)
i32.const -64
i32.ge_u
i32.const 2
i32.const 0
i32.const 2
i32.const 0
i32.ge_u
i32.ge_u
br_if 0 (;@1;)
i32.const 0
i32.ge_u
nop
i32.const -59
i32.eqz
i32.eqz
i32.eqz
i32.eqz
i32.eqz
i32.eqz
i32.eqz
i32.const 32
select
br_if 0 (;@1;)
i32.const 0
local.get 1
select
i32.const 32
br_if 0 (;@1;)
i32.const 4
i32.rem_s
i32.const 2
i32.const 0
i32.ge_u
br_if 0 (;@1;)
i32.const 0
i32.const -19
nop
nop
i32.const -23
i32.div_s
i32.const 2
i32.const 0
i32.ge_u
br_if 0 (;@1;)
i32.const -63
i32.const 2
i32.const 0
i32.ge_u
br_if 0 (;@1;)
i32.const 0
i32.div_s
local.get 1
i32.const 1
i32.const -63
i32.const 2
i32.const 1
drop
nop
i32.const -49
br_if 0 (;@1;)
local.set 0
i32.ge_u
br_if 0 (;@1;)
i32.const 2
i32.const 0
i32.const 2
br_if 0 (;@1;)
i32.const 0
i32.ge_u
i32.const 0
i32.const 0
br_if 0 (;@1;)
i32.const 0
local.get 1
select
i32.const 32
call $main
i32.const -1
i32.rem_s
i32.const 2
i32.const 0
i32.const 2
i32.const 0
i32.ge_u
i32.ge_u
br_if 0 (;@1;)
i32.const 0
i32.ge_u
br_if 0 (;@1;)
i32.const 2
i32.const 0
i32.const 2
i32.const 0
i32.ge_u
br_if 0 (;@1;)
i32.const -64
i32.ge_u
br_if 0 (;@1;)
select
br_if 0 (;@1;)
i32.const 0
local.get 1
select
i32.const 2
i32.const 0
i32.ge_u
br_if 0 (;@1;)
i32.const -64
i32.ge_u
i32.const 2
i32.const 0
i32.const 2
i32.const 0
i32.ge_u
i32.ge_u
br_if 0 (;@1;)
i32.const 0
i32.ge_u
nop
i32.const -59
i32.eqz
i32.eqz
i32.eqz
i32.eqz
i32.eqz
i32.eqz
i32.eqz
i32.const 32
select
br_if 0 (;@1;)
i32.const 0
local.get 1
select
i32.const 32
br_if 0 (;@1;)
i32.const 4
i32.rem_s
i32.const 2
i32.const 0
i32.const 2
i32.const 0
i32.ge_u
br_if 0 (;@1;)
i32.const -63
i32.const 2
i32.const 0
i32.ge_u
br_if 0 (;@1;)
i32.const 0
i32.div_s
local.get 1
i32.const 1
i32.const -63
i32.const 2
i32.const 1
drop
i32.const -63
i32.const 27
select
i32.const 27
select
local.tee 0
i32.const 27
i32.const 32
br_if 0 (;@1;)
i32.const 32
br_if 0 (;@1;)
i32.const 452672
i32.const 32
br_if 1 (;@0;)
i32.const -23
i32.div_s
local.get 1
if ;; label = @2
nop
i32.const -52
if ;; label = @3
nop
i32.const -52
local.tee 1
br_table 1 (;@2;) 0 (;@3;)
end
local.get 2
br_table 0 (;@2;) 0 (;@2;)
end
local.get 1
nop
i32.const -23
i32.div_s
nop
i32.const -25
i32.popcnt
select
select
i32.const 139
select
drop
i32.const -64
i32.ge_u
br_if 0 (;@1;)
select
br_if 0 (;@1;)
i32.const 0
local.get 1
select
i32.const 2
i32.const 0
i32.ge_u
br_if 0 (;@1;)
i32.const -64
i32.ge_u
i32.const 2
i32.const 0
i32.const 2
i32.const 0
i32.ge_u
i32.ge_u
br_if 0 (;@1;)
i32.const 0
i32.ge_u
nop
i32.const -59
i32.eqz
i32.eqz
i32.eqz
i32.eqz
i32.eqz
i32.eqz
i32.eqz
i32.const 32
select
br_if 0 (;@1;)
i32.const 0
local.get 1
select
i32.const 32
br_if 0 (;@1;)
i32.const 4
i32.rem_s
i32.const 2
i32.const 0
br_table 0 (;@1;)
unreachable
i32.ge_u
br_if 0 (;@1;)
i32.const 0
i32.const -19
nop
nop
i32.const -23
i32.div_s
i32.const 2
i32.const 0
i32.ge_u
br_if 0 (;@1;)
i32.const -63
i32.const 2
i32.const 0
i32.ge_u
br_if 0 (;@1;)
i32.const 0
i32.div_s
local.get 1
i32.const 1
i32.const -63
i32.const 2
i32.const 1
drop
nop
i32.const -49
br_if 0 (;@1;)
local.set 0
i32.ge_u
br_if 0 (;@1;)
i32.const 2
i32.const 0
i32.const 2
br_if 0 (;@1;)
i32.const 0
i32.ge_u
i32.const 0
i32.const 0
br_if 0 (;@1;)
i32.const 0
local.get 1
select
i32.const 32
call $main
i32.const -1
i32.rem_s
i32.const 2
i32.const 0
i32.const 2
i32.const 0
i32.ge_u
i32.ge_u
br_if 0 (;@1;)
i32.const 0
i32.ge_u
br_if 0 (;@1;)
i32.const 2
i32.const 0
i32.const 2
i32.const 0
i32.ge_u
br_if 0 (;@1;)
i32.const -64
i32.ge_u
br_if 0 (;@1;)
select
br_if 0 (;@1;)
i32.const 0
local.get 1
select
i32.const 2
i32.const 0
i32.ge_u
br_if 0 (;@1;)
i32.const -64
i32.ge_u
i32.const 2
i32.const 0
i32.const 2
i32.const 0
i32.ge_u
i32.ge_u
br_if 0 (;@1;)
i32.const 0
i32.ge_u
nop
i32.const -59
i32.eqz
i32.eqz
i32.eqz
i32.eqz
i32.eqz
i32.eqz
i32.eqz
i32.const 32
select
br_if 0 (;@1;)
i32.const 0
i32.const 2
i32.const 0
i32.const 2
i32.const -63
i32.const 27
i32.const -63
i32.eqz
i32.eqz
br 0 (;@1;)
end
unreachable
i32.div_s
unreachable
i32.rem_s
i32.div_s
return
br_if 0 (;@0;)
i32.const 0
i32.extend8_s
unreachable
unreachable
unreachable
unreachable
i32.ctz
unreachable
i32.ge_u
unreachable
unreachable
i32.popcnt
unreachable
unreachable
i32.popcnt)
(export "main" (func $main)))