+FIRM_API void fixpoint_vrp(ir_graph*);
+
+/**
+ * Creates an ir_graph pass for fixpoint_vrp().
+ * This pass dDetermines information about the values of nodes
+ * and perform simplifications using this information.
+ * This optimization performs a data-flow analysis to
+ * find the minimal fixpoint.
+ *
+ * @param name the name of this pass or NULL
+ *
+ * @return the newly created ir_graph pass
+ */
+FIRM_API ir_graph_pass_t *fixpoint_vrp_irg_pass(const char *name);
+
+/**
+ * Checks if the value of a node is != 0.
+ *
+ * This is a often needed case, so we handle here Confirm
+ * nodes too.
+ *
+ * @param n a node representing the value
+ * @param confirm if n is confirmed to be != 0, returns
+ * the the Confirm-node, else NULL
+ */
+FIRM_API int value_not_zero(const ir_node *n, const ir_node **confirm);
+
+/**
+ * Checks if the value of a node cannot represent a NULL pointer.
+ *
+ * - If option sel_based_null_check_elim is enabled, all
+ * Sel nodes can be skipped.
+ * - A SymConst(entity) is NEVER a NULL pointer
+ * - A Const != NULL is NEVER a NULL pointer
+ * - Confirms are evaluated
+ *
+ * @param n a node representing the value
+ * @param confirm if n is confirmed to be != NULL, returns
+ * the the Confirm-node, else NULL
+ */
+FIRM_API int value_not_null(const ir_node *n, const ir_node **confirm);
+
+/**
+ * Checks if the value of a node can be confirmed >= 0 or <= 0,
+ * If the mode of the value did not honor signed zeros, else
+ * check for >= 0 or < 0.
+ *
+ * @param n a node representing the value
+ */
+FIRM_API ir_value_classify_sign classify_value_sign(ir_node *n);
+
+/**
+ * Returns the value of a Cmp if one or both predecessors are Confirm nodes.
+ *
+ * @param cmp the compare node that will be evaluated
+ * @param left the left operand of the Cmp
+ * @param right the right operand of the Cmp
+ * @param relation the compare relation
+ */
+FIRM_API ir_tarval *computed_value_Cmp_Confirm(
+ const ir_node *cmp, ir_node *left, ir_node *right, ir_relation relation);
+
+/** Type of callbacks for createing entities of the compiler library */
+typedef ir_entity *(*compilerlib_entity_creator_t)(ident *id, ir_type *mt);
+
+/**
+ * Sets the compilerlib entity creation callback that is used to create
+ * compilerlib function entities.
+ *
+ * @param cb the new compilerlib entity creation callback
+ */
+FIRM_API void set_compilerlib_entity_creator(compilerlib_entity_creator_t cb);
+
+/** Returns the compilerlib entity creation callback. */
+FIRM_API compilerlib_entity_creator_t get_compilerlib_entity_creator(void);
+
+/**
+ * Constructs the entity for a given function using the current compilerlib
+ * entity creation callback.
+ *
+ * @param id the identifier of the compilerlib function
+ * @param mt the method type of the compilerlib function
+ */
+FIRM_API ir_entity *create_compilerlib_entity(ident *id, ir_type *mt);
+
+/** @} */
+
+#include "end.h"