Pin
Enumerations
base_ia32.cpp File Reference
#include "level_base.H"

Enumerations

enum  LEVEL_BASE::PREDICATE_IA32 {
  LEVEL_BASE::PREDICATE_ALWAYS_TRUE,
  PREDICATE_INVALID,
  LEVEL_BASE::PREDICATE_BELOW,
  LEVEL_BASE::PREDICATE_BELOW_OR_EQUAL,
  LEVEL_BASE::PREDICATE_LESS,
  LEVEL_BASE::PREDICATE_LESS_OR_EQUAL,
  LEVEL_BASE::PREDICATE_NOT_BELOW,
  LEVEL_BASE::PREDICATE_NOT_BELOW_OR_EQUAL,
  LEVEL_BASE::PREDICATE_NOT_LESS,
  LEVEL_BASE::PREDICATE_NOT_LESS_OR_EQUAL,
  LEVEL_BASE::PREDICATE_NOT_OVERFLOW,
  LEVEL_BASE::PREDICATE_NOT_PARITY,
  LEVEL_BASE::PREDICATE_NOT_SIGN,
  LEVEL_BASE::PREDICATE_NOT_ZERO,
  LEVEL_BASE::PREDICATE_OVERFLOW,
  LEVEL_BASE::PREDICATE_PARITY,
  LEVEL_BASE::PREDICATE_SIGN,
  LEVEL_BASE::PREDICATE_ZERO,
  LEVEL_BASE::PREDICATE_CX_NON_ZERO,
  LEVEL_BASE::PREDICATE_ECX_NON_ZERO,
  LEVEL_BASE::PREDICATE_RCX_NON_ZERO,
  LEVEL_BASE::PREDICATE_SAVED_GCX_NON_ZERO,
  PREDICATE_LAST
}
 

Detailed Description

This file contains basic abstractions for IA32