On Fri, Oct 02, 2020 at 12:59:54PM -0400, Andrew MacLeod via Gcc-patches wrote:
>
> The ranger is needed to map those values to the switch variable, and also
> apply any previous ranges or derived values (ie, if you ask for the range of
> 'y' in case 2, it will return unsigned int [6,6].
>
> * gimple-range-edge.h: New File.
> (outgoing_range): Calculate/cache constant outgoing edge ranges.
>
> * gimple-range-edge.cc: New file.
> (gimple_outgoing_range_stmt_p): New. Find control statement.
> (outgoing_range::outgoing_range): New.
> (outgoing_range::~outgoing_range): New.
> (outgoing_range::get_edge_range): New. Internal switch edge query.
> (outgoing_range::calc_switch_ranges): New. Calculate switch ranges.
> (outgoing_range::edge_range_p): New. Find constant range on edge.
Just a ChangeLog comment (ditto for several other patches).
When you add a new file, just say that and nothing else, i.e.
* gimple-range-edge.h: New File.
* gimple-range-edge.cc: New file.
and that's it. Everything in the new file is new, no need to state it
explicitly.
Jakub
