[Bug middle-end/39744] New: component references with VIEW_CONVERT_EXPR should be canonicalized

[rguenth at gcc dot gnu dot org]

VIEW_CONVERT_EXPR <T>(a.b.c.d).e.f.g.h

should be canonicalized to strip zero-offset and same size as T component
references off the VIEW_CONVERT_EXPR argument.  The same should be applied
to component references of the VIEW_CONVERT_EXPR result by adjusting the
type T the VIEW_CONVERT_EXPR converts to.

This missed canonicalization will help folding and value numbering.


-- 
           Summary: component references with VIEW_CONVERT_EXPR should be
                    canonicalized
           Product: gcc
           Version: 4.5.0
            Status: UNCONFIRMED
          Keywords: missed-optimization
          Severity: enhancement
          Priority: P3
         Component: middle-end
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: rguenth at gcc dot gnu dot org


http://gcc.gnu.org/bugzilla/show_bug.cgi?id=39744