Add regression tests of BA issue cases (#3462)

tests/regression/ba-issues/issues/issue-2759/case.wat

@@ -0,0 +1,83 @@
+(module
+  (type (;0;) (func (param f64) (result f64)))
+  (type (;1;) (func (param i32 i32 i32) (result i32)))
+  (type (;2;) (func (param i32) (result i32)))
+  (type (;3;) (func (param i32)))
+  (type (;4;) (func (param i32 i32 i32)))
+  (type (;5;) (func (param i32 i32) (result i32)))
+  (type (;6;) (func (param i32 i64 i32) (result i64)))
+  (type (;7;) (func (param i32 i32 i32 i32) (result i32)))
+  (type (;8;) (func))
+  (import "wasi_snapshot_preview1" "args_sizes_get" (func (;0;) (type 5)))
+  (import "wasi_snapshot_preview1" "args_get" (func (;1;) (type 5)))
+  (import "wasi_snapshot_preview1" "proc_exit" (func (;2;) (type 3)))
+  (import "wasi_snapshot_preview1" "fd_write" (func (;3;) (type 7)))
+  (func (;4;) (type 8))
+  (func (;5;) (type 4) (param i32 i32 i32))
+  (func (;6;) (type 8)
+    (local i32 i32 i32 i32 i32)
+    block (result i32)  ;; label = @1
+      loop  ;; label = @5
+        local.get 4
+        local.get 1
+        i32.const 15720
+        i32.add
+        i32.store offset=15576
+        
+        i32.const 0
+        i32.const 0
+        i32.load offset=4
+        i32.const 128
+        i32.sub
+        local.tee 0
+        i32.store offset=4
+
+        ;; i32.const 40
+        ;; i32.load offset=28
+        ;; call 2 ;; same here
+        
+        local.get 2
+        i32.const 5
+        local.get 3
+        call 5
+
+        i32.const 40
+        i32.load offset=28
+        call 2
+        
+        local.get 0
+        i32.const 108
+        i32.eq
+        local.set 0
+        local.get 1
+        i32.const 34
+        i32.eq
+        local.set 0
+        
+        local.get 2
+        i32.const 7
+        local.get 3
+        call 5
+        
+        local.get 4
+        i32.const 1
+        i32.add
+        local.tee 4
+        i32.const 36525
+        i32.ne
+        br_if 0 (;@5;)
+      end
+      i32.const 0
+    end
+    local.set 1
+  )
+  (table (;0;) 6 6 funcref)
+  (memory (;0;) 8192 8192)
+  (global (;0;) (mut i32) (i32.const 76368))
+  (global (;1;) (mut i32) (i32.const 331012996))
+  (global (;2;) (mut i64) (i64.const 575546917))
+  (global (;3;) (mut f32) (f32.const 0x1.b8f31cp-34 (;=1.0026e-10;)))
+  (global (;4;) (mut f64) (f64.const -0x1.8ae9ad59b18a9p-429 (;=-1.11274e-129;)))
+  (export "memory" (memory 0))
+  (export "_start" (func 6))
+)

tests/regression/ba-issues/issues/issue-2787/sock_shutdown.wast

@@ -0,0 +1,17 @@
+(module
+  (type (func))
+  (type (func (param i32 i32) (result i32)))
+  (type (func (param i32)))
+  (import "wasi_snapshot_preview1" "sock_shutdown" (func $sock_shutdown (type 1)))
+  (import "wasi_snapshot_preview1" "proc_exit" (func $proc_exit (type 2)))
+  (func $_start
+    (call $sock_shutdown
+      (i32.const 3)
+      (i32.const 3)
+    )
+    call $proc_exit
+  )
+  (memory 2)
+  (export "memory" (memory 0))
+  (export "_start" (func $_start))
+)

tests/regression/ba-issues/issues/issue-2897/test.wast

@@ -0,0 +1,11 @@
+(module
+  (type (func))
+  (func $_start
+    (memory.grow (i32.const 1))
+    drop
+    (memory.fill (i32.const 65536) (i32.const 0) (i32.const 10))
+  )
+  (memory 1)
+  (export "memory" (memory 0))
+  (export "_start" (func $_start))
+)

tests/regression/ba-issues/issues/issue-315101/test.wast

@@ -0,0 +1,24 @@
+(module
+ (data $string_data "asdf")
+ (func $print (import "spectest" "print_i32") (param $i i32))
+ (memory $memory (export "memory") 1)
+ (type $string (array (mut i8)))
+ (type $var (struct (field (ref null $string))))
+
+ (func $test (param $param (ref $var))
+    (local.get $param)
+    (struct.get $var 0) 
+    (ref.as_non_null)
+    (array.len)
+    (call $print)
+ )
+ (func $init
+    (local $str (ref $string))
+    (array.new_data $string $string_data (i32.const 0) (i32.const 4))
+    (local.set $str)
+    (struct.new $var (local.get $str))
+    (call $test)
+ )
+
+ (export "_start" (func $init))
+)

tests/regression/ba-issues/issues/issue-315102/test.wast

@@ -0,0 +1,15 @@
+(module
+  (data $string_data "asdf")
+  (func $print (import "spectest" "print_i32") (param $i i32))
+  (memory $memory (export "memory") 1)
+  (type $string (array (mut i8)))
+  (func $init
+    (local $str (ref null $string))
+    (array.new_data $string $string_data (i32.const 0) (i32.const 4))
+    (local.tee $str)
+    (ref.as_non_null) 
+    (array.len)
+    (call $print)
+  )
+  (export "_start" (func $init))
+)

tests/regression/ba-issues/issues/issue-3210/3210.wast

@@ -0,0 +1,111 @@
+(module
+  (type $0 (func (result i32)))
+  (type $1 (func (param f64 f64 i32 f64 f32) (result i32)))
+  (memory $3  1)
+  (table $2  2 funcref)
+  (global $4  (mut f64) (f64.const -0x1.0035c4524daf8p+7))
+  (export "_main" (func $6))
+  (elem $5 (i32.const 0)
+    $7 $8)
+  
+  (func $6 (type $0)
+    (result i32)
+    (local $0 i32)
+    (local $1 i64)
+    (local $2 f32)
+    (local $3 f64)
+    i32.const 385
+    f64.const 0x1.9cbe6f8f163aap+9
+    f64.store offset=39 align=2
+    f64.const 0x1.4530cd2e8aa6bp+8
+    i32.const 702
+    f64.load offset=12 align=2
+    local.tee $3
+    local.get $3
+    i64.reinterpret_f64
+    i64.const 9218868437227405312
+    i64.and
+    i64.popcnt
+    i64.const 11
+    i64.eq
+    select
+    local.tee $3
+    global.get $4
+    i32.const 440
+    i32.load16_u offset=58 align=1
+    i32.const 178
+    i32.load offset=16 align=2
+    i32.and
+    global.get $4
+    f64.const 0x1.abf60cf2b5ea8p+8
+    i32.const 554
+    f64.load offset=74 align=1
+    local.tee $3
+    local.get $3
+    i64.reinterpret_f64
+    i64.const 9218868437227405312
+    i64.and
+    i64.popcnt
+    i64.const 11
+    i64.eq
+    select
+    local.tee $3
+    f64.min
+    i32.const 758
+    i32.load16_u offset=35 align=1
+    i32.const 334
+    i32.load16_s offset=81 align=1
+    br_if 0
+    drop
+    f32.const 0x1.bbacd6p+9
+    i32.const 1
+    call_indirect $2 (type $1)
+    )
+  
+  (func $7 (type $0)
+    (result i32)
+    i32.const 0
+    )
+  
+  (func $8 (type $1)
+    (param $0 f64)
+    (param $1 f64)
+    (param $2 i32)
+    (param $3 f64)
+    (param $4 f32)
+    (result i32)
+    (local $5 i32)
+    (local $6 i64)
+    (local $7 f32)
+    (local $8 f64)
+    (local $9 i32)
+    (local $10 i32)
+    i32.const 86
+    local.set $10
+    i32.const 684
+    i32.load8_s offset=77
+    local.tee $2
+    i32.const 0
+    call_indirect $2 (type $0)
+    i32.xor
+    local.set $9
+    loop $loop
+      local.get $9
+      i32.const 561
+      i64.load offset=74 align=4
+      i32.const 183
+      i64.load offset=94 align=2
+      i64.eq
+      i32.add
+      local.set $9
+      local.get $10
+      i32.const -1
+      i32.add
+      local.tee $10
+      br_if $loop
+    end ;; $loop
+    local.get $9
+    local.get $2
+    i32.extend8_s
+    i32.rotr
+    ))

tests/regression/ba-issues/issues/issue-3346/test.wast

@@ -0,0 +1,67 @@
+(module
+  (type $0 (func))
+  (type $1 (func (param f32 f32) (result f32)))
+  (type $2 (func (param i64 i64) (result i64)))
+  (memory $4  1)
+  (table $3  16 funcref)
+  (export "main" (func $5))
+  
+  (func $5 (type $0)
+    (local $0 f32)
+    (local $1 i32)
+    (local $2 i64)
+    i32.const 1
+    if $if
+      local.get $0
+      drop
+      block $block (result i64)
+        loop $loop (result i64)
+          block $block_0 (result i64)
+            i64.const 9223372036854775807
+            i64.const 4304854250827437017
+            call $7
+            local.get $0
+            i64.trunc_sat_f32_s
+            i64.const 9223372036854775807
+            i64.const 4304854250827437017
+            call $7
+            local.get $0
+            unreachable
+            nop
+            unreachable
+            local.get $1
+            local.tee $1
+            select
+            local.get $1
+            br_table
+              $block_0
+              $block_0 ;; default
+          end ;; $block_0
+        end ;; $loop
+      end ;; $block
+      local.set $2
+    else
+      i32.const 1
+      local.set $1
+    end ;; $if
+    )
+  
+  (func $6 (type $1)
+    (param $0 f32)
+    (param $1 f32)
+    (result f32)
+    local.get $0
+    local.get $1
+    f32.max
+    )
+  
+  (func $7 (type $2)
+    (param $0 i64)
+    (param $1 i64)
+    (result i64)
+    local.get $1
+    f64.convert_i64_u
+    i64.trunc_sat_f64_u
+    i64.const 9223372036854775807
+    i64.and
+    ))

tests/regression/ba-issues/issues/issue-3386/test.wast

@@ -0,0 +1,28 @@
+(module
+  (type $0 (func))
+  (type $1 (func (result i32)))
+  (type $2 (func (param i32 i32) (result i32 i32)))
+  (export "_start" (func $3))
+  (export "to_test" (func $3))
+  
+  (func $3 (type $1)
+    (result i32)
+    f32.const -0x1.0bb6d6p+2
+    f32.const -0x1.2a640ap+2
+    f32.ge
+    i32.const 353
+    call $4
+    i32.const 1
+    if $if (param i32 i32) (result i32 i32)
+    end ;; $if
+    i32.gt_u
+    return
+    )
+  
+  (func $4 (type $2)
+    (param $0 i32)
+    (param $1 i32)
+    (result i32 i32)
+    i32.const -1
+    i32.const 2147483647
+    ))

tests/regression/ba-issues/issues/issue-3387/test.wast

@@ -0,0 +1,27 @@
+(module
+  (type (;0;) (func))
+  (type (;1;) (func (result i32)))
+  (type (;2;) (func (param f32) (result f32)))
+  (func (;0;)  (result i64)
+    i32.const -1518330408
+    i64.const 1022
+    i64.const 904
+    i64.add
+    global.get 0
+    i64.add
+    global.set 0
+    f32.const 0x1.01499cp+1 (;=2.01006;)
+    call 1
+    i32.const 0
+    if (param f32) (result f32)  ;; label = @1
+    end
+    i64.trunc_f32_u
+    return
+    )
+  (func (;1;) (type 2) (param f32) (result f32)
+    f32.const inf (;=inf;))
+  (global (;0;) (mut i64) (i64.const 858))
+  (global (;1;) (mut f64) (f64.const 0x1.0370499c98398p+3 (;=8.10746;)))
+  (export "_start" (func 0))
+  (export "to_test" (func 0))
+)

tests/regression/ba-issues/issues/issue-3388/test.wast

@@ -0,0 +1,24 @@
+(module
+  (type (;0;) (func))
+  (type (;1;) (func (param i64 i64) (result i64 i64)))
+  (func (;0;) (result i64)
+    i64.const 230
+    i64.const 366
+    i64.div_u
+    i64.const 968
+    call 1
+    i32.const 0
+    if (param i64 i64) (result i64 i64)  ;; label = @1
+    end
+    i64.div_u
+    ;; global.get 0
+    ;; i64.add
+    ;; global.set 0
+    )
+  (func (;1;) (type 1) (param i64 i64) (result i64 i64)
+    i64.const 0
+    i64.const 9223372036854775807)
+  (global (;0;) (mut i64) (i64.const 853))
+  (global (;1;) (mut f32) (f32.const 0x1.2f312cp+3 (;=9.47475;)))
+  (export "_start" (func 0))
+  (export "to_test" (func 0)))