Searched refs:pxVals (Results 1 – 1 of 1) sorted by relevance
477 const VexRegisterUpdates pxVals[5] in main_process_cmd_line_options() local710 vg_assert(pxVals[ix] >= VexRegUpdSpAtMemAccess); in main_process_cmd_line_options()711 vg_assert(pxVals[ix] <= VexRegUpdAllregsAtEachInsn); in main_process_cmd_line_options()712 VG_(clo_vex_control).iropt_register_updates_default = pxVals[ix]; in main_process_cmd_line_options()718 vg_assert(pxVals[ix] >= VexRegUpdSpAtMemAccess); in main_process_cmd_line_options()719 vg_assert(pxVals[ix] <= VexRegUpdAllregsAtEachInsn); in main_process_cmd_line_options()720 VG_(clo_vex_control).iropt_register_updates_default = pxVals[ix]; in main_process_cmd_line_options()726 vg_assert(pxVals[ix] >= VexRegUpdSpAtMemAccess); in main_process_cmd_line_options()727 vg_assert(pxVals[ix] <= VexRegUpdAllregsAtEachInsn); in main_process_cmd_line_options()728 VG_(clo_px_file_backed) = pxVals[ix]; in main_process_cmd_line_options()