path: root/tests/src/SpecTestsuites/Core/NamesTest.php

<?php

declare(strict_types=1);

namespace Nsfisis\Waddiwasi\Tests\SpecTestsuites\Core;

use Nsfisis\Waddiwasi\Tests\SpecTestsuites\SpecTestsuiteBase;
use PHPUnit\Framework\Attributes\Depends;
use PHPUnit\Framework\Attributes\DoesNotPerformAssertions;

final class NamesTest extends SpecTestsuiteBase
{
    public function testModule0(): void
    {
        $this->runModuleCommand(
            filename: 'names.0.wasm',
            name: null,
            line: 4,
        );
    }

    #[Depends('testModule0')]
    public function testAssertReturn1(): void
    {
        $this->runAssertReturnCommand(
            action: ['type' => 'invoke', 'field' => 'foo', 'args' => []],
            expected: [['type' => 'i32', 'value' => '0']],
            line: 8,
        );
    }

    #[Depends('testAssertReturn1')]
    public function testModule2(): void
    {
        $this->runModuleCommand(
            filename: 'names.1.wasm',
            name: null,
            line: 12,
        );
    }

    #[Depends('testModule2')]
    public function testAssertReturn3(): void
    {
        $this->runAssertReturnCommand(
            action: ['type' => 'invoke', 'field' => 'foo', 'args' => []],
            expected: [['type' => 'i32', 'value' => '1']],
            line: 16,
        );
    }

    #[Depends('testAssertReturn3')]
    public function testModule4(): void
    {
        $this->runModuleCommand(
            filename: 'names.2.wasm',
            name: null,
            line: 19,
        );
    }

    #[Depends('testModule4')]
    public function testAssertReturn5(): void
    {
        $this->runAssertReturnCommand(
            action: ['type' => 'invoke', 'field' => '', 'args' => []],
            expected: [['type' => 'i32', 'value' => '0']],
            line: 615,
        );
    }

    #[Depends('testAssertReturn5')]
    public function testAssertReturn6(): void
    {
        $this->runAssertReturnCommand(
            action: ['type' => 'invoke', 'field' => '0', 'args' => []],
            expected: [['type' => 'i32', 'value' => '1']],
            line: 616,
        );
    }

    #[Depends('testAssertReturn6')]
    public function testAssertReturn7(): void
    {
        $this->runAssertReturnCommand(
            action: ['type' => 'invoke', 'field' => '-0', 'args' => []],
            expected: [['type' => 'i32', 'value' => '2']],
            line: 617,
        );
    }

    #[Depends('testAssertReturn7')]
    public function testAssertReturn8(): void
    {
        $this->runAssertReturnCommand(
            action: ['type' => 'invoke', 'field' => '_', 'args' => []],
            expected: [['type' => 'i32', 'value' => '3']],
            line: 618,
        );
    }

    #[Depends('testAssertReturn8')]
    public function testAssertReturn9(): void
    {
        $this->runAssertReturnCommand(
            action: ['type' => 'invoke', 'field' => '$', 'args' => []],
            expected: [['type' => 'i32', 'value' => '4']],
            line: 619,
        );
    }

    #[Depends('testAssertReturn9')]
    public function testAssertReturn10(): void
    {
        $this->runAssertReturnCommand(
            action: ['type' => 'invoke', 'field' => '@', 'args' => []],
            expected: [['type' => 'i32', 'value' => '5']],
            line: 620,
        );
    }

    #[Depends('testAssertReturn10')]
    public function testAssertReturn11(): void
    {
        $this->runAssertReturnCommand(
            action: ['type' => 'invoke', 'field' => '~!@#$%^&*()_+`-={}|[]\\:";\'<>?,./ ', 'args' => []],
            expected: [['type' => 'i32', 'value' => '6']],
            line: 621,
        );
    }

    #[Depends('testAssertReturn11')]
    public function testAssertReturn12(): void
    {
        $this->runAssertReturnCommand(
            action: ['type' => 'invoke', 'field' => 'NaN', 'args' => []],
            expected: [['type' => 'i32', 'value' => '7']],
            line: 622,
        );
    }

    #[Depends('testAssertReturn12')]
    public function testAssertReturn13(): void
    {
        $this->runAssertReturnCommand(
            action: ['type' => 'invoke', 'field' => 'Infinity', 'args' => []],
            expected: [['type' => 'i32', 'value' => '8']],
            line: 623,
        );
    }

    #[Depends('testAssertReturn13')]
    public function testAssertReturn14(): void
    {
        $this->runAssertReturnCommand(
            action: ['type' => 'invoke', 'field' => 'if', 'args' => []],
            expected: [['type' => 'i32', 'value' => '9']],
            line: 624,
        );
    }

    #[Depends('testAssertReturn14')]
    public function testAssertReturn15(): void
    {
        $this->runAssertReturnCommand(
            action: ['type' => 'invoke', 'field' => 'malloc', 'args' => []],
            expected: [['type' => 'i32', 'value' => '10']],
            line: 625,
        );
    }

    #[Depends('testAssertReturn15')]
    public function testAssertReturn16(): void
    {
        $this->runAssertReturnCommand(
            action: ['type' => 'invoke', 'field' => '_malloc', 'args' => []],
            expected: [['type' => 'i32', 'value' => '11']],
            line: 626,
        );
    }

    #[Depends('testAssertReturn16')]
    public function testAssertReturn17(): void
    {
        $this->runAssertReturnCommand(
            action: ['type' => 'invoke', 'field' => '__malloc', 'args' => []],
            expected: [['type' => 'i32', 'value' => '12']],
            line: 627,
        );
    }

    #[Depends('testAssertReturn17')]
    public function testAssertReturn18(): void
    {
        $this->runAssertReturnCommand(
            action: ['type' => 'invoke', 'field' => 'a', 'args' => []],
            expected: [['type' => 'i32', 'value' => '13']],
            line: 628,
        );
    }

    #[Depends('testAssertReturn18')]
    public function testAssertReturn19(): void
    {
        $this->runAssertReturnCommand(
            action: ['type' => 'invoke', 'field' => 'A', 'args' => []],
            expected: [['type' => 'i32', 'value' => '14']],
            line: 629,
        );
    }

    #[Depends('testAssertReturn19')]
    public function testAssertReturn20(): void
    {
        $this->runAssertReturnCommand(
            action: ['type' => 'invoke', 'field' => '', 'args' => []],
            expected: [['type' => 'i32', 'value' => '15']],
            line: 630,
        );
    }

    #[Depends('testAssertReturn20')]
    public function testAssertReturn21(): void
    {
        $this->runAssertReturnCommand(
            action: ['type' => 'invoke', 'field' => 'Å', 'args' => []],
            expected: [['type' => 'i32', 'value' => '16']],
            line: 631,
        );
    }

    #[Depends('testAssertReturn21')]
    public function testAssertReturn22(): void
    {
        $this->runAssertReturnCommand(
            action: ['type' => 'invoke', 'field' => 'Å', 'args' => []],
            expected: [['type' => 'i32', 'value' => '17']],
            line: 632,
        );
    }

    #[Depends('testAssertReturn22')]
    public function testAssertReturn23(): void
    {
        $this->runAssertReturnCommand(
            action: ['type' => 'invoke', 'field' => 'Å', 'args' => []],
            expected: [['type' => 'i32', 'value' => '18']],
            line: 633,
        );
    }

    #[Depends('testAssertReturn23')]
    public function testAssertReturn24(): void
    {
        $this->runAssertReturnCommand(
            action: ['type' => 'invoke', 'field' => 'ffi', 'args' => []],
            expected: [['type' => 'i32', 'value' => '19']],
            line: 634,
        );
    }

    #[Depends('testAssertReturn24')]
    public function testAssertReturn25(): void
    {
        $this->runAssertReturnCommand(
            action: ['type' => 'invoke', 'field' => 'ffi', 'args' => []],
            expected: [['type' => 'i32', 'value' => '20']],
            line: 635,
        );
    }

    #[Depends('testAssertReturn25')]
    public function testAssertReturn26(): void
    {
        $this->runAssertReturnCommand(
            action: ['type' => 'invoke', 'field' => 'ffi', 'args' => []],
            expected: [['type' => 'i32', 'value' => '21']],
            line: 636,
        );
    }

    #[Depends('testAssertReturn26')]
    public function testAssertReturn27(): void
    {
        $this->runAssertReturnCommand(
            action: ['type' => 'invoke', 'field' => '