On Fri, Jul 10, 2015 at 5:46 PM, Jim Wilson <jim.wil...@linaro.org> wrote: > On Tue, Jul 7, 2015 at 2:35 PM, Richard Biener > <richard.guent...@gmail.com> wrote: >> On July 7, 2015 6:29:21 PM GMT+02:00, Jim Wilson <jim.wil...@linaro.org> >> wrote: >>>signed sub-word locals. Thus to detect the need for a conversion, you >>>have to have the decls, and we don't have them here. There is also >> >> It probably is. The decks for the parameter based SSA names are available, >> for the PHI destination there might be no decl. > > I tried looking again, and found the decls. I'm able to get correct > code for my testcase with the attached patch to force the conversion. > It is rather inelegant, but I think I can cache the values I need to > make this simpler and cleaner. I still don't have decls from > insert_part_to_rtx_on_edge and insert_rtx_to_part_on_edge, but it > looks like those are for breaking cycles, and hence might not need > conversions.
Yes, that looks like a defect. CCing Micha who wrote this code Richard. > Jim