From 08c8243de5f400ffd840e8bed9822eb76104482d Mon Sep 17 00:00:00 2001
From: "Nicolas B. Pierron" <nicolas.b.pierron@nbp.name>
Date: Mon, 9 Mar 2026 11:10:05 +0100
Subject: [PATCH] Make RecoveredOnBailout distinguishable.

CSS property for moveable appearing last in style.css implies that
recovered-on-bailout annotation was not displayed.

Having an instruction flagged as recovered-on-bailout being more important than
being moveable, moving the style definition later in the file make it take
precedence.

Text decoration is also added to make it clear that while the instruction
remains in the SSA graph, it is effectively unused during the execution. This is
denoted by using a wavy line-through.
---
 src/style.css | 12 +++++++-----
 1 file changed, 7 insertions(+), 5 deletions(-)

diff --git a/src/style.css b/src/style.css
index d1b8b7f..112d4ea 100644
--- a/src/style.css
+++ b/src/style.css
@@ -24,7 +24,7 @@
   --ig-block-header-color: #0c0c0d;
   --ig-loop-header-color: #1fa411;
   --ig-movable-color: #1048af;
-  --ig-rob-color: #444;
+  --ig-rob-color: red;
   --ig-in-worklist-color: red;
 
   --ig-block-selected: #ffc863;
@@ -427,10 +427,6 @@ a.ig-link-normal {
   padding-left: 4px;
 }
 
-.ig-ins-att-RecoveredOnBailout {
-  color: var(--ig-rob-color);
-}
-
 .ig-ins-att-Movable {
   color: var(--ig-movable-color);
 }
@@ -439,6 +435,12 @@ a.ig-link-normal {
   text-decoration: underline;
 }
 
+.ig-ins-att-RecoveredOnBailout {
+  color: var(--ig-rob-color);
+  text-decoration-style: wavy;
+  text-decoration-line: line-through;
+}
+
 .ig-ins-att-InWorklist {
   color: var(--ig-in-worklist-color);
 }