IRConst_F32
IRConst_F32i
IRConst_F64
IRConst_F64i
IRConst_U1
IRConst_U16
IRConst_U32
IRConst_U64
IRConst_U8
IRConst_V128
IRConst_V256
IRExpr_Binder
IRExpr_Binop
IRExpr_CCall
IRExpr_Const
IRExpr_GSPTR
IRExpr_Get
IRExpr_GetI
IRExpr_ITE
IRExpr_Load
IRExpr_Qop
IRExpr_RdTmp
IRExpr_Triop
IRExpr_Unop
IRExpr_VECRET
clear_log
deregister_all_readonly_regions
emptyIRSB
emptyIRTypeEnv
log_level
mkIRCallee
mkIRExprVec_0
mkIRExprVec_1
mkIRExprVec_2
mkIRExprVec_3
mkIRExprVec_4
mkIRExprVec_5
mkIRExprVec_6
mkIRExprVec_7
mkIRExprVec_8
mkIRRegArray
msg_buffer
msg_current_size
newIRTemp
register_initial_register_value
register_readonly_region
reset_initial_register_values
sizeofIRType
typeOfIRExpr
typeOfIRLoadGOp
typeOfPrimop
vex_init
vex_lift