From: Matthias Braun <matthias.braun@kit.edu>
Date: Tue, 28 Aug 2012 18:12:33 +0000 (+0200)
Subject: improve tarval printer
X-Git-Url: http://nsz.repo.hu/git/?a=commitdiff_plain;h=c253688e630af815501c611ce9e2befd3bac5a8a;p=libfirm

improve tarval printer
---

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_??""?>");
 	}
 }