Lines Matching refs:vassert
98 vassert( ((UInt)(_cc_op)) < ARMG_CC_OP_NUMBER); \
145 vassert((oldC & ~1) == 0); in armg_calculate_flag_n()
155 vassert((oldC & ~1) == 0); in armg_calculate_flag_n()
225 vassert((oldC & ~1) == 0); in armg_calculate_flag_z()
235 vassert((oldC & ~1) == 0); in armg_calculate_flag_z()
305 vassert((oldC & ~1) == 0); in armg_calculate_flag_c()
315 vassert((oldC & ~1) == 0); in armg_calculate_flag_c()
322 vassert((shco & ~1) == 0); in armg_calculate_flag_c()
329 vassert((cc_dep3 & ~3) == 0); in armg_calculate_flag_c()
336 vassert((cc_dep3 & ~3) == 0); in armg_calculate_flag_c()
387 vassert((oldC & ~1) == 0); in armg_calculate_flag_v()
397 vassert((oldC & ~1) == 0); in armg_calculate_flag_v()
405 vassert((oldV & ~1) == 0); in armg_calculate_flag_v()
412 vassert((cc_dep3 & ~3) == 0); in armg_calculate_flag_v()
419 vassert((cc_dep3 & ~3) == 0); in armg_calculate_flag_v()
586 vassert(arity == 4); in guest_arm_spechelper()
822 vassert(arity == 4); in guest_arm_spechelper()
872 vassert(arity == 4); in guest_arm_spechelper()
949 vassert(0); // FIXME
973 vassert(0 == (cpsr & 0x0FFFFFFF)); in LibVEX_GuestARM_get_cpsr()