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