X-Git-Url: http://nsz.repo.hu/git/?a=blobdiff_plain;ds=sidebyside;f=include%2Flibfirm%2Ftv.h;h=870dc066e22cfdea4a9f54e81289694bda650e44;hb=f43025532c25319fff5d01e8fa18592d4e9c7c68;hp=70f96543a70fd121ed91eb3f00697a1960796028;hpb=e465d981e1531ef02c1cf7c0d9d62e2036345aae;p=libfirm

diff --git a/include/libfirm/tv.h b/include/libfirm/tv.h
index 70f96543a..870dc066e 100644
--- a/include/libfirm/tv.h
+++ b/include/libfirm/tv.h
@@ -267,11 +267,17 @@ int tarval_is_one(tarval *tv);
  */
 int tarval_is_minus_one(tarval *tv);
 
-/*
+/**
  * returns non-zero if all bits in the tarval are set
  */
 int tarval_is_all_one(tarval *tv);
 
+/**
+ * Return non-zero if the tarval is a constant (ie. NOT
+ * a reserved tarval like bad, undef, reachable etc.)
+ */
+int tarval_is_constant(tarval *tv);
+
 /** The 'bad' tarval. */
 extern tarval *tarval_bad;
 /** Returns the 'bad' tarval. */
@@ -284,7 +290,6 @@ tarval *get_tarval_undefined(void);
 
 /** The mode_b tarval 'false'. */
 extern tarval *tarval_b_false;
-
 /** Returns the mode_b tarval 'false'. */
 tarval *get_tarval_b_false(void);
 
@@ -293,6 +298,16 @@ extern tarval *tarval_b_true;
 /** Returns the mode_b tarval 'true'. */
 tarval *get_tarval_b_true(void);
 
+/** The mode_X tarval 'unreachable'. */
+extern tarval *tarval_unreachable;
+/** Returns the mode_X tarval 'unreachable'. */
+tarval *get_tarval_unreachable(void);
+
+/** The mode_X tarval 'reachable'. */
+extern tarval *tarval_reachable;
+/** Returns the mode_X tarval 'reachable'. */
+tarval *get_tarval_reachable(void);
+
 /** The 'top' tarval. This is just another name for the 'undefined' tarval. */
 #define tarval_top          tarval_undefined
 /** Returns the 'top' tarval. */