Skip to content
Snippets Groups Projects
Commit 22d843ab authored by stepan's avatar stepan
Browse files

Update assertion in BinaryMapNode

parent cac5a5ad
Branches
No related tags found
No related merge requests found
...@@ -496,7 +496,7 @@ abstract class VectorMapBinaryInternalNode extends RBaseNode { ...@@ -496,7 +496,7 @@ abstract class VectorMapBinaryInternalNode extends RBaseNode {
@Cached("createCountingProfile()") LoopConditionProfile leftProfile, @Cached("createCountingProfile()") LoopConditionProfile leftProfile,
@Cached("createCountingProfile()") LoopConditionProfile rightProfile, @Cached("createCountingProfile()") LoopConditionProfile rightProfile,
@Cached("createBinaryProfile()") ConditionProfile smallRemainderProfile) { @Cached("createBinaryProfile()") ConditionProfile smallRemainderProfile) {
assert result != right || rightLength == leftLength; assert result.getLength(resultIter) == leftLength;
leftProfile.profileCounted(leftLength); leftProfile.profileCounted(leftLength);
rightProfile.profileCounted(rightLength); rightProfile.profileCounted(rightLength);
while (leftProfile.inject(leftIter.getIndex() + 1 < leftLength)) { while (leftProfile.inject(leftIter.getIndex() + 1 < leftLength)) {
...@@ -527,7 +527,7 @@ abstract class VectorMapBinaryInternalNode extends RBaseNode { ...@@ -527,7 +527,7 @@ abstract class VectorMapBinaryInternalNode extends RBaseNode {
@Cached("createCountingProfile()") LoopConditionProfile leftProfile, @Cached("createCountingProfile()") LoopConditionProfile leftProfile,
@Cached("createCountingProfile()") LoopConditionProfile rightProfile, @Cached("createCountingProfile()") LoopConditionProfile rightProfile,
@Cached("createBinaryProfile()") ConditionProfile smallRemainderProfile) { @Cached("createBinaryProfile()") ConditionProfile smallRemainderProfile) {
assert result != left || rightLength == leftLength; assert result.getLength(resultIter) == rightLength;
leftProfile.profileCounted(leftLength); leftProfile.profileCounted(leftLength);
rightProfile.profileCounted(rightLength); rightProfile.profileCounted(rightLength);
while (rightProfile.inject(rightIter.getIndex() + 1 < rightLength)) { while (rightProfile.inject(rightIter.getIndex() + 1 < rightLength)) {
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment