https://gcc.gnu.org/bugzilla/show_bug.cgi?id=78364
ktkachov at gcc dot gnu.org changed: What |Removed |Added ---------------------------------------------------------------------------- Status|NEW |ASSIGNED Assignee|unassigned at gcc dot gnu.org |ktkachov at gcc dot gnu.org --- Comment #2 from ktkachov at gcc dot gnu.org --- The bad assembly comes from the extzv_t2 pattern which ends up accepting: 24 @(insn:TI 12 6 13 (set (reg:SI 0 r0) 25 @ (zero_extract:SI (reg:SI 0 r0 [ a ]) 26 @ (const_int 16 [0x10]) 27 @ (const_int 17 [0x11]))) {extzv_t2} 28 @ (nil)) So the predicates need to be tightened