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