// |jit-test| skip-if: !hasDisassembler() || wasmCompileMode() != "ion" || !getBuildConfiguration("riscv64"); include:codegen-riscv64-test.js

// Test that storing an i32.const 0 uses zero directly rather than
// materialising zero into a general-purpose register first.

// i32 scalar stores with zero constant

codegenTestRISCV64_adhoc(
    `(module
       (memory 1)
       (func (export "f") (param i32)
         (i32.store (local.get 0) (i32.const 0))))`,
    "f",
    `zext\\.w  t4, a0
     add       t5, s7, t4
     sw        zero, 0\\(t5\\)`);

codegenTestRISCV64_adhoc(
    `(module
       (memory 1)
       (func (export "f") (param i32)
         (i32.store8 (local.get 0) (i32.const 0))))`,
    "f",
    `zext\\.w  t4, a0
     add       t5, s7, t4
     sb        zero, 0\\(t5\\)`);

codegenTestRISCV64_adhoc(
    `(module
       (memory 1)
       (func (export "f") (param i32)
         (i32.store16 (local.get 0) (i32.const 0))))`,
    "f",
    `zext\\.w  t4, a0
     add       t5, s7, t4
     sh        zero, 0\\(t5\\)`);

// i64 scalar stores with zero constant

codegenTestRISCV64_adhoc(
    `(module
       (memory 1)
       (func (export "f") (param i32)
         (i64.store (local.get 0) (i64.const 0))))`,
    "f",
    `zext.w    t4, a0
     add       t5, s7, t4
     sd        zero, 0\\(t5\\)`);

codegenTestRISCV64_adhoc(
    `(module
       (memory 1)
       (func (export "f") (param i32)
         (i64.store8 (local.get 0) (i64.const 0))))`,
    "f",
    `zext.w    t4, a0
     add       t5, s7, t4
     sb        zero, 0\\(t5\\)`);

codegenTestRISCV64_adhoc(
    `(module
       (memory 1)
       (func (export "f") (param i32)
         (i64.store16 (local.get 0) (i64.const 0))))`,
    "f",
    `zext.w    t4, a0
     add       t5, s7, t4
     sh        zero, 0\\(t5\\)`);

codegenTestRISCV64_adhoc(
    `(module
       (memory 1)
       (func (export "f") (param i32)
         (i64.store32 (local.get 0) (i64.const 0))))`,
    "f",
    `zext.w    t4, a0
     add       t5, s7, t4
     sw        zero, 0\\(t5\\)`);

// anyref/funcref null stores use xzr directly

codegenTestRISCV64_adhoc(
    `(module
       (type $s (struct (field (mut anyref))))
       (func (export "f") (param (ref $s))
         (struct.set $s 0 (local.get 0) (ref.null any))))`,
    "f",
    `sd        zero, 16\\(a1\\)`,
    {no_prefix: true, no_suffix: true});

codegenTestRISCV64_adhoc(
    `(module
       (type $s (struct (field (mut funcref))))
       (func (export "f") (param (ref $s))
         (struct.set $s 0 (local.get 0) (ref.null func))))`,
    "f",
    `sd        zero, 16\\(a1\\)`,
    {no_prefix: true, no_suffix: true});

codegenTestRISCV64_adhoc(
    `(module
       (type $a (array (mut anyref)))
       (func (export "f") (param (ref $a)) (param i32)
         (array.set $a (local.get 0) (local.get 1) (ref.null any))))`,
    "f",
    `sh3add    t4, t2, a1
     sd        zero, 0\\(t4\\)`,
    {no_prefix: true, no_suffix: true});