<!DOCTYPE html PUBLIC "-//W3C//DTD HTML 4.0 Transitional//EN" "http://www.w3.org/TR/REC-html40/loose.dtd">

<html lang="en" style="--code-editor-font: GitLab Mono, JetBrains Mono, Menlo, DejaVu Sans Mono, Liberation Mono, Consolas, Ubuntu Mono, Courier New, andale mono, lucida console, monospace;">

<head>

<meta content="text/html; charset=US-ASCII" http-equiv="Content-Type">

<title>

GitLab

</title>

<style data-premailer="ignore" type="text/css">

a { color: #1068bf; }

</style>

<style>img {

max-width: 100%; height: auto;

}

body {

font-size: 0.875rem;

}

body {

-webkit-text-shadow: rgba(255,255,255,0.01) 0 0 1px;

}

body {

font-family: "GitLab Sans", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Noto Sans", Ubuntu, Cantarell, "Helvetica Neue", sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji"; font-size: inherit;

}

</style>

</head>

<body style='font-size: inherit; -webkit-text-shadow: rgba(255,255,255,0.01) 0 0 1px; font-family: "GitLab Sans", -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Noto Sans", Ubuntu, Cantarell, "Helvetica Neue", sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol", "Noto Color Emoji";'>

<div class="content">

<h3 style="margin-top: 20px; margin-bottom: 10px;">

Sven Tennie pushed to branch wip/supersven/riscv64-ncg at <a href="https://gitlab.haskell.org/ghc/ghc">Glasgow Haskell Compiler / GHC</a>

</h3>

<h4 style="margin-top: 10px; margin-bottom: 10px;">

Commits:

</h4>

<ul>

<li>

<strong style="font-weight: bold;"><a href="https://gitlab.haskell.org/ghc/ghc/-/commit/9634ce7dcdb1d1708102e5675b2245c93a74c15e">9634ce7d</a></strong>

<div>

<span> by Sven Tennie </span> <i> at 2023-08-20T12:05:46+02:00 </i>

</div>

<pre class="commit-message" style='white-space: pre-wrap; display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: #fbfafd; border-radius: 2px; margin: 0; padding: 8px 12px; border: 1px solid #dcdcde;'>Single precision float comparisons

</pre>

</li>

</ul>

<h4 style="margin-top: 10px; margin-bottom: 10px;">

1 changed file:

</h4>

<ul>

<li class="file-stats">

<a href="#add213dfbee7fc5908d83f5142f36ec49d43b78a">

compiler/GHC/CmmToAsm/RV64/Ppr.hs

</a>

</li>

</ul>

<h4 style="margin-top: 10px; margin-bottom: 10px;">

Changes:

</h4>

<li id="add213dfbee7fc5908d83f5142f36ec49d43b78a">

<a href="https://gitlab.haskell.org/ghc/ghc/-/commit/9634ce7dcdb1d1708102e5675b2245c93a74c15e#add213dfbee7fc5908d83f5142f36ec49d43b78a"><strong style="font-weight: bold;">compiler/GHC/CmmToAsm/RV64/Ppr.hs</strong></a>

<hr style="overflow: hidden; border: 1px solid #e1e1e1;">

<table class="code white" style="border-spacing: 0; border-collapse: collapse; width: auto; font-family: monospace; font-size: 90%;" bgcolor="#fff" width="100%" cellpadding="0" cellspacing="0">

<tr class="line_holder match" style="line-height: 1.6;">

<td class="diff-line-num unfold js-unfold old_line" data-linenumber="402" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">...</td>

<td class="diff-line-num unfold js-unfold new_line" data-linenumber="402" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">...</td>

<td class="line_content match" style="color: rgba(31,30,36,0.24); padding: inherit;" bgcolor="#fbfafd">@@ -402,6 +402,9 @@ pprReg w r = case r of</td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="402" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

402

</td>

<td class="new_line diff-line-num" data-linenumber="402" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

402

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC402" class="line" lang="haskell">         <span class="c1" style="color: #998; font-style: italic;">-- no support for widths > W64.</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="403" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

403

</td>

<td class="new_line diff-line-num" data-linenumber="403" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

403

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC403" class="line" lang="haskell">         <span class="o" style="font-weight: 600;">|</span> <span class="n" style="color: #333;">otherwise</span> <span class="o" style="font-weight: 600;">=</span> <span class="n" style="color: #333;">pprPanic</span> <span class="s" style="color: #d14;">"Unsupported width in register (max is 64)"</span> <span class="p">(</span><span class="n" style="color: #333;">ppr</span> <span class="n" style="color: #333;">w</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">int</span> <span class="n" style="color: #333;">i</span><span class="p">)</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="404" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

404

</td>

<td class="new_line diff-line-num" data-linenumber="404" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

404

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC404" class="line" lang="haskell"></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="405" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="405" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

405

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC405" class="line" lang="haskell"><span class="n" style="color: #333;">isIntOp</span> <span class="o" style="font-weight: 600;">::</span> <span class="kt" style="color: #458; font-weight: 600;">Operand</span> <span class="o" style="font-weight: 600;">-></span> <span class="kt" style="color: #458; font-weight: 600;">Bool</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="405" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="406" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

406

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC406" class="line" lang="haskell"><span class="n" style="color: #333;">isIntOp</span> <span class="n" style="color: #333;">o</span> <span class="o" style="font-weight: 600;">=</span> <span class="n" style="color: #333;">not</span> <span class="p">(</span><span class="n" style="color: #333;">isFloatOp</span> <span class="n" style="color: #333;">o</span> <span class="o" style="font-weight: 600;">||</span> <span class="n" style="color: #333;">isDoubleOp</span> <span class="n" style="color: #333;">o</span><span class="p">)</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="405" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="407" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

407

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC407" class="line" lang="haskell"></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="405" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

405

</td>

<td class="new_line diff-line-num" data-linenumber="408" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

408

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC408" class="line" lang="haskell"><span class="n" style="color: #333;">isFloatOp</span> <span class="o" style="font-weight: 600;">::</span> <span class="kt" style="color: #458; font-weight: 600;">Operand</span> <span class="o" style="font-weight: 600;">-></span> <span class="kt" style="color: #458; font-weight: 600;">Bool</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="406" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

406

</td>

<td class="new_line diff-line-num" data-linenumber="409" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

409

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC409" class="line" lang="haskell"><span class="n" style="color: #333;">isFloatOp</span> <span class="p">(</span><span class="kt" style="color: #458; font-weight: 600;">OpReg</span> <span class="kr" style="font-weight: 600;">_</span> <span class="p">(</span><span class="kt" style="color: #458; font-weight: 600;">RegReal</span> <span class="p">(</span><span class="kt" style="color: #458; font-weight: 600;">RealRegSingle</span> <span class="n" style="color: #333;">i</span><span class="p">)))</span> <span class="o" style="font-weight: 600;">|</span> <span class="n" style="color: #333;">i</span> <span class="o" style="font-weight: 600;">></span> <span class="mi" style="color: #099;">31</span> <span class="o" style="font-weight: 600;">=</span> <span class="kt" style="color: #458; font-weight: 600;">True</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="407" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

407

</td>

<td class="new_line diff-line-num" data-linenumber="410" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

410

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC410" class="line" lang="haskell"><span class="n" style="color: #333;">isFloatOp</span> <span class="p">(</span><span class="kt" style="color: #458; font-weight: 600;">OpReg</span> <span class="kr" style="font-weight: 600;">_</span> <span class="p">(</span><span class="kt" style="color: #458; font-weight: 600;">RegVirtual</span> <span class="p">(</span><span class="kt" style="color: #458; font-weight: 600;">VirtualRegF</span> <span class="kr" style="font-weight: 600;">_</span><span class="p">)))</span> <span class="o" style="font-weight: 600;">=</span> <span class="kt" style="color: #458; font-weight: 600;">True</span></span>

</pre></td>

</tr>

<tr class="line_holder match" style="line-height: 1.6;">

<td class="diff-line-num unfold js-unfold old_line" data-linenumber="574" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">...</td>

<td class="diff-line-num unfold js-unfold new_line" data-linenumber="577" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">...</td>

<td class="line_content match" style="color: rgba(31,30,36,0.24); padding: inherit;" bgcolor="#fbfafd">@@ -574,10 +577,14 @@ pprInstr platform instr = case instr of</td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="574" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

574

</td>

<td class="new_line diff-line-num" data-linenumber="577" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

577

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC577" class="line" lang="haskell">  <span class="c1" style="color: #998; font-style: italic;">-- 5. Atomic Instructions ----------------------------------------------------</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="575" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

575

</td>

<td class="new_line diff-line-num" data-linenumber="578" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

578

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC578" class="line" lang="haskell">  <span class="c1" style="color: #998; font-style: italic;">-- 6. Conditional Instructions -----------------------------------------------</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="576" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

576

</td>

<td class="new_line diff-line-num" data-linenumber="579" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

579

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC579" class="line" lang="haskell">  <span class="kt" style="color: #458; font-weight: 600;">CSET</span> <span class="n" style="color: #333;">o</span> <span class="n" style="color: #333;">l</span> <span class="n" style="color: #333;">r</span> <span class="n" style="color: #333;">c</span>  <span class="o" style="font-weight: 600;">-></span> <span class="kr" style="font-weight: 600;">case</span> <span class="n" style="color: #333;">c</span> <span class="kr" style="font-weight: 600;">of</span></span>

</pre></td>

</tr>

<tr class="line_holder old" style="line-height: 1.6;">

<td class="old_line diff-line-num old" data-linenumber="577" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

577

</td>

<td class="new_line diff-line-num old" data-linenumber="580" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

</td>

<td class="line_content old" style="padding: inherit;" bgcolor="#fbe9eb"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>-<span id="LC577" class="line" lang="haskell">    <span class="kt" style="color: #458; font-weight: 600;">EQ</span>  <span class="o" style="font-weight: 600;">-></span> <span class="n" style="color: #333;">lines_</span> <span class="p">[</span> <span class="n" style="color: #333;">subFor</span> <span class="n" style="color: #333;">l</span> <span class="n" style="color: #333;">r</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="578" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="580" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

580

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC580" class="line" lang="haskell">    <span class="kt" style="color: #458; font-weight: 600;">EQ</span> <span class="o" style="font-weight: 600;"><span class="idiff left addition" style="background-color: #c7f0d2;">|</span></span><span class="idiff addition" style="background-color: #c7f0d2;"> </span><span class="n" style="color: #333;"><span class="idiff addition" style="background-color: #c7f0d2;">isIntOp</span></span><span class="idiff addition" style="background-color: #c7f0d2;"> </span><span class="n" style="color: #333;"><span class="idiff addition" style="background-color: #c7f0d2;">l</span></span><span class="idiff addition" style="background-color: #c7f0d2;"> </span><span class="o" style="font-weight: 600;"><span class="idiff addition" style="background-color: #c7f0d2;">&&</span></span><span class="idiff addition" style="background-color: #c7f0d2;"> </span><span class="n" style="color: #333;"><span class="idiff addition" style="background-color: #c7f0d2;">isIntOp</span></span><span class="idiff addition" style="background-color: #c7f0d2;"> </span><span class="n" style="color: #333;"><span class="idiff right addition" style="background-color: #c7f0d2;">r</span></span> <span class="o" style="font-weight: 600;">-></span> <span class="n" style="color: #333;">lines_</span> <span class="p">[</span> <span class="n" style="color: #333;">subFor</span> <span class="n" style="color: #333;">l</span> <span class="n" style="color: #333;">r</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="578" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

578

</td>

<td class="new_line diff-line-num" data-linenumber="581" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

581

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC581" class="line" lang="haskell">                  <span class="p">,</span> <span class="n" style="color: #333;">text</span> <span class="s" style="color: #d14;">"</span><span class="se" style="color: #d14;">\t</span><span class="s" style="color: #d14;">seqz"</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">o</span> <span class="o" style="font-weight: 600;"><></span> <span class="n" style="color: #333;">comma</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">o</span><span class="p">]</span></span>

</pre></td>

</tr>

<tr class="line_holder old" style="line-height: 1.6;">

<td class="old_line diff-line-num old" data-linenumber="579" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

579

</td>

<td class="new_line diff-line-num old" data-linenumber="582" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

</td>

<td class="line_content old" style="padding: inherit;" bgcolor="#fbe9eb"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>-<span id="LC579" class="line" lang="haskell">    <span class="kt" style="color: #458; font-weight: 600;">NE</span>  <span class="o" style="font-weight: 600;">-></span> <span class="n" style="color: #333;">lines_</span> <span class="p">[</span> <span class="n" style="color: #333;">subFor</span> <span class="n" style="color: #333;">l</span> <span class="n" style="color: #333;">r</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="580" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="582" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

582

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC582" class="line" lang="haskell">    <span class="kt" style="color: #458; font-weight: 600;">EQ</span> <span class="o" style="font-weight: 600;">|</span> <span class="n" style="color: #333;">isFloatOp</span> <span class="n" style="color: #333;">l</span> <span class="o" style="font-weight: 600;">&&</span> <span class="n" style="color: #333;">isFloatOp</span> <span class="n" style="color: #333;">r</span> <span class="o" style="font-weight: 600;">-></span> <span class="n" style="color: #333;">line</span> <span class="o" style="font-weight: 600;">$</span> <span class="n" style="color: #333;">floatOp</span> <span class="s" style="color: #d14;">"</span><span class="se" style="color: #d14;">\t</span><span class="s" style="color: #d14;">feq.s"</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="580" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="583" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

583

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC583" class="line" lang="haskell">    <span class="kt" style="color: #458; font-weight: 600;">NE</span> <span class="o" style="font-weight: 600;">|</span> <span class="n" style="color: #333;">isIntOp</span> <span class="n" style="color: #333;">l</span> <span class="o" style="font-weight: 600;">&&</span> <span class="n" style="color: #333;">isIntOp</span> <span class="n" style="color: #333;">r</span> <span class="o" style="font-weight: 600;">-></span> <span class="n" style="color: #333;">lines_</span> <span class="p">[</span> <span class="n" style="color: #333;">subFor</span> <span class="n" style="color: #333;">l</span> <span class="n" style="color: #333;">r</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="580" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

580

</td>

<td class="new_line diff-line-num" data-linenumber="584" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

584

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC584" class="line" lang="haskell">                  <span class="p">,</span> <span class="n" style="color: #333;">text</span> <span class="s" style="color: #d14;">"</span><span class="se" style="color: #d14;">\t</span><span class="s" style="color: #d14;">snez"</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">o</span> <span class="o" style="font-weight: 600;"><></span> <span class="n" style="color: #333;">comma</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">o</span><span class="p">]</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="581" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="585" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

585

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC585" class="line" lang="haskell">    <span class="c1" style="color: #998; font-style: italic;">--    feq.s   a0,fa0,fa1</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="581" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="586" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

586

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC586" class="line" lang="haskell">    <span class="c1" style="color: #998; font-style: italic;">--    xori    a0,a0,1</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="581" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="587" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

587

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC587" class="line" lang="haskell">    <span class="kt" style="color: #458; font-weight: 600;">NE</span> <span class="o" style="font-weight: 600;">|</span> <span class="n" style="color: #333;">isFloatOp</span> <span class="n" style="color: #333;">l</span> <span class="o" style="font-weight: 600;">&&</span> <span class="n" style="color: #333;">isFloatOp</span> <span class="n" style="color: #333;">r</span> <span class="o" style="font-weight: 600;">-></span> <span class="n" style="color: #333;">lines_</span> <span class="p">[</span><span class="n" style="color: #333;">floatOp</span> <span class="s" style="color: #d14;">"</span><span class="se" style="color: #d14;">\t</span><span class="s" style="color: #d14;">feq.s"</span><span class="p">,</span> <span class="n" style="color: #333;">text</span> <span class="s" style="color: #d14;">"</span><span class="se" style="color: #d14;">\t</span><span class="s" style="color: #d14;">xori"</span> <span class="o" style="font-weight: 600;"><+></span>  <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">o</span> <span class="o" style="font-weight: 600;"><></span> <span class="n" style="color: #333;">comma</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">o</span> <span class="o" style="font-weight: 600;"><></span> <span class="n" style="color: #333;">comma</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">text</span> <span class="s" style="color: #d14;">"1"</span><span class="p">]</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="581" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

581

</td>

<td class="new_line diff-line-num" data-linenumber="588" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

588

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC588" class="line" lang="haskell">    <span class="kt" style="color: #458; font-weight: 600;">SLT</span> <span class="o" style="font-weight: 600;">-></span> <span class="n" style="color: #333;">lines_</span> <span class="p">[</span> <span class="n" style="color: #333;">sltFor</span> <span class="n" style="color: #333;">l</span> <span class="n" style="color: #333;">r</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">o</span> <span class="o" style="font-weight: 600;"><></span> <span class="n" style="color: #333;">comma</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">l</span> <span class="o" style="font-weight: 600;"><></span> <span class="n" style="color: #333;">comma</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">r</span> <span class="p">]</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="582" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

582

</td>

<td class="new_line diff-line-num" data-linenumber="589" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

589

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC589" class="line" lang="haskell">    <span class="kt" style="color: #458; font-weight: 600;">SLE</span> <span class="o" style="font-weight: 600;">-></span> <span class="n" style="color: #333;">lines_</span> <span class="p">[</span> <span class="n" style="color: #333;">sltFor</span> <span class="n" style="color: #333;">l</span> <span class="n" style="color: #333;">r</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">o</span> <span class="o" style="font-weight: 600;"><></span> <span class="n" style="color: #333;">comma</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">r</span> <span class="o" style="font-weight: 600;"><></span> <span class="n" style="color: #333;">comma</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">l</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="583" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

583

</td>

<td class="new_line diff-line-num" data-linenumber="590" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

590

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC590" class="line" lang="haskell">                  <span class="p">,</span> <span class="n" style="color: #333;">text</span> <span class="s" style="color: #d14;">"</span><span class="se" style="color: #d14;">\t</span><span class="s" style="color: #d14;">xori"</span> <span class="o" style="font-weight: 600;"><+></span>  <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">o</span> <span class="o" style="font-weight: 600;"><></span> <span class="n" style="color: #333;">comma</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">o</span> <span class="o" style="font-weight: 600;"><></span> <span class="n" style="color: #333;">comma</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">text</span> <span class="s" style="color: #d14;">"1"</span> <span class="p">]</span></span>

</pre></td>

</tr>

<tr class="line_holder match" style="line-height: 1.6;">

<td class="diff-line-num unfold js-unfold old_line" data-linenumber="590" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">...</td>

<td class="diff-line-num unfold js-unfold new_line" data-linenumber="597" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">...</td>

<td class="line_content match" style="color: rgba(31,30,36,0.24); padding: inherit;" bgcolor="#fbfafd">@@ -590,7 +597,11 @@ pprInstr platform instr = case instr of</td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="590" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

590

</td>

<td class="new_line diff-line-num" data-linenumber="597" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

597

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC597" class="line" lang="haskell">    <span class="kt" style="color: #458; font-weight: 600;">UGE</span> <span class="o" style="font-weight: 600;">-></span> <span class="n" style="color: #333;">lines_</span> <span class="p">[</span> <span class="n" style="color: #333;">sltuFor</span> <span class="n" style="color: #333;">l</span> <span class="n" style="color: #333;">r</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">o</span> <span class="o" style="font-weight: 600;"><></span> <span class="n" style="color: #333;">comma</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">l</span> <span class="o" style="font-weight: 600;"><></span> <span class="n" style="color: #333;">comma</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">r</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="591" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

591

</td>

<td class="new_line diff-line-num" data-linenumber="598" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

598

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC598" class="line" lang="haskell">                  <span class="p">,</span> <span class="n" style="color: #333;">text</span> <span class="s" style="color: #d14;">"</span><span class="se" style="color: #d14;">\t</span><span class="s" style="color: #d14;">xori"</span> <span class="o" style="font-weight: 600;"><+></span>  <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">o</span> <span class="o" style="font-weight: 600;"><></span> <span class="n" style="color: #333;">comma</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">o</span> <span class="o" style="font-weight: 600;"><></span> <span class="n" style="color: #333;">comma</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">text</span> <span class="s" style="color: #d14;">"1"</span> <span class="p">]</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="592" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

592

</td>

<td class="new_line diff-line-num" data-linenumber="599" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

599

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC599" class="line" lang="haskell">    <span class="kt" style="color: #458; font-weight: 600;">UGT</span> <span class="o" style="font-weight: 600;">-></span> <span class="n" style="color: #333;">lines_</span> <span class="p">[</span> <span class="n" style="color: #333;">sltuFor</span> <span class="n" style="color: #333;">l</span> <span class="n" style="color: #333;">r</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">o</span> <span class="o" style="font-weight: 600;"><></span> <span class="n" style="color: #333;">comma</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">r</span> <span class="o" style="font-weight: 600;"><></span> <span class="n" style="color: #333;">comma</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">l</span> <span class="p">]</span></span>

</pre></td>

</tr>

<tr class="line_holder old" style="line-height: 1.6;">

<td class="old_line diff-line-num old" data-linenumber="593" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

593

</td>

<td class="new_line diff-line-num old" data-linenumber="600" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #fac5cd; border-right-style: solid; padding: inherit;" align="right" bgcolor="#f9d7dc">

</td>

<td class="line_content old" style="padding: inherit;" bgcolor="#fbe9eb"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>-<span id="LC593" class="line" lang="haskell">    <span class="kr" style="font-weight: 600;">_</span>  <span class="o" style="font-weight: 600;">-></span> <span class="n" style="color: #333;">panic</span> <span class="o" style="font-weight: 600;">$</span> <span class="s" style="color: #d14;">"RV64.ppr: unhandled CSET conditional: "</span> <span class="o" style="font-weight: 600;">++</span> <span class="n" style="color: #333;">show</span> <span class="n" style="color: #333;">c</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="594" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="600" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

600

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC600" class="line" lang="haskell">    <span class="kt" style="color: #458; font-weight: 600;">OLT</span> <span class="o" style="font-weight: 600;">|</span> <span class="n" style="color: #333;">isFloatOp</span> <span class="n" style="color: #333;">l</span> <span class="o" style="font-weight: 600;">&&</span> <span class="n" style="color: #333;">isFloatOp</span> <span class="n" style="color: #333;">r</span> <span class="o" style="font-weight: 600;">-></span> <span class="n" style="color: #333;">line</span> <span class="o" style="font-weight: 600;">$</span> <span class="n" style="color: #333;">floatOp</span> <span class="s" style="color: #d14;">"</span><span class="se" style="color: #d14;">\t</span><span class="s" style="color: #d14;">flt.s"</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="594" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="601" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

601

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC601" class="line" lang="haskell">    <span class="kt" style="color: #458; font-weight: 600;">OLE</span> <span class="o" style="font-weight: 600;">|</span> <span class="n" style="color: #333;">isFloatOp</span> <span class="n" style="color: #333;">l</span> <span class="o" style="font-weight: 600;">&&</span> <span class="n" style="color: #333;">isFloatOp</span> <span class="n" style="color: #333;">r</span> <span class="o" style="font-weight: 600;">-></span> <span class="n" style="color: #333;">line</span> <span class="o" style="font-weight: 600;">$</span> <span class="n" style="color: #333;">floatOp</span> <span class="s" style="color: #d14;">"</span><span class="se" style="color: #d14;">\t</span><span class="s" style="color: #d14;">fle.s"</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="594" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="602" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

602

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC602" class="line" lang="haskell">    <span class="kt" style="color: #458; font-weight: 600;">OGT</span> <span class="o" style="font-weight: 600;">|</span> <span class="n" style="color: #333;">isFloatOp</span> <span class="n" style="color: #333;">l</span> <span class="o" style="font-weight: 600;">&&</span> <span class="n" style="color: #333;">isFloatOp</span> <span class="n" style="color: #333;">r</span> <span class="o" style="font-weight: 600;">-></span> <span class="n" style="color: #333;">line</span> <span class="o" style="font-weight: 600;">$</span> <span class="n" style="color: #333;">floatOp</span> <span class="s" style="color: #d14;">"</span><span class="se" style="color: #d14;">\t</span><span class="s" style="color: #d14;">fgt.s"</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="594" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="603" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

603

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC603" class="line" lang="haskell">    <span class="kt" style="color: #458; font-weight: 600;">OGE</span> <span class="o" style="font-weight: 600;">|</span> <span class="n" style="color: #333;">isFloatOp</span> <span class="n" style="color: #333;">l</span> <span class="o" style="font-weight: 600;">&&</span> <span class="n" style="color: #333;">isFloatOp</span> <span class="n" style="color: #333;">r</span> <span class="o" style="font-weight: 600;">-></span> <span class="n" style="color: #333;">line</span> <span class="o" style="font-weight: 600;">$</span> <span class="n" style="color: #333;">floatOp</span> <span class="s" style="color: #d14;">"</span><span class="se" style="color: #d14;">\t</span><span class="s" style="color: #d14;">fge.s"</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="594" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="604" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

604

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC604" class="line" lang="haskell">    <span class="kr" style="font-weight: 600;">_</span>  <span class="o" style="font-weight: 600;">-></span> <span class="n" style="color: #333;">pprPanic</span> <span class="s" style="color: #d14;">"RV64.ppr: unhandled CSET conditional"</span> <span class="p">(</span><span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">o</span> <span class="o" style="font-weight: 600;"><></span> <span class="n" style="color: #333;">comma</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">r</span> <span class="o" style="font-weight: 600;"><></span> <span class="n" style="color: #333;">comma</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">l</span><span class="p">)</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="594" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

594

</td>

<td class="new_line diff-line-num" data-linenumber="605" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

605

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC605" class="line" lang="haskell">    <span class="kr" style="font-weight: 600;">where</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="595" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

595

</td>

<td class="new_line diff-line-num" data-linenumber="606" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

606

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC606" class="line" lang="haskell">      <span class="n" style="color: #333;">subFor</span> <span class="n" style="color: #333;">l</span> <span class="n" style="color: #333;">r</span> <span class="o" style="font-weight: 600;">|</span> <span class="p">(</span><span class="kt" style="color: #458; font-weight: 600;">OpImm</span> <span class="kr" style="font-weight: 600;">_</span><span class="p">)</span> <span class="o" style="font-weight: 600;"><-</span> <span class="n" style="color: #333;">r</span> <span class="o" style="font-weight: 600;">=</span> <span class="n" style="color: #333;">text</span> <span class="s" style="color: #d14;">"</span><span class="se" style="color: #d14;">\t</span><span class="s" style="color: #d14;">addi"</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">o</span> <span class="o" style="font-weight: 600;"><></span> <span class="n" style="color: #333;">comma</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">l</span> <span class="o" style="font-weight: 600;"><></span> <span class="n" style="color: #333;">comma</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="p">(</span><span class="n" style="color: #333;">negOp</span> <span class="n" style="color: #333;">r</span><span class="p">)</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="596" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

596

</td>

<td class="new_line diff-line-num" data-linenumber="607" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

607

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC607" class="line" lang="haskell">                 <span class="o" style="font-weight: 600;">|</span> <span class="p">(</span><span class="kt" style="color: #458; font-weight: 600;">OpImm</span> <span class="kr" style="font-weight: 600;">_</span><span class="p">)</span> <span class="o" style="font-weight: 600;"><-</span> <span class="n" style="color: #333;">l</span> <span class="o" style="font-weight: 600;">=</span> <span class="n" style="color: #333;">panic</span> <span class="s" style="color: #d14;">"RV64.ppr: Cannot SUB IMM _"</span></span>

</pre></td>

</tr>

<tr class="line_holder match" style="line-height: 1.6;">

<td class="diff-line-num unfold js-unfold old_line" data-linenumber="601" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">...</td>

<td class="diff-line-num unfold js-unfold new_line" data-linenumber="612" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">...</td>

<td class="line_content match" style="color: rgba(31,30,36,0.24); padding: inherit;" bgcolor="#fbfafd">@@ -601,6 +612,7 @@ pprInstr platform instr = case instr of</td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="601" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

601

</td>

<td class="new_line diff-line-num" data-linenumber="612" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

612

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC612" class="line" lang="haskell">      <span class="n" style="color: #333;">sltuFor</span> <span class="n" style="color: #333;">l</span> <span class="n" style="color: #333;">r</span><span class="o" style="font-weight: 600;">|</span> <span class="p">(</span><span class="kt" style="color: #458; font-weight: 600;">OpImm</span> <span class="kr" style="font-weight: 600;">_</span><span class="p">)</span> <span class="o" style="font-weight: 600;"><-</span> <span class="n" style="color: #333;">r</span> <span class="o" style="font-weight: 600;">=</span> <span class="n" style="color: #333;">text</span> <span class="s" style="color: #d14;">"</span><span class="se" style="color: #d14;">\t</span><span class="s" style="color: #d14;">sltui"</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="602" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

602

</td>

<td class="new_line diff-line-num" data-linenumber="613" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

613

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC613" class="line" lang="haskell">                 <span class="o" style="font-weight: 600;">|</span> <span class="p">(</span><span class="kt" style="color: #458; font-weight: 600;">OpImm</span> <span class="kr" style="font-weight: 600;">_</span><span class="p">)</span> <span class="o" style="font-weight: 600;"><-</span> <span class="n" style="color: #333;">l</span> <span class="o" style="font-weight: 600;">=</span> <span class="n" style="color: #333;">panic</span> <span class="s" style="color: #d14;">"PV64.ppr: Cannot SLTU IMM _"</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="603" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

603

</td>

<td class="new_line diff-line-num" data-linenumber="614" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

614

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC614" class="line" lang="haskell">                 <span class="o" style="font-weight: 600;">|</span> <span class="n" style="color: #333;">otherwise</span>      <span class="o" style="font-weight: 600;">=</span> <span class="n" style="color: #333;">text</span> <span class="s" style="color: #d14;">"</span><span class="se" style="color: #d14;">\t</span><span class="s" style="color: #d14;">sltu"</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="604" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="615" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

615

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC615" class="line" lang="haskell">      <span class="n" style="color: #333;">floatOp</span> <span class="n" style="color: #333;">op</span> <span class="o" style="font-weight: 600;">=</span> <span class="n" style="color: #333;">text</span> <span class="n" style="color: #333;">op</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">o</span> <span class="o" style="font-weight: 600;"><></span> <span class="n" style="color: #333;">comma</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">l</span> <span class="o" style="font-weight: 600;"><></span> <span class="n" style="color: #333;">comma</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">r</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="604" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

604

</td>

<td class="new_line diff-line-num" data-linenumber="616" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

616

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC616" class="line" lang="haskell"></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="605" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

605

</td>

<td class="new_line diff-line-num" data-linenumber="617" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

617

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC617" class="line" lang="haskell">  <span class="kt" style="color: #458; font-weight: 600;">CBZ</span> <span class="n" style="color: #333;">o</span> <span class="p">(</span><span class="kt" style="color: #458; font-weight: 600;">TBlock</span> <span class="n" style="color: #333;">bid</span><span class="p">)</span> <span class="o" style="font-weight: 600;">-></span> <span class="n" style="color: #333;">line</span> <span class="o" style="font-weight: 600;">$</span> <span class="n" style="color: #333;">text</span> <span class="s" style="color: #d14;">"</span><span class="se" style="color: #d14;">\t</span><span class="s" style="color: #d14;">beq x0, "</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">o</span> <span class="o" style="font-weight: 600;"><></span> <span class="n" style="color: #333;">comma</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprAsmLabel</span> <span class="n" style="color: #333;">platform</span> <span class="p">(</span><span class="n" style="color: #333;">mkLocalBlockLabel</span> <span class="p">(</span><span class="n" style="color: #333;">getUnique</span> <span class="n" style="color: #333;">bid</span><span class="p">))</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="606" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

606

</td>

<td class="new_line diff-line-num" data-linenumber="618" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

618

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC618" class="line" lang="haskell">  <span class="kt" style="color: #458; font-weight: 600;">CBZ</span> <span class="n" style="color: #333;">o</span> <span class="p">(</span><span class="kt" style="color: #458; font-weight: 600;">TLabel</span> <span class="n" style="color: #333;">lbl</span><span class="p">)</span> <span class="o" style="font-weight: 600;">-></span> <span class="n" style="color: #333;">line</span> <span class="o" style="font-weight: 600;">$</span> <span class="n" style="color: #333;">text</span> <span class="s" style="color: #d14;">"</span><span class="se" style="color: #d14;">\t</span><span class="s" style="color: #d14;">beq x0, "</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">o</span> <span class="o" style="font-weight: 600;"><></span> <span class="n" style="color: #333;">comma</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprAsmLabel</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">lbl</span></span>

</pre></td>

</tr>

<tr class="line_holder match" style="line-height: 1.6;">

<td class="diff-line-num unfold js-unfold old_line" data-linenumber="657" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">...</td>

<td class="diff-line-num unfold js-unfold new_line" data-linenumber="669" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">...</td>

<td class="line_content match" style="color: rgba(31,30,36,0.24); padding: inherit;" bgcolor="#fbfafd">@@ -657,6 +669,8 @@ pprInstr platform instr = case instr of</td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="657" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

657

</td>

<td class="new_line diff-line-num" data-linenumber="669" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

669

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC669" class="line" lang="haskell">  <span class="kt" style="color: #458; font-weight: 600;">LDRU</span> <span class="kt" style="color: #458; font-weight: 600;">II32</span> <span class="n" style="color: #333;">o1</span> <span class="n" style="color: #333;">o2</span> <span class="o" style="font-weight: 600;">-></span> <span class="n" style="color: #333;">op2</span> <span class="p">(</span><span class="n" style="color: #333;">text</span> <span class="s" style="color: #d14;">"</span><span class="se" style="color: #d14;">\t</span><span class="s" style="color: #d14;">lwu"</span><span class="p">)</span> <span class="n" style="color: #333;">o1</span> <span class="n" style="color: #333;">o2</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="658" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

658

</td>

<td class="new_line diff-line-num" data-linenumber="670" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

670

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC670" class="line" lang="haskell">  <span class="c1" style="color: #998; font-style: italic;">-- double words (64bit) cannot be sign extended by definition</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="659" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

659

</td>

<td class="new_line diff-line-num" data-linenumber="671" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

671

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC671" class="line" lang="haskell">  <span class="kt" style="color: #458; font-weight: 600;">LDRU</span> <span class="kt" style="color: #458; font-weight: 600;">II64</span> <span class="n" style="color: #333;">o1</span> <span class="n" style="color: #333;">o2</span> <span class="o" style="font-weight: 600;">-></span> <span class="n" style="color: #333;">op2</span> <span class="p">(</span><span class="n" style="color: #333;">text</span> <span class="s" style="color: #d14;">"</span><span class="se" style="color: #d14;">\t</span><span class="s" style="color: #d14;">ld"</span><span class="p">)</span> <span class="n" style="color: #333;">o1</span> <span class="n" style="color: #333;">o2</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="660" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="672" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

672

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC672" class="line" lang="haskell">  <span class="kt" style="color: #458; font-weight: 600;">LDRU</span> <span class="kt" style="color: #458; font-weight: 600;">FF32</span> <span class="n" style="color: #333;">o1</span> <span class="n" style="color: #333;">o2</span><span class="o" style="font-weight: 600;">@</span><span class="p">(</span><span class="kt" style="color: #458; font-weight: 600;">OpAddr</span> <span class="p">(</span><span class="kt" style="color: #458; font-weight: 600;">AddrRegImm</span> <span class="kr" style="font-weight: 600;">_</span> <span class="kr" style="font-weight: 600;">_</span><span class="p">))</span> <span class="o" style="font-weight: 600;">-></span> <span class="n" style="color: #333;">op2</span> <span class="p">(</span><span class="n" style="color: #333;">text</span> <span class="s" style="color: #d14;">"</span><span class="se" style="color: #d14;">\t</span><span class="s" style="color: #d14;">flw"</span><span class="p">)</span> <span class="n" style="color: #333;">o1</span> <span class="n" style="color: #333;">o2</span></span>

</pre></td>

</tr>

<tr class="line_holder new" style="line-height: 1.6;">

<td class="old_line diff-line-num new" data-linenumber="660" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

</td>

<td class="new_line diff-line-num new" data-linenumber="673" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #c7f0d2; border-right-style: solid; padding: inherit;" align="right" bgcolor="#ddfbe6">

673

</td>

<td class="line_content new" style="padding: inherit;" bgcolor="#ecfdf0"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'>+<span id="LC673" class="line" lang="haskell">  <span class="kt" style="color: #458; font-weight: 600;">LDRU</span> <span class="kt" style="color: #458; font-weight: 600;">FF64</span> <span class="n" style="color: #333;">o1</span> <span class="n" style="color: #333;">o2</span><span class="o" style="font-weight: 600;">@</span><span class="p">(</span><span class="kt" style="color: #458; font-weight: 600;">OpAddr</span> <span class="p">(</span><span class="kt" style="color: #458; font-weight: 600;">AddrRegImm</span> <span class="kr" style="font-weight: 600;">_</span> <span class="kr" style="font-weight: 600;">_</span><span class="p">))</span> <span class="o" style="font-weight: 600;">-></span> <span class="n" style="color: #333;">op2</span> <span class="p">(</span><span class="n" style="color: #333;">text</span> <span class="s" style="color: #d14;">"</span><span class="se" style="color: #d14;">\t</span><span class="s" style="color: #d14;">fld"</span><span class="p">)</span> <span class="n" style="color: #333;">o1</span> <span class="n" style="color: #333;">o2</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="660" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

660

</td>

<td class="new_line diff-line-num" data-linenumber="674" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

674

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC674" class="line" lang="haskell">  <span class="kt" style="color: #458; font-weight: 600;">LDRU</span> <span class="n" style="color: #333;">f</span> <span class="n" style="color: #333;">o1</span> <span class="n" style="color: #333;">o2</span> <span class="o" style="font-weight: 600;">-></span> <span class="n" style="color: #333;">pprPanic</span> <span class="s" style="color: #d14;">"Unsupported unsigned load"</span> <span class="p">((</span><span class="n" style="color: #333;">text</span><span class="o" style="font-weight: 600;">.</span><span class="n" style="color: #333;">show</span><span class="p">)</span> <span class="n" style="color: #333;">f</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">o1</span> <span class="o" style="font-weight: 600;"><+></span> <span class="n" style="color: #333;">pprOp</span> <span class="n" style="color: #333;">platform</span> <span class="n" style="color: #333;">o2</span><span class="p">)</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="661" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

661

</td>

<td class="new_line diff-line-num" data-linenumber="675" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

675

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC675" class="line" lang="haskell">  <span class="c1" style="color: #998; font-style: italic;">-- LDAR _f o1 o2 -> op2 (text "\tldar") o1 o2</span></span>

</pre></td>

</tr>

<tr class="line_holder" style="line-height: 1.6;">

<td class="old_line diff-line-num" data-linenumber="662" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

662

</td>

<td class="new_line diff-line-num" data-linenumber="676" style="width: 35px; color: rgba(31,30,36,0.24); border-right-width: 1px; border-right-color: #ececef; border-right-style: solid; padding: inherit;" align="right" bgcolor="#fbfafd">

676

</td>

<td class="line_content" style="padding: inherit;"><pre style='display: block; font-size: 14px; color: #333238; position: relative; font-family: "GitLab Mono", "JetBrains Mono", "Menlo", "DejaVu Sans Mono", "Liberation Mono", "Consolas", "Ubuntu Mono", "Courier New", "andale mono", "lucida console", monospace; word-break: break-all; word-wrap: break-word; background-color: inherit; border-radius: 2px; margin: 0; padding: 0; border: inherit solid #dcdcde;'> <span id="LC676" class="line" lang="haskell"></span>

</pre></td>

</tr>

</table>

<br>

</li>

</div>

<div class="footer" style="margin-top: 10px;">

<p style="font-size: small; color: #737278;">

—

<br>

<a href="https://gitlab.haskell.org/ghc/ghc/-/commit/9634ce7dcdb1d1708102e5675b2245c93a74c15e">View it on GitLab</a>.

<br>

You're receiving this email because of your account on <a target="_blank" rel="noopener noreferrer" href="https://gitlab.haskell.org">gitlab.haskell.org</a>. <a href="https://gitlab.haskell.org/-/profile/notifications" target="_blank" rel="noopener noreferrer" class="mng-notif-link">Manage all notifications</a> · <a href="https://gitlab.haskell.org/help" target="_blank" rel="noopener noreferrer" class="help-link">Help</a>

<script type="application/ld+json">{"@context":"http://schema.org","@type":"EmailMessage","action":{"@type":"ViewAction","name":"View Commit","url":"https://gitlab.haskell.org/ghc/ghc/-/commit/9634ce7dcdb1d1708102e5675b2245c93a74c15e"}}</script>

</p>

</div>

</body>

</html>