Commit 418bf412 authored by Kanghua Yu's avatar Kanghua Yu Committed by Commit Bot

[ia32] Bugfix for jump optimization

The jump optimization maybe run Turbofan pipeline twice for each TF/CS builtins,
and relies on the fact that the number of j/jmp instruction generated is always
the same.
The behavior of {AddMatcher::SwapInputs} should be aware the two times code
generation, and prevents the flipping of child nodes.

For example:

1: Int32Add(2, 3)   --- We shouldn't swap the input #2 and #3 in this situation
2: Int32Sub(4, 5)
3: Int32Add(6, 7)
4: ...
5: ...
6: ...
7: ...

R=danno@chromium.org

Bug: v8:7839
Change-Id: Ia97de3ab28294e595ac27b5898c099c0d782e9f9
Reviewed-on: https://chromium-review.googlesource.com/1098678Reviewed-by: 's avatarJaroslav Sevcik <jarin@chromium.org>
Commit-Queue: Kanghua Yu <kanghua.yu@intel.com>
Cr-Commit-Position: refs/heads/master@{#53705}
parent 19171311
......@@ -391,11 +391,10 @@ struct AddMatcher : public BinopMatcher {
return;
}
if (this->right().opcode() == kAddOpcode &&
this->left().opcode() != kAddOpcode) {
this->SwapInputs();
} else if (this->right().opcode() == kSubOpcode &&
this->left().opcode() != kSubOpcode) {
if ((this->left().opcode() != kSubOpcode &&
this->left().opcode() != kAddOpcode) &&
(this->right().opcode() == kAddOpcode ||
this->right().opcode() == kSubOpcode)) {
this->SwapInputs();
}
}
......
......@@ -364,10 +364,7 @@ void Assembler::GetCode(Isolate* isolate, CodeDesc* desc) {
}
}
if (can_opt) {
// Disable for now due to bug flushed out by unrelated CSA/Torque
// changes
// TODO(7839): reenable when fixed
// jump_opt->set_optimizable();
jump_opt->set_optimizable();
}
}
}
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment