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 typedef enum predicate_sleep_result {
14 SLEEP_FAIL_TYPE1, SLEEP_FAIL_TYPE2, SLEEP_FAIL_TYPE3,
18 /* If token is EQUALITY, then the predicate asserts whether
19 * this load should read the same value as the last value
20 * read at memory location specified in predicate_expr.
23 pred_expr(token_t token, FuncInst * inst, bool value) :
36 /* Used by FuncNode to generate Predicates */
37 struct half_pred_expr {
38 half_pred_expr(token_t token, FuncInst * inst) :
49 struct concrete_pred_expr {
50 concrete_pred_expr(token_t token, uint64_t value, bool equality) :
63 #endif /* __PREDICATE_TYPES_H__ */