[Bug target/122158] New: [16 Regression] PowerPC64LE: Trigger internal error at O2

[xxs_chy at outlook dot com via Gcc-bugs]

https://gcc.gnu.org/bugzilla/show_bug.cgi?id=122158

            Bug ID: 122158
           Summary: [16 Regression] PowerPC64LE: Trigger internal error at
                    O2
           Product: gcc
           Version: 16.0
            Status: UNCONFIRMED
          Severity: normal
          Priority: P3
         Component: target
          Assignee: unassigned at gcc dot gnu.org
          Reporter: xxs_chy at outlook dot com
  Target Milestone: ---

Reproducer: https://godbolt.org/z/4KvjMaz9M

Testcase:
#include "stdint.h"
int32_t g_3, g_181, g_7;
int64_t func_54(uint32_t, int32_t *, int16_t, uint64_t);
int32_t func_24() {
  int p_25;
  int32_t *l_49 = &g_3;
  func_54(g_7, l_49, p_25, g_7);
}
int64_t func_54(uint32_t p_55, int32_t *p_56, int16_t, uint64_t) {
  for (g_181 = 27; g_181 != 9; --g_181)
    p_55 || (*p_56 = 0);
}

Command:
> powerpc64le-unknown-linux-gnu-gcc -O2 a.c
Output:
<source>: In function 'func_24':
<source>:5:9: error: integral result type precision does not match field size
of 'bit_field_ref'
    5 | int32_t func_24() {
      |         ^~~~~~~
stmp_g_3_lsm_flag.19_54 = BIT_FIELD_REF <_53, 8, 0>;
during GIMPLE pass: vect
<source>:5:9: internal compiler error: verify_gimple failed
0x21c93d1 diagnostics::context::diagnostic_impl(rich_location*,
diagnostics::metadata const*, diagnostics::option_id, char const*,
__va_list_tag (*) [1], diagnostics::kind)
        ???:0
0x21be25f internal_error(char const*, ...)
        ???:0
0x11d9441 verify_gimple_in_cfg(function*, bool, bool)
        ???:0