Concretize gimple_cond_set_{lhs|rhs}
commit7d8a49c84945c4880576e9711a532fa75a18fff1
authorDavid Malcolm <dmalcolm@redhat.com>
Fri, 20 Dec 2013 18:50:10 +0000 (20 13:50 -0500)
committerDavid Malcolm <dmalcolm@redhat.com>
Fri, 24 Oct 2014 21:25:22 +0000 (24 17:25 -0400)
tree047ef614e54ca2616f8997f26c18223efa079d8a
parentf4ca3cdc5a478923cd46f6925e1d38c998db345b
Concretize gimple_cond_set_{lhs|rhs}

This corresponds to:
  [PATCH 75/89] Concretize gimple_cond_set_{lhs|rhs}
  https://gcc.gnu.org/ml/gcc-patches/2014-04/msg01222.html
from the original 89-patch kit

That earlier patch was approved by Jeff:
> OK once prereqs go in.
in https://gcc.gnu.org/ml/gcc-patches/2014-05/msg00850.html

gcc/
* gimple.h (gimple_cond_set_lhs): Require a gimple_cond.
(gimple_cond_set_rhs): Likewise.

* tree-parloops.c (transform_to_exit_first_loop): Convert locals
"cond_stmt" and "cond_nit" to gimple_cond, adding checked casts,
since the existing code assumes that code is GIMPLE_COND.  Convert
"stmt" to a gimple_assign.
(create_parallel_loop): Likewise for "cond_stmt".

* tree-ssa-loop-im.c (rewrite_bittest): Replace check for code
GIMPLE_COND with a dyn_cast, adding new local "cond_stmt".
gcc/ChangeLog.gimple-classes
gcc/gimple.h
gcc/tree-parloops.c
gcc/tree-ssa-loop-im.c