Lines Matching refs:vassert
101 vassert( ((UInt)(_cc_op)) < ARM64G_CC_OP_NUMBER); \
102 vassert( ((UInt)(_cond)) < 16); \
161 vassert((oldC & ~1) == 0); in arm64g_calculate_flag_n()
171 vassert((oldC & ~1) == 0); in arm64g_calculate_flag_n()
181 vassert((oldC & ~1) == 0); in arm64g_calculate_flag_n()
191 vassert((oldC & ~1) == 0); in arm64g_calculate_flag_n()
279 vassert((oldC & ~1) == 0); in arm64g_calculate_flag_z()
289 vassert((oldC & ~1) == 0); in arm64g_calculate_flag_z()
299 vassert((oldC & ~1) == 0); in arm64g_calculate_flag_z()
309 vassert((oldC & ~1) == 0); in arm64g_calculate_flag_z()
396 vassert((oldC & ~1) == 0); in arm64g_calculate_flag_c()
406 vassert((oldC & ~1) == 0); in arm64g_calculate_flag_c()
416 vassert((oldC & ~1) == 0); in arm64g_calculate_flag_c()
425 vassert((oldC & ~1) == 0); in arm64g_calculate_flag_c()
508 vassert((oldC & ~1) == 0); in arm64g_calculate_flag_v()
518 vassert((oldC & ~1) == 0); in arm64g_calculate_flag_v()
528 vassert((oldC & ~1) == 0); in arm64g_calculate_flag_v()
538 vassert((oldC & ~1) == 0); in arm64g_calculate_flag_v()
729 vassert(arity == 4); in guest_arm64_spechelper()
1174 vassert(0 == (nzcv & 0xFFFFFFFF0FFFFFFFULL)); in LibVEX_GuestARM64_get_nzcv()