Searched refs:sz_vex (Results 1 – 1 of 1) sorted by relevance
720 UInt sz_vex = (UInt) sizeof tst->arch.vex; in do_pre_run_checks() local728 (void*)a_vex, sz_vex, in do_pre_run_checks()733 vg_assert(sz_vex % LibVEX_GUEST_STATE_ALIGN == 0); in do_pre_run_checks()748 vg_assert(sz_vex == sz_vexsh1); in do_pre_run_checks()749 vg_assert(sz_vex == sz_vexsh2); in do_pre_run_checks()750 vg_assert(a_vex + 1 * sz_vex == a_vexsh1); in do_pre_run_checks()751 vg_assert(a_vex + 2 * sz_vex == a_vexsh2); in do_pre_run_checks()755 vg_assert(a_vex + 3 * sz_vex == a_spill); in do_pre_run_checks()