Re: no_new_pseudos

[Eric Botcazou <ebotcazou at libertysurf dot fr>]

> Shouldn't we see this as a teachable moment for correct English
> grammar?

That would be overloading the predicate. :-)

More seriously:

eric@linux:~/svn/gcc/gcc> grep "^may_" *.c
fold-const.c:may_negate_without_overflow_p (tree t)
haifa-sched.c:may_trap_exp (rtx x, int is_store)
loop-invariant.c:may_assign_reg_p (rtx x)
loop-unswitch.c:may_unswitch_on (basic_block bb, struct loop *loop, rtx 
*cinsn)
matrix-reorg.c:may_flatten_matrices_1 (tree stmt)
matrix-reorg.c:may_flatten_matrices (struct cgraph_node *node)
rtlanal.c:may_trap_p_1 (rtx x, unsigned flags)
rtlanal.c:may_trap_p (rtx x)
rtlanal.c:may_trap_after_code_motion_p (rtx x)
rtlanal.c:may_trap_or_fault_p (rtx x)
tree-predcom.c:may_reassociate_p (tree type, enum tree_code code)
tree-ssa-alias.c:may_alias_p (tree ptr, HOST_WIDE_INT mem_alias_set,
tree-ssa-alias.c:may_be_aliased (tree var)
tree-ssa-copy.c:may_propagate_copy (tree dest, tree orig)
tree-ssa-copy.c:may_propagate_copy_into_asm (tree dest)
tree-ssa-loop-im.c:may_move_till (tree ref, tree *index, void *data)
tree-ssa-loop-ivopts.c:may_be_unaligned_p (tree ref)
tree-ssa-loop-ivopts.c:may_be_nonaddressable_p (tree expr)
tree-ssa-loop-ivopts.c:may_eliminate_iv (struct ivopts_data *data,
tree-ssa-loop-prefetch.c:may_use_storent_in_loop_p (struct loop *loop)

eric@linux:~/svn/gcc/gcc> grep "^can_" *.c
bt-load.c:can_move_up (basic_block bb, rtx insn, int n_insns)
cfganal.c:can_fallthru (basic_block src, basic_block target)
cfghooks.c:can_remove_branch_p (edge e)
cfghooks.c:can_merge_blocks_p (basic_block bb1, basic_block bb2)
cfghooks.c:can_duplicate_block_p (basic_block bb)
cfglayout.c:can_copy_bbs_p (basic_block *bbs, unsigned n)
cfgloopmanip.c:can_duplicate_loop_p (struct loop *loop)
cfgrtl.c:can_delete_note_p (rtx note)
cfgrtl.c:can_delete_label_p (rtx label)
combine.c:can_combine_p (rtx insn, rtx i3, rtx pred ATTRIBUTE_UNUSED, rtx 
succ,
combine.c:can_change_dest_mode (rtx x, int added_sets, enum machine_mode mode)
except.c:can_throw_internal_1 (int region_number, bool is_resx)
except.c:can_throw_internal (rtx insn)
except.c:can_throw_external_1 (int region_number, bool is_resx)
except.c:can_throw_external (rtx insn)
expr.c:can_move_by_pieces (unsigned HOST_WIDE_INT len,
expr.c:can_store_by_pieces (unsigned HOST_WIDE_INT len,
fwprop.c:can_simplify_addr (rtx addr)
gcse.c:can_copy_p (enum machine_mode mode)
gcse.c:can_assign_to_reg_p (rtx x)
lambda-code.c:can_put_in_inner_loop (struct loop *inner, tree stmt)
lambda-code.c:can_put_after_inner_loop (struct loop *loop, tree stmt)
lambda-code.c:can_convert_to_perfect_nest (struct loop *loop)
lower-subreg.c:can_decompose_p (rtx x)
matrix-reorg.c:can_calculate_expr_before_stmt (tree expr, sbitmap visited)
optabs.c:can_compare_p (enum rtx_code code, enum machine_mode mode,
optabs.c:can_conditionally_move_p (enum machine_mode mode)
optabs.c:can_extend_p (enum machine_mode to_mode, enum machine_mode from_mode,
optabs.c:can_fix_p (enum machine_mode fixmode, enum machine_mode fltmode,
optabs.c:can_float_p (enum machine_mode fltmode, enum machine_mode fixmode,
predict.c:can_predict_insn_p (rtx insn)
reload.c:can_reload_into (rtx in, int regno, enum machine_mode mode)
sched-rgn.c:can_schedule_ready_p (rtx insn)
tree-data-ref.c:can_use_analyze_subscript_affine_affine (tree *chrec_a, tree 
*chrec_b)
tree-sra.c:can_completely_scalarize_p (struct sra_elt *elt)
tree-ssa-forwprop.c:can_propagate_from (tree def_stmt)
tree-ssa-loop-manip.c:can_unroll_loop_p (struct loop *loop, unsigned factor,
tree-ssa-pre.c:can_value_number_call (tree stmt)
tree-ssa-pre.c:can_value_number_operation (tree op)
tree-ssa-pre.c:can_PRE_operation (tree op)

-- 
Eric Botcazou