Merge pull request bytecodealliance#109 from nlewycky/patch-2

yurydelendik · web-flow · commit 30ae3fa6ed6a · 2019-07-01T08:35:28.000-05:00
SIMD shifts take two operands not one.
diff --git a/src/operators_validator.rs b/src/operators_validator.rs
@@ -1484,7 +1484,7 @@ impl OperatorValidator {
             | Operator::I64x2ShrU => {
                 self.check_simd_enabled()?;
                 self.check_operands_2(Type::V128, Type::I32)?;
-                self.func_state.change_frame_with_type(1, Type::V128)?;
+                self.func_state.change_frame_with_type(2, Type::V128)?;
             }
 
             Operator::MemoryInit { segment } => {

Original file line number	Diff line number	Diff line change
`@@ -1484,7 +1484,7 @@ impl OperatorValidator {`
`1484`	`1484`	`\| Operator::I64x2ShrU => {`
`1485`	`1485`	`self.check_simd_enabled()?;`
`1486`	`1486`	`self.check_operands_2(Type::V128, Type::I32)?;`
`1487`		`- self.func_state.change_frame_with_type(1, Type::V128)?;`
	`1487`	`+ self.func_state.change_frame_with_type(2, Type::V128)?;`
`1488`	`1488`	`}`
`1489`	`1489`
`1490`	`1490`	`Operator::MemoryInit { segment } => {`