1LIBRARY pyvex.dll 2 3EXPORTS 4 IRConst_F32 5 IRConst_F32i 6 IRConst_F64 7 IRConst_F64i 8 IRConst_U1 9 IRConst_U16 10 IRConst_U32 11 IRConst_U64 12 IRConst_U8 13 IRConst_V128 14 IRConst_V256 15 IRExpr_Binder 16 IRExpr_Binop 17 IRExpr_CCall 18 IRExpr_Const 19 IRExpr_GSPTR 20 IRExpr_Get 21 IRExpr_GetI 22 IRExpr_ITE 23 IRExpr_Load 24 IRExpr_Qop 25 IRExpr_RdTmp 26 IRExpr_Triop 27 IRExpr_Unop 28 IRExpr_VECRET 29 emptyIRSB 30 emptyIRTypeEnv 31 log_level 32 mkIRCallee 33 mkIRExprVec_0 34 mkIRExprVec_1 35 mkIRExprVec_2 36 mkIRExprVec_3 37 mkIRExprVec_4 38 mkIRExprVec_5 39 mkIRExprVec_6 40 mkIRExprVec_7 41 mkIRExprVec_8 42 mkIRRegArray 43 msg_buffer 44 msg_current_size 45 newIRTemp 46 typeOfIRExpr 47 typeOfIRLoadGOp 48 typeOfPrimop 49 clear_log 50 vex_lift 51 vex_init 52 sizeofIRType 53