diff options
Diffstat (limited to 'tests/src/SpecTestsuites/Core/FloatLiteralsTest.php')
| -rw-r--r-- | tests/src/SpecTestsuites/Core/FloatLiteralsTest.php | 1588 |
1 files changed, 1588 insertions, 0 deletions
diff --git a/tests/src/SpecTestsuites/Core/FloatLiteralsTest.php b/tests/src/SpecTestsuites/Core/FloatLiteralsTest.php new file mode 100644 index 0000000..106786f --- /dev/null +++ b/tests/src/SpecTestsuites/Core/FloatLiteralsTest.php @@ -0,0 +1,1588 @@ +<?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 FloatLiteralsTest extends SpecTestsuiteBase +{ + public function testModule0(): void + { + $this->runModuleCommand( + filename: 'float_literals.0.wasm', + name: null, + line: 3, + ); + } + + #[Depends('testModule0')] + public function testAssertReturn1(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32.nan', 'args' => []], + expected: [['type' => 'i32', 'value' => '2143289344']], + line: 121, + ); + } + + #[Depends('testAssertReturn1')] + public function testAssertReturn2(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32.positive_nan', 'args' => []], + expected: [['type' => 'i32', 'value' => '2143289344']], + line: 122, + ); + } + + #[Depends('testAssertReturn2')] + public function testAssertReturn3(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32.negative_nan', 'args' => []], + expected: [['type' => 'i32', 'value' => '4290772992']], + line: 123, + ); + } + + #[Depends('testAssertReturn3')] + public function testAssertReturn4(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32.plain_nan', 'args' => []], + expected: [['type' => 'i32', 'value' => '2143289344']], + line: 124, + ); + } + + #[Depends('testAssertReturn4')] + public function testAssertReturn5(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32.informally_known_as_plain_snan', 'args' => []], + expected: [['type' => 'i32', 'value' => '2141192192']], + line: 125, + ); + } + + #[Depends('testAssertReturn5')] + public function testAssertReturn6(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32.all_ones_nan', 'args' => []], + expected: [['type' => 'i32', 'value' => '4294967295']], + line: 126, + ); + } + + #[Depends('testAssertReturn6')] + public function testAssertReturn7(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32.misc_nan', 'args' => []], + expected: [['type' => 'i32', 'value' => '2139169605']], + line: 127, + ); + } + + #[Depends('testAssertReturn7')] + public function testAssertReturn8(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32.misc_positive_nan', 'args' => []], + expected: [['type' => 'i32', 'value' => '2142257232']], + line: 128, + ); + } + + #[Depends('testAssertReturn8')] + public function testAssertReturn9(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32.misc_negative_nan', 'args' => []], + expected: [['type' => 'i32', 'value' => '4289379550']], + line: 129, + ); + } + + #[Depends('testAssertReturn9')] + public function testAssertReturn10(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32.infinity', 'args' => []], + expected: [['type' => 'i32', 'value' => '2139095040']], + line: 130, + ); + } + + #[Depends('testAssertReturn10')] + public function testAssertReturn11(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32.positive_infinity', 'args' => []], + expected: [['type' => 'i32', 'value' => '2139095040']], + line: 131, + ); + } + + #[Depends('testAssertReturn11')] + public function testAssertReturn12(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32.negative_infinity', 'args' => []], + expected: [['type' => 'i32', 'value' => '4286578688']], + line: 132, + ); + } + + #[Depends('testAssertReturn12')] + public function testAssertReturn13(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32.zero', 'args' => []], + expected: [['type' => 'i32', 'value' => '0']], + line: 133, + ); + } + + #[Depends('testAssertReturn13')] + public function testAssertReturn14(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32.positive_zero', 'args' => []], + expected: [['type' => 'i32', 'value' => '0']], + line: 134, + ); + } + + #[Depends('testAssertReturn14')] + public function testAssertReturn15(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32.negative_zero', 'args' => []], + expected: [['type' => 'i32', 'value' => '2147483648']], + line: 135, + ); + } + + #[Depends('testAssertReturn15')] + public function testAssertReturn16(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32.misc', 'args' => []], + expected: [['type' => 'i32', 'value' => '1086918619']], + line: 136, + ); + } + + #[Depends('testAssertReturn16')] + public function testAssertReturn17(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32.min_positive', 'args' => []], + expected: [['type' => 'i32', 'value' => '1']], + line: 137, + ); + } + + #[Depends('testAssertReturn17')] + public function testAssertReturn18(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32.min_normal', 'args' => []], + expected: [['type' => 'i32', 'value' => '8388608']], + line: 138, + ); + } + + #[Depends('testAssertReturn18')] + public function testAssertReturn19(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32.max_subnormal', 'args' => []], + expected: [['type' => 'i32', 'value' => '8388607']], + line: 139, + ); + } + + #[Depends('testAssertReturn19')] + public function testAssertReturn20(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32.max_finite', 'args' => []], + expected: [['type' => 'i32', 'value' => '2139095039']], + line: 140, + ); + } + + #[Depends('testAssertReturn20')] + public function testAssertReturn21(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32.trailing_dot', 'args' => []], + expected: [['type' => 'i32', 'value' => '1149239296']], + line: 141, + ); + } + + #[Depends('testAssertReturn21')] + public function testAssertReturn22(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32.misc_int', 'args' => []], + expected: [['type' => 'i32', 'value' => '1200726656']], + line: 142, + ); + } + + #[Depends('testAssertReturn22')] + public function testAssertReturn23(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32.large_int', 'args' => []], + expected: [['type' => 'i32', 'value' => '1736441856']], + line: 143, + ); + } + + #[Depends('testAssertReturn23')] + public function testAssertReturn24(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32.min_int32', 'args' => []], + expected: [['type' => 'i32', 'value' => '3472883712']], + line: 144, + ); + } + + #[Depends('testAssertReturn24')] + public function testAssertReturn25(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32.min_int64', 'args' => []], + expected: [['type' => 'i32', 'value' => '3741319168']], + line: 145, + ); + } + + #[Depends('testAssertReturn25')] + public function testAssertReturn26(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32_dec.zero', 'args' => []], + expected: [['type' => 'i32', 'value' => '0']], + line: 146, + ); + } + + #[Depends('testAssertReturn26')] + public function testAssertReturn27(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32_dec.positive_zero', 'args' => []], + expected: [['type' => 'i32', 'value' => '0']], + line: 147, + ); + } + + #[Depends('testAssertReturn27')] + public function testAssertReturn28(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32_dec.negative_zero', 'args' => []], + expected: [['type' => 'i32', 'value' => '2147483648']], + line: 148, + ); + } + + #[Depends('testAssertReturn28')] + public function testAssertReturn29(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32_dec.misc', 'args' => []], + expected: [['type' => 'i32', 'value' => '1086918619']], + line: 149, + ); + } + + #[Depends('testAssertReturn29')] + public function testAssertReturn30(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32_dec.min_positive', 'args' => []], + expected: [['type' => 'i32', 'value' => '1']], + line: 150, + ); + } + + #[Depends('testAssertReturn30')] + public function testAssertReturn31(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32_dec.min_normal', 'args' => []], + expected: [['type' => 'i32', 'value' => '8388608']], + line: 151, + ); + } + + #[Depends('testAssertReturn31')] + public function testAssertReturn32(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32_dec.max_subnormal', 'args' => []], + expected: [['type' => 'i32', 'value' => '8388607']], + line: 152, + ); + } + + #[Depends('testAssertReturn32')] + public function testAssertReturn33(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32_dec.max_finite', 'args' => []], + expected: [['type' => 'i32', 'value' => '2139095039']], + line: 153, + ); + } + + #[Depends('testAssertReturn33')] + public function testAssertReturn34(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32_dec.trailing_dot', 'args' => []], + expected: [['type' => 'i32', 'value' => '1343554297']], + line: 154, + ); + } + + #[Depends('testAssertReturn34')] + public function testAssertReturn35(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32_dec.root_beer_float', 'args' => []], + expected: [['type' => 'i32', 'value' => '1065353217']], + line: 155, + ); + } + + #[Depends('testAssertReturn35')] + public function testAssertReturn36(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32_dec.misc_int', 'args' => []], + expected: [['type' => 'i32', 'value' => '1178657792']], + line: 156, + ); + } + + #[Depends('testAssertReturn36')] + public function testAssertReturn37(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32_dec.large_int', 'args' => []], + expected: [['type' => 'i32', 'value' => '1621981420']], + line: 157, + ); + } + + #[Depends('testAssertReturn37')] + public function testAssertReturn38(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32_dec.min_int32', 'args' => []], + expected: [['type' => 'i32', 'value' => '3472883712']], + line: 158, + ); + } + + #[Depends('testAssertReturn38')] + public function testAssertReturn39(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32_dec.min_int64', 'args' => []], + expected: [['type' => 'i32', 'value' => '3741319168']], + line: 159, + ); + } + + #[Depends('testAssertReturn39')] + public function testAssertReturn40(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64.nan', 'args' => []], + expected: [['type' => 'i64', 'value' => '9221120237041090560']], + line: 161, + ); + } + + #[Depends('testAssertReturn40')] + public function testAssertReturn41(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64.positive_nan', 'args' => []], + expected: [['type' => 'i64', 'value' => '9221120237041090560']], + line: 162, + ); + } + + #[Depends('testAssertReturn41')] + public function testAssertReturn42(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64.negative_nan', 'args' => []], + expected: [['type' => 'i64', 'value' => '18444492273895866368']], + line: 163, + ); + } + + #[Depends('testAssertReturn42')] + public function testAssertReturn43(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64.plain_nan', 'args' => []], + expected: [['type' => 'i64', 'value' => '9221120237041090560']], + line: 164, + ); + } + + #[Depends('testAssertReturn43')] + public function testAssertReturn44(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64.informally_known_as_plain_snan', 'args' => []], + expected: [['type' => 'i64', 'value' => '9219994337134247936']], + line: 165, + ); + } + + #[Depends('testAssertReturn44')] + public function testAssertReturn45(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64.all_ones_nan', 'args' => []], + expected: [['type' => 'i64', 'value' => '18446744073709551615']], + line: 166, + ); + } + + #[Depends('testAssertReturn45')] + public function testAssertReturn46(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64.misc_nan', 'args' => []], + expected: [['type' => 'i64', 'value' => '9218888453225749180']], + line: 167, + ); + } + + #[Depends('testAssertReturn46')] + public function testAssertReturn47(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64.misc_positive_nan', 'args' => []], + expected: [['type' => 'i64', 'value' => '9219717281780008969']], + line: 168, + ); + } + + #[Depends('testAssertReturn47')] + public function testAssertReturn48(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64.misc_negative_nan', 'args' => []], + expected: [['type' => 'i64', 'value' => '18442992325002076997']], + line: 169, + ); + } + + #[Depends('testAssertReturn48')] + public function testAssertReturn49(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64.infinity', 'args' => []], + expected: [['type' => 'i64', 'value' => '9218868437227405312']], + line: 170, + ); + } + + #[Depends('testAssertReturn49')] + public function testAssertReturn50(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64.positive_infinity', 'args' => []], + expected: [['type' => 'i64', 'value' => '9218868437227405312']], + line: 171, + ); + } + + #[Depends('testAssertReturn50')] + public function testAssertReturn51(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64.negative_infinity', 'args' => []], + expected: [['type' => 'i64', 'value' => '18442240474082181120']], + line: 172, + ); + } + + #[Depends('testAssertReturn51')] + public function testAssertReturn52(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64.zero', 'args' => []], + expected: [['type' => 'i64', 'value' => '0']], + line: 173, + ); + } + + #[Depends('testAssertReturn52')] + public function testAssertReturn53(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64.positive_zero', 'args' => []], + expected: [['type' => 'i64', 'value' => '0']], + line: 174, + ); + } + + #[Depends('testAssertReturn53')] + public function testAssertReturn54(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64.negative_zero', 'args' => []], + expected: [['type' => 'i64', 'value' => '9223372036854775808']], + line: 175, + ); + } + + #[Depends('testAssertReturn54')] + public function testAssertReturn55(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64.misc', 'args' => []], + expected: [['type' => 'i64', 'value' => '4618760256179416344']], + line: 176, + ); + } + + #[Depends('testAssertReturn55')] + public function testAssertReturn56(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64.min_positive', 'args' => []], + expected: [['type' => 'i64', 'value' => '1']], + line: 177, + ); + } + + #[Depends('testAssertReturn56')] + public function testAssertReturn57(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64.min_normal', 'args' => []], + expected: [['type' => 'i64', 'value' => '4503599627370496']], + line: 178, + ); + } + + #[Depends('testAssertReturn57')] + public function testAssertReturn58(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64.max_subnormal', 'args' => []], + expected: [['type' => 'i64', 'value' => '4503599627370495']], + line: 179, + ); + } + + #[Depends('testAssertReturn58')] + public function testAssertReturn59(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64.max_finite', 'args' => []], + expected: [['type' => 'i64', 'value' => '9218868437227405311']], + line: 180, + ); + } + + #[Depends('testAssertReturn59')] + public function testAssertReturn60(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64.trailing_dot', 'args' => []], + expected: [['type' => 'i64', 'value' => '5057542381537067008']], + line: 181, + ); + } + + #[Depends('testAssertReturn60')] + public function testAssertReturn61(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64.misc_int', 'args' => []], + expected: [['type' => 'i64', 'value' => '4679860480993394688']], + line: 182, + ); + } + + #[Depends('testAssertReturn61')] + public function testAssertReturn62(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64.large_int', 'args' => []], + expected: [['type' => 'i64', 'value' => '4967470388989657088']], + line: 183, + ); + } + + #[Depends('testAssertReturn62')] + public function testAssertReturn63(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64.min_int32', 'args' => []], + expected: [['type' => 'i64', 'value' => '13970166044103278592']], + line: 184, + ); + } + + #[Depends('testAssertReturn63')] + public function testAssertReturn64(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64.min_int64', 'args' => []], + expected: [['type' => 'i64', 'value' => '14114281232179134464']], + line: 185, + ); + } + + #[Depends('testAssertReturn64')] + public function testAssertReturn65(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64_dec.zero', 'args' => []], + expected: [['type' => 'i64', 'value' => '0']], + line: 186, + ); + } + + #[Depends('testAssertReturn65')] + public function testAssertReturn66(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64_dec.positive_zero', 'args' => []], + expected: [['type' => 'i64', 'value' => '0']], + line: 187, + ); + } + + #[Depends('testAssertReturn66')] + public function testAssertReturn67(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64_dec.negative_zero', 'args' => []], + expected: [['type' => 'i64', 'value' => '9223372036854775808']], + line: 188, + ); + } + + #[Depends('testAssertReturn67')] + public function testAssertReturn68(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64_dec.misc', 'args' => []], + expected: [['type' => 'i64', 'value' => '4618760256179416344']], + line: 189, + ); + } + + #[Depends('testAssertReturn68')] + public function testAssertReturn69(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64_dec.min_positive', 'args' => []], + expected: [['type' => 'i64', 'value' => '1']], + line: 190, + ); + } + + #[Depends('testAssertReturn69')] + public function testAssertReturn70(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64_dec.min_normal', 'args' => []], + expected: [['type' => 'i64', 'value' => '4503599627370496']], + line: 191, + ); + } + + #[Depends('testAssertReturn70')] + public function testAssertReturn71(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64_dec.max_subnormal', 'args' => []], + expected: [['type' => 'i64', 'value' => '4503599627370495']], + line: 192, + ); + } + + #[Depends('testAssertReturn71')] + public function testAssertReturn72(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64_dec.max_finite', 'args' => []], + expected: [['type' => 'i64', 'value' => '9218868437227405311']], + line: 193, + ); + } + + #[Depends('testAssertReturn72')] + public function testAssertReturn73(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64_dec.trailing_dot', 'args' => []], + expected: [['type' => 'i64', 'value' => '6103021453049119613']], + line: 194, + ); + } + + #[Depends('testAssertReturn73')] + public function testAssertReturn74(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64_dec.root_beer_float', 'args' => []], + expected: [['type' => 'i64', 'value' => '4607182419335945764']], + line: 195, + ); + } + + #[Depends('testAssertReturn74')] + public function testAssertReturn75(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64_dec.misc_int', 'args' => []], + expected: [['type' => 'i64', 'value' => '4668012349850910720']], + line: 196, + ); + } + + #[Depends('testAssertReturn75')] + public function testAssertReturn76(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64_dec.large_int', 'args' => []], + expected: [['type' => 'i64', 'value' => '4906019910204099648']], + line: 197, + ); + } + + #[Depends('testAssertReturn76')] + public function testAssertReturn77(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64_dec.min_int32', 'args' => []], + expected: [['type' => 'i64', 'value' => '13970166044103278592']], + line: 198, + ); + } + + #[Depends('testAssertReturn77')] + public function testAssertReturn78(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64_dec.min_int64', 'args' => []], + expected: [['type' => 'i64', 'value' => '14114281232179134464']], + line: 199, + ); + } + + #[Depends('testAssertReturn78')] + public function testAssertReturn79(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32-dec-sep1', 'args' => []], + expected: [['type' => 'f32', 'value' => '1232348160']], + line: 201, + ); + } + + #[Depends('testAssertReturn79')] + public function testAssertReturn80(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32-dec-sep2', 'args' => []], + expected: [['type' => 'f32', 'value' => '1148846080']], + line: 202, + ); + } + + #[Depends('testAssertReturn80')] + public function testAssertReturn81(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32-dec-sep3', 'args' => []], + expected: [['type' => 'f32', 'value' => '1148897552']], + line: 203, + ); + } + + #[Depends('testAssertReturn81')] + public function testAssertReturn82(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32-dec-sep4', 'args' => []], + expected: [['type' => 'f32', 'value' => '1482758550']], + line: 204, + ); + } + + #[Depends('testAssertReturn82')] + public function testAssertReturn83(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32-dec-sep5', 'args' => []], + expected: [['type' => 'f32', 'value' => '1847438964']], + line: 205, + ); + } + + #[Depends('testAssertReturn83')] + public function testAssertReturn84(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32-hex-sep1', 'args' => []], + expected: [['type' => 'f32', 'value' => '1294004234']], + line: 206, + ); + } + + #[Depends('testAssertReturn84')] + public function testAssertReturn85(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32-hex-sep2', 'args' => []], + expected: [['type' => 'f32', 'value' => '1205143424']], + line: 207, + ); + } + + #[Depends('testAssertReturn85')] + public function testAssertReturn86(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32-hex-sep3', 'args' => []], + expected: [['type' => 'f32', 'value' => '1193345009']], + line: 208, + ); + } + + #[Depends('testAssertReturn86')] + public function testAssertReturn87(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32-hex-sep4', 'args' => []], + expected: [['type' => 'f32', 'value' => '1240465408']], + line: 209, + ); + } + + #[Depends('testAssertReturn87')] + public function testAssertReturn88(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f32-hex-sep5', 'args' => []], + expected: [['type' => 'f32', 'value' => '1437319208']], + line: 210, + ); + } + + #[Depends('testAssertReturn88')] + public function testAssertReturn89(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64-dec-sep1', 'args' => []], + expected: [['type' => 'f64', 'value' => '4696837146684686336']], + line: 212, + ); + } + + #[Depends('testAssertReturn89')] + public function testAssertReturn90(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64-dec-sep2', 'args' => []], + expected: [['type' => 'f64', 'value' => '4652007308841189376']], + line: 213, + ); + } + + #[Depends('testAssertReturn90')] + public function testAssertReturn91(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64-dec-sep3', 'args' => []], + expected: [['type' => 'f64', 'value' => '4652034942576659200']], + line: 214, + ); + } + + #[Depends('testAssertReturn91')] + public function testAssertReturn92(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64-dec-sep4', 'args' => []], + expected: [['type' => 'f64', 'value' => '2796837019126844485']], + line: 215, + ); + } + + #[Depends('testAssertReturn92')] + public function testAssertReturn93(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64-dec-sep5', 'args' => []], + expected: [['type' => 'f64', 'value' => '5027061507362119324']], + line: 216, + ); + } + + #[Depends('testAssertReturn93')] + public function testAssertReturn94(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64-hex-sep1', 'args' => []], + expected: [['type' => 'f64', 'value' => '4838519794133185330']], + line: 217, + ); + } + + #[Depends('testAssertReturn94')] + public function testAssertReturn95(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64-hex-sep2', 'args' => []], + expected: [['type' => 'f64', 'value' => '4682231715257647104']], + line: 218, + ); + } + + #[Depends('testAssertReturn95')] + public function testAssertReturn96(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64-hex-sep3', 'args' => []], + expected: [['type' => 'f64', 'value' => '4675897489574114112']], + line: 219, + ); + } + + #[Depends('testAssertReturn96')] + public function testAssertReturn97(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64-hex-sep4', 'args' => []], + expected: [['type' => 'f64', 'value' => '4701195061021376512']], + line: 220, + ); + } + + #[Depends('testAssertReturn97')] + public function testAssertReturn98(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => 'f64-hex-sep5', 'args' => []], + expected: [['type' => 'f64', 'value' => '4806880140420149248']], + line: 221, + ); + } + + #[Depends('testAssertReturn98')] + public function testModule99(): void + { + $this->runModuleCommand( + filename: 'float_literals.1.wasm', + name: null, + line: 224, + ); + } + + #[Depends('testModule99')] + public function testAssertReturn100(): void + { + $this->runAssertReturnCommand( + module: null, + action: ['type' => 'invoke', 'field' => '4294967249', 'args' => []], + expected: [['type' => 'f64', 'value' => '4751297606777307136']], + line: 233, + ); + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertReturn100')] + public function testAssertMalformed101(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed101')] + public function testAssertMalformed102(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed102')] + public function testAssertMalformed103(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed103')] + public function testAssertMalformed104(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed104')] + public function testAssertMalformed105(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed105')] + public function testAssertMalformed106(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed106')] + public function testAssertMalformed107(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed107')] + public function testAssertMalformed108(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed108')] + public function testAssertMalformed109(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed109')] + public function testAssertMalformed110(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed110')] + public function testAssertMalformed111(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed111')] + public function testAssertMalformed112(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed112')] + public function testAssertMalformed113(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed113')] + public function testAssertMalformed114(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed114')] + public function testAssertMalformed115(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed115')] + public function testAssertMalformed116(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed116')] + public function testAssertMalformed117(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed117')] + public function testAssertMalformed118(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed118')] + public function testAssertMalformed119(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed119')] + public function testAssertMalformed120(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed120')] + public function testAssertMalformed121(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed121')] + public function testAssertMalformed122(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed122')] + public function testAssertMalformed123(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed123')] + public function testAssertMalformed124(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed124')] + public function testAssertMalformed125(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed125')] + public function testAssertMalformed126(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed126')] + public function testAssertMalformed127(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed127')] + public function testAssertMalformed128(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed128')] + public function testAssertMalformed129(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed129')] + public function testAssertMalformed130(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed130')] + public function testAssertMalformed131(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed131')] + public function testAssertMalformed132(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed132')] + public function testAssertMalformed133(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed133')] + public function testAssertMalformed134(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed134')] + public function testAssertMalformed135(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed135')] + public function testAssertMalformed136(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed136')] + public function testAssertMalformed137(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed137')] + public function testAssertMalformed138(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed138')] + public function testAssertMalformed139(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed139')] + public function testAssertMalformed140(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed140')] + public function testAssertMalformed141(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed141')] + public function testAssertMalformed142(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed142')] + public function testAssertMalformed143(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed143')] + public function testAssertMalformed144(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed144')] + public function testAssertMalformed145(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed145')] + public function testAssertMalformed146(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed146')] + public function testAssertMalformed147(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed147')] + public function testAssertMalformed148(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed148')] + public function testAssertMalformed149(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed149')] + public function testAssertMalformed150(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed150')] + public function testAssertMalformed151(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed151')] + public function testAssertMalformed152(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed152')] + public function testAssertMalformed153(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed153')] + public function testAssertMalformed154(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed154')] + public function testAssertMalformed155(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed155')] + public function testAssertMalformed156(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed156')] + public function testAssertMalformed157(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed157')] + public function testAssertMalformed158(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed158')] + public function testAssertMalformed159(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed159')] + public function testAssertMalformed160(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed160')] + public function testAssertMalformed161(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed161')] + public function testAssertMalformed162(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed162')] + public function testAssertMalformed163(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed163')] + public function testAssertMalformed164(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed164')] + public function testAssertMalformed165(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed165')] + public function testAssertMalformed166(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed166')] + public function testAssertMalformed167(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed167')] + public function testAssertMalformed168(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed168')] + public function testAssertMalformed169(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed169')] + public function testAssertMalformed170(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed170')] + public function testAssertMalformed171(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed171')] + public function testAssertMalformed172(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed172')] + public function testAssertMalformed173(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed173')] + public function testAssertMalformed174(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed174')] + public function testAssertMalformed175(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed175')] + public function testAssertMalformed176(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed176')] + public function testAssertMalformed177(): void + { + } + + #[DoesNotPerformAssertions] + #[Depends('testAssertMalformed177')] + public function testAssertMalformed178(): void + { + } +} |