Bug 1990510: Add congruentTo for MWasmBoundsCheck. r=rhunt

Two bounds checks on exactly the same values are obviously redundant and
can be GVN'd.

Differential Revision: https://phabricator.services.mozilla.com/D265998

Author: bvisness

js/src/jit/MIR-wasm.h

@@ -788,14 +788,18 @@ class MWasmBoundsCheck : public MBinaryInstruction, public NoTypePolicy::Data {
 
   AliasSet getAliasSet() const override { return AliasSet::None(); }
 
+  const wasm::TrapSiteDesc& trapSiteDesc() const { return trapSiteDesc_; }
   Target target() const { return target_; }
   uint32_t targetIndex() const { return targetIndex_; }
 
   bool isRedundant() const { return !isGuard(); }
-
   void setRedundant() { setNotGuard(); }
 
-  const wasm::TrapSiteDesc& trapSiteDesc() const { return trapSiteDesc_; }
+  bool congruentTo(const MDefinition* ins) const override {
+    return congruentIfOperandsEqual(ins) &&
+           ins->toWasmBoundsCheck()->target() == target() &&
+           ins->toWasmBoundsCheck()->targetIndex() == targetIndex();
+  }
 
   ALLOW_CLONE(MWasmBoundsCheck)
 };