[Bug tree-optimization/45144] New: SRA optimization issue of bit-field

["jiez at gcc dot gnu dot org" <gcc-bugzilla@gcc.gnu.org>]

For the following code:

void baz (unsigned);

extern unsigned buf[];

struct A
{
  unsigned a1:10;
  unsigned a2:3;
  unsigned:19;
};

union TMP
{
  struct A a;
  unsigned int b;
};

static unsigned
foo (struct A *p)
{
  union TMP t;
  struct A x;

  x = *p;
  t.a = x;
  return t.b;
}

void
bar (unsigned orig, unsigned *new)
{
  struct A a;
  union TMP s;

  s.b = orig;
  a = s.a;
  if (a.a1)
    baz (a.a2);
  *new = foo (&a);
}

"arm-none-eabi-gcc -O2" generates:

bar:
        @ Function supports interworking.
        @ args = 0, pretend = 0, frame = 0
        @ frame_needed = 0, uses_anonymous_args = 0
        stmfd   sp!, {r3, r4, r5, r6, r7, lr}
        mov     r4, r0, asl #22
        mov     r5, r0, lsr #10
        movs    r4, r4, lsr #22
        mov     r6, r1
        and     r5, r5, #7
        mov     r7, r0, lsr #13
        movne   r0, r5
        blne    baz
.L2:
        orr     r4, r4, r5, asl #10
        orr     r7, r4, r7, asl #13
        str     r7, [r6, #0]
        ldmfd   sp!, {r3, r4, r5, r6, r7, lr}
        bx      lr

while "arm-none-eabi-gcc -O2 -fno-tree-sra" generates:

bar:
        @ Function supports interworking.
        @ args = 0, pretend = 0, frame = 0
        @ frame_needed = 0, uses_anonymous_args = 0
        stmfd   sp!, {r3, r4, r5, lr}
        movs    r3, r0, asl #22
        mov     r4, r0
        mov     r5, r1
        movne   r0, r0, lsr #10
        andne   r0, r0, #7
        blne    baz
.L2:
        str     r4, [r5, #0]
        ldmfd   sp!, {r3, r4, r5, lr}
        bx      lr


-- 
           Summary: SRA optimization issue of bit-field
           Product: gcc
           Version: 4.6.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: tree-optimization
        AssignedTo: unassigned at gcc dot gnu dot org
        ReportedBy: jiez at gcc dot gnu dot org
GCC target triplet: arm-none-eabi


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