From 0e0d3302f73df2f2582f76547966268b62bf081d Mon Sep 17 00:00:00 2001
From: Chris Fallin <chris@cfallin.org>
Date: Sat, 15 Apr 2023 11:47:04 -0700
Subject: [PATCH] Bugfix: print tracepoints in IR.

---
 src/ir/display.rs | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/src/ir/display.rs b/src/ir/display.rs
index f377ef7..af3e24f 100644
--- a/src/ir/display.rs
+++ b/src/ir/display.rs
@@ -151,6 +151,10 @@ impl<'a> Display for FunctionBodyDisplay<'a> {
                     ValueDef::Alias(val) => {
                         writeln!(f, "{}    {} = {}", self.1, inst, val)?;
                     }
+                    ValueDef::Trace(id, args) => {
+                        let args = args.iter().map(|&v| format!("{}", v)).collect::<Vec<_>>();
+                        writeln!(f, "{}    trace {}, {}", self.1, id, args.join(", "))?;
+                    }
                     _ => unreachable!(),
                 }
             }