Auto merge of #9961 - mbrubeck:split-line-work-list, r=pcwalton

Fix work list order after split_line_at_last_known_good_position

This fixes a bug in line splitting caused by the following actions when `LineBreaker::split_line_at_last_known_good_position` is called:

1. Push some number of previous fragments onto the front of the work list.
2. Push the current fragment back onto the front work list.

This resulted in the work list being out of order.  The correct order is action 2 followed by action 1.  Fixes #9830. r? @pcwalton

<!-- Reviewable:start -->
---
This change is [<img src="https://reviewable.io/review_button.svg" height="35" align="absmiddle" alt="Review on Reviewable"/>](https://reviewable.io/reviews/servo/servo/9961)
<!-- Reviewable:end -->

components/layout/inline.rs

@@ -592,12 +592,7 @@ impl LineBreaker {
         // known good split point.
         if !fragment.white_space().allow_wrap() {
             debug!("LineBreaker: fragment can't split; falling back to last known good split point");
-            if !self.split_line_at_last_known_good_position() {
+            self.split_line_at_last_known_good_position(layout_context, fragment, line_flush_mode);
-                // No line breaking opportunity exists at all for this line. Overflow.
-                self.push_fragment_to_line(layout_context, fragment, line_flush_mode);
-            } else {
-                self.work_list.push_front(fragment);
-            }
             return;
         }
 
@@ -616,14 +611,10 @@ impl LineBreaker {
                     debug!("LineBreaker: fragment was unsplittable; deferring to next line");
                     self.work_list.push_front(fragment);
                     self.flush_current_line();
-                } else if self.split_line_at_last_known_good_position() {
-                    // We split the line at a known-good prior position. Restart with the current
-                    // fragment.
-                    self.work_list.push_front(fragment)
                 } else {
-                    // We failed to split and there is no known-good place on this line to split.
+                    self.split_line_at_last_known_good_position(layout_context,
-                    // Overflow.
+                                                                fragment,
-                    self.push_fragment_to_line(layout_context, fragment, LineFlushMode::No)
+                                                                LineFlushMode::No);
                 }
                 return
             }
@@ -724,13 +715,21 @@ impl LineBreaker {
         self.new_fragments.push(fragment);
     }
 
-    fn split_line_at_last_known_good_position(&mut self) -> bool {
+    fn split_line_at_last_known_good_position(&mut self,
+                                              layout_context: &LayoutContext,
+                                              cur_fragment: Fragment,
+                                              line_flush_mode: LineFlushMode) {
         let last_known_line_breaking_opportunity =
             match self.last_known_line_breaking_opportunity {
-                None => return false,
+                None => {
+                    // No line breaking opportunity exists at all for this line. Overflow.
+                    self.push_fragment_to_line(layout_context, cur_fragment, line_flush_mode);
+                    return;
+                }
                 Some(last_known_line_breaking_opportunity) => last_known_line_breaking_opportunity,
             };
 
+        self.work_list.push_front(cur_fragment);
         for fragment_index in (last_known_line_breaking_opportunity.get()..
                                self.pending_line.range.end().get()).rev() {
             debug_assert!(fragment_index == (self.new_fragments.len() as isize) - 1);
@@ -752,7 +751,6 @@ impl LineBreaker {
         // need to add that feature to the API to handle this case correctly.
         self.pending_line.range.extend_to(last_known_line_breaking_opportunity);
         self.flush_current_line();
-        true
     }
 
     /// Returns the indentation that needs to be applied before the fragment we're reflowing.

tests/wpt/mozilla/meta/MANIFEST.json

@@ -2732,6 +2732,18 @@
             "url": "/_mozilla/css/li_absolute_containing_block_a.html"
           }
         ],
+        "css/line_break_nowrap.html": [
+          {
+            "path": "css/line_break_nowrap.html",
+            "references": [
+              [
+                "/_mozilla/css/line_break_nowrap_ref.html",
+                "=="
+              ]
+            ],
+            "url": "/_mozilla/css/line_break_nowrap.html"
+          }
+        ],
         "css/line_breaking_whitespace_collapse_a.html": [
           {
             "path": "css/line_breaking_whitespace_collapse_a.html",
@@ -8920,6 +8932,18 @@
           "url": "/_mozilla/css/li_absolute_containing_block_a.html"
         }
       ],
+      "css/line_break_nowrap.html": [
+        {
+          "path": "css/line_break_nowrap.html",
+          "references": [
+            [
+              "/_mozilla/css/line_break_nowrap_ref.html",
+              "=="
+            ]
+          ],
+          "url": "/_mozilla/css/line_break_nowrap.html"
+        }
+      ],
       "css/line_breaking_whitespace_collapse_a.html": [
         {
           "path": "css/line_breaking_whitespace_collapse_a.html",

tests/wpt/mozilla/tests/css/line_break_nowrap.html

@@ -0,0 +1,23 @@
+<!doctype html>
+<html>
+  <head>
+    <meta charset="utf-8">
+    <title>nowrap line-breaking test</title>
+    <link rel="match" href="line_break_nowrap_ref.html">
+    <style>
+      body {
+        font-family: 'ahem';
+        width: 25em;
+      }
+      span {
+        white-space: nowrap;
+      }
+    </style>
+  </head>
+  <body>
+    <span>hello world</span>
+    <span>hello world</span>
+    <span>hello world</span>
+    <span>hello world</span>
+  </body>
+</html>

tests/wpt/mozilla/tests/css/line_break_nowrap_ref.html

@@ -0,0 +1,16 @@
+<!doctype html>
+<html>
+  <head>
+    <meta charset="utf-8">
+    <title>nowrap line-breaking reference</title>
+    <style>
+      body { font-family: 'ahem'; }
+    </style>
+  </head>
+  <body>
+    <div>
+      hello world hello world<br>
+      hello world hello world
+    </div>
+  </body>
+</html>