Enable fieldsets to be flexboxes, grids and multicolumn.
[WebKit-https.git] / Source / WebCore / rendering / RenderBlockFlow.cpp
1 /*
2  * Copyright (C) 1999 Lars Knoll (knoll@kde.org)
3  *           (C) 1999 Antti Koivisto (koivisto@kde.org)
4  *           (C) 2007 David Smith (catfish.man@gmail.com)
5  * Copyright (C) 2003-2015 Apple Inc. All rights reserved.
6  * Copyright (C) Research In Motion Limited 2010. All rights reserved.
7  *
8  * This library is free software; you can redistribute it and/or
9  * modify it under the terms of the GNU Library General Public
10  * License as published by the Free Software Foundation; either
11  * version 2 of the License, or (at your option) any later version.
12  *
13  * This library is distributed in the hope that it will be useful,
14  * but WITHOUT ANY WARRANTY; without even the implied warranty of
15  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
16  * Library General Public License for more details.
17  *
18  * You should have received a copy of the GNU Library General Public License
19  * along with this library; see the file COPYING.LIB.  If not, write to
20  * the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
21  * Boston, MA 02110-1301, USA.
22  */
23
24 #include "config.h"
25 #include "RenderBlockFlow.h"
26
27 #include "Editor.h"
28 #include "FloatingObjects.h"
29 #include "Frame.h"
30 #include "FrameSelection.h"
31 #include "HTMLElement.h"
32 #include "HTMLInputElement.h"
33 #include "HTMLTextAreaElement.h"
34 #include "HitTestLocation.h"
35 #include "InlineTextBox.h"
36 #include "LayoutRepainter.h"
37 #include "Logging.h"
38 #include "RenderCombineText.h"
39 #include "RenderFlowThread.h"
40 #include "RenderInline.h"
41 #include "RenderIterator.h"
42 #include "RenderLayer.h"
43 #include "RenderLineBreak.h"
44 #include "RenderListItem.h"
45 #include "RenderMarquee.h"
46 #include "RenderMultiColumnFlowThread.h"
47 #include "RenderMultiColumnSet.h"
48 #include "RenderNamedFlowFragment.h"
49 #include "RenderTableCell.h"
50 #include "RenderText.h"
51 #include "RenderView.h"
52 #include "Settings.h"
53 #include "SimpleLineLayoutFunctions.h"
54 #include "SimpleLineLayoutPagination.h"
55 #include "VerticalPositionCache.h"
56 #include "VisiblePosition.h"
57
58 namespace WebCore {
59
60 bool RenderBlock::s_canPropagateFloatIntoSibling = false;
61
62 struct SameSizeAsMarginInfo {
63     uint32_t bitfields : 16;
64     LayoutUnit margins[2];
65 };
66
67 COMPILE_ASSERT(sizeof(RenderBlockFlow::MarginValues) == sizeof(LayoutUnit[4]), MarginValues_should_stay_small);
68 COMPILE_ASSERT(sizeof(RenderBlockFlow::MarginInfo) == sizeof(SameSizeAsMarginInfo), MarginInfo_should_stay_small);
69
70 // Our MarginInfo state used when laying out block children.
71 RenderBlockFlow::MarginInfo::MarginInfo(const RenderBlockFlow& block, LayoutUnit beforeBorderPadding, LayoutUnit afterBorderPadding)
72     : m_atBeforeSideOfBlock(true)
73     , m_atAfterSideOfBlock(false)
74     , m_hasMarginBeforeQuirk(false)
75     , m_hasMarginAfterQuirk(false)
76     , m_determinedMarginBeforeQuirk(false)
77     , m_discardMargin(false)
78 {
79     const RenderStyle& blockStyle = block.style();
80     ASSERT(block.isRenderView() || block.parent());
81     m_canCollapseWithChildren = !block.createsNewFormattingContext() && !block.isRenderView();
82
83     m_canCollapseMarginBeforeWithChildren = m_canCollapseWithChildren && !beforeBorderPadding && blockStyle.marginBeforeCollapse() != MSEPARATE;
84
85     // If any height other than auto is specified in CSS, then we don't collapse our bottom
86     // margins with our children's margins. To do otherwise would be to risk odd visual
87     // effects when the children overflow out of the parent block and yet still collapse
88     // with it. We also don't collapse if we have any bottom border/padding.
89     m_canCollapseMarginAfterWithChildren = m_canCollapseWithChildren && !afterBorderPadding
90         && (blockStyle.logicalHeight().isAuto() && !blockStyle.logicalHeight().value()) && blockStyle.marginAfterCollapse() != MSEPARATE;
91     
92     m_quirkContainer = block.isTableCell() || block.isBody();
93
94     m_discardMargin = m_canCollapseMarginBeforeWithChildren && block.mustDiscardMarginBefore();
95
96     m_positiveMargin = (m_canCollapseMarginBeforeWithChildren && !block.mustDiscardMarginBefore()) ? block.maxPositiveMarginBefore() : LayoutUnit();
97     m_negativeMargin = (m_canCollapseMarginBeforeWithChildren && !block.mustDiscardMarginBefore()) ? block.maxNegativeMarginBefore() : LayoutUnit();
98 }
99
100 RenderBlockFlow::RenderBlockFlow(Element& element, RenderStyle&& style)
101     : RenderBlock(element, WTFMove(style), RenderBlockFlowFlag)
102 #if ENABLE(TEXT_AUTOSIZING)
103     , m_widthForTextAutosizing(-1)
104     , m_lineCountForTextAutosizing(NOT_SET)
105 #endif
106 {
107     setChildrenInline(true);
108 }
109
110 RenderBlockFlow::RenderBlockFlow(Document& document, RenderStyle&& style)
111     : RenderBlock(document, WTFMove(style), RenderBlockFlowFlag)
112 #if ENABLE(TEXT_AUTOSIZING)
113     , m_widthForTextAutosizing(-1)
114     , m_lineCountForTextAutosizing(NOT_SET)
115 #endif
116 {
117     setChildrenInline(true);
118 }
119
120 RenderBlockFlow::~RenderBlockFlow()
121 {
122 }
123
124 void RenderBlockFlow::createMultiColumnFlowThread()
125 {
126     RenderMultiColumnFlowThread* flowThread = new RenderMultiColumnFlowThread(document(), RenderStyle::createAnonymousStyleWithDisplay(style(), BLOCK));
127     flowThread->initializeStyle();
128     setChildrenInline(false); // Do this to avoid wrapping inline children that are just going to move into the flow thread.
129     deleteLines();
130     RenderBlock::addChild(flowThread);
131     flowThread->populate(); // Called after the flow thread is inserted so that we are reachable by the flow thread.
132     setMultiColumnFlowThread(flowThread);
133 }
134
135 void RenderBlockFlow::destroyMultiColumnFlowThread()
136 {
137     multiColumnFlowThread()->evacuateAndDestroy();
138     ASSERT(!multiColumnFlowThread());
139 }
140
141 void RenderBlockFlow::insertedIntoTree()
142 {
143     RenderBlock::insertedIntoTree();
144     createRenderNamedFlowFragmentIfNeeded();
145 }
146
147 void RenderBlockFlow::willBeDestroyed()
148 {
149     if (renderNamedFlowFragment())
150         setRenderNamedFlowFragment(nullptr);
151
152     // Make sure to destroy anonymous children first while they are still connected to the rest of the tree, so that they will
153     // properly dirty line boxes that they are removed from. Effects that do :before/:after only on hover could crash otherwise.
154     destroyLeftoverChildren();
155
156     if (!documentBeingDestroyed()) {
157         if (firstRootBox()) {
158             // We can't wait for RenderBox::destroy to clear the selection,
159             // because by then we will have nuked the line boxes.
160             if (isSelectionBorder())
161                 frame().selection().setNeedsSelectionUpdate();
162
163             // If we are an anonymous block, then our line boxes might have children
164             // that will outlast this block. In the non-anonymous block case those
165             // children will be destroyed by the time we return from this function.
166             if (isAnonymousBlock()) {
167                 for (auto* box = firstRootBox(); box; box = box->nextRootBox()) {
168                     while (auto childBox = box->firstChild())
169                         childBox->removeFromParent();
170                 }
171             }
172         } else if (parent())
173             parent()->dirtyLinesFromChangedChild(*this);
174     }
175
176     m_lineBoxes.deleteLineBoxes();
177
178     removeFromUpdateScrollInfoAfterLayoutTransaction();
179
180     // NOTE: This jumps down to RenderBox, bypassing RenderBlock since it would do duplicate work.
181     RenderBox::willBeDestroyed();
182 }
183
184 RenderBlockFlow* RenderBlockFlow::previousSiblingWithOverhangingFloats(bool& parentHasFloats) const
185 {
186     // Attempt to locate a previous sibling with overhanging floats. We skip any elements that are
187     // out of flow (like floating/positioned elements), and we also skip over any objects that may have shifted
188     // to avoid floats.
189     parentHasFloats = false;
190     for (RenderObject* sibling = previousSibling(); sibling; sibling = sibling->previousSibling()) {
191         if (is<RenderBlockFlow>(*sibling)) {
192             auto& siblingBlock = downcast<RenderBlockFlow>(*sibling);
193             if (!siblingBlock.avoidsFloats())
194                 return &siblingBlock;
195         }
196         if (sibling->isFloating())
197             parentHasFloats = true;
198     }
199     return nullptr;
200 }
201
202 void RenderBlockFlow::rebuildFloatingObjectSetFromIntrudingFloats()
203 {
204     if (m_floatingObjects)
205         m_floatingObjects->setHorizontalWritingMode(isHorizontalWritingMode());
206
207     HashSet<RenderBox*> oldIntrudingFloatSet;
208     if (!childrenInline() && m_floatingObjects) {
209         const FloatingObjectSet& floatingObjectSet = m_floatingObjects->set();
210         auto end = floatingObjectSet.end();
211         for (auto it = floatingObjectSet.begin(); it != end; ++it) {
212             FloatingObject* floatingObject = it->get();
213             if (!floatingObject->isDescendant())
214                 oldIntrudingFloatSet.add(&floatingObject->renderer());
215         }
216     }
217
218     // Inline blocks are covered by the isReplaced() check in the avoidFloats method.
219     if (avoidsFloats() || isDocumentElementRenderer() || isRenderView() || isFloatingOrOutOfFlowPositioned() || isTableCell()) {
220         if (m_floatingObjects)
221             m_floatingObjects->clear();
222         if (!oldIntrudingFloatSet.isEmpty())
223             markAllDescendantsWithFloatsForLayout();
224         return;
225     }
226
227     RendererToFloatInfoMap floatMap;
228
229     if (m_floatingObjects) {
230         if (childrenInline())
231             m_floatingObjects->moveAllToFloatInfoMap(floatMap);
232         else
233             m_floatingObjects->clear();
234     }
235
236     // We should not process floats if the parent node is not a RenderBlock. Otherwise, we will add 
237     // floats in an invalid context. This will cause a crash arising from a bad cast on the parent.
238     // See <rdar://problem/8049753>, where float property is applied on a text node in a SVG.
239     bool isBlockInsideInline = isAnonymousInlineBlock();
240     if (!is<RenderBlockFlow>(parent()) && !isBlockInsideInline)
241         return;
242
243     // First add in floats from the parent. Self-collapsing blocks let their parent track any floats that intrude into
244     // them (as opposed to floats they contain themselves) so check for those here too.
245     RenderBlockFlow& parentBlock = downcast<RenderBlockFlow>(isBlockInsideInline ? *containingBlock() : *parent());
246     bool parentHasFloats = isBlockInsideInline ? parentBlock.containsFloats() : false;
247     RenderBlockFlow* previousBlock = nullptr;
248     if (!isBlockInsideInline)
249         previousBlock = previousSiblingWithOverhangingFloats(parentHasFloats);
250     LayoutUnit logicalTopOffset = logicalTop();
251     if (parentHasFloats || (parentBlock.lowestFloatLogicalBottom() > logicalTopOffset && previousBlock && previousBlock->isSelfCollapsingBlock()))
252         addIntrudingFloats(&parentBlock, &parentBlock, parentBlock.logicalLeftOffsetForContent(), logicalTopOffset);
253     
254     LayoutUnit logicalLeftOffset = 0;
255     if (previousBlock)
256         logicalTopOffset -= previousBlock->logicalTop();
257     else {
258         previousBlock = &parentBlock;
259         logicalLeftOffset += parentBlock.logicalLeftOffsetForContent();
260     }
261
262     // Add overhanging floats from the previous RenderBlock, but only if it has a float that intrudes into our space.    
263     if (previousBlock->m_floatingObjects && previousBlock->lowestFloatLogicalBottom() > logicalTopOffset)
264         addIntrudingFloats(previousBlock, &parentBlock, logicalLeftOffset, logicalTopOffset);
265
266     if (childrenInline()) {
267         LayoutUnit changeLogicalTop = LayoutUnit::max();
268         LayoutUnit changeLogicalBottom = LayoutUnit::min();
269         if (m_floatingObjects) {
270             const FloatingObjectSet& floatingObjectSet = m_floatingObjects->set();
271             auto end = floatingObjectSet.end();
272             for (auto it = floatingObjectSet.begin(); it != end; ++it) {
273                 const auto& floatingObject = *it->get();
274                 std::unique_ptr<FloatingObject> oldFloatingObject = floatMap.take(&floatingObject.renderer());
275                 LayoutUnit logicalBottom = logicalBottomForFloat(floatingObject);
276                 if (oldFloatingObject) {
277                     LayoutUnit oldLogicalBottom = logicalBottomForFloat(*oldFloatingObject);
278                     if (logicalWidthForFloat(floatingObject) != logicalWidthForFloat(*oldFloatingObject) || logicalLeftForFloat(floatingObject) != logicalLeftForFloat(*oldFloatingObject)) {
279                         changeLogicalTop = 0;
280                         changeLogicalBottom = std::max(changeLogicalBottom, std::max(logicalBottom, oldLogicalBottom));
281                     } else {
282                         if (logicalBottom != oldLogicalBottom) {
283                             changeLogicalTop = std::min(changeLogicalTop, std::min(logicalBottom, oldLogicalBottom));
284                             changeLogicalBottom = std::max(changeLogicalBottom, std::max(logicalBottom, oldLogicalBottom));
285                         }
286                         LayoutUnit logicalTop = logicalTopForFloat(floatingObject);
287                         LayoutUnit oldLogicalTop = logicalTopForFloat(*oldFloatingObject);
288                         if (logicalTop != oldLogicalTop) {
289                             changeLogicalTop = std::min(changeLogicalTop, std::min(logicalTop, oldLogicalTop));
290                             changeLogicalBottom = std::max(changeLogicalBottom, std::max(logicalTop, oldLogicalTop));
291                         }
292                     }
293
294                     if (oldFloatingObject->originatingLine() && !selfNeedsLayout()) {
295                         ASSERT(&oldFloatingObject->originatingLine()->renderer() == this);
296                         oldFloatingObject->originatingLine()->markDirty();
297                     }
298                 } else {
299                     changeLogicalTop = 0;
300                     changeLogicalBottom = std::max(changeLogicalBottom, logicalBottom);
301                 }
302             }
303         }
304
305         auto end = floatMap.end();
306         for (auto it = floatMap.begin(); it != end; ++it) {
307             const auto& floatingObject = *it->value.get();
308             if (!floatingObject.isDescendant()) {
309                 changeLogicalTop = 0;
310                 changeLogicalBottom = std::max(changeLogicalBottom, logicalBottomForFloat(floatingObject));
311             }
312         }
313
314         markLinesDirtyInBlockRange(changeLogicalTop, changeLogicalBottom);
315     } else if (!oldIntrudingFloatSet.isEmpty()) {
316         // If there are previously intruding floats that no longer intrude, then children with floats
317         // should also get layout because they might need their floating object lists cleared.
318         if (m_floatingObjects->set().size() < oldIntrudingFloatSet.size())
319             markAllDescendantsWithFloatsForLayout();
320         else {
321             const FloatingObjectSet& floatingObjectSet = m_floatingObjects->set();
322             auto end = floatingObjectSet.end();
323             for (auto it = floatingObjectSet.begin(); it != end && !oldIntrudingFloatSet.isEmpty(); ++it)
324                 oldIntrudingFloatSet.remove(&(*it)->renderer());
325             if (!oldIntrudingFloatSet.isEmpty())
326                 markAllDescendantsWithFloatsForLayout();
327         }
328     }
329 }
330
331 void RenderBlockFlow::adjustIntrinsicLogicalWidthsForColumns(LayoutUnit& minLogicalWidth, LayoutUnit& maxLogicalWidth) const
332 {
333     if (!style().hasAutoColumnCount() || !style().hasAutoColumnWidth()) {
334         // The min/max intrinsic widths calculated really tell how much space elements need when
335         // laid out inside the columns. In order to eventually end up with the desired column width,
336         // we need to convert them to values pertaining to the multicol container.
337         int columnCount = style().hasAutoColumnCount() ? 1 : style().columnCount();
338         LayoutUnit columnWidth;
339         LayoutUnit colGap = columnGap();
340         LayoutUnit gapExtra = (columnCount - 1) * colGap;
341         if (style().hasAutoColumnWidth())
342             minLogicalWidth = minLogicalWidth * columnCount + gapExtra;
343         else {
344             columnWidth = style().columnWidth();
345             minLogicalWidth = std::min(minLogicalWidth, columnWidth);
346         }
347         // FIXME: If column-count is auto here, we should resolve it to calculate the maximum
348         // intrinsic width, instead of pretending that it's 1. The only way to do that is by
349         // performing a layout pass, but this is not an appropriate time or place for layout. The
350         // good news is that if height is unconstrained and there are no explicit breaks, the
351         // resolved column-count really should be 1.
352         maxLogicalWidth = std::max(maxLogicalWidth, columnWidth) * columnCount + gapExtra;
353     }
354 }
355
356 void RenderBlockFlow::computeIntrinsicLogicalWidths(LayoutUnit& minLogicalWidth, LayoutUnit& maxLogicalWidth) const
357 {
358     if (childrenInline())
359         computeInlinePreferredLogicalWidths(minLogicalWidth, maxLogicalWidth);
360     else
361         computeBlockPreferredLogicalWidths(minLogicalWidth, maxLogicalWidth);
362
363     maxLogicalWidth = std::max(minLogicalWidth, maxLogicalWidth);
364
365     adjustIntrinsicLogicalWidthsForColumns(minLogicalWidth, maxLogicalWidth);
366
367     if (!style().autoWrap() && childrenInline()) {
368         // A horizontal marquee with inline children has no minimum width.
369         if (layer() && layer()->marquee() && layer()->marquee()->isHorizontal())
370             minLogicalWidth = 0;
371     }
372
373     if (is<RenderTableCell>(*this)) {
374         Length tableCellWidth = downcast<RenderTableCell>(*this).styleOrColLogicalWidth();
375         if (tableCellWidth.isFixed() && tableCellWidth.value() > 0)
376             maxLogicalWidth = std::max(minLogicalWidth, adjustContentBoxLogicalWidthForBoxSizing(tableCellWidth.value()));
377     }
378
379     int scrollbarWidth = intrinsicScrollbarLogicalWidth();
380     maxLogicalWidth += scrollbarWidth;
381     minLogicalWidth += scrollbarWidth;
382 }
383
384 bool RenderBlockFlow::recomputeLogicalWidthAndColumnWidth()
385 {
386     bool changed = recomputeLogicalWidth();
387
388     LayoutUnit oldColumnWidth = computedColumnWidth();
389     computeColumnCountAndWidth();
390     
391     return changed || oldColumnWidth != computedColumnWidth();
392 }
393
394 LayoutUnit RenderBlockFlow::columnGap() const
395 {
396     if (style().hasNormalColumnGap())
397         return style().fontDescription().computedPixelSize(); // "1em" is recommended as the normal gap setting. Matches <p> margins.
398     return style().columnGap();
399 }
400
401 void RenderBlockFlow::computeColumnCountAndWidth()
402 {
403     // Calculate our column width and column count.
404     // FIXME: Can overflow on fast/block/float/float-not-removed-from-next-sibling4.html, see https://bugs.webkit.org/show_bug.cgi?id=68744
405     unsigned desiredColumnCount = 1;
406     LayoutUnit desiredColumnWidth = contentLogicalWidth();
407
408     // For now, we don't support multi-column layouts when printing, since we have to do a lot of work for proper pagination.
409     if (document().paginated() || (style().hasAutoColumnCount() && style().hasAutoColumnWidth()) || !style().hasInlineColumnAxis()) {
410         setComputedColumnCountAndWidth(desiredColumnCount, desiredColumnWidth);
411         return;
412     }
413
414     LayoutUnit availWidth = desiredColumnWidth;
415     LayoutUnit colGap = columnGap();
416     LayoutUnit colWidth = std::max<LayoutUnit>(1, style().columnWidth());
417     unsigned colCount = std::max<unsigned>(1, style().columnCount());
418
419     if (style().hasAutoColumnWidth() && !style().hasAutoColumnCount()) {
420         desiredColumnCount = colCount;
421         desiredColumnWidth = std::max<LayoutUnit>(0, (availWidth - ((desiredColumnCount - 1) * colGap)) / desiredColumnCount);
422     } else if (!style().hasAutoColumnWidth() && style().hasAutoColumnCount()) {
423         desiredColumnCount = std::max<unsigned>(1, ((availWidth + colGap) / (colWidth + colGap)).toUnsigned());
424         desiredColumnWidth = ((availWidth + colGap) / desiredColumnCount) - colGap;
425     } else {
426         desiredColumnCount = std::max<unsigned>(std::min(colCount, ((availWidth + colGap) / (colWidth + colGap)).toUnsigned()), 1);
427         desiredColumnWidth = ((availWidth + colGap) / desiredColumnCount) - colGap;
428     }
429     setComputedColumnCountAndWidth(desiredColumnCount, desiredColumnWidth);
430 }
431
432 bool RenderBlockFlow::willCreateColumns(std::optional<unsigned> desiredColumnCount) const
433 {
434     // The following types are not supposed to create multicol context.
435     if (isFileUploadControl() || isTextControl() || isListBox())
436         return false;
437
438     if (!firstChild())
439         return false;
440
441     // If overflow-y is set to paged-x or paged-y on the body or html element, we'll handle the paginating in the RenderView instead.
442     if ((style().overflowY() == OPAGEDX || style().overflowY() == OPAGEDY) && !(isDocumentElementRenderer() || isBody()))
443         return true;
444
445     if (!style().specifiesColumns())
446         return false;
447
448     // column-axis with opposite writing direction initiates MultiColumnFlowThread.
449     if (!style().hasInlineColumnAxis())
450         return true;
451
452     // Non-auto column-width always initiates MultiColumnFlowThread.
453     if (!style().hasAutoColumnWidth())
454         return true;
455
456     if (desiredColumnCount)
457         return desiredColumnCount.value() > 1;
458
459     // column-count > 1 always initiates MultiColumnFlowThread.
460     if (!style().hasAutoColumnCount())
461         return style().columnCount() > 1;
462
463     ASSERT_NOT_REACHED();
464     return false;
465 }
466
467 void RenderBlockFlow::layoutBlock(bool relayoutChildren, LayoutUnit pageLogicalHeight)
468 {
469     ASSERT(needsLayout());
470
471     if (!relayoutChildren && simplifiedLayout())
472         return;
473
474     LayoutRepainter repainter(*this, checkForRepaintDuringLayout());
475
476     if (recomputeLogicalWidthAndColumnWidth())
477         relayoutChildren = true;
478
479     rebuildFloatingObjectSetFromIntrudingFloats();
480
481     LayoutUnit previousHeight = logicalHeight();
482     // FIXME: should this start out as borderAndPaddingLogicalHeight() + scrollbarLogicalHeight(),
483     // for consistency with other render classes?
484     setLogicalHeight(0);
485
486     bool pageLogicalHeightChanged = false;
487     checkForPaginationLogicalHeightChange(relayoutChildren, pageLogicalHeight, pageLogicalHeightChanged);
488
489     const RenderStyle& styleToUse = style();
490     LayoutStateMaintainer statePusher(view(), *this, locationOffset(), hasTransform() || hasReflection() || styleToUse.isFlippedBlocksWritingMode(), pageLogicalHeight, pageLogicalHeightChanged);
491
492     preparePaginationBeforeBlockLayout(relayoutChildren);
493     if (!relayoutChildren)
494         relayoutChildren = namedFlowFragmentNeedsUpdate();
495
496     // We use four values, maxTopPos, maxTopNeg, maxBottomPos, and maxBottomNeg, to track
497     // our current maximal positive and negative margins. These values are used when we
498     // are collapsed with adjacent blocks, so for example, if you have block A and B
499     // collapsing together, then you'd take the maximal positive margin from both A and B
500     // and subtract it from the maximal negative margin from both A and B to get the
501     // true collapsed margin. This algorithm is recursive, so when we finish layout()
502     // our block knows its current maximal positive/negative values.
503     //
504     // Start out by setting our margin values to our current margins. Table cells have
505     // no margins, so we don't fill in the values for table cells.
506     bool isCell = isTableCell();
507     if (!isCell) {
508         initMaxMarginValues();
509         
510         setHasMarginBeforeQuirk(styleToUse.hasMarginBeforeQuirk());
511         setHasMarginAfterQuirk(styleToUse.hasMarginAfterQuirk());
512         setPaginationStrut(0);
513     }
514
515     LayoutUnit repaintLogicalTop = 0;
516     LayoutUnit repaintLogicalBottom = 0;
517     LayoutUnit maxFloatLogicalBottom = 0;
518     if (!firstChild() && !isAnonymousBlock())
519         setChildrenInline(true);
520     if (childrenInline())
521         layoutInlineChildren(relayoutChildren, repaintLogicalTop, repaintLogicalBottom);
522     else
523         layoutBlockChildren(relayoutChildren, maxFloatLogicalBottom);
524
525     // Expand our intrinsic height to encompass floats.
526     LayoutUnit toAdd = borderAndPaddingAfter() + scrollbarLogicalHeight();
527     if (lowestFloatLogicalBottom() > (logicalHeight() - toAdd) && createsNewFormattingContext())
528         setLogicalHeight(lowestFloatLogicalBottom() + toAdd);
529     
530     if (relayoutForPagination(statePusher) || relayoutToAvoidWidows(statePusher)) {
531         ASSERT(!shouldBreakAtLineToAvoidWidow());
532         return;
533     }
534
535     // Calculate our new height.
536     LayoutUnit oldHeight = logicalHeight();
537     LayoutUnit oldClientAfterEdge = clientLogicalBottom();
538
539     // Before updating the final size of the flow thread make sure a forced break is applied after the content.
540     // This ensures the size information is correctly computed for the last auto-height region receiving content.
541     if (is<RenderFlowThread>(*this))
542         downcast<RenderFlowThread>(*this).applyBreakAfterContent(oldClientAfterEdge);
543
544     updateLogicalHeight();
545     LayoutUnit newHeight = logicalHeight();
546     if (oldHeight != newHeight) {
547         if (oldHeight > newHeight && maxFloatLogicalBottom > newHeight && !childrenInline()) {
548             // One of our children's floats may have become an overhanging float for us. We need to look for it.
549             for (auto& blockFlow : childrenOfType<RenderBlockFlow>(*this)) {
550                 if (blockFlow.isFloatingOrOutOfFlowPositioned())
551                     continue;
552                 if (blockFlow.lowestFloatLogicalBottom() + blockFlow.logicalTop() > newHeight)
553                     addOverhangingFloats(blockFlow, false);
554             }
555         }
556     }
557
558     bool heightChanged = (previousHeight != newHeight);
559     if (heightChanged)
560         relayoutChildren = true;
561
562     layoutPositionedObjects(relayoutChildren || isDocumentElementRenderer());
563
564     // Add overflow from children (unless we're multi-column, since in that case all our child overflow is clipped anyway).
565     computeOverflow(oldClientAfterEdge);
566     
567     statePusher.pop();
568
569     fitBorderToLinesIfNeeded();
570
571     if (view().layoutState()->m_pageLogicalHeight)
572         setPageLogicalOffset(view().layoutState()->pageLogicalOffset(this, logicalTop()));
573
574     updateLayerTransform();
575
576     // Update our scroll information if we're overflow:auto/scroll/hidden now that we know if
577     // we overflow or not.
578     updateScrollInfoAfterLayout();
579
580     // FIXME: This repaint logic should be moved into a separate helper function!
581     // Repaint with our new bounds if they are different from our old bounds.
582     bool didFullRepaint = repainter.repaintAfterLayout();
583     if (!didFullRepaint && repaintLogicalTop != repaintLogicalBottom && (styleToUse.visibility() == VISIBLE || enclosingLayer()->hasVisibleContent())) {
584         // FIXME: We could tighten up the left and right invalidation points if we let layoutInlineChildren fill them in based off the particular lines
585         // it had to lay out. We wouldn't need the hasOverflowClip() hack in that case either.
586         LayoutUnit repaintLogicalLeft = logicalLeftVisualOverflow();
587         LayoutUnit repaintLogicalRight = logicalRightVisualOverflow();
588         if (hasOverflowClip()) {
589             // If we have clipped overflow, we should use layout overflow as well, since visual overflow from lines didn't propagate to our block's overflow.
590             // Note the old code did this as well but even for overflow:visible. The addition of hasOverflowClip() at least tightens up the hack a bit.
591             // layoutInlineChildren should be patched to compute the entire repaint rect.
592             repaintLogicalLeft = std::min(repaintLogicalLeft, logicalLeftLayoutOverflow());
593             repaintLogicalRight = std::max(repaintLogicalRight, logicalRightLayoutOverflow());
594         }
595         
596         LayoutRect repaintRect;
597         if (isHorizontalWritingMode())
598             repaintRect = LayoutRect(repaintLogicalLeft, repaintLogicalTop, repaintLogicalRight - repaintLogicalLeft, repaintLogicalBottom - repaintLogicalTop);
599         else
600             repaintRect = LayoutRect(repaintLogicalTop, repaintLogicalLeft, repaintLogicalBottom - repaintLogicalTop, repaintLogicalRight - repaintLogicalLeft);
601
602         if (hasOverflowClip()) {
603             // Adjust repaint rect for scroll offset
604             repaintRect.moveBy(-scrollPosition());
605
606             // Don't allow this rect to spill out of our overflow box.
607             repaintRect.intersect(LayoutRect(LayoutPoint(), size()));
608         }
609
610         // Make sure the rect is still non-empty after intersecting for overflow above
611         if (!repaintRect.isEmpty()) {
612             repaintRectangle(repaintRect); // We need to do a partial repaint of our content.
613             if (hasReflection())
614                 repaintRectangle(reflectedRect(repaintRect));
615         }
616     }
617
618     clearNeedsLayout();
619 }
620
621 void RenderBlockFlow::layoutBlockChildren(bool relayoutChildren, LayoutUnit& maxFloatLogicalBottom)
622 {
623     dirtyForLayoutFromPercentageHeightDescendants();
624
625     LayoutUnit beforeEdge = borderAndPaddingBefore();
626     LayoutUnit afterEdge = borderAndPaddingAfter() + scrollbarLogicalHeight();
627
628     setLogicalHeight(beforeEdge);
629     
630     // Lay out our hypothetical grid line as though it occurs at the top of the block.
631     if (view().layoutState()->lineGrid() == this)
632         layoutLineGridBox();
633
634     // The margin struct caches all our current margin collapsing state.
635     MarginInfo marginInfo(*this, beforeEdge, afterEdge);
636
637     // Fieldsets need to find their legend and position it inside the border of the object.
638     // The legend then gets skipped during normal layout. The same is true for ruby text.
639     // It doesn't get included in the normal layout process but is instead skipped.
640     layoutExcludedChildren(relayoutChildren);
641
642     LayoutUnit previousFloatLogicalBottom = 0;
643     maxFloatLogicalBottom = 0;
644
645     RenderBox* next = firstChildBox();
646
647     while (next) {
648         RenderBox& child = *next;
649         next = child.nextSiblingBox();
650
651         if (child.isExcludedFromNormalLayout())
652             continue; // Skip this child, since it will be positioned by the specialized subclass (fieldsets and ruby runs).
653
654         updateBlockChildDirtyBitsBeforeLayout(relayoutChildren, child);
655
656         if (child.isOutOfFlowPositioned()) {
657             child.containingBlock()->insertPositionedObject(child);
658             adjustPositionedBlock(child, marginInfo);
659             continue;
660         }
661         if (child.isFloating()) {
662             insertFloatingObject(child);
663             adjustFloatingBlock(marginInfo);
664             continue;
665         }
666
667         // Lay out the child.
668         layoutBlockChild(child, marginInfo, previousFloatLogicalBottom, maxFloatLogicalBottom);
669     }
670     
671     // Now do the handling of the bottom of the block, adding in our bottom border/padding and
672     // determining the correct collapsed bottom margin information.
673     handleAfterSideOfBlock(beforeEdge, afterEdge, marginInfo);
674 }
675
676 void RenderBlockFlow::layoutInlineChildren(bool relayoutChildren, LayoutUnit& repaintLogicalTop, LayoutUnit& repaintLogicalBottom)
677 {
678     if (lineLayoutPath() == UndeterminedPath)
679         setLineLayoutPath(SimpleLineLayout::canUseFor(*this) ? SimpleLinesPath : LineBoxesPath);
680
681     if (lineLayoutPath() == SimpleLinesPath) {
682         layoutSimpleLines(relayoutChildren, repaintLogicalTop, repaintLogicalBottom);
683         return;
684     }
685
686     m_simpleLineLayout = nullptr;
687     layoutLineBoxes(relayoutChildren, repaintLogicalTop, repaintLogicalBottom);
688 }
689
690 void RenderBlockFlow::layoutBlockChild(RenderBox& child, MarginInfo& marginInfo, LayoutUnit& previousFloatLogicalBottom, LayoutUnit& maxFloatLogicalBottom)
691 {
692     LayoutUnit oldPosMarginBefore = maxPositiveMarginBefore();
693     LayoutUnit oldNegMarginBefore = maxNegativeMarginBefore();
694
695     // The child is a normal flow object. Compute the margins we will use for collapsing now.
696     child.computeAndSetBlockDirectionMargins(*this);
697
698     // Try to guess our correct logical top position. In most cases this guess will
699     // be correct. Only if we're wrong (when we compute the real logical top position)
700     // will we have to potentially relayout.
701     LayoutUnit estimateWithoutPagination;
702     LayoutUnit logicalTopEstimate = estimateLogicalTopPosition(child, marginInfo, estimateWithoutPagination);
703
704     // Cache our old rect so that we can dirty the proper repaint rects if the child moves.
705     LayoutRect oldRect = child.frameRect();
706     LayoutUnit oldLogicalTop = logicalTopForChild(child);
707
708 #if !ASSERT_DISABLED
709     LayoutSize oldLayoutDelta = view().layoutDelta();
710 #endif
711     // Position the child as though it didn't collapse with the top.
712     setLogicalTopForChild(child, logicalTopEstimate, ApplyLayoutDelta);
713     estimateRegionRangeForBoxChild(child);
714
715     RenderBlockFlow* childBlockFlow = is<RenderBlockFlow>(child) ? &downcast<RenderBlockFlow>(child) : nullptr;
716     bool markDescendantsWithFloats = false;
717     if (logicalTopEstimate != oldLogicalTop && !child.avoidsFloats() && childBlockFlow && childBlockFlow->containsFloats())
718         markDescendantsWithFloats = true;
719     else if (UNLIKELY(logicalTopEstimate.mightBeSaturated()))
720         // logicalTopEstimate, returned by estimateLogicalTopPosition, might be saturated for
721         // very large elements. If it does the comparison with oldLogicalTop might yield a
722         // false negative as adding and removing margins, borders etc from a saturated number
723         // might yield incorrect results. If this is the case always mark for layout.
724         markDescendantsWithFloats = true;
725     else if (!child.avoidsFloats() || child.shrinkToAvoidFloats()) {
726         // If an element might be affected by the presence of floats, then always mark it for
727         // layout.
728         LayoutUnit fb = std::max(previousFloatLogicalBottom, lowestFloatLogicalBottom());
729         if (fb > logicalTopEstimate)
730             markDescendantsWithFloats = true;
731     }
732
733     if (childBlockFlow) {
734         if (markDescendantsWithFloats)
735             childBlockFlow->markAllDescendantsWithFloatsForLayout();
736         if (!child.isWritingModeRoot())
737             previousFloatLogicalBottom = std::max(previousFloatLogicalBottom, oldLogicalTop + childBlockFlow->lowestFloatLogicalBottom());
738     }
739
740     child.markForPaginationRelayoutIfNeeded();
741
742     bool childHadLayout = child.everHadLayout();
743     bool childNeededLayout = child.needsLayout();
744     if (childNeededLayout)
745         child.layout();
746
747     // Cache if we are at the top of the block right now.
748     bool atBeforeSideOfBlock = marginInfo.atBeforeSideOfBlock();
749
750     // Now determine the correct ypos based off examination of collapsing margin
751     // values.
752     LayoutUnit logicalTopBeforeClear = collapseMargins(child, marginInfo);
753
754     // Now check for clear.
755     LayoutUnit logicalTopAfterClear = clearFloatsIfNeeded(child, marginInfo, oldPosMarginBefore, oldNegMarginBefore, logicalTopBeforeClear);
756     
757     bool paginated = view().layoutState()->isPaginated();
758     if (paginated)
759         logicalTopAfterClear = adjustBlockChildForPagination(logicalTopAfterClear, estimateWithoutPagination, child, atBeforeSideOfBlock && logicalTopBeforeClear == logicalTopAfterClear);
760
761     setLogicalTopForChild(child, logicalTopAfterClear, ApplyLayoutDelta);
762
763     // Now we have a final top position. See if it really does end up being different from our estimate.
764     // clearFloatsIfNeeded can also mark the child as needing a layout even though we didn't move. This happens
765     // when collapseMargins dynamically adds overhanging floats because of a child with negative margins.
766     if (logicalTopAfterClear != logicalTopEstimate || child.needsLayout() || (paginated && childBlockFlow && childBlockFlow->shouldBreakAtLineToAvoidWidow())) {
767         if (child.shrinkToAvoidFloats()) {
768             // The child's width depends on the line width. When the child shifts to clear an item, its width can
769             // change (because it has more available line width). So mark the item as dirty.
770             child.setChildNeedsLayout(MarkOnlyThis);
771         }
772         
773         if (childBlockFlow) {
774             if (!child.avoidsFloats() && childBlockFlow->containsFloats())
775                 childBlockFlow->markAllDescendantsWithFloatsForLayout();
776             child.markForPaginationRelayoutIfNeeded();
777         }
778     }
779
780     if (updateRegionRangeForBoxChild(child))
781         child.setNeedsLayout(MarkOnlyThis);
782
783     // In case our guess was wrong, relayout the child.
784     child.layoutIfNeeded();
785
786     // We are no longer at the top of the block if we encounter a non-empty child.  
787     // This has to be done after checking for clear, so that margins can be reset if a clear occurred.
788     if (marginInfo.atBeforeSideOfBlock() && !child.isSelfCollapsingBlock())
789         marginInfo.setAtBeforeSideOfBlock(false);
790
791     // Now place the child in the correct left position
792     determineLogicalLeftPositionForChild(child, ApplyLayoutDelta);
793
794     // Update our height now that the child has been placed in the correct position.
795     setLogicalHeight(logicalHeight() + logicalHeightForChildForFragmentation(child));
796     if (mustSeparateMarginAfterForChild(child)) {
797         setLogicalHeight(logicalHeight() + marginAfterForChild(child));
798         marginInfo.clearMargin();
799     }
800     // If the child has overhanging floats that intrude into following siblings (or possibly out
801     // of this block), then the parent gets notified of the floats now.
802     if (childBlockFlow && childBlockFlow->containsFloats())
803         maxFloatLogicalBottom = std::max(maxFloatLogicalBottom, addOverhangingFloats(*childBlockFlow, !childNeededLayout));
804
805     LayoutSize childOffset = child.location() - oldRect.location();
806     if (childOffset.width() || childOffset.height()) {
807         view().addLayoutDelta(childOffset);
808
809         // If the child moved, we have to repaint it as well as any floating/positioned
810         // descendants. An exception is if we need a layout. In this case, we know we're going to
811         // repaint ourselves (and the child) anyway.
812         if (childHadLayout && !selfNeedsLayout() && child.checkForRepaintDuringLayout())
813             child.repaintDuringLayoutIfMoved(oldRect);
814     }
815
816     if (!childHadLayout && child.checkForRepaintDuringLayout()) {
817         child.repaint();
818         child.repaintOverhangingFloats(true);
819     }
820
821     if (paginated) {
822         if (RenderFlowThread* flowThread = flowThreadContainingBlock())
823             flowThread->flowThreadDescendantBoxLaidOut(&child);
824         // Check for an after page/column break.
825         LayoutUnit newHeight = applyAfterBreak(child, logicalHeight(), marginInfo);
826         if (newHeight != height())
827             setLogicalHeight(newHeight);
828     }
829
830     ASSERT(view().layoutDeltaMatches(oldLayoutDelta));
831 }
832
833 void RenderBlockFlow::adjustPositionedBlock(RenderBox& child, const MarginInfo& marginInfo)
834 {
835     bool isHorizontal = isHorizontalWritingMode();
836     bool hasStaticBlockPosition = child.style().hasStaticBlockPosition(isHorizontal);
837     
838     LayoutUnit logicalTop = logicalHeight();
839     updateStaticInlinePositionForChild(child, logicalTop, DoNotIndentText);
840
841     if (!marginInfo.canCollapseWithMarginBefore()) {
842         // Positioned blocks don't collapse margins, so add the margin provided by
843         // the container now. The child's own margin is added later when calculating its logical top.
844         LayoutUnit collapsedBeforePos = marginInfo.positiveMargin();
845         LayoutUnit collapsedBeforeNeg = marginInfo.negativeMargin();
846         logicalTop += collapsedBeforePos - collapsedBeforeNeg;
847     }
848     
849     RenderLayer* childLayer = child.layer();
850     if (childLayer->staticBlockPosition() != logicalTop) {
851         childLayer->setStaticBlockPosition(logicalTop);
852         if (hasStaticBlockPosition)
853             child.setChildNeedsLayout(MarkOnlyThis);
854     }
855 }
856
857 LayoutUnit RenderBlockFlow::marginOffsetForSelfCollapsingBlock()
858 {
859     ASSERT(isSelfCollapsingBlock());
860     RenderBlockFlow* parentBlock = downcast<RenderBlockFlow>(parent());
861     if (parentBlock && style().clear() && parentBlock->getClearDelta(*this, logicalHeight()))
862         return marginValuesForChild(*this).positiveMarginBefore();
863     return LayoutUnit();
864 }
865
866 void RenderBlockFlow::determineLogicalLeftPositionForChild(RenderBox& child, ApplyLayoutDeltaMode applyDelta)
867 {
868     LayoutUnit startPosition = borderStart() + paddingStart();
869     if (shouldPlaceBlockDirectionScrollbarOnLeft())
870         startPosition += (style().isLeftToRightDirection() ? 1 : -1) * verticalScrollbarWidth();
871     LayoutUnit totalAvailableLogicalWidth = borderAndPaddingLogicalWidth() + availableLogicalWidth();
872
873     // Add in our start margin.
874     LayoutUnit childMarginStart = marginStartForChild(child);
875     LayoutUnit newPosition = startPosition + childMarginStart;
876         
877     // Some objects (e.g., tables, horizontal rules, overflow:auto blocks) avoid floats. They need
878     // to shift over as necessary to dodge any floats that might get in the way.
879     if (child.avoidsFloats() && containsFloats() && !flowThreadContainingBlock())
880         newPosition += computeStartPositionDeltaForChildAvoidingFloats(child, marginStartForChild(child));
881
882     setLogicalLeftForChild(child, style().isLeftToRightDirection() ? newPosition : totalAvailableLogicalWidth - newPosition - logicalWidthForChild(child), applyDelta);
883 }
884
885 void RenderBlockFlow::adjustFloatingBlock(const MarginInfo& marginInfo)
886 {
887     // The float should be positioned taking into account the bottom margin
888     // of the previous flow. We add that margin into the height, get the
889     // float positioned properly, and then subtract the margin out of the
890     // height again. In the case of self-collapsing blocks, we always just
891     // use the top margins, since the self-collapsing block collapsed its
892     // own bottom margin into its top margin.
893     //
894     // Note also that the previous flow may collapse its margin into the top of
895     // our block. If this is the case, then we do not add the margin in to our
896     // height when computing the position of the float. This condition can be tested
897     // for by simply calling canCollapseWithMarginBefore. See
898     // http://www.hixie.ch/tests/adhoc/css/box/block/margin-collapse/046.html for
899     // an example of this scenario.
900     LayoutUnit marginOffset = marginInfo.canCollapseWithMarginBefore() ? LayoutUnit() : marginInfo.margin();
901     setLogicalHeight(logicalHeight() + marginOffset);
902     positionNewFloats();
903     setLogicalHeight(logicalHeight() - marginOffset);
904 }
905
906 void RenderBlockFlow::updateStaticInlinePositionForChild(RenderBox& child, LayoutUnit logicalTop, IndentTextOrNot shouldIndentText)
907 {
908     if (child.style().isOriginalDisplayInlineType())
909         setStaticInlinePositionForChild(child, logicalTop, startAlignedOffsetForLine(logicalTop, shouldIndentText));
910     else
911         setStaticInlinePositionForChild(child, logicalTop, startOffsetForContent(logicalTop));
912 }
913
914 void RenderBlockFlow::setStaticInlinePositionForChild(RenderBox& child, LayoutUnit blockOffset, LayoutUnit inlinePosition)
915 {
916     if (flowThreadContainingBlock()) {
917         // Shift the inline position to exclude the region offset.
918         inlinePosition += startOffsetForContent() - startOffsetForContent(blockOffset);
919     }
920     child.layer()->setStaticInlinePosition(inlinePosition);
921 }
922
923 RenderBlockFlow::MarginValues RenderBlockFlow::marginValuesForChild(RenderBox& child) const
924 {
925     LayoutUnit childBeforePositive = 0;
926     LayoutUnit childBeforeNegative = 0;
927     LayoutUnit childAfterPositive = 0;
928     LayoutUnit childAfterNegative = 0;
929
930     LayoutUnit beforeMargin = 0;
931     LayoutUnit afterMargin = 0;
932
933     RenderBlockFlow* childRenderBlock = is<RenderBlockFlow>(child) ? &downcast<RenderBlockFlow>(child) : nullptr;
934     
935     // If the child has the same directionality as we do, then we can just return its
936     // margins in the same direction.
937     if (!child.isWritingModeRoot()) {
938         if (childRenderBlock) {
939             childBeforePositive = childRenderBlock->maxPositiveMarginBefore();
940             childBeforeNegative = childRenderBlock->maxNegativeMarginBefore();
941             childAfterPositive = childRenderBlock->maxPositiveMarginAfter();
942             childAfterNegative = childRenderBlock->maxNegativeMarginAfter();
943         } else {
944             beforeMargin = child.marginBefore();
945             afterMargin = child.marginAfter();
946         }
947     } else if (child.isHorizontalWritingMode() == isHorizontalWritingMode()) {
948         // The child has a different directionality. If the child is parallel, then it's just
949         // flipped relative to us. We can use the margins for the opposite edges.
950         if (childRenderBlock) {
951             childBeforePositive = childRenderBlock->maxPositiveMarginAfter();
952             childBeforeNegative = childRenderBlock->maxNegativeMarginAfter();
953             childAfterPositive = childRenderBlock->maxPositiveMarginBefore();
954             childAfterNegative = childRenderBlock->maxNegativeMarginBefore();
955         } else {
956             beforeMargin = child.marginAfter();
957             afterMargin = child.marginBefore();
958         }
959     } else {
960         // The child is perpendicular to us, which means its margins don't collapse but are on the
961         // "logical left/right" sides of the child box. We can just return the raw margin in this case.
962         beforeMargin = marginBeforeForChild(child);
963         afterMargin = marginAfterForChild(child);
964     }
965
966     // Resolve uncollapsing margins into their positive/negative buckets.
967     if (beforeMargin) {
968         if (beforeMargin > 0)
969             childBeforePositive = beforeMargin;
970         else
971             childBeforeNegative = -beforeMargin;
972     }
973     if (afterMargin) {
974         if (afterMargin > 0)
975             childAfterPositive = afterMargin;
976         else
977             childAfterNegative = -afterMargin;
978     }
979
980     return MarginValues(childBeforePositive, childBeforeNegative, childAfterPositive, childAfterNegative);
981 }
982
983 bool RenderBlockFlow::childrenPreventSelfCollapsing() const
984 {
985     if (!childrenInline())
986         return RenderBlock::childrenPreventSelfCollapsing();
987
988     // If the block has inline children, see if we generated any line boxes. If we have any
989     // line boxes, then we can only be self-collapsing if we have nothing but anonymous inline blocks
990     // that are also self-collapsing inside us.
991     if (!hasLines())
992         return false;
993     
994     if (simpleLineLayout())
995         return true; // We have simple line layout lines, so we can't be self-collapsing.
996     
997     for (auto* child = firstRootBox(); child; child = child->nextRootBox()) {
998         if (!child->hasAnonymousInlineBlock() || !child->anonymousInlineBlock()->isSelfCollapsingBlock())
999             return true;
1000     }
1001     return false; // We have no line boxes, so we must be self-collapsing.
1002 }
1003
1004 LayoutUnit RenderBlockFlow::collapseMargins(RenderBox& child, MarginInfo& marginInfo)
1005 {
1006     return collapseMarginsWithChildInfo(&child, child.previousSibling(), marginInfo);
1007 }
1008
1009 LayoutUnit RenderBlockFlow::collapseMarginsWithChildInfo(RenderBox* child, RenderObject* prevSibling, MarginInfo& marginInfo)
1010 {
1011     bool childDiscardMarginBefore = child ? mustDiscardMarginBeforeForChild(*child) : false;
1012     bool childDiscardMarginAfter = child ? mustDiscardMarginAfterForChild(*child) : false;
1013     bool childIsSelfCollapsing = child ? child->isSelfCollapsingBlock() : false;
1014     bool beforeQuirk = child ? hasMarginBeforeQuirk(*child) : false;
1015     bool afterQuirk = child ? hasMarginAfterQuirk(*child) : false;
1016     
1017     // The child discards the before margin when the the after margin has discard in the case of a self collapsing block.
1018     childDiscardMarginBefore = childDiscardMarginBefore || (childDiscardMarginAfter && childIsSelfCollapsing);
1019     
1020     // Get the four margin values for the child and cache them.
1021     const MarginValues childMargins = child ? marginValuesForChild(*child) : MarginValues(0, 0, 0, 0);
1022
1023     // Get our max pos and neg top margins.
1024     LayoutUnit posTop = childMargins.positiveMarginBefore();
1025     LayoutUnit negTop = childMargins.negativeMarginBefore();
1026
1027     // For self-collapsing blocks, collapse our bottom margins into our
1028     // top to get new posTop and negTop values.
1029     if (childIsSelfCollapsing) {
1030         posTop = std::max(posTop, childMargins.positiveMarginAfter());
1031         negTop = std::max(negTop, childMargins.negativeMarginAfter());
1032     }
1033     
1034     if (marginInfo.canCollapseWithMarginBefore()) {
1035         if (!childDiscardMarginBefore && !marginInfo.discardMargin()) {
1036             // This child is collapsing with the top of the
1037             // block. If it has larger margin values, then we need to update
1038             // our own maximal values.
1039             if (!document().inQuirksMode() || !marginInfo.quirkContainer() || !beforeQuirk)
1040                 setMaxMarginBeforeValues(std::max(posTop, maxPositiveMarginBefore()), std::max(negTop, maxNegativeMarginBefore()));
1041
1042             // The minute any of the margins involved isn't a quirk, don't
1043             // collapse it away, even if the margin is smaller (www.webreference.com
1044             // has an example of this, a <dt> with 0.8em author-specified inside
1045             // a <dl> inside a <td>.
1046             if (!marginInfo.determinedMarginBeforeQuirk() && !beforeQuirk && (posTop - negTop)) {
1047                 setHasMarginBeforeQuirk(false);
1048                 marginInfo.setDeterminedMarginBeforeQuirk(true);
1049             }
1050
1051             if (!marginInfo.determinedMarginBeforeQuirk() && beforeQuirk && !marginBefore()) {
1052                 // We have no top margin and our top child has a quirky margin.
1053                 // We will pick up this quirky margin and pass it through.
1054                 // This deals with the <td><div><p> case.
1055                 // Don't do this for a block that split two inlines though. You do
1056                 // still apply margins in this case.
1057                 setHasMarginBeforeQuirk(true);
1058             }
1059         } else
1060             // The before margin of the container will also discard all the margins it is collapsing with.
1061             setMustDiscardMarginBefore();
1062     }
1063
1064     // Once we find a child with discardMarginBefore all the margins collapsing with us must also discard. 
1065     if (childDiscardMarginBefore) {
1066         marginInfo.setDiscardMargin(true);
1067         marginInfo.clearMargin();
1068     }
1069
1070     if (marginInfo.quirkContainer() && marginInfo.atBeforeSideOfBlock() && (posTop - negTop))
1071         marginInfo.setHasMarginBeforeQuirk(beforeQuirk);
1072
1073     LayoutUnit beforeCollapseLogicalTop = logicalHeight();
1074     LayoutUnit logicalTop = beforeCollapseLogicalTop;
1075
1076     LayoutUnit clearanceForSelfCollapsingBlock;
1077     
1078     // If the child's previous sibling is a self-collapsing block that cleared a float then its top border edge has been set at the bottom border edge
1079     // of the float. Since we want to collapse the child's top margin with the self-collapsing block's top and bottom margins we need to adjust our parent's height to match the 
1080     // margin top of the self-collapsing block. If the resulting collapsed margin leaves the child still intruding into the float then we will want to clear it.
1081     if (!marginInfo.canCollapseWithMarginBefore() && is<RenderBlockFlow>(prevSibling) && downcast<RenderBlockFlow>(*prevSibling).isSelfCollapsingBlock()) {
1082         clearanceForSelfCollapsingBlock = downcast<RenderBlockFlow>(*prevSibling).marginOffsetForSelfCollapsingBlock();
1083         setLogicalHeight(logicalHeight() - clearanceForSelfCollapsingBlock);
1084     }
1085
1086     if (childIsSelfCollapsing) {
1087         // For a self collapsing block both the before and after margins get discarded. The block doesn't contribute anything to the height of the block.
1088         // Also, the child's top position equals the logical height of the container.
1089         if (!childDiscardMarginBefore && !marginInfo.discardMargin()) {
1090             // This child has no height. We need to compute our
1091             // position before we collapse the child's margins together,
1092             // so that we can get an accurate position for the zero-height block.
1093             LayoutUnit collapsedBeforePos = std::max(marginInfo.positiveMargin(), childMargins.positiveMarginBefore());
1094             LayoutUnit collapsedBeforeNeg = std::max(marginInfo.negativeMargin(), childMargins.negativeMarginBefore());
1095             marginInfo.setMargin(collapsedBeforePos, collapsedBeforeNeg);
1096             
1097             // Now collapse the child's margins together, which means examining our
1098             // bottom margin values as well. 
1099             marginInfo.setPositiveMarginIfLarger(childMargins.positiveMarginAfter());
1100             marginInfo.setNegativeMarginIfLarger(childMargins.negativeMarginAfter());
1101
1102             if (!marginInfo.canCollapseWithMarginBefore())
1103                 // We need to make sure that the position of the self-collapsing block
1104                 // is correct, since it could have overflowing content
1105                 // that needs to be positioned correctly (e.g., a block that
1106                 // had a specified height of 0 but that actually had subcontent).
1107                 logicalTop = logicalHeight() + collapsedBeforePos - collapsedBeforeNeg;
1108         }
1109     } else {
1110         if (child && mustSeparateMarginBeforeForChild(*child)) {
1111             ASSERT(!marginInfo.discardMargin() || (marginInfo.discardMargin() && !marginInfo.margin()));
1112             // If we are at the before side of the block and we collapse, ignore the computed margin
1113             // and just add the child margin to the container height. This will correctly position
1114             // the child inside the container.
1115             LayoutUnit separateMargin = !marginInfo.canCollapseWithMarginBefore() ? marginInfo.margin() : LayoutUnit::fromPixel(0);
1116             setLogicalHeight(logicalHeight() + separateMargin + marginBeforeForChild(*child));
1117             logicalTop = logicalHeight();
1118         } else if (!marginInfo.discardMargin() && (!marginInfo.atBeforeSideOfBlock()
1119             || (!marginInfo.canCollapseMarginBeforeWithChildren()
1120             && (!document().inQuirksMode() || !marginInfo.quirkContainer() || !marginInfo.hasMarginBeforeQuirk())))) {
1121             // We're collapsing with a previous sibling's margins and not
1122             // with the top of the block.
1123             setLogicalHeight(logicalHeight() + std::max(marginInfo.positiveMargin(), posTop) - std::max(marginInfo.negativeMargin(), negTop));
1124             logicalTop = logicalHeight();
1125         }
1126
1127         marginInfo.setDiscardMargin(childDiscardMarginAfter);
1128         
1129         if (!marginInfo.discardMargin()) {
1130             marginInfo.setPositiveMargin(childMargins.positiveMarginAfter());
1131             marginInfo.setNegativeMargin(childMargins.negativeMarginAfter());
1132         } else
1133             marginInfo.clearMargin();
1134
1135         if (marginInfo.margin())
1136             marginInfo.setHasMarginAfterQuirk(afterQuirk);
1137     }
1138     
1139     // If margins would pull us past the top of the next page, then we need to pull back and pretend like the margins
1140     // collapsed into the page edge.
1141     LayoutState* layoutState = view().layoutState();
1142     if (layoutState->isPaginated() && layoutState->pageLogicalHeight() && logicalTop > beforeCollapseLogicalTop
1143         && hasNextPage(beforeCollapseLogicalTop)) {
1144         LayoutUnit oldLogicalTop = logicalTop;
1145         logicalTop = std::min(logicalTop, nextPageLogicalTop(beforeCollapseLogicalTop));
1146         setLogicalHeight(logicalHeight() + (logicalTop - oldLogicalTop));
1147     }
1148
1149     if (is<RenderBlockFlow>(prevSibling) && !prevSibling->isFloatingOrOutOfFlowPositioned()) {
1150         // If |child| is a self-collapsing block it may have collapsed into a previous sibling and although it hasn't reduced the height of the parent yet
1151         // any floats from the parent will now overhang.
1152         RenderBlockFlow& block = downcast<RenderBlockFlow>(*prevSibling);
1153         LayoutUnit oldLogicalHeight = logicalHeight();
1154         setLogicalHeight(logicalTop);
1155         if (block.containsFloats() && !block.avoidsFloats() && (block.logicalTop() + block.lowestFloatLogicalBottom()) > logicalTop)
1156             addOverhangingFloats(block, false);
1157         setLogicalHeight(oldLogicalHeight);
1158
1159         // If |child|'s previous sibling is a self-collapsing block that cleared a float and margin collapsing resulted in |child| moving up
1160         // into the margin area of the self-collapsing block then the float it clears is now intruding into |child|. Layout again so that we can look for
1161         // floats in the parent that overhang |child|'s new logical top.
1162         bool logicalTopIntrudesIntoFloat = clearanceForSelfCollapsingBlock > 0 && logicalTop < beforeCollapseLogicalTop;
1163         if (child && logicalTopIntrudesIntoFloat && containsFloats() && !child->avoidsFloats() && lowestFloatLogicalBottom() > logicalTop)
1164             child->setNeedsLayout();
1165     }
1166
1167     return logicalTop;
1168 }
1169
1170 LayoutUnit RenderBlockFlow::clearFloatsIfNeeded(RenderBox& child, MarginInfo& marginInfo, LayoutUnit oldTopPosMargin, LayoutUnit oldTopNegMargin, LayoutUnit yPos)
1171 {
1172     LayoutUnit heightIncrease = getClearDelta(child, yPos);
1173     if (!heightIncrease)
1174         return yPos;
1175
1176     if (child.isSelfCollapsingBlock()) {
1177         bool childDiscardMargin = mustDiscardMarginBeforeForChild(child) || mustDiscardMarginAfterForChild(child);
1178
1179         // For self-collapsing blocks that clear, they can still collapse their
1180         // margins with following siblings. Reset the current margins to represent
1181         // the self-collapsing block's margins only.
1182         // If DISCARD is specified for -webkit-margin-collapse, reset the margin values.
1183         MarginValues childMargins = marginValuesForChild(child);
1184         if (!childDiscardMargin) {
1185             marginInfo.setPositiveMargin(std::max(childMargins.positiveMarginBefore(), childMargins.positiveMarginAfter()));
1186             marginInfo.setNegativeMargin(std::max(childMargins.negativeMarginBefore(), childMargins.negativeMarginAfter()));
1187         } else
1188             marginInfo.clearMargin();
1189         marginInfo.setDiscardMargin(childDiscardMargin);
1190
1191         // CSS2.1 states:
1192         // "If the top and bottom margins of an element with clearance are adjoining, its margins collapse with 
1193         // the adjoining margins of following siblings but that resulting margin does not collapse with the bottom margin of the parent block."
1194         // So the parent's bottom margin cannot collapse through this block or any subsequent self-collapsing blocks. Check subsequent siblings
1195         // for a block with height - if none is found then don't allow the margins to collapse with the parent.
1196         bool wouldCollapseMarginsWithParent = marginInfo.canCollapseMarginAfterWithChildren();
1197         for (RenderBox* curr = child.nextSiblingBox(); curr && wouldCollapseMarginsWithParent; curr = curr->nextSiblingBox()) {
1198             if (!curr->isFloatingOrOutOfFlowPositioned() && !curr->isSelfCollapsingBlock())
1199                 wouldCollapseMarginsWithParent = false;
1200         }
1201         if (wouldCollapseMarginsWithParent)
1202             marginInfo.setCanCollapseMarginAfterWithChildren(false);
1203
1204         // For now set the border-top of |child| flush with the bottom border-edge of the float so it can layout any floating or positioned children of
1205         // its own at the correct vertical position. If subsequent siblings attempt to collapse with |child|'s margins in |collapseMargins| we will
1206         // adjust the height of the parent to |child|'s margin top (which if it is positive sits up 'inside' the float it's clearing) so that all three 
1207         // margins can collapse at the correct vertical position.
1208         // Per CSS2.1 we need to ensure that any negative margin-top clears |child| beyond the bottom border-edge of the float so that the top border edge of the child
1209         // (i.e. its clearance)  is at a position that satisfies the equation: "the amount of clearance is set so that clearance + margin-top = [height of float],
1210         // i.e., clearance = [height of float] - margin-top".
1211         setLogicalHeight(child.logicalTop() + childMargins.negativeMarginBefore());
1212     } else
1213         // Increase our height by the amount we had to clear.
1214         setLogicalHeight(logicalHeight() + heightIncrease);
1215     
1216     if (marginInfo.canCollapseWithMarginBefore()) {
1217         // We can no longer collapse with the top of the block since a clear
1218         // occurred. The empty blocks collapse into the cleared block.
1219         // FIXME: This isn't quite correct. Need clarification for what to do
1220         // if the height the cleared block is offset by is smaller than the
1221         // margins involved.
1222         setMaxMarginBeforeValues(oldTopPosMargin, oldTopNegMargin);
1223         marginInfo.setAtBeforeSideOfBlock(false);
1224
1225         // In case the child discarded the before margin of the block we need to reset the mustDiscardMarginBefore flag to the initial value.
1226         setMustDiscardMarginBefore(style().marginBeforeCollapse() == MDISCARD);
1227     }
1228
1229     return yPos + heightIncrease;
1230 }
1231
1232 void RenderBlockFlow::marginBeforeEstimateForChild(RenderBox& child, LayoutUnit& positiveMarginBefore, LayoutUnit& negativeMarginBefore, bool& discardMarginBefore) const
1233 {
1234     // Give up if in quirks mode and we're a body/table cell and the top margin of the child box is quirky.
1235     // Give up if the child specified -webkit-margin-collapse: separate that prevents collapsing.
1236     // FIXME: Use writing mode independent accessor for marginBeforeCollapse.
1237     if ((document().inQuirksMode() && hasMarginAfterQuirk(child) && (isTableCell() || isBody())) || child.style().marginBeforeCollapse() == MSEPARATE)
1238         return;
1239
1240     // The margins are discarded by a child that specified -webkit-margin-collapse: discard.
1241     // FIXME: Use writing mode independent accessor for marginBeforeCollapse.
1242     if (child.style().marginBeforeCollapse() == MDISCARD) {
1243         positiveMarginBefore = 0;
1244         negativeMarginBefore = 0;
1245         discardMarginBefore = true;
1246         return;
1247     }
1248
1249     LayoutUnit beforeChildMargin = marginBeforeForChild(child);
1250     positiveMarginBefore = std::max(positiveMarginBefore, beforeChildMargin);
1251     negativeMarginBefore = std::max(negativeMarginBefore, -beforeChildMargin);
1252
1253     if (!is<RenderBlockFlow>(child))
1254         return;
1255     
1256     RenderBlockFlow& childBlock = downcast<RenderBlockFlow>(child);
1257     if (childBlock.childrenInline() || childBlock.isWritingModeRoot())
1258         return;
1259
1260     MarginInfo childMarginInfo(childBlock, childBlock.borderAndPaddingBefore(), childBlock.borderAndPaddingAfter());
1261     if (!childMarginInfo.canCollapseMarginBeforeWithChildren())
1262         return;
1263
1264     RenderBox* grandchildBox = childBlock.firstChildBox();
1265     for (; grandchildBox; grandchildBox = grandchildBox->nextSiblingBox()) {
1266         if (!grandchildBox->isFloatingOrOutOfFlowPositioned())
1267             break;
1268     }
1269     
1270     // Give up if there is clearance on the box, since it probably won't collapse into us.
1271     if (!grandchildBox || grandchildBox->style().clear() != CNONE)
1272         return;
1273
1274     // Make sure to update the block margins now for the grandchild box so that we're looking at current values.
1275     if (grandchildBox->needsLayout()) {
1276         grandchildBox->computeAndSetBlockDirectionMargins(*this);
1277         if (is<RenderBlock>(*grandchildBox)) {
1278             RenderBlock& grandchildBlock = downcast<RenderBlock>(*grandchildBox);
1279             grandchildBlock.setHasMarginBeforeQuirk(grandchildBox->style().hasMarginBeforeQuirk());
1280             grandchildBlock.setHasMarginAfterQuirk(grandchildBox->style().hasMarginAfterQuirk());
1281         }
1282     }
1283
1284     // Collapse the margin of the grandchild box with our own to produce an estimate.
1285     childBlock.marginBeforeEstimateForChild(*grandchildBox, positiveMarginBefore, negativeMarginBefore, discardMarginBefore);
1286 }
1287
1288 LayoutUnit RenderBlockFlow::estimateLogicalTopPosition(RenderBox& child, const MarginInfo& marginInfo, LayoutUnit& estimateWithoutPagination)
1289 {
1290     // FIXME: We need to eliminate the estimation of vertical position, because when it's wrong we sometimes trigger a pathological
1291     // relayout if there are intruding floats.
1292     LayoutUnit logicalTopEstimate = logicalHeight();
1293     if (!marginInfo.canCollapseWithMarginBefore()) {
1294         LayoutUnit positiveMarginBefore = 0;
1295         LayoutUnit negativeMarginBefore = 0;
1296         bool discardMarginBefore = false;
1297         if (child.selfNeedsLayout()) {
1298             // Try to do a basic estimation of how the collapse is going to go.
1299             marginBeforeEstimateForChild(child, positiveMarginBefore, negativeMarginBefore, discardMarginBefore);
1300         } else {
1301             // Use the cached collapsed margin values from a previous layout. Most of the time they
1302             // will be right.
1303             MarginValues marginValues = marginValuesForChild(child);
1304             positiveMarginBefore = std::max(positiveMarginBefore, marginValues.positiveMarginBefore());
1305             negativeMarginBefore = std::max(negativeMarginBefore, marginValues.negativeMarginBefore());
1306             discardMarginBefore = mustDiscardMarginBeforeForChild(child);
1307         }
1308
1309         // Collapse the result with our current margins.
1310         if (!discardMarginBefore)
1311             logicalTopEstimate += std::max(marginInfo.positiveMargin(), positiveMarginBefore) - std::max(marginInfo.negativeMargin(), negativeMarginBefore);
1312     }
1313
1314     // Adjust logicalTopEstimate down to the next page if the margins are so large that we don't fit on the current
1315     // page.
1316     LayoutState* layoutState = view().layoutState();
1317     if (layoutState->isPaginated() && layoutState->pageLogicalHeight() && logicalTopEstimate > logicalHeight()
1318         && hasNextPage(logicalHeight()))
1319         logicalTopEstimate = std::min(logicalTopEstimate, nextPageLogicalTop(logicalHeight()));
1320
1321     logicalTopEstimate += getClearDelta(child, logicalTopEstimate);
1322     
1323     estimateWithoutPagination = logicalTopEstimate;
1324
1325     if (layoutState->isPaginated()) {
1326         // If the object has a page or column break value of "before", then we should shift to the top of the next page.
1327         logicalTopEstimate = applyBeforeBreak(child, logicalTopEstimate);
1328     
1329         // For replaced elements and scrolled elements, we want to shift them to the next page if they don't fit on the current one.
1330         logicalTopEstimate = adjustForUnsplittableChild(child, logicalTopEstimate);
1331         
1332         if (!child.selfNeedsLayout() && is<RenderBlock>(child))
1333             logicalTopEstimate += downcast<RenderBlock>(child).paginationStrut();
1334     }
1335
1336     return logicalTopEstimate;
1337 }
1338
1339 void RenderBlockFlow::setCollapsedBottomMargin(const MarginInfo& marginInfo)
1340 {
1341     if (marginInfo.canCollapseWithMarginAfter() && !marginInfo.canCollapseWithMarginBefore()) {
1342         // Update the after side margin of the container to discard if the after margin of the last child also discards and we collapse with it.
1343         // Don't update the max margin values because we won't need them anyway.
1344         if (marginInfo.discardMargin()) {
1345             setMustDiscardMarginAfter();
1346             return;
1347         }
1348
1349         // Update our max pos/neg bottom margins, since we collapsed our bottom margins
1350         // with our children.
1351         setMaxMarginAfterValues(std::max(maxPositiveMarginAfter(), marginInfo.positiveMargin()), std::max(maxNegativeMarginAfter(), marginInfo.negativeMargin()));
1352
1353         if (!marginInfo.hasMarginAfterQuirk())
1354             setHasMarginAfterQuirk(false);
1355
1356         if (marginInfo.hasMarginAfterQuirk() && !marginAfter())
1357             // We have no bottom margin and our last child has a quirky margin.
1358             // We will pick up this quirky margin and pass it through.
1359             // This deals with the <td><div><p> case.
1360             setHasMarginAfterQuirk(true);
1361     }
1362 }
1363
1364 void RenderBlockFlow::handleAfterSideOfBlock(LayoutUnit beforeSide, LayoutUnit afterSide, MarginInfo& marginInfo)
1365 {
1366     marginInfo.setAtAfterSideOfBlock(true);
1367
1368     // If our last child was a self-collapsing block with clearance then our logical height is flush with the
1369     // bottom edge of the float that the child clears. The correct vertical position for the margin-collapsing we want
1370     // to perform now is at the child's margin-top - so adjust our height to that position.
1371     RenderObject* lastBlock = lastChild();
1372     if (is<RenderBlockFlow>(lastBlock) && downcast<RenderBlockFlow>(*lastBlock).isSelfCollapsingBlock())
1373         setLogicalHeight(logicalHeight() - downcast<RenderBlockFlow>(*lastBlock).marginOffsetForSelfCollapsingBlock());
1374
1375     // If we can't collapse with children then add in the bottom margin.
1376     if (!marginInfo.discardMargin() && (!marginInfo.canCollapseWithMarginAfter() && !marginInfo.canCollapseWithMarginBefore()
1377         && (!document().inQuirksMode() || !marginInfo.quirkContainer() || !marginInfo.hasMarginAfterQuirk())))
1378         setLogicalHeight(logicalHeight() + marginInfo.margin());
1379         
1380     // Now add in our bottom border/padding.
1381     setLogicalHeight(logicalHeight() + afterSide);
1382
1383     // Negative margins can cause our height to shrink below our minimal height (border/padding).
1384     // If this happens, ensure that the computed height is increased to the minimal height.
1385     setLogicalHeight(std::max(logicalHeight(), beforeSide + afterSide));
1386
1387     // Update our bottom collapsed margin info.
1388     setCollapsedBottomMargin(marginInfo);
1389 }
1390
1391 void RenderBlockFlow::setMaxMarginBeforeValues(LayoutUnit pos, LayoutUnit neg)
1392 {
1393     if (!hasRareBlockFlowData()) {
1394         if (pos == RenderBlockFlowRareData::positiveMarginBeforeDefault(*this) && neg == RenderBlockFlowRareData::negativeMarginBeforeDefault(*this))
1395             return;
1396         materializeRareBlockFlowData();
1397     }
1398
1399     rareBlockFlowData()->m_margins.setPositiveMarginBefore(pos);
1400     rareBlockFlowData()->m_margins.setNegativeMarginBefore(neg);
1401 }
1402
1403 void RenderBlockFlow::setMaxMarginAfterValues(LayoutUnit pos, LayoutUnit neg)
1404 {
1405     if (!hasRareBlockFlowData()) {
1406         if (pos == RenderBlockFlowRareData::positiveMarginAfterDefault(*this) && neg == RenderBlockFlowRareData::negativeMarginAfterDefault(*this))
1407             return;
1408         materializeRareBlockFlowData();
1409     }
1410
1411     rareBlockFlowData()->m_margins.setPositiveMarginAfter(pos);
1412     rareBlockFlowData()->m_margins.setNegativeMarginAfter(neg);
1413 }
1414
1415 void RenderBlockFlow::setMustDiscardMarginBefore(bool value)
1416 {
1417     if (style().marginBeforeCollapse() == MDISCARD) {
1418         ASSERT(value);
1419         return;
1420     }
1421
1422     if (!hasRareBlockFlowData()) {
1423         if (!value)
1424             return;
1425         materializeRareBlockFlowData();
1426     }
1427
1428     rareBlockFlowData()->m_discardMarginBefore = value;
1429 }
1430
1431 void RenderBlockFlow::setMustDiscardMarginAfter(bool value)
1432 {
1433     if (style().marginAfterCollapse() == MDISCARD) {
1434         ASSERT(value);
1435         return;
1436     }
1437
1438     if (!hasRareBlockFlowData()) {
1439         if (!value)
1440             return;
1441         materializeRareBlockFlowData();
1442     }
1443
1444     rareBlockFlowData()->m_discardMarginAfter = value;
1445 }
1446
1447 bool RenderBlockFlow::mustDiscardMarginBefore() const
1448 {
1449     return style().marginBeforeCollapse() == MDISCARD || (hasRareBlockFlowData() && rareBlockFlowData()->m_discardMarginBefore);
1450 }
1451
1452 bool RenderBlockFlow::mustDiscardMarginAfter() const
1453 {
1454     return style().marginAfterCollapse() == MDISCARD || (hasRareBlockFlowData() && rareBlockFlowData()->m_discardMarginAfter);
1455 }
1456
1457 bool RenderBlockFlow::mustDiscardMarginBeforeForChild(const RenderBox& child) const
1458 {
1459     ASSERT(!child.selfNeedsLayout());
1460     if (!child.isWritingModeRoot())
1461         return is<RenderBlockFlow>(child) ? downcast<RenderBlockFlow>(child).mustDiscardMarginBefore() : (child.style().marginBeforeCollapse() == MDISCARD);
1462     if (child.isHorizontalWritingMode() == isHorizontalWritingMode())
1463         return is<RenderBlockFlow>(child) ? downcast<RenderBlockFlow>(child).mustDiscardMarginAfter() : (child.style().marginAfterCollapse() == MDISCARD);
1464
1465     // FIXME: We return false here because the implementation is not geometrically complete. We have values only for before/after, not start/end.
1466     // In case the boxes are perpendicular we assume the property is not specified.
1467     return false;
1468 }
1469
1470 bool RenderBlockFlow::mustDiscardMarginAfterForChild(const RenderBox& child) const
1471 {
1472     ASSERT(!child.selfNeedsLayout());
1473     if (!child.isWritingModeRoot())
1474         return is<RenderBlockFlow>(child) ? downcast<RenderBlockFlow>(child).mustDiscardMarginAfter() : (child.style().marginAfterCollapse() == MDISCARD);
1475     if (child.isHorizontalWritingMode() == isHorizontalWritingMode())
1476         return is<RenderBlockFlow>(child) ? downcast<RenderBlockFlow>(child).mustDiscardMarginBefore() : (child.style().marginBeforeCollapse() == MDISCARD);
1477
1478     // FIXME: See |mustDiscardMarginBeforeForChild| above.
1479     return false;
1480 }
1481
1482 bool RenderBlockFlow::mustSeparateMarginBeforeForChild(const RenderBox& child) const
1483 {
1484     ASSERT(!child.selfNeedsLayout());
1485     const RenderStyle& childStyle = child.style();
1486     if (!child.isWritingModeRoot())
1487         return childStyle.marginBeforeCollapse() == MSEPARATE;
1488     if (child.isHorizontalWritingMode() == isHorizontalWritingMode())
1489         return childStyle.marginAfterCollapse() == MSEPARATE;
1490
1491     // FIXME: See |mustDiscardMarginBeforeForChild| above.
1492     return false;
1493 }
1494
1495 bool RenderBlockFlow::mustSeparateMarginAfterForChild(const RenderBox& child) const
1496 {
1497     ASSERT(!child.selfNeedsLayout());
1498     const RenderStyle& childStyle = child.style();
1499     if (!child.isWritingModeRoot())
1500         return childStyle.marginAfterCollapse() == MSEPARATE;
1501     if (child.isHorizontalWritingMode() == isHorizontalWritingMode())
1502         return childStyle.marginBeforeCollapse() == MSEPARATE;
1503
1504     // FIXME: See |mustDiscardMarginBeforeForChild| above.
1505     return false;
1506 }
1507
1508 static bool inNormalFlow(RenderBox& child)
1509 {
1510     RenderBlock* curr = child.containingBlock();
1511     while (curr && curr != &child.view()) {
1512         if (curr->isRenderFlowThread())
1513             return true;
1514         if (curr->isFloatingOrOutOfFlowPositioned())
1515             return false;
1516         curr = curr->containingBlock();
1517     }
1518     return true;
1519 }
1520
1521 LayoutUnit RenderBlockFlow::applyBeforeBreak(RenderBox& child, LayoutUnit logicalOffset)
1522 {
1523     // FIXME: Add page break checking here when we support printing.
1524     RenderFlowThread* flowThread = flowThreadContainingBlock();
1525     bool isInsideMulticolFlowThread = flowThread && !flowThread->isRenderNamedFlowThread();
1526     bool checkColumnBreaks = flowThread && flowThread->shouldCheckColumnBreaks();
1527     bool checkPageBreaks = !checkColumnBreaks && view().layoutState()->m_pageLogicalHeight; // FIXME: Once columns can print we have to check this.
1528     bool checkRegionBreaks = flowThread && flowThread->isRenderNamedFlowThread();
1529     bool checkBeforeAlways = (checkColumnBreaks && child.style().breakBefore() == ColumnBreakBetween)
1530         || (checkPageBreaks && alwaysPageBreak(child.style().breakBefore()))
1531         || (checkRegionBreaks && child.style().breakBefore() == RegionBreakBetween);
1532     if (checkBeforeAlways && inNormalFlow(child) && hasNextPage(logicalOffset, IncludePageBoundary)) {
1533         if (checkColumnBreaks) {
1534             if (isInsideMulticolFlowThread)
1535                 checkRegionBreaks = true;
1536         }
1537         if (checkRegionBreaks) {
1538             LayoutUnit offsetBreakAdjustment = 0;
1539             if (flowThread->addForcedRegionBreak(this, offsetFromLogicalTopOfFirstPage() + logicalOffset, &child, true, &offsetBreakAdjustment))
1540                 return logicalOffset + offsetBreakAdjustment;
1541         }
1542         return nextPageLogicalTop(logicalOffset, IncludePageBoundary);
1543     }
1544     return logicalOffset;
1545 }
1546
1547 LayoutUnit RenderBlockFlow::applyAfterBreak(RenderBox& child, LayoutUnit logicalOffset, MarginInfo& marginInfo)
1548 {
1549     // FIXME: Add page break checking here when we support printing.
1550     RenderFlowThread* flowThread = flowThreadContainingBlock();
1551     bool isInsideMulticolFlowThread = flowThread && !flowThread->isRenderNamedFlowThread();
1552     bool checkColumnBreaks = flowThread && flowThread->shouldCheckColumnBreaks();
1553     bool checkPageBreaks = !checkColumnBreaks && view().layoutState()->m_pageLogicalHeight; // FIXME: Once columns can print we have to check this.
1554     bool checkRegionBreaks = flowThread && flowThread->isRenderNamedFlowThread();
1555     bool checkAfterAlways = (checkColumnBreaks && child.style().breakAfter() == ColumnBreakBetween)
1556         || (checkPageBreaks && alwaysPageBreak(child.style().breakAfter()))
1557         || (checkRegionBreaks && child.style().breakAfter() == RegionBreakBetween);
1558     if (checkAfterAlways && inNormalFlow(child) && hasNextPage(logicalOffset, IncludePageBoundary)) {
1559         LayoutUnit marginOffset = marginInfo.canCollapseWithMarginBefore() ? LayoutUnit() : marginInfo.margin();
1560
1561         // So our margin doesn't participate in the next collapsing steps.
1562         marginInfo.clearMargin();
1563
1564         if (checkColumnBreaks) {
1565             if (isInsideMulticolFlowThread)
1566                 checkRegionBreaks = true;
1567         }
1568         if (checkRegionBreaks) {
1569             LayoutUnit offsetBreakAdjustment = 0;
1570             if (flowThread->addForcedRegionBreak(this, offsetFromLogicalTopOfFirstPage() + logicalOffset + marginOffset, &child, false, &offsetBreakAdjustment))
1571                 return logicalOffset + marginOffset + offsetBreakAdjustment;
1572         }
1573         return nextPageLogicalTop(logicalOffset, IncludePageBoundary);
1574     }
1575     return logicalOffset;
1576 }
1577
1578 LayoutUnit RenderBlockFlow::adjustBlockChildForPagination(LayoutUnit logicalTopAfterClear, LayoutUnit estimateWithoutPagination, RenderBox& child, bool atBeforeSideOfBlock)
1579 {
1580     RenderBlock* childRenderBlock = is<RenderBlock>(child) ? &downcast<RenderBlock>(child) : nullptr;
1581
1582     if (estimateWithoutPagination != logicalTopAfterClear) {
1583         // Our guess prior to pagination movement was wrong. Before we attempt to paginate, let's try again at the new
1584         // position.
1585         setLogicalHeight(logicalTopAfterClear);
1586         setLogicalTopForChild(child, logicalTopAfterClear, ApplyLayoutDelta);
1587
1588         if (child.shrinkToAvoidFloats()) {
1589             // The child's width depends on the line width. When the child shifts to clear an item, its width can
1590             // change (because it has more available line width). So mark the item as dirty.
1591             child.setChildNeedsLayout(MarkOnlyThis);
1592         }
1593         
1594         if (childRenderBlock) {
1595             if (!child.avoidsFloats() && childRenderBlock->containsFloats())
1596                 downcast<RenderBlockFlow>(*childRenderBlock).markAllDescendantsWithFloatsForLayout();
1597             child.markForPaginationRelayoutIfNeeded();
1598         }
1599
1600         // Our guess was wrong. Make the child lay itself out again.
1601         child.layoutIfNeeded();
1602     }
1603
1604     LayoutUnit oldTop = logicalTopAfterClear;
1605
1606     // If the object has a page or column break value of "before", then we should shift to the top of the next page.
1607     LayoutUnit result = applyBeforeBreak(child, logicalTopAfterClear);
1608
1609     if (pageLogicalHeightForOffset(result)) {
1610         LayoutUnit remainingLogicalHeight = pageRemainingLogicalHeightForOffset(result, ExcludePageBoundary);
1611         LayoutUnit spaceShortage = child.logicalHeight() - remainingLogicalHeight;
1612         if (spaceShortage > 0) {
1613             // If the child crosses a column boundary, report a break, in case nothing inside it has already
1614             // done so. The column balancer needs to know how much it has to stretch the columns to make more
1615             // content fit. If no breaks are reported (but do occur), the balancer will have no clue. FIXME:
1616             // This should be improved, though, because here we just pretend that the child is
1617             // unsplittable. A splittable child, on the other hand, has break opportunities at every position
1618             // where there's no child content, border or padding. In other words, we risk stretching more
1619             // than necessary.
1620             setPageBreak(result, spaceShortage);
1621         }
1622     }
1623
1624     // For replaced elements and scrolled elements, we want to shift them to the next page if they don't fit on the current one.
1625     LayoutUnit logicalTopBeforeUnsplittableAdjustment = result;
1626     LayoutUnit logicalTopAfterUnsplittableAdjustment = adjustForUnsplittableChild(child, result);
1627     
1628     LayoutUnit paginationStrut = 0;
1629     LayoutUnit unsplittableAdjustmentDelta = logicalTopAfterUnsplittableAdjustment - logicalTopBeforeUnsplittableAdjustment;
1630     if (unsplittableAdjustmentDelta)
1631         paginationStrut = unsplittableAdjustmentDelta;
1632     else if (childRenderBlock && childRenderBlock->paginationStrut())
1633         paginationStrut = childRenderBlock->paginationStrut();
1634
1635     if (paginationStrut) {
1636         // We are willing to propagate out to our parent block as long as we were at the top of the block prior
1637         // to collapsing our margins, and as long as we didn't clear or move as a result of other pagination.
1638         if (atBeforeSideOfBlock && oldTop == result && !isOutOfFlowPositioned() && !isTableCell()) {
1639             // FIXME: Should really check if we're exceeding the page height before propagating the strut, but we don't
1640             // have all the information to do so (the strut only has the remaining amount to push). Gecko gets this wrong too
1641             // and pushes to the next page anyway, so not too concerned about it.
1642             setPaginationStrut(result + paginationStrut);
1643             if (childRenderBlock)
1644                 childRenderBlock->setPaginationStrut(0);
1645         } else
1646             result += paginationStrut;
1647     }
1648
1649     // Similar to how we apply clearance. Boost height() to be the place where we're going to position the child.
1650     setLogicalHeight(logicalHeight() + (result - oldTop));
1651     
1652     // Return the final adjusted logical top.
1653     return result;
1654 }
1655
1656 static inline LayoutUnit calculateMinimumPageHeight(const RenderStyle& renderStyle, RootInlineBox& lastLine, LayoutUnit lineTop, LayoutUnit lineBottom)
1657 {
1658     // We may require a certain minimum number of lines per page in order to satisfy
1659     // orphans and widows, and that may affect the minimum page height.
1660     unsigned lineCount = std::max<unsigned>(renderStyle.hasAutoOrphans() ? 1 : renderStyle.orphans(), renderStyle.hasAutoWidows() ? 1 : renderStyle.widows());
1661     if (lineCount > 1) {
1662         RootInlineBox* line = &lastLine;
1663         for (unsigned i = 1; i < lineCount && line->prevRootBox(); i++)
1664             line = line->prevRootBox();
1665
1666         // FIXME: Paginating using line overflow isn't all fine. See FIXME in
1667         // adjustLinePositionForPagination() for more details.
1668         LayoutRect overflow = line->logicalVisualOverflowRect(line->lineTop(), line->lineBottom());
1669         lineTop = std::min(line->lineTopWithLeading(), overflow.y());
1670     }
1671     return lineBottom - lineTop;
1672 }
1673
1674 static inline bool needsAppleMailPaginationQuirk(RootInlineBox& lineBox)
1675 {
1676     auto& renderer = lineBox.renderer();
1677
1678     if (!renderer.settings().appleMailPaginationQuirkEnabled())
1679         return false;
1680
1681     if (renderer.element() && renderer.element()->idForStyleResolution() == "messageContentContainer")
1682         return true;
1683
1684     return false;
1685 }
1686
1687 static void clearShouldBreakAtLineToAvoidWidowIfNeeded(RenderBlockFlow& blockFlow)
1688 {
1689     if (!blockFlow.shouldBreakAtLineToAvoidWidow())
1690         return;
1691     blockFlow.clearShouldBreakAtLineToAvoidWidow();
1692     blockFlow.setDidBreakAtLineToAvoidWidow();
1693 }
1694
1695 void RenderBlockFlow::adjustLinePositionForPagination(RootInlineBox* lineBox, LayoutUnit& delta, bool& overflowsRegion, RenderFlowThread* flowThread)
1696 {
1697     // FIXME: Ignore anonymous inline blocks. Handle the delta already having been set because of
1698     // collapsing margins from a previous anonymous inline block.
1699     // FIXME: For now we paginate using line overflow. This ensures that lines don't overlap at all when we
1700     // put a strut between them for pagination purposes. However, this really isn't the desired rendering, since
1701     // the line on the top of the next page will appear too far down relative to the same kind of line at the top
1702     // of the first column.
1703     //
1704     // The rendering we would like to see is one where the lineTopWithLeading is at the top of the column, and any line overflow
1705     // simply spills out above the top of the column. This effect would match what happens at the top of the first column.
1706     // We can't achieve this rendering, however, until we stop columns from clipping to the column bounds (thus allowing
1707     // for overflow to occur), and then cache visible overflow for each column rect.
1708     //
1709     // Furthermore, the paint we have to do when a column has overflow has to be special. We need to exclude
1710     // content that paints in a previous column (and content that paints in the following column).
1711     //
1712     // For now we'll at least honor the lineTopWithLeading when paginating if it is above the logical top overflow. This will
1713     // at least make positive leading work in typical cases.
1714     //
1715     // FIXME: Another problem with simply moving lines is that the available line width may change (because of floats).
1716     // Technically if the location we move the line to has a different line width than our old position, then we need to dirty the
1717     // line and all following lines.
1718     overflowsRegion = false;
1719     LayoutRect logicalVisualOverflow = lineBox->logicalVisualOverflowRect(lineBox->lineTop(), lineBox->lineBottom());
1720     LayoutUnit logicalOffset = std::min(lineBox->lineTopWithLeading(), logicalVisualOverflow.y());
1721     LayoutUnit logicalBottom = std::max(lineBox->lineBottomWithLeading(), logicalVisualOverflow.maxY());
1722     LayoutUnit lineHeight = logicalBottom - logicalOffset;
1723     updateMinimumPageHeight(logicalOffset, calculateMinimumPageHeight(style(), *lineBox, logicalOffset, logicalBottom));
1724     logicalOffset += delta;
1725     lineBox->setPaginationStrut(0);
1726     lineBox->setIsFirstAfterPageBreak(false);
1727     LayoutUnit pageLogicalHeight = pageLogicalHeightForOffset(logicalOffset);
1728     bool hasUniformPageLogicalHeight = !flowThread || flowThread->regionsHaveUniformLogicalHeight();
1729     // If lineHeight is greater than pageLogicalHeight, but logicalVisualOverflow.height() still fits, we are
1730     // still going to add a strut, so that the visible overflow fits on a single page.
1731     if (!pageLogicalHeight || !hasNextPage(logicalOffset)) {
1732         // FIXME: In case the line aligns with the top of the page (or it's slightly shifted downwards) it will not be marked as the first line in the page.
1733         // From here, the fix is not straightforward because it's not easy to always determine when the current line is the first in the page.
1734         return;
1735     }
1736
1737     if (hasUniformPageLogicalHeight && logicalVisualOverflow.height() > pageLogicalHeight) {
1738         // We are so tall that we are bigger than a page. Before we give up and just leave the line where it is, try drilling into the
1739         // line and computing a new height that excludes anything we consider "blank space". We will discard margins, descent, and even overflow. If we are
1740         // able to fit with the blank space and overflow excluded, we will give the line its own page with the highest non-blank element being aligned with the
1741         // top of the page.
1742         // FIXME: We are still honoring gigantic margins, which does leave open the possibility of blank pages caused by this heuristic. It remains to be seen whether or not
1743         // this will be a real-world issue. For now we don't try to deal with this problem.
1744         logicalOffset = intMaxForLayoutUnit;
1745         logicalBottom = intMinForLayoutUnit;
1746         lineBox->computeReplacedAndTextLineTopAndBottom(logicalOffset, logicalBottom);
1747         lineHeight = logicalBottom - logicalOffset;
1748         if (logicalOffset == intMaxForLayoutUnit || lineHeight > pageLogicalHeight) {
1749             // Give up. We're genuinely too big even after excluding blank space and overflow.
1750             clearShouldBreakAtLineToAvoidWidowIfNeeded(*this);
1751             return;
1752         }
1753         pageLogicalHeight = pageLogicalHeightForOffset(logicalOffset);
1754     }
1755     
1756     LayoutUnit remainingLogicalHeight = pageRemainingLogicalHeightForOffset(logicalOffset, ExcludePageBoundary);
1757     overflowsRegion = (lineHeight > remainingLogicalHeight);
1758
1759     int lineIndex = lineCount(lineBox);
1760     if (remainingLogicalHeight < lineHeight || (shouldBreakAtLineToAvoidWidow() && lineBreakToAvoidWidow() == lineIndex)) {
1761         if (lineBreakToAvoidWidow() == lineIndex)
1762             clearShouldBreakAtLineToAvoidWidowIfNeeded(*this);
1763         // If we have a non-uniform page height, then we have to shift further possibly.
1764         if (!hasUniformPageLogicalHeight && !pushToNextPageWithMinimumLogicalHeight(remainingLogicalHeight, logicalOffset, lineHeight))
1765             return;
1766         if (lineHeight > pageLogicalHeight) {
1767             // Split the top margin in order to avoid splitting the visible part of the line.
1768             remainingLogicalHeight -= std::min(lineHeight - pageLogicalHeight, std::max<LayoutUnit>(0, logicalVisualOverflow.y() - lineBox->lineTopWithLeading()));
1769         }
1770         LayoutUnit remainingLogicalHeightAtNewOffset = pageRemainingLogicalHeightForOffset(logicalOffset + remainingLogicalHeight, ExcludePageBoundary);
1771         overflowsRegion = (lineHeight > remainingLogicalHeightAtNewOffset);
1772         LayoutUnit totalLogicalHeight = lineHeight + std::max<LayoutUnit>(0, logicalOffset);
1773         LayoutUnit pageLogicalHeightAtNewOffset = hasUniformPageLogicalHeight ? pageLogicalHeight : pageLogicalHeightForOffset(logicalOffset + remainingLogicalHeight);
1774         setPageBreak(logicalOffset, lineHeight - remainingLogicalHeight);
1775         if (((lineBox == firstRootBox() && totalLogicalHeight < pageLogicalHeightAtNewOffset) || (!style().hasAutoOrphans() && style().orphans() >= lineIndex))
1776             && !isOutOfFlowPositioned() && !isTableCell()) {
1777             auto firstRootBox = this->firstRootBox();
1778             auto firstRootBoxOverflowRect = firstRootBox->logicalVisualOverflowRect(firstRootBox->lineTop(), firstRootBox->lineBottom());
1779             auto firstLineUpperOverhang = std::max(-firstRootBoxOverflowRect.y(), LayoutUnit());
1780             if (needsAppleMailPaginationQuirk(*lineBox))
1781                 return;
1782             setPaginationStrut(remainingLogicalHeight + logicalOffset + firstLineUpperOverhang);
1783         } else {
1784             delta += remainingLogicalHeight;
1785             lineBox->setPaginationStrut(remainingLogicalHeight);
1786             lineBox->setIsFirstAfterPageBreak(true);
1787         }
1788     } else if (remainingLogicalHeight == pageLogicalHeight) {
1789         // We're at the very top of a page or column.
1790         if (lineBox != firstRootBox())
1791             lineBox->setIsFirstAfterPageBreak(true);
1792         if (lineBox != firstRootBox() || offsetFromLogicalTopOfFirstPage())
1793             setPageBreak(logicalOffset, lineHeight);
1794     }
1795 }
1796
1797 void RenderBlockFlow::setBreakAtLineToAvoidWidow(int lineToBreak)
1798 {
1799     ASSERT(lineToBreak >= 0);
1800     ASSERT(!ensureRareBlockFlowData().m_didBreakAtLineToAvoidWidow);
1801     ensureRareBlockFlowData().m_lineBreakToAvoidWidow = lineToBreak;
1802 }
1803
1804 void RenderBlockFlow::setDidBreakAtLineToAvoidWidow()
1805 {
1806     ASSERT(!shouldBreakAtLineToAvoidWidow());
1807     if (!hasRareBlockFlowData())
1808         return;
1809
1810     rareBlockFlowData()->m_didBreakAtLineToAvoidWidow = true;
1811 }
1812
1813 void RenderBlockFlow::clearDidBreakAtLineToAvoidWidow()
1814 {
1815     if (!hasRareBlockFlowData())
1816         return;
1817
1818     rareBlockFlowData()->m_didBreakAtLineToAvoidWidow = false;
1819 }
1820
1821 void RenderBlockFlow::clearShouldBreakAtLineToAvoidWidow() const
1822 {
1823     ASSERT(shouldBreakAtLineToAvoidWidow());
1824     if (!hasRareBlockFlowData())
1825         return;
1826
1827     rareBlockFlowData()->m_lineBreakToAvoidWidow = -1;
1828 }
1829
1830 bool RenderBlockFlow::relayoutToAvoidWidows(LayoutStateMaintainer& statePusher)
1831 {
1832     if (!shouldBreakAtLineToAvoidWidow())
1833         return false;
1834
1835     statePusher.pop();
1836     setEverHadLayout(true);
1837     layoutBlock(false);
1838     return true;
1839 }
1840
1841 bool RenderBlockFlow::hasNextPage(LayoutUnit logicalOffset, PageBoundaryRule pageBoundaryRule) const
1842 {
1843     ASSERT(view().layoutState() && view().layoutState()->isPaginated());
1844
1845     RenderFlowThread* flowThread = flowThreadContainingBlock();
1846     if (!flowThread)
1847         return true; // Printing and multi-column both make new pages to accommodate content.
1848
1849     // See if we're in the last region.
1850     LayoutUnit pageOffset = offsetFromLogicalTopOfFirstPage() + logicalOffset;
1851     RenderRegion* region = flowThread->regionAtBlockOffset(this, pageOffset, true);
1852     if (!region)
1853         return false;
1854
1855     if (region->isLastRegion())
1856         return region->isRenderRegionSet() || region->style().regionFragment() == BreakRegionFragment
1857             || (pageBoundaryRule == IncludePageBoundary && pageOffset == region->logicalTopForFlowThreadContent());
1858
1859     RenderRegion* startRegion = nullptr;
1860     RenderRegion* endRegion = nullptr;
1861     flowThread->getRegionRangeForBox(this, startRegion, endRegion);
1862     return (endRegion && region != endRegion);
1863 }
1864
1865 LayoutUnit RenderBlockFlow::adjustForUnsplittableChild(RenderBox& child, LayoutUnit logicalOffset, bool includeMargins)
1866 {
1867     if (!childBoxIsUnsplittableForFragmentation(child))
1868         return logicalOffset;
1869
1870     RenderFlowThread* flowThread = flowThreadContainingBlock();
1871     LayoutUnit childLogicalHeight = logicalHeightForChild(child) + (includeMargins ? marginBeforeForChild(child) + marginAfterForChild(child) : LayoutUnit());
1872     LayoutUnit pageLogicalHeight = pageLogicalHeightForOffset(logicalOffset);
1873     bool hasUniformPageLogicalHeight = !flowThread || flowThread->regionsHaveUniformLogicalHeight();
1874     updateMinimumPageHeight(logicalOffset, childLogicalHeight);
1875     if (!pageLogicalHeight || (hasUniformPageLogicalHeight && childLogicalHeight > pageLogicalHeight)
1876         || !hasNextPage(logicalOffset))
1877         return logicalOffset;
1878     LayoutUnit remainingLogicalHeight = pageRemainingLogicalHeightForOffset(logicalOffset, ExcludePageBoundary);
1879     if (remainingLogicalHeight < childLogicalHeight) {
1880         if (!hasUniformPageLogicalHeight && !pushToNextPageWithMinimumLogicalHeight(remainingLogicalHeight, logicalOffset, childLogicalHeight))
1881             return logicalOffset;
1882         return logicalOffset + remainingLogicalHeight;
1883     }
1884     return logicalOffset;
1885 }
1886
1887 bool RenderBlockFlow::pushToNextPageWithMinimumLogicalHeight(LayoutUnit& adjustment, LayoutUnit logicalOffset, LayoutUnit minimumLogicalHeight) const
1888 {
1889     bool checkRegion = false;
1890     for (LayoutUnit pageLogicalHeight = pageLogicalHeightForOffset(logicalOffset + adjustment); pageLogicalHeight;
1891         pageLogicalHeight = pageLogicalHeightForOffset(logicalOffset + adjustment)) {
1892         if (minimumLogicalHeight <= pageLogicalHeight)
1893             return true;
1894         if (!hasNextPage(logicalOffset + adjustment))
1895             return false;
1896         adjustment += pageLogicalHeight;
1897         checkRegion = true;
1898     }
1899     return !checkRegion;
1900 }
1901
1902 void RenderBlockFlow::setPageBreak(LayoutUnit offset, LayoutUnit spaceShortage)
1903 {
1904     if (RenderFlowThread* flowThread = flowThreadContainingBlock())
1905         flowThread->setPageBreak(this, offsetFromLogicalTopOfFirstPage() + offset, spaceShortage);
1906 }
1907
1908 void RenderBlockFlow::updateMinimumPageHeight(LayoutUnit offset, LayoutUnit minHeight)
1909 {
1910     if (RenderFlowThread* flowThread = flowThreadContainingBlock())
1911         flowThread->updateMinimumPageHeight(this, offsetFromLogicalTopOfFirstPage() + offset, minHeight);
1912 }
1913
1914 LayoutUnit RenderBlockFlow::nextPageLogicalTop(LayoutUnit logicalOffset, PageBoundaryRule pageBoundaryRule) const
1915 {
1916     LayoutUnit pageLogicalHeight = pageLogicalHeightForOffset(logicalOffset);
1917     if (!pageLogicalHeight)
1918         return logicalOffset;
1919     
1920     // The logicalOffset is in our coordinate space.  We can add in our pushed offset.
1921     LayoutUnit remainingLogicalHeight = pageRemainingLogicalHeightForOffset(logicalOffset);
1922     if (pageBoundaryRule == ExcludePageBoundary)
1923         return logicalOffset + (remainingLogicalHeight ? remainingLogicalHeight : pageLogicalHeight);
1924     return logicalOffset + remainingLogicalHeight;
1925 }
1926
1927 LayoutUnit RenderBlockFlow::pageLogicalTopForOffset(LayoutUnit offset) const
1928 {
1929     // Unsplittable objects clear out the pageLogicalHeight in the layout state as a way of signaling that no
1930     // pagination should occur. Therefore we have to check this first and bail if the value has been set to 0.
1931     LayoutUnit pageLogicalHeight = view().layoutState()->m_pageLogicalHeight;
1932     if (!pageLogicalHeight)
1933         return 0;
1934
1935     LayoutUnit firstPageLogicalTop = isHorizontalWritingMode() ? view().layoutState()->m_pageOffset.height() : view().layoutState()->m_pageOffset.width();
1936     LayoutUnit blockLogicalTop = isHorizontalWritingMode() ? view().layoutState()->m_layoutOffset.height() : view().layoutState()->m_layoutOffset.width();
1937
1938     LayoutUnit cumulativeOffset = offset + blockLogicalTop;
1939     RenderFlowThread* flowThread = flowThreadContainingBlock();
1940     if (!flowThread)
1941         return cumulativeOffset - roundToInt(cumulativeOffset - firstPageLogicalTop) % roundToInt(pageLogicalHeight);
1942     return firstPageLogicalTop + flowThread->pageLogicalTopForOffset(cumulativeOffset - firstPageLogicalTop);
1943 }
1944
1945 LayoutUnit RenderBlockFlow::pageLogicalHeightForOffset(LayoutUnit offset) const
1946 {
1947     // Unsplittable objects clear out the pageLogicalHeight in the layout state as a way of signaling that no
1948     // pagination should occur. Therefore we have to check this first and bail if the value has been set to 0.
1949     LayoutUnit pageLogicalHeight = view().layoutState()->m_pageLogicalHeight;
1950     if (!pageLogicalHeight)
1951         return 0;
1952     
1953     // Now check for a flow thread.
1954     RenderFlowThread* flowThread = flowThreadContainingBlock();
1955     if (!flowThread)
1956         return pageLogicalHeight;
1957     return flowThread->pageLogicalHeightForOffset(offset + offsetFromLogicalTopOfFirstPage());
1958 }
1959
1960 LayoutUnit RenderBlockFlow::pageRemainingLogicalHeightForOffset(LayoutUnit offset, PageBoundaryRule pageBoundaryRule) const
1961 {
1962     offset += offsetFromLogicalTopOfFirstPage();
1963     
1964     RenderFlowThread* flowThread = flowThreadContainingBlock();
1965     if (!flowThread) {
1966         LayoutUnit pageLogicalHeight = view().layoutState()->m_pageLogicalHeight;
1967         LayoutUnit remainingHeight = pageLogicalHeight - intMod(offset, pageLogicalHeight);
1968         if (pageBoundaryRule == IncludePageBoundary) {
1969             // If includeBoundaryPoint is true the line exactly on the top edge of a
1970             // column will act as being part of the previous column.
1971             remainingHeight = intMod(remainingHeight, pageLogicalHeight);
1972         }
1973         return remainingHeight;
1974     }
1975     
1976     return flowThread->pageRemainingLogicalHeightForOffset(offset, pageBoundaryRule);
1977 }
1978
1979 LayoutUnit RenderBlockFlow::logicalHeightForChildForFragmentation(const RenderBox& child) const
1980 {
1981     // This method is required because regions do not fragment monolithic elements but instead
1982     // they let them overflow the region they flow in. This behaviour is different from the 
1983     // multicol/printing implementations, which have not yet been updated to correctly handle
1984     // monolithic elements.
1985     // As a result, for the moment, this method will only be used for regions, the multicol and
1986     // printing implementations will stick to the existing behaviour until their fragmentation
1987     // implementation is updated to match the regions implementation.
1988     if (!flowThreadContainingBlock() || !flowThreadContainingBlock()->isRenderNamedFlowThread())
1989         return logicalHeightForChild(child);
1990
1991     // For unsplittable elements, this method will just return the height of the element that
1992     // fits into the current region, without the height of the part that overflows the region.
1993     // This is done for all regions, except the last one because in that case, the logical
1994     // height of the flow thread needs to also
1995     if (!childBoxIsUnsplittableForFragmentation(child) || !pageLogicalHeightForOffset(logicalTopForChild(child)))
1996         return logicalHeightForChild(child);
1997
1998     // If we're on the last page this block fragments to, the logical height of the flow thread must include
1999     // the entire unsplittable child because any following children will not be moved to the next page
2000     // so they will need to be laid out below the current unsplittable child.
2001     LayoutUnit childLogicalTop = logicalTopForChild(child);
2002     if (!hasNextPage(childLogicalTop))
2003         return logicalHeightForChild(child);
2004     
2005     LayoutUnit remainingLogicalHeight = pageRemainingLogicalHeightForOffset(childLogicalTop, ExcludePageBoundary);
2006     return std::min(child.logicalHeight(), remainingLogicalHeight);
2007 }
2008
2009 void RenderBlockFlow::layoutLineGridBox()
2010 {
2011     if (style().lineGrid() == RenderStyle::initialLineGrid()) {
2012         setLineGridBox(0);
2013         return;
2014     }
2015     
2016     setLineGridBox(0);
2017
2018     auto lineGridBox = std::make_unique<RootInlineBox>(*this);
2019     lineGridBox->setHasTextChildren(); // Needed to make the line ascent/descent actually be honored in quirks mode.
2020     lineGridBox->setConstructed();
2021     GlyphOverflowAndFallbackFontsMap textBoxDataMap;
2022     VerticalPositionCache verticalPositionCache;
2023     lineGridBox->alignBoxesInBlockDirection(logicalHeight(), textBoxDataMap, verticalPositionCache);
2024     
2025     setLineGridBox(WTFMove(lineGridBox));
2026
2027     // FIXME: If any of the characteristics of the box change compared to the old one, then we need to do a deep dirtying
2028     // (similar to what happens when the page height changes). Ideally, though, we only do this if someone is actually snapping
2029     // to this grid.
2030 }
2031
2032 bool RenderBlockFlow::containsFloat(RenderBox& renderer) const
2033 {
2034     return m_floatingObjects && m_floatingObjects->set().contains<RenderBox&, FloatingObjectHashTranslator>(renderer);
2035 }
2036
2037 void RenderBlockFlow::styleDidChange(StyleDifference diff, const RenderStyle* oldStyle)
2038 {
2039     RenderBlock::styleDidChange(diff, oldStyle);
2040     
2041     // After our style changed, if we lose our ability to propagate floats into next sibling
2042     // blocks, then we need to find the top most parent containing that overhanging float and
2043     // then mark its descendants with floats for layout and clear all floats from its next
2044     // sibling blocks that exist in our floating objects list. See bug 56299 and 62875.
2045     bool canPropagateFloatIntoSibling = !isFloatingOrOutOfFlowPositioned() && !avoidsFloats();
2046     if (diff == StyleDifferenceLayout && s_canPropagateFloatIntoSibling && !canPropagateFloatIntoSibling && hasOverhangingFloats()) {
2047         RenderBlockFlow* parentBlock = this;
2048         const FloatingObjectSet& floatingObjectSet = m_floatingObjects->set();
2049
2050         for (auto& ancestor : ancestorsOfType<RenderBlockFlow>(*this)) {
2051             if (ancestor.isRenderView())
2052                 break;
2053             if (ancestor.hasOverhangingFloats()) {
2054                 for (auto it = floatingObjectSet.begin(), end = floatingObjectSet.end(); it != end; ++it) {
2055                     RenderBox& renderer = (*it)->renderer();
2056                     if (ancestor.hasOverhangingFloat(renderer)) {
2057                         parentBlock = &ancestor;
2058                         break;
2059                     }
2060                 }
2061             }
2062         }
2063
2064         parentBlock->markAllDescendantsWithFloatsForLayout();
2065         parentBlock->markSiblingsWithFloatsForLayout();
2066     }
2067
2068     if (auto fragment = renderNamedFlowFragment())
2069         fragment->setStyle(RenderNamedFlowFragment::createStyle(style()));
2070
2071     if (diff >= StyleDifferenceRepaint) {
2072         // FIXME: This could use a cheaper style-only test instead of SimpleLineLayout::canUseFor.
2073         if (selfNeedsLayout() || !m_simpleLineLayout || !SimpleLineLayout::canUseFor(*this))
2074             invalidateLineLayoutPath();
2075     }
2076
2077     if (multiColumnFlowThread())
2078         updateStylesForColumnChildren();
2079 }
2080
2081 void RenderBlockFlow::updateStylesForColumnChildren()
2082 {
2083     for (auto* child = firstChildBox(); child && (child->isInFlowRenderFlowThread() || child->isRenderMultiColumnSet()); child = child->nextSiblingBox())
2084         child->setStyle(RenderStyle::createAnonymousStyleWithDisplay(style(), BLOCK));
2085 }
2086
2087 void RenderBlockFlow::styleWillChange(StyleDifference diff, const RenderStyle& newStyle)
2088 {
2089     const RenderStyle* oldStyle = hasInitializedStyle() ? &style() : nullptr;
2090     s_canPropagateFloatIntoSibling = oldStyle ? !isFloatingOrOutOfFlowPositioned() && !avoidsFloats() : false;
2091
2092     if (oldStyle) {
2093         EPosition oldPosition = oldStyle->position();
2094         EPosition newPosition = newStyle.position();
2095
2096         if (parent() && diff == StyleDifferenceLayout && oldPosition != newPosition) {
2097             if (containsFloats() && !isFloating() && !isOutOfFlowPositioned() && newStyle.hasOutOfFlowPosition())
2098                 markAllDescendantsWithFloatsForLayout();
2099         }
2100     }
2101
2102     RenderBlock::styleWillChange(diff, newStyle);
2103 }
2104
2105 void RenderBlockFlow::deleteLines()
2106 {
2107     if (containsFloats())
2108         m_floatingObjects->clearLineBoxTreePointers();
2109
2110     if (m_simpleLineLayout) {
2111         ASSERT(!m_lineBoxes.firstLineBox());
2112         m_simpleLineLayout = nullptr;
2113     } else
2114         m_lineBoxes.deleteLineBoxTree();
2115
2116     RenderBlock::deleteLines();
2117 }
2118
2119 void RenderBlockFlow::addFloatsToNewParent(RenderBlockFlow& toBlockFlow) const
2120 {
2121     // When a portion of the render tree is being detached, anonymous blocks
2122     // will be combined as their children are deleted. In this process, the
2123     // anonymous block later in the tree is merged into the one preceeding it.
2124     // It can happen that the later block (this) contains floats that the
2125     // previous block (toBlockFlow) did not contain, and thus are not in the
2126     // floating objects list for toBlockFlow. This can result in toBlockFlow
2127     // containing floats that are not in it's floating objects list, but are in
2128     // the floating objects lists of siblings and parents. This can cause
2129     // problems when the float itself is deleted, since the deletion code
2130     // assumes that if a float is not in it's containing block's floating
2131     // objects list, it isn't in any floating objects list. In order to
2132     // preserve this condition (removing it has serious performance
2133     // implications), we need to copy the floating objects from the old block
2134     // (this) to the new block (toBlockFlow). The float's metrics will likely
2135     // all be wrong, but since toBlockFlow is already marked for layout, this
2136     // will get fixed before anything gets displayed.
2137     // See bug https://bugs.webkit.org/show_bug.cgi?id=115566
2138     if (!m_floatingObjects)
2139         return;
2140
2141     if (!toBlockFlow.m_floatingObjects)
2142         toBlockFlow.createFloatingObjects();
2143
2144     for (auto& floatingObject : m_floatingObjects->set())
2145         toBlockFlow.m_floatingObjects->add(floatingObject->cloneForNewParent());
2146 }
2147
2148 void RenderBlockFlow::moveAllChildrenIncludingFloatsTo(RenderBlock& toBlock, bool fullRemoveInsert)
2149 {
2150     auto& toBlockFlow = downcast<RenderBlockFlow>(toBlock);
2151     moveAllChildrenTo(&toBlockFlow, fullRemoveInsert);
2152     addFloatsToNewParent(toBlockFlow);
2153 }
2154
2155 void RenderBlockFlow::addOverflowFromFloats()
2156 {
2157     if (!m_floatingObjects)
2158         return;
2159
2160     const FloatingObjectSet& floatingObjectSet = m_floatingObjects->set();
2161     auto end = floatingObjectSet.end();
2162     for (auto it = floatingObjectSet.begin(); it != end; ++it) {
2163         const auto& floatingObject = *it->get();
2164         if (floatingObject.isDescendant())
2165             addOverflowFromChild(&floatingObject.renderer(), IntSize(xPositionForFloatIncludingMargin(floatingObject), yPositionForFloatIncludingMargin(floatingObject)));
2166     }
2167 }
2168
2169 void RenderBlockFlow::computeOverflow(LayoutUnit oldClientAfterEdge, bool recomputeFloats)
2170 {
2171     RenderBlock::computeOverflow(oldClientAfterEdge, recomputeFloats);
2172
2173     if (!multiColumnFlowThread() && (recomputeFloats || createsNewFormattingContext() || hasSelfPaintingLayer()))
2174         addOverflowFromFloats();
2175 }
2176
2177 void RenderBlockFlow::repaintOverhangingFloats(bool paintAllDescendants)
2178 {
2179     // Repaint any overhanging floats (if we know we're the one to paint them).
2180     // Otherwise, bail out.
2181     if (!hasOverhangingFloats())
2182         return;
2183
2184     // FIXME: Avoid disabling LayoutState. At the very least, don't disable it for floats originating
2185     // in this block. Better yet would be to push extra state for the containers of other floats.
2186     LayoutStateDisabler layoutStateDisabler(view());
2187     const FloatingObjectSet& floatingObjectSet = m_floatingObjects->set();
2188     auto end = floatingObjectSet.end();
2189     for (auto it = floatingObjectSet.begin(); it != end; ++it) {
2190         const auto& floatingObject = *it->get();
2191         // Only repaint the object if it is overhanging, is not in its own layer, and
2192         // is our responsibility to paint (m_shouldPaint is set). When paintAllDescendants is true, the latter
2193         // condition is replaced with being a descendant of us.
2194         auto& renderer = floatingObject.renderer();
2195         if (logicalBottomForFloat(floatingObject) > logicalHeight()
2196             && !renderer.hasSelfPaintingLayer()
2197             && (floatingObject.shouldPaint() || (paintAllDescendants && renderer.isDescendantOf(this)))) {
2198             renderer.repaint();
2199             renderer.repaintOverhangingFloats(false);
2200         }
2201     }
2202 }
2203
2204 void RenderBlockFlow::paintColumnRules(PaintInfo& paintInfo, const LayoutPoint& point)
2205 {
2206     RenderBlock::paintColumnRules(paintInfo, point);
2207     
2208     if (!multiColumnFlowThread() || paintInfo.context().paintingDisabled())
2209         return;
2210
2211     // Iterate over our children and paint the column rules as needed.
2212     for (auto& columnSet : childrenOfType<RenderMultiColumnSet>(*this)) {
2213         LayoutPoint childPoint = columnSet.location() + flipForWritingModeForChild(&columnSet, point);
2214         columnSet.paintColumnRules(paintInfo, childPoint);
2215     }
2216 }
2217
2218 void RenderBlockFlow::paintFloats(PaintInfo& paintInfo, const LayoutPoint& paintOffset, bool preservePhase)
2219 {
2220     if (!m_floatingObjects)
2221         return;
2222
2223     const FloatingObjectSet& floatingObjectSet = m_floatingObjects->set();
2224     auto end = floatingObjectSet.end();
2225     for (auto it = floatingObjectSet.begin(); it != end; ++it) {
2226         const auto& floatingObject = *it->get();
2227         auto& renderer = floatingObject.renderer();
2228         // Only paint the object if our m_shouldPaint flag is set.
2229         if (floatingObject.shouldPaint() && !renderer.hasSelfPaintingLayer()) {
2230             PaintInfo currentPaintInfo(paintInfo);
2231             currentPaintInfo.phase = preservePhase ? paintInfo.phase : PaintPhaseBlockBackground;
2232             // FIXME: LayoutPoint version of xPositionForFloatIncludingMargin would make this much cleaner.
2233             LayoutPoint childPoint = flipFloatForWritingModeForChild(floatingObject,
2234                 LayoutPoint(paintOffset.x() + xPositionForFloatIncludingMargin(floatingObject) - renderer.x(),
2235                 paintOffset.y() + yPositionForFloatIncludingMargin(floatingObject) - renderer.y()));
2236             renderer.paint(currentPaintInfo, childPoint);
2237             if (!preservePhase) {
2238                 currentPaintInfo.phase = PaintPhaseChildBlockBackgrounds;
2239                 renderer.paint(currentPaintInfo, childPoint);
2240                 currentPaintInfo.phase = PaintPhaseFloat;
2241                 renderer.paint(currentPaintInfo, childPoint);
2242                 currentPaintInfo.phase = PaintPhaseForeground;
2243                 renderer.paint(currentPaintInfo, childPoint);
2244                 currentPaintInfo.phase = PaintPhaseOutline;
2245                 renderer.paint(currentPaintInfo, childPoint);
2246             }
2247         }
2248     }
2249 }
2250
2251 void RenderBlockFlow::clipOutFloatingObjects(RenderBlock& rootBlock, const PaintInfo* paintInfo, const LayoutPoint& rootBlockPhysicalPosition, const LayoutSize& offsetFromRootBlock)
2252 {
2253     if (m_floatingObjects) {
2254         const FloatingObjectSet& floatingObjectSet = m_floatingObjects->set();
2255         auto end = floatingObjectSet.end();
2256         for (auto it = floatingObjectSet.begin(); it != end; ++it) {
2257             const auto& floatingObject = *it->get();
2258             LayoutRect floatBox(offsetFromRootBlock.width() + xPositionForFloatIncludingMargin(floatingObject),
2259                 offsetFromRootBlock.height() + yPositionForFloatIncludingMargin(floatingObject),
2260                 floatingObject.renderer().width(), floatingObject.renderer().height());
2261             rootBlock.flipForWritingMode(floatBox);
2262             floatBox.move(rootBlockPhysicalPosition.x(), rootBlockPhysicalPosition.y());
2263             paintInfo->context().clipOut(snappedIntRect(floatBox));
2264         }
2265     }
2266 }
2267
2268 void RenderBlockFlow::createFloatingObjects()
2269 {
2270     m_floatingObjects = std::make_unique<FloatingObjects>(*this);
2271 }
2272
2273 void RenderBlockFlow::removeFloatingObjects()
2274 {
2275     if (!m_floatingObjects)
2276         return;
2277
2278     markSiblingsWithFloatsForLayout();
2279
2280     m_floatingObjects->clear();
2281 }
2282
2283 FloatingObject* RenderBlockFlow::insertFloatingObject(RenderBox& floatBox)
2284 {
2285     ASSERT(floatBox.isFloating());
2286
2287     // Create the list of special objects if we don't aleady have one
2288     if (!m_floatingObjects)
2289         createFloatingObjects();
2290     else {
2291         // Don't insert the floatingObject again if it's already in the list
2292         const FloatingObjectSet& floatingObjectSet = m_floatingObjects->set();
2293         auto it = floatingObjectSet.find<RenderBox&, FloatingObjectHashTranslator>(floatBox);
2294         if (it != floatingObjectSet.end())
2295             return it->get();
2296     }
2297
2298     // Create the special floatingObject entry & append it to the list
2299
2300     std::unique_ptr<FloatingObject> floatingObject = FloatingObject::create(floatBox);
2301     
2302     // Our location is irrelevant if we're unsplittable or no pagination is in effect. Just lay out the float.
2303     bool isChildRenderBlock = floatBox.isRenderBlock();
2304     if (isChildRenderBlock && !floatBox.needsLayout() && view().layoutState()->pageLogicalHeightChanged())
2305         floatBox.setChildNeedsLayout(MarkOnlyThis);
2306             
2307     bool needsBlockDirectionLocationSetBeforeLayout = isChildRenderBlock && view().layoutState()->needsBlockDirectionLocationSetBeforeLayout();
2308     if (!needsBlockDirectionLocationSetBeforeLayout || isWritingModeRoot()) {
2309         // We are unsplittable if we're a block flow root.
2310         floatBox.layoutIfNeeded();
2311         floatingObject->setShouldPaint(!floatBox.hasSelfPaintingLayer());
2312     }
2313     else {
2314         floatBox.updateLogicalWidth();
2315         floatBox.computeAndSetBlockDirectionMargins(*this);
2316     }
2317
2318     setLogicalWidthForFloat(*floatingObject, logicalWidthForChild(floatBox) + marginStartForChild(floatBox) + marginEndForChild(floatBox));
2319
2320     return m_floatingObjects->add(WTFMove(floatingObject));
2321 }
2322
2323 void RenderBlockFlow::removeFloatingObject(RenderBox& floatBox)
2324 {
2325     if (m_floatingObjects) {
2326         const FloatingObjectSet& floatingObjectSet = m_floatingObjects->set();
2327         auto it = floatingObjectSet.find<RenderBox&, FloatingObjectHashTranslator>(floatBox);
2328         if (it != floatingObjectSet.end()) {
2329             auto& floatingObject = *it->get();
2330             if (childrenInline()) {
2331                 LayoutUnit logicalTop = logicalTopForFloat(floatingObject);
2332                 LayoutUnit logicalBottom = logicalBottomForFloat(floatingObject);
2333
2334                 // Fix for https://bugs.webkit.org/show_bug.cgi?id=54995.
2335                 if (logicalBottom < 0 || logicalBottom < logicalTop || logicalTop == LayoutUnit::max())
2336                     logicalBottom = LayoutUnit::max();
2337                 else {
2338                     // Special-case zero- and less-than-zero-height floats: those don't touch
2339                     // the line that they're on, but it still needs to be dirtied. This is
2340                     // accomplished by pretending they have a height of 1.
2341                     logicalBottom = std::max(logicalBottom, logicalTop + 1);
2342                 }
2343                 if (floatingObject.originatingLine()) {
2344                     floatingObject.originatingLine()->removeFloat(floatBox);
2345                     if (!selfNeedsLayout()) {
2346                         ASSERT(&floatingObject.originatingLine()->renderer() == this);
2347                         floatingObject.originatingLine()->markDirty();
2348                     }
2349 #if !ASSERT_DISABLED
2350                     floatingObject.setOriginatingLine(0);
2351 #endif
2352                 }
2353                 markLinesDirtyInBlockRange(0, logicalBottom);
2354             }
2355             m_floatingObjects->remove(&floatingObject);
2356         }
2357     }
2358 }
2359
2360 void RenderBlockFlow::removeFloatingObjectsBelow(FloatingObject* lastFloat, int logicalOffset)
2361 {
2362     if (!containsFloats())
2363         return;
2364     
2365     const FloatingObjectSet& floatingObjectSet = m_floatingObjects->set();
2366     FloatingObject* curr = floatingObjectSet.last().get();
2367     while (curr != lastFloat && (!curr->isPlaced() || logicalTopForFloat(*curr) >= logicalOffset)) {
2368         m_floatingObjects->remove(curr);
2369         if (floatingObjectSet.isEmpty())
2370             break;
2371         curr = floatingObjectSet.last().get();
2372     }
2373 }
2374
2375 LayoutUnit RenderBlockFlow::logicalLeftOffsetForPositioningFloat(LayoutUnit logicalTop, LayoutUnit fixedOffset, bool applyTextIndent, LayoutUnit* heightRemaining) const
2376 {
2377     LayoutUnit offset = fixedOffset;
2378     if (m_floatingObjects && m_floatingObjects->hasLeftObjects())
2379         offset = m_floatingObjects->logicalLeftOffsetForPositioningFloat(fixedOffset, logicalTop, heightRemaining);
2380     return adjustLogicalLeftOffsetForLine(offset, applyTextIndent);
2381 }
2382
2383 LayoutUnit RenderBlockFlow::logicalRightOffsetForPositioningFloat(LayoutUnit logicalTop, LayoutUnit fixedOffset, bool applyTextIndent, LayoutUnit* heightRemaining) const
2384 {
2385     LayoutUnit offset = fixedOffset;
2386     if (m_floatingObjects && m_floatingObjects->hasRightObjects())
2387         offset = m_floatingObjects->logicalRightOffsetForPositioningFloat(fixedOffset, logicalTop, heightRemaining);
2388     return adjustLogicalRightOffsetForLine(offset, applyTextIndent);
2389 }
2390
2391 LayoutPoint RenderBlockFlow::computeLogicalLocationForFloat(const FloatingObject& floatingObject, LayoutUnit logicalTopOffset)
2392 {
2393     auto& childBox = floatingObject.renderer();
2394     LayoutUnit logicalLeftOffset = logicalLeftOffsetForContent(logicalTopOffset); // Constant part of left offset.
2395     LayoutUnit logicalRightOffset = logicalRightOffsetForContent(logicalTopOffset); // Constant part of right offset.
2396
2397     LayoutUnit floatLogicalWidth = std::min(logicalWidthForFloat(floatingObject), logicalRightOffset - logicalLeftOffset); // The width we look for.
2398
2399     LayoutUnit floatLogicalLeft;
2400
2401     bool insideFlowThread = flowThreadContainingBlock();
2402     bool isInitialLetter = childBox.style().styleType() == FIRST_LETTER && childBox.style().initialLetterDrop() > 0;
2403     
2404     if (isInitialLetter) {
2405         int letterClearance = lowestInitialLetterLogicalBottom() - logicalTopOffset;
2406         if (letterClearance > 0) {
2407             logicalTopOffset += letterClearance;
2408             setLogicalHeight(logicalHeight() + letterClearance);
2409         }
2410     }
2411     
2412     if (childBox.style().floating() == LeftFloat) {
2413         LayoutUnit heightRemainingLeft = 1;
2414         LayoutUnit heightRemainingRight = 1;
2415         floatLogicalLeft = logicalLeftOffsetForPositioningFloat(logicalTopOffset, logicalLeftOffset, false, &heightRemainingLeft);
2416         while (logicalRightOffsetForPositioningFloat(logicalTopOffset, logicalRightOffset, false, &heightRemainingRight) - floatLogicalLeft < floatLogicalWidth) {
2417             logicalTopOffset += std::min(heightRemainingLeft, heightRemainingRight);
2418             floatLogicalLeft = logicalLeftOffsetForPositioningFloat(logicalTopOffset, logicalLeftOffset, false, &heightRemainingLeft);
2419             if (insideFlowThread) {
2420                 // Have to re-evaluate all of our offsets, since they may have changed.
2421                 logicalRightOffset = logicalRightOffsetForContent(logicalTopOffset); // Constant part of right offset.
2422                 logicalLeftOffset = logicalLeftOffsetForContent(logicalTopOffset); // Constant part of left offset.
2423                 floatLogicalWidth = std::min(logicalWidthForFloat(floatingObject), logicalRightOffset - logicalLeftOffset);
2424             }
2425         }
2426         floatLogicalLeft = std::max(logicalLeftOffset - borderAndPaddingLogicalLeft(), floatLogicalLeft);
2427     } else {
2428         LayoutUnit heightRemainingLeft = 1;
2429         LayoutUnit heightRemainingRight = 1;
2430         floatLogicalLeft = logicalRightOffsetForPositioningFloat(logicalTopOffset, logicalRightOffset, false, &heightRemainingRight);
2431         while (floatLogicalLeft - logicalLeftOffsetForPositioningFloat(logicalTopOffset, logicalLeftOffset, false, &heightRemainingLeft) < floatLogicalWidth) {
2432             logicalTopOffset += std::min(heightRemainingLeft, heightRemainingRight);
2433             floatLogicalLeft = logicalRightOffsetForPositioningFloat(logicalTopOffset, logicalRightOffset, false, &heightRemainingRight);
2434             if (insideFlowThread) {
2435                 // Have to re-evaluate all of our offsets, since they may have changed.
2436                 logicalRightOffset = logicalRightOffsetForContent(logicalTopOffset); // Constant part of right offset.
2437                 logicalLeftOffset = logicalLeftOffsetForContent(logicalTopOffset); // Constant part of left offset.
2438                 floatLogicalWidth = std::min(logicalWidthForFloat(floatingObject), logicalRightOffset - logicalLeftOffset);
2439             }
2440         }
2441         // Use the original width of the float here, since the local variable
2442         // |floatLogicalWidth| was capped to the available line width. See
2443         // fast/block/float/clamped-right-float.html.
2444         floatLogicalLeft -= logicalWidthForFloat(floatingObject);
2445     }
2446     
2447     if (isInitialLetter) {
2448         const RenderStyle& style = firstLineStyle();
2449         const FontMetrics& fontMetrics = style.fontMetrics();
2450         if (fontMetrics.hasCapHeight()) {
2451             LayoutUnit heightOfLine = lineHeight(true, isHorizontalWritingMode() ? HorizontalLine : VerticalLine, PositionOfInteriorLineBoxes);
2452             LayoutUnit beforeMarginBorderPadding = childBox.borderAndPaddingBefore() + childBox.marginBefore();
2453             
2454             // Make an adjustment to align with the cap height of a theoretical block line.
2455             LayoutUnit adjustment = fontMetrics.ascent() + (heightOfLine - fontMetrics.height()) / 2 - fontMetrics.capHeight() - beforeMarginBorderPadding;
2456             logicalTopOffset += adjustment;
2457            
2458             // For sunken and raised caps, we have to make some adjustments. Test if we're sunken or raised (dropHeightDelta will be
2459             // positive for raised and negative for sunken).
2460             int dropHeightDelta = childBox.style().initialLetterHeight() - childBox.style().initialLetterDrop();
2461             
2462             // If we're sunken, the float needs to shift down but lines still need to avoid it. In order to do that we increase the float's margin.
2463             if (dropHeightDelta < 0) {
2464                 LayoutUnit marginTopIncrease = -dropHeightDelta * heightOfLine;
2465                 childBox.setMarginBefore(childBox.marginTop() + marginTopIncrease);
2466             }
2467             
2468             // If we're raised, then we actually have to grow the height of the block, since the lines have to be pushed down as though we're placing
2469             // empty lines beside the first letter.
2470             if (dropHeightDelta > 0)
2471                 setLogicalHeight(logicalHeight() + dropHeightDelta * heightOfLine);
2472         }
2473     }
2474     
2475     return LayoutPoint(floatLogicalLeft, logicalTopOffset);
2476 }
2477
2478 bool RenderBlockFlow::positionNewFloats()
2479 {
2480     if (!m_floatingObjects)
2481         return false;
2482
2483     const FloatingObjectSet& floatingObjectSet = m_floatingObjects->set();
2484     if (floatingObjectSet.isEmpty())
2485         return false;
2486
2487     // If all floats have already been positioned, then we have no work to do.
2488     if (floatingObjectSet.last()->isPlaced())
2489         return false;
2490
2491     // Move backwards through our floating object list until we find a float that has
2492     // already been positioned. Then we'll be able to move forward, positioning all of
2493     // the new floats that need it.
2494     auto it = floatingObjectSet.end();
2495     --it; // Go to last item.
2496     auto begin = floatingObjectSet.begin();
2497     FloatingObject* lastPlacedFloatingObject = 0;
2498     while (it != begin) {
2499         --it;
2500         if ((*it)->isPlaced()) {
2501             lastPlacedFloatingObject = it->get();
2502             ++it;
2503             break;
2504         }
2505     }
2506
2507     LayoutUnit logicalTop = logicalHeight();
2508     
2509     // The float cannot start above the top position of the last positioned float.
2510     if (lastPlacedFloatingObject)
2511         logicalTop = std::max(logicalTopForFloat(*lastPlacedFloatingObject), logicalTop);
2512
2513     auto end = floatingObjectSet.end();
2514     // Now walk through the set of unpositioned floats and place them.
2515     for (; it != end; ++it) {
2516         auto& floatingObject = *it->get();
2517         // The containing block is responsible for positioning floats, so if we have floats in our
2518         // list that come from somewhere else, do not attempt to position them.
2519         auto& childBox = floatingObject.renderer();
2520         if (childBox.containingBlock() != this)
2521             continue;
2522
2523         LayoutUnit childLogicalLeftMargin = style().isLeftToRightDirection() ? marginStartForChild(childBox) : marginEndForChild(childBox);
2524
2525         LayoutRect oldRect = childBox.frameRect();
2526
2527         if (childBox.style().clear() & CLEFT)
2528             logicalTop = std::max(lowestFloatLogicalBottom(FloatingObject::FloatLeft), logicalTop);
2529         if (childBox.style().clear() & CRIGHT)
2530             logicalTop = std::max(lowestFloatLogicalBottom(FloatingObject::FloatRight), logicalTop);
2531
2532         LayoutPoint floatLogicalLocation = computeLogicalLocationForFloat(floatingObject, logicalTop);
2533
2534         setLogicalLeftForFloat(floatingObject, floatLogicalLocation.x());
2535
2536         setLogicalLeftForChild(childBox, floatLogicalLocation.x() + childLogicalLeftMargin);
2537         setLogicalTopForChild(childBox, floatLogicalLocation.y() + marginBeforeForChild(childBox));
2538
2539         estimateRegionRangeForBoxChild(childBox);
2540
2541         childBox.markForPaginationRelayoutIfNeeded();
2542         childBox.layoutIfNeeded();
2543         
2544         LayoutState* layoutState = view().layoutState();
2545         bool isPaginated = layoutState->isPaginated();
2546         if (isPaginated) {
2547             // If we are unsplittable and don't fit, then we need to move down.
2548             // We include our margins as part of the unsplittable area.
2549             LayoutUnit newLogicalTop = adjustForUnsplittableChild(childBox, floatLogicalLocation.y(), true);
2550             
2551             // See if we have a pagination strut that is making us move down further.
2552             // Note that an unsplittable child can't also have a pagination strut, so this is
2553             // exclusive with the case above.
2554             RenderBlock* childBlock = is<RenderBlock>(childBox) ? &downcast<RenderBlock>(childBox) : nullptr;
2555             if (childBlock && childBlock->paginationStrut()) {
2556                 newLogicalTop += childBlock->paginationStrut();
2557                 childBlock->setPaginationStrut(0);
2558             }
2559             
2560             if (newLogicalTop != floatLogicalLocation.y()) {
2561                 floatingObject.setPaginationStrut(newLogicalTop - floatLogicalLocation.y());
2562
2563                 floatLogicalLocation = computeLogicalLocationForFloat(floatingObject, newLogicalTop);
2564                 setLogicalLeftForFloat(floatingObject, floatLogicalLocation.x());
2565
2566                 setLogicalLeftForChild(childBox, floatLogicalLocation.x() + childLogicalLeftMargin);
2567                 setLogicalTopForChild(childBox, floatLogicalLocation.y() + marginBeforeForChild(childBox));
2568         
2569                 if (childBlock)
2570                     childBlock->setChildNeedsLayout(MarkOnlyThis);
2571                 childBox.layoutIfNeeded();
2572             }
2573
2574             if (updateRegionRangeForBoxChild(childBox)) {
2575                 childBox.setNeedsLayout(MarkOnlyThis);
2576                 childBox.layoutIfNeeded();
2577             }
2578         }
2579
2580         setLogicalTopForFloat(floatingObject, floatLogicalLocation.y());
2581
2582         setLogicalHeightForFloat(floatingObject, logicalHeightForChildForFragmentation(childBox) + marginBeforeForChild(childBox) + marginAfterForChild(childBox));
2583
2584         m_floatingObjects->addPlacedObject(&floatingObject);
2585
2586         if (ShapeOutsideInfo* shapeOutside = childBox.shapeOutsideInfo())
2587             shapeOutside->setReferenceBoxLogicalSize(logicalSizeForChild(childBox));
2588         // If the child moved, we have to repaint it.
2589         if (childBox.checkForRepaintDuringLayout())
2590             childBox.repaintDuringLayoutIfMoved(oldRect);
2591     }
2592     return true;
2593 }
2594
2595 void RenderBlockFlow::clearFloats(EClear clear)
2596 {
2597     positionNewFloats();
2598     // set y position
2599     LayoutUnit newY = 0;
2600     switch (clear) {
2601     case CLEFT:
2602         newY = lowestFloatLogicalBottom(FloatingObject::FloatLeft);
2603         break;
2604     case CRIGHT:
2605         newY = lowestFloatLogicalBottom(FloatingObject::FloatRight);
2606         break;
2607     case CBOTH:
2608         newY = lowestFloatLogicalBottom();
2609         break;
2610     default:
2611         break;
2612     }
2613     if (height() < newY)
2614         setLogicalHeight(newY);
2615 }
2616
2617 LayoutUnit RenderBlockFlow::logicalLeftFloatOffsetForLine(LayoutUnit logicalTop, LayoutUnit fixedOffset, LayoutUnit logicalHeight) const
2618 {
2619     if (m_floatingObjects && m_floatingObjects->hasLeftObjects())
2620         return m_floatingObjects->logicalLeftOffset(fixedOffset, logicalTop, logicalHeight);
2621
2622     return fixedOffset;
2623 }
2624
2625 LayoutUnit RenderBlockFlow::logicalRightFloatOffsetForLine(LayoutUnit logicalTop, LayoutUnit fixedOffset, LayoutUnit logicalHeight) const
2626 {
2627     if (m_floatingObjects && m_floatingObjects->hasRightObjects())
2628         return m_floatingObjects->logicalRightOffset(fixedOffset, logicalTop, logicalHeight);
2629
2630     return fixedOffset;
2631 }
2632
2633 LayoutUnit RenderBlockFlow::nextFloatLogicalBottomBelow(LayoutUnit logicalHeight) const
2634 {
2635     if (!m_floatingObjects)
2636         return logicalHeight;
2637
2638     return m_floatingObjects->findNextFloatLogicalBottomBelow(logicalHeight);
2639 }
2640
2641 LayoutUnit RenderBlockFlow::nextFloatLogicalBottomBelowForBlock(LayoutUnit logicalHeight) const
2642 {
2643     if (!m_floatingObjects)
2644         return logicalHeight;
2645
2646     return m_floatingObjects->findNextFloatLogicalBottomBelowForBlock(logicalHeight);
2647 }
2648
2649 LayoutUnit RenderBlockFlow::lowestFloatLogicalBottom(FloatingObject::Type floatType) const
2650 {
2651     if (!m_floatingObjects)
2652         return 0;
2653     LayoutUnit lowestFloatBottom = 0;
2654     const FloatingObjectSet& floatingObjectSet = m_floatingObjects->set();
2655     auto end = floatingObjectSet.end();
2656     for (auto it = floatingObjectSet.begin(); it != end; ++it) {
2657         const auto& floatingObject = *it->get();
2658         if (floatingObject.isPlaced() && floatingObject.type() & floatType)
2659             lowestFloatBottom = std::max(lowestFloatBottom, logicalBottomForFloat(floatingObject));
2660     }
2661     return lowestFloatBottom;
2662 }
2663
2664 LayoutUnit RenderBlockFlow::lowestInitialLetterLogicalBottom() const
2665 {
2666     if (!m_floatingObjects)
2667         return 0;
2668     LayoutUnit lowestFloatBottom = 0;
2669     const FloatingObjectSet& floatingObjectSet = m_floatingObjects->set();
2670     auto end = floatingObjectSet.end();
2671     for (auto it = floatingObjectSet.begin(); it != end; ++it) {
2672         const auto& floatingObject = *it->get();
2673         if (floatingObject.isPlaced() && floatingObject.renderer().style().styleType() == FIRST_LETTER && floatingObject.renderer().style().initialLetterDrop() > 0)
2674             lowestFloatBottom = std::max(lowestFloatBottom, logicalBottomForFloat(floatingObject));
2675     }
2676     return lowestFloatBottom;
2677 }
2678
2679 LayoutUnit RenderBlockFlow::addOverhangingFloats(RenderBlockFlow& child, bool makeChildPaintOtherFloats)
2680 {
2681     // Prevent floats from being added to the canvas by the root element, e.g., <html>.
2682     if (!child.containsFloats() || child.createsNewFormattingContext())
2683         return 0;
2684
2685     LayoutUnit childLogicalTop = child.logicalTop();
2686     LayoutUnit childLogicalLeft = child.logicalLeft();
2687     LayoutUnit lowestFloatLogicalBottom = 0;
2688
2689     // Floats that will remain the child's responsibility to paint should factor into its
2690     // overflow.
2691     auto childEnd = child.m_floatingObjects->set().end();
2692     for (auto childIt = child.m_floatingObjects->set().begin(); childIt != childEnd; ++childIt) {
2693         auto& floatingObject = *childIt->get();
2694         LayoutUnit floatLogicalBottom = std::min(logicalBottomForFloat(floatingObject), LayoutUnit::max() - childLogicalTop);
2695         LayoutUnit logicalBottom = childLogicalTop + floatLogicalBottom;
2696         lowestFloatLogicalBottom = std::max(lowestFloatLogicalBottom, logicalBottom);
2697
2698         if (logicalBottom > logicalHeight()) {
2699             // If the object is not in the list, we add it now.
2700             if (!containsFloat(floatingObject.renderer())) {
2701                 LayoutSize offset = isHorizontalWritingMode() ? LayoutSize(-childLogicalLeft, -childLogicalTop) : LayoutSize(-childLogicalTop, -childLogicalLeft);
2702                 bool shouldPaint = false;
2703
2704                 // The nearest enclosing layer always paints the float (so that zindex and stacking
2705                 // behaves properly). We always want to propagate the desire to paint the float as
2706                 // far out as we can, to the outermost block that overlaps the float, stopping only
2707                 // if we hit a self-painting layer boundary.
2708                 if (floatingObject.renderer().enclosingFloatPaintingLayer() == enclosingFloatPaintingLayer()) {
2709                     floatingObject.setShouldPaint(false);
2710                     shouldPaint = true;
2711                 }
2712                 // We create the floating object list lazily.
2713                 if (!m_floatingObjects)
2714                     createFloatingObjects();
2715
2716                 m_floatingObjects->add(floatingObject.copyToNewContainer(offset, shouldPaint, true));
2717             }
2718         } else {
2719             const auto& renderer = floatingObject.renderer();
2720             if (makeChildPaintOtherFloats && !floatingObject.shouldPaint() && !renderer.hasSelfPaintingLayer()
2721                 && renderer.isDescendantOf(&child) && renderer.enclosingFloatPaintingLayer() == child.enclosingFloatPaintingLayer()) {
2722                 // The float is not overhanging from this block, so if it is a descendant of the child, the child should
2723                 // paint it (the other case is that it is intruding into the child), unless it has its own layer or enclosing
2724                 // layer.
2725                 // If makeChildPaintOtherFloats is false, it means that the child must already know about all the floats
2726                 // it should paint.
2727                 floatingObject.setShouldPaint(true);
2728             }
2729             
2730             // Since the float doesn't overhang, it didn't get put into our list. We need to add its overflow in to the child now.
2731             if (floatingObject.isDescendant())
2732                 child.addOverflowFromChild(&renderer, LayoutSize(xPositionForFloatIncludingMargin(floatingObject), yPositionForFloatIncludingMargin(floatingObject)));
2733         }
2734     }
2735     return lowestFloatLogicalBottom;
2736 }
2737
2738 bool RenderBlockFlow::hasOverhangingFloat(RenderBox& renderer)
2739 {
2740     if (!m_floatingObjects || !parent())
2741         return false;
2742
2743     const FloatingObjectSet& floatingObjectSet = m_floatingObjects->set();
2744     const auto it = floatingObjectSet.find<RenderBox&, FloatingObjectHashTranslator>(renderer);
2745     if (it == floatingObjectSet.end())
2746         return false;
2747
2748     return logicalBottomForFloat(*it->get()) > logicalHeight();
2749 }
2750
2751 void RenderBlockFlow::addIntrudingFloats(RenderBlockFlow* prev, RenderBlockFlow* container, LayoutUnit logicalLeftOffset, LayoutUnit logicalTopOffset)
2752 {
2753     ASSERT(!avoidsFloats());
2754
2755     // If we create our own block formatting context then our contents don't interact with floats outside it, even those from our parent.
2756     if (createsNewFormattingContext())
2757         return;
2758
2759     // If the parent or previous sibling doesn't have any floats to add, don't bother.
2760     if (!prev->m_floatingObjects)
2761         return;
2762
2763     logicalLeftOffset += marginLogicalLeft();
2764
2765     const FloatingObjectSet& prevSet = prev->m_floatingObjects->set();
2766     auto prevEnd = prevSet.end();
2767     for (auto prevIt = prevSet.begin(); prevIt != prevEnd; ++prevIt) {
2768         auto& floatingObject = *prevIt->get();
2769         if (logicalBottomForFloat(floatingObject) > logicalTopOffset) {
2770             if (!m_floatingObjects || !m_floatingObjects->set().contains<FloatingObject&, FloatingObjectHashTranslator>(floatingObject)) {
2771                 // We create the floating object list lazily.
2772                 if (!m_floatingObjects)
2773                     createFloatingObjects();
2774
2775                 // Applying the child's margin makes no sense in the case where the child was passed in.
2776                 // since this margin was added already through the modification of the |logicalLeftOffset| variable
2777                 // above. |logicalLeftOffset| will equal the margin in this case, so it's already been taken
2778                 // into account. Only apply this code if prev is the parent, since otherwise the left margin
2779                 // will get applied twice.
2780                 LayoutSize offset = isHorizontalWritingMode()
2781                     ? LayoutSize(logicalLeftOffset - (prev != container ? prev->marginLeft() : LayoutUnit()), logicalTopOffset)
2782                     : LayoutSize(logicalTopOffset, logicalLeftOffset - (prev != container ? prev->marginTop() : LayoutUnit()));
2783
2784                 m_floatingObjects->add(floatingObject.copyToNewContainer(offset));
2785             }
2786         }
2787     }
2788 }
2789
2790 void RenderBlockFlow::markAllDescendantsWithFloatsForLayout(RenderBox* floatToRemove, bool inLayout)
2791 {
2792     if (!everHadLayout() && !containsFloats())
2793         return;
2794
2795     MarkingBehavior markParents = inLayout ? MarkOnlyThis : MarkContainingBlockChain;
2796     setChildNeedsLayout(markParents);
2797
2798     if (floatToRemove)
2799         removeFloatingObject(*floatToRemove);
2800     else if (childrenInline())
2801         return;
2802
2803     // Iterate over our block children and mark them as needed.
2804     for (auto& block : childrenOfType<RenderBlock>(*this)) {
2805         if (!floatToRemove && block.isFloatingOrOutOfFlowPositioned())
2806             continue;
2807         if (!is<RenderBlockFlow>(block)) {
2808             if (block.shrinkToAvoidFloats() && block.everHadLayout())
2809                 block.setChildNeedsLayout(markParents);
2810             continue;
2811         }
2812         auto& blockFlow = downcast<RenderBlockFlow>(block);
2813         if ((floatToRemove ? blockFlow.containsFloat(*floatToRemove) : blockFlow.containsFloats()) || blockFlow.shrinkToAvoidFloats())
2814             blockFlow.markAllDescendantsWithFloatsForLayout(floatToRemove, inLayout);
2815     }
2816 }
2817
2818 void RenderBlockFlow::markSiblingsWithFloatsForLayout(RenderBox* floatToRemove)
2819 {
2820     if (!m_floatingObjects)
2821         return;
2822
2823     const FloatingObjectSet& floatingObjectSet = m_floatingObjects->set();
2824     auto end = floatingObjectSet.end();
2825
2826     for (RenderObject* next = nextSibling(); next; next = next->nextSibling()) {
2827         if (!is<RenderBlockFlow>(*next) || next->isFloatingOrOutOfFlowPositioned())
2828             continue;
2829
2830         RenderBlockFlow& nextBlock = downcast<RenderBlockFlow>(*next);
2831         for (auto it = floatingObjectSet.begin(); it != end; ++it) {
2832             RenderBox& floatingBox = (*it)->renderer();
2833             if (floatToRemove && &floatingBox != floatToRemove)
2834                 continue;
2835             if (nextBlock.containsFloat(floatingBox))
2836                 nextBlock.markAllDescendantsWithFloatsForLayout(&floatingBox);
2837         }
2838     }
2839 }
2840
2841 LayoutPoint RenderBlockFlow::flipFloatForWritingModeForChild(const FloatingObject& child, const LayoutPoint& point) const
2842 {
2843     if (!style().isFlippedBlocksWritingMode())
2844         return point;
2845     
2846     // This is similar to RenderBox::flipForWritingModeForChild. We have to subtract out our left/top offsets twice, since
2847     // it's going to get added back in. We hide this complication here so that the calling code looks normal for the unflipped
2848     // case.
2849     if (isHorizontalWritingMode())
2850         return LayoutPoint(point.x(), point.y() + height() - child.renderer().height() - 2 * yPositionForFloatIncludingMargin(child));
2851     return LayoutPoint(point.x() + width() - child.renderer().width() - 2 * xPositionForFloatIncludingMargin(child), point.y());
2852 }
2853
2854 LayoutUnit RenderBlockFlow::getClearDelta(RenderBox& child, LayoutUnit logicalTop)
2855 {
2856     // There is no need to compute clearance if we have no floats.
2857     if (!containsFloats())
2858         return 0;
2859     
2860     // At least one float is present. We need to perform the clearance computation.
2861     bool clearSet = child.style().clear() != CNONE;
2862     LayoutUnit logicalBottom = 0;
2863     switch (child.style().clear()) {
2864     case CNONE:
2865         break;
2866     case CLEFT:
2867         logicalBottom = lowestFloatLogicalBottom(FloatingObject::FloatLeft);
2868         break;
2869     case CRIGHT:
2870         logicalBottom = lowestFloatLogicalBottom(FloatingObject::FloatRight);
2871         break;
2872     case CBOTH:
2873         logicalBottom = lowestFloatLogicalBottom();
2874         break;
2875     }
2876
2877     // We also clear floats if we are too big to sit on the same line as a float (and wish to avoid floats by default).
2878     LayoutUnit result = clearSet ? std::max<LayoutUnit>(0, logicalBottom - logicalTop) : LayoutUnit();
2879     if (!result && child.avoidsFloats()) {
2880         LayoutUnit newLogicalTop = logicalTop;
2881         while (true) {
2882             LayoutUnit availableLogicalWidthAtNewLogicalTopOffset = availableLogicalWidthForLine(newLogicalTop, DoNotIndentText, logicalHeightForChild(child));
2883             if (availableLogicalWidthAtNewLogicalTopOffset == availableLogicalWidthForContent(newLogicalTop))
2884                 return newLogicalTop - logicalTop;
2885
2886             RenderRegion* region = regionAtBlockOffset(logicalTopForChild(child));
2887             LayoutRect borderBox = child.borderBoxRectInRegion(region, DoNotCacheRenderBoxRegionInfo);
2888             LayoutUnit childLogicalWidthAtOldLogicalTopOffset = isHorizontalWritingMode() ? borderBox.width() : borderBox.height();
2889
2890             // FIXME: None of this is right for perpendicular writing-mode children.
2891             LayoutUnit childOldLogicalWidth = child.logicalWidth();
2892             LayoutUnit childOldMarginLeft = child.marginLeft();
2893             LayoutUnit childOldMarginRight = child.marginRight();
2894             LayoutUnit childOldLogicalTop = child.logicalTop();
2895
2896             child.setLogicalTop(newLogicalTop);
2897             child.updateLogicalWidth();
2898             region = regionAtBlockOffset(logicalTopForChild(child));
2899             borderBox = child.borderBoxRectInRegion(region, DoNotCacheRenderBoxRegionInfo);
2900             LayoutUnit childLogicalWidthAtNewLogicalTopOffset = isHorizontalWritingMode() ? borderBox.width() : borderBox.height();
2901
2902             child.setLogicalTop(childOldLogicalTop);
2903             child.setLogicalWidth(childOldLogicalWidth);
2904             child.setMarginLeft(childOldMarginLeft);
2905             child.setMarginRight(childOldMarginRight);
2906             
2907             if (childLogicalWidthAtNewLogicalTopOffset <= availableLogicalWidthAtNewLogicalTopOffset) {
2908                 // Even though we may not be moving, if the logical width did shrink because of the presence of new floats, then
2909                 // we need to force a relayout as though we shifted. This happens because of the dynamic addition of overhanging floats
2910                 // from previous siblings when negative margins exist on a child (see the addOverhangingFloats call at the end of collapseMargins).
2911                 if (childLogicalWidthAtOldLogicalTopOffset != childLogicalWidthAtNewLogicalTopOffset)
2912                     child.setChildNeedsLayout(MarkOnlyThis);
2913                 return newLogicalTop - logicalTop;
2914             }
2915
2916             newLogicalTop = nextFloatLogicalBottomBelowForBlock(newLogicalTop);
2917             ASSERT(newLogicalTop >= logicalTop);
2918             if (newLogicalTop < logicalTop)
2919                 break;
2920         }
2921         ASSERT_NOT_REACHED();
2922     }
2923     return result;
2924 }
2925
2926 bool RenderBlockFlow::hitTestFloats(const HitTestRequest& request, HitTestResult& result, const HitTestLocation& locationInContainer, const LayoutPoint& accumulatedOffset)
2927 {
2928     if (!m_floatingObjects)
2929         return false;
2930
2931     LayoutPoint adjustedLocation = accumulatedOffset;
2932     if (is<RenderView>(*this))
2933         adjustedLocation += toLayoutSize(downcast<RenderView>(*this).frameView().scrollPosition());
2934
2935     const FloatingObjectSet& floatingObjectSet = m_floatingObjects->set();
2936     auto begin = floatingObjectSet.begin();
2937     for (auto it = floatingObjectSet.end(); it != begin;) {
2938         --it;
2939         const auto& floatingObject = *it->get();
2940         auto& renderer = floatingObject.renderer();
2941         if (floatingObject.shouldPaint() && !renderer.hasSelfPaintingLayer()) {
2942             LayoutUnit xOffset = xPositionForFloatIncludingMargin(floatingObject) - renderer.x();
2943             LayoutUnit yOffset = yPositionForFloatIncludingMargin(floatingObject) - renderer.y();
2944             LayoutPoint childPoint = flipFloatForWritingModeForChild(floatingObject, adjustedLocation + LayoutSize(xOffset, yOffset));
2945             if (renderer.hitTest(request, result, locationInContainer, childPoint)) {
2946                 updateHitTestResult(result, locationInContainer.point() - toLayoutSize(childPoint));
2947                 return true;
2948             }
2949         }
2950     }
2951
2952     return false;
2953 }
2954
2955 bool RenderBlockFlow::hitTestInlineChildren(const HitTestRequest& request, HitTestResult& result, const HitTestLocation& locationInContainer, const LayoutPoint& accumulatedOffset, HitTestAction hitTestAction)
2956 {
2957     ASSERT(childrenInline());
2958
2959     if (auto simpleLineLayout = this->simpleLineLayout())
2960         return SimpleLineLayout::hitTestFlow(*this, *simpleLineLayout, request, result, locationInContainer, accumulatedOffset, hitTestAction);
2961
2962     return m_lineBoxes.hitTest(this, request, result, locationInContainer, accumulatedOffset, hitTestAction);
2963 }
2964
2965 void RenderBlockFlow::adjustForBorderFit(LayoutUnit x, LayoutUnit& left, LayoutUnit& right) const
2966 {
2967     if (style().visibility() != VISIBLE)
2968         return;
2969
2970     // We don't deal with relative positioning.  Our assumption is that you shrink to fit the lines without accounting
2971     // for either overflow or translations via relative positioning.
2972     if (childrenInline()) {
2973         const_cast<RenderBlockFlow&>(*this).ensureLineBoxes();
2974
2975         for (auto* box = firstRootBox(); box; box = box->nextRootBox()) {
2976             if (box->firstChild())
2977                 left = std::min(left, x + LayoutUnit(box->firstChild()->x()));
2978             if (box->lastChild())
2979                 right = std::max(right, x + LayoutUnit(ceilf(box->lastChild()->logicalRight())));
2980         }
2981     } else {
2982         for (RenderBox* obj = firstChildBox(); obj; obj = obj->nextSiblingBox()) {
2983             if (!obj->isFloatingOrOutOfFlowPositioned()) {
2984                 if (is<RenderBlockFlow>(*obj) && !obj->hasOverflowClip())
2985                     downcast<RenderBlockFlow>(*obj).adjustForBorderFit(x + obj->x(), left, right);
2986                 else if (obj->style().visibility() == VISIBLE) {
2987                     // We are a replaced element or some kind of non-block-flow object.
2988                     left = std::min(left, x + obj->x());
2989                     right = std::max(right, x + obj->x() + obj->width());
2990                 }
2991             }
2992         }
2993     }
2994
2995     if (m_floatingObjects) {
2996         const FloatingObjectSet& floatingObjectSet = m_floatingObjects->set();
2997         auto end = floatingObjectSet.end();
2998         for (auto it = floatingObjectSet.begin(); it != end; ++it) {
2999             const auto& floatingObject = *it->get();
3000             // Only examine the object if our m_shouldPaint flag is set.
3001             if (floatingObject.shouldPaint()) {
3002                 LayoutUnit floatLeft = xPositionForFloatIncludingMargin(floatingObject) - floatingObject.renderer().x();
3003                 LayoutUnit floatRight = floatLeft + floatingObject.renderer().width();
3004                 left = std::min(left, floatLeft);
3005                 right = std::max(right, floatRight);
3006             }
3007         }
3008     }
3009 }
3010
3011 void RenderBlockFlow::fitBorderToLinesIfNeeded()
3012 {
3013     if (style().borderFit() == BorderFitBorder || hasOverrideLogicalContentWidth())
3014         return;
3015
3016     // Walk any normal flow lines to snugly fit.
3017     LayoutUnit left = LayoutUnit::max();
3018     LayoutUnit right = LayoutUnit::min();
3019     LayoutUnit oldWidth = contentWidth();
3020     adjustForBorderFit(0, left, right);
3021     
3022     // Clamp to our existing edges. We can never grow. We only shrink.
3023     LayoutUnit leftEdge = borderLeft() + paddingLeft();
3024     LayoutUnit rightEdge = leftEdge + oldWidth;
3025     left = std::min(rightEdge, std::max(leftEdge, left));
3026     right = std::max(leftEdge, std::min(rightEdge, right));
3027     
3028     LayoutUnit newContentWidth = right - left;
3029     if (newContentWidth == oldWidth)
3030         return;
3031     
3032     setOverrideLogicalContentWidth(newContentWidth);
3033     layoutBlock(false);
3034     clearOverrideLogicalContentWidth();
3035 }
3036
3037 void RenderBlockFlow::markLinesDirtyInBlockRange(LayoutUnit logicalTop, LayoutUnit logicalBottom, RootInlineBox* highest)
3038 {
3039     if (logicalTop >= logicalBottom)
3040         return;
3041
3042     // Floats currently affect the choice whether to use simple line layout path.
3043     if (m_simpleLineLayout) {
3044         invalidateLineLayoutPath();
3045         return;
3046     }
3047
3048     RootInlineBox* lowestDirtyLine = lastRootBox();
3049     RootInlineBox* afterLowest = lowestDirtyLine;
3050     while (lowestDirtyLine && lowestDirtyLine->lineBottomWithLeading() >= logicalBottom && logicalBottom < LayoutUnit::max()) {
3051         afterLowest = lowestDirtyLine;
3052         lowestDirtyLine = lowestDirtyLine->prevRootBox();
3053     }
3054
3055     while (afterLowest && afterLowest != highest && (afterLowest->lineBottomWithLeading() >= logicalTop || afterLowest->lineBottomWithLeading() < 0)) {
3056         afterLowest->markDirty();
3057         afterLowest = afterLowest->prevRootBox();
3058     }
3059 }
3060
3061 std::optional<int> RenderBlockFlow::firstLineBaseline() const
3062 {
3063     if (isWritingModeRoot() && !isRubyRun())
3064         return std::optional<int>();
3065
3066     if (!childrenInline())
3067         return RenderBlock::firstLineBaseline();
3068
3069     if (!hasLines())
3070         return std::optional<int>();
3071
3072     if (auto simpleLineLayout = this->simpleLineLayout())
3073         return std::optional<int>(SimpleLineLayout::computeFlowFirstLineBaseline(*this, *simpleLineLayout));
3074
3075     ASSERT(firstRootBox());
3076     return firstRootBox()->logicalTop() + firstLineStyle().fontMetrics().ascent(firstRootBox()->baselineType());
3077 }
3078
3079 std::optional<int> RenderBlockFlow::inlineBlockBaseline(LineDirectionMode lineDirection) const
3080 {
3081     if (isWritingModeRoot() && !isRubyRun())
3082         return std::optional<int>();
3083
3084     // Note that here we only take the left and bottom into consideration. Our caller takes the right and top into consideration.
3085     float boxHeight = lineDirection == HorizontalLine ? height() + m_marginBox.bottom() : width() + m_marginBox.left();
3086     float lastBaseline;
3087     if (!childrenInline()) {
3088         std::optional<int> inlineBlockBaseline = RenderBlock::inlineBlockBaseline(lineDirection);
3089         if (!inlineBlockBaseline)
3090             return inlineBlockBaseline;
3091         lastBaseline = inlineBlockBaseline.value();
3092     } else {
3093         if (!hasLines()) {
3094             if (!hasLineIfEmpty())
3095                 return std::optional<int>();
3096             const auto& fontMetrics = firstLineStyle().fontMetrics();
3097             return std::optional<int>(fontMetrics.ascent()
3098                 + (lineHeight(true, lineDirection, PositionOfInteriorLineBoxes) - fontMetrics.height()) / 2
3099                 + (lineDirection == HorizontalLine ? borderTop() + paddingTop() : borderRight() + paddingRight()));
3100         }
3101
3102         if (auto simpleLineLayout = this->simpleLineLayout())
3103             lastBaseline = SimpleLineLayout::computeFlowLastLineBaseline(*this, *simpleLineLayout);
3104         else {
3105             bool isFirstLine = lastRootBox() == firstRootBox();
3106             const auto& style = isFirstLine ? firstLineStyle() : this->style();
3107             lastBaseline = lastRootBox()->logicalTop() + style.fontMetrics().ascent(lastRootBox()->baselineType());
3108         }
3109     }
3110     // According to the CSS spec http://www.w3.org/TR/CSS21/visudet.html, we shouldn't be performing this min, but should
3111     // instead be returning boxHeight directly. However, we feel that a min here is better behavior (and is consistent
3112     // enough with the spec to not cause tons of breakages).
3113     return std::optional<int>(style().overflowY() == OVISIBLE ? lastBaseline : std::min(boxHeight, lastBaseline));
3114 }
3115
3116 void RenderBlockFlow::setSelectionState(SelectionState state)
3117 {
3118     if (state != SelectionNone)
3119         ensureLineBoxes();
3120     RenderBoxModelObject::setSelectionState(state);
3121 }
3122
3123 GapRects RenderBlockFlow::inlineSelectionGaps(RenderBlock& rootBlock, const LayoutPoint& rootBlockPhysicalPosition, const LayoutSize& offsetFromRootBlock,
3124     LayoutUnit& lastLogicalTop, LayoutUnit& lastLogicalLeft, LayoutUnit& lastLogicalRight, const LogicalSelectionOffsetCaches& cache, const PaintInfo* paintInfo)
3125 {
3126     ASSERT(!m_simpleLineLayout);
3127
3128     GapRects result;
3129
3130     bool containsStart = selectionState() == SelectionStart || selectionState() == SelectionBoth;
3131
3132     if (!hasLines()) {
3133         if (containsStart) {
3134             // Update our lastLogicalTop to be the bottom of the block. <hr>s or empty blocks with height can trip this case.
3135             lastLogicalTop = blockDirectionOffset(rootBlock, offsetFromRootBlock) + logicalHeight();
3136             lastLogicalLeft = logicalLeftSelectionOffset(rootBlock, logicalHeight(), cache);
3137             lastLogicalRight = logicalRightSelectionOffset(rootBlock, logicalHeight(), cache);
3138         }
3139         return result;
3140     }
3141
3142     RootInlineBox* lastSelectedLine = 0;
3143     RootInlineBox* curr;
3144     for (curr = firstRootBox(); curr && !curr->hasSelectedChildren(); curr = curr->nextRootBox()) { }
3145
3146     // Now paint the gaps for the lines.
3147     for (; curr && curr->hasSelectedChildren(); curr = curr->nextRootBox()) {
3148         LayoutUnit selTop =  curr->selectionTopAdjustedForPrecedingBlock();
3149         LayoutUnit selHeight = curr->selectionHeightAdjustedForPrecedingBlock();
3150
3151         if (!containsStart && !lastSelectedLine &&
3152             selectionState() != SelectionStart && selectionState() != SelectionBoth && !isRubyBase())
3153             result.uniteCenter(blockSelectionGap(rootBlock, rootBlockPhysicalPosition, offsetFromRootBlock, lastLogicalTop, lastLogicalLeft, lastLogicalRight, selTop, cache, paintInfo));