From c253688e630af815501c611ce9e2befd3bac5a8a Mon Sep 17 00:00:00 2001
From: Matthias Braun <matthias.braun@kit.edu>
Date: Tue, 28 Aug 2012 20:12:33 +0200
Subject: [PATCH] improve tarval printer

---
 ir/tv/tv.c | 11 ++++++++++-
 1 file changed, 10 insertions(+), 1 deletion(-)

diff --git a/ir/tv/tv.c b/ir/tv/tv.c
index 2100c292a..8552fc8c2 100644
--- a/ir/tv/tv.c
+++ b/ir/tv/tv.c
@@ -1474,7 +1474,16 @@ int tarval_snprintf(char *buf, size_t len, ir_tarval *tv)
 		}
 
 	default:
-		return snprintf(buf, len, "<TV_??""?>");
+		if (tv == tarval_bad)
+			return snprintf(buf, len, "<TV_BAD>");
+		else if (tv == tarval_undefined)
+			return snprintf(buf, len, "<TV_UNDEFINED>");
+		else if (tv == tarval_reachable)
+			return snprintf(buf, len, "<TV_REACHABLE>");
+		else if (tv == tarval_unreachable)
+			return snprintf(buf, len, "<TV_UNREACHABLE>");
+		else
+			return snprintf(buf, len, "<TV_??""?>");
 	}
 }
 
-- 
2.20.1