On 11/23/2021 12:55 PM, Navid Rahimi wrote:
Did you test Ada with this patch as that is where the "odd" boolean
types show up?
No I haven't tested Ada yet. Since it is work in progress still [WIP]. Quick
question, to prevent applying this optimization to those odd Boolean types in
Ada, there should be a check to check whether it is canonical boolean type or
signed/unsigned, which should prevent messing with odd Boolean types in Ada.
IIRC, you should check the type's precision. THere should be examples
you can find in one or more of the gimple optimizers.
jeff
