Index: src/compiler/x64/instruction-selector-x64.cc |
diff --git a/src/compiler/x64/instruction-selector-x64.cc b/src/compiler/x64/instruction-selector-x64.cc |
index 2dfd40134382024e3cabc88383af47dcadb29bdc..aba480de42319c58edd4e92c63004108ac5b2b6b 100644 |
--- a/src/compiler/x64/instruction-selector-x64.cc |
+++ b/src/compiler/x64/instruction-selector-x64.cc |
@@ -237,6 +237,7 @@ void InstructionSelector::VisitCheckedLoad(Node* node) { |
Int32Matcher mlength(length); |
Int32BinopMatcher moffset(offset); |
if (mlength.HasValue() && moffset.right().HasValue() && |
+ moffset.right().Value() >= 0 && |
mlength.Value() >= moffset.right().Value()) { |
Emit(opcode, g.DefineAsRegister(node), g.UseRegister(buffer), |
g.UseRegister(moffset.left().node()), |
@@ -285,6 +286,7 @@ void InstructionSelector::VisitCheckedStore(Node* node) { |
Int32Matcher mlength(length); |
Int32BinopMatcher moffset(offset); |
if (mlength.HasValue() && moffset.right().HasValue() && |
+ moffset.right().Value() >= 0 && |
mlength.Value() >= moffset.right().Value()) { |
Emit(opcode, nullptr, g.UseRegister(buffer), |
g.UseRegister(moffset.left().node()), |