2 * @file predicatetypes.h
3 * @brief Define common predicate expression types
6 #ifndef __PREDICATE_TYPES_H__
7 #define __PREDICATE_TYPES_H__
9 typedef enum predicate_token {
10 NOPREDICATE, EQUALITY, NULLITY
13 /* If token is EQUALITY, then the predicate asserts whether
14 * this load should read the same value as the last value
15 * read at memory location specified in predicate_expr.
18 pred_expr(token_t token, FuncInst * inst, bool value) :
31 /* Used by FuncNode to generate Predicates */
32 struct half_pred_expr {
33 half_pred_expr(token_t token, FuncInst * inst) :
44 struct concrete_pred_expr {
45 concrete_pred_expr(token_t token, uint64_t value, bool equality) :
58 #endif /* __PREDICATE_TYPES_H__ */