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