2014-06-02 19:28 GMT+04:00 Michael Matz <m...@suse.de>: > Hi, > > On Mon, 2 Jun 2014, Ilya Enkovich wrote: > >> This patch adds support for input bounds, call bounds args and returned >> bounds in expand pass. >> >> * expr.h (store_expr): Add param for bounds target. > > There is exactly one place (except for the self-recursive ones) where you > call the new store_expr with a non-null argument for bounds target, and it > seems to be only necessary for when some sub-expression of the RHS is a > call. Can you somehow arrange to move that handling to the single place > in expand_assignment() so that you don't need to change the signature of > store_expr?
I see the only nice way to do it - store_expr should return bounds of expanded exp. Currently it always return NULL_RTX. Does it look better than a new argument? Ilya > > > Ciao, > Michael.