On Tue, Jun 4, 2013 at 9:20 PM, Jeff Law <l...@redhat.com> wrote: > On 06/03/2013 08:23 AM, Kai Tietz wrote: >> >> >> Btw there is one optimization in this context which might be something >> worth here too. >> -X -> X for 1-bit typed X (signed doesn't matter here). > > I've had a hell of a time trying to trigger a case where this isn't already > handled. Samples welcome.
Samples should pop up when including BOOLEAN_TYPEs in the handling of tree-ssa-forwprop.c:truth_valued_ssa_name (). It's probably Ada indeed (gfortran also has various BOOLEAN_TYPEs but they all have precision 1 but different sizes IIRC). Eventually we should force all BOOLEAN_TYPEs to have precision 1 but as Kai remembers Ada uses alternate values for verification (true, false, NaT or so). Eric may be able to explain. Thanks, Richard.
