https://gcc.gnu.org/bugzilla/show_bug.cgi?id=125907
--- Comment #3 from Hongtao Liu <liuhongt at gcc dot gnu.org> --- > > But it only accepts nonimmediate_operand, but here for the testcase in the > PR, it's const_int 0 > > Failed to match this instruction: > (set (reg:SI 99 [ <retval> ]) > (if_then_else:SI (ne (and:SI (reg:SI 103 [ _1 ]) > (const_int 1 [0x1])) > (const_int 0 [0])) > (reg:SI 107 [ c ]) > (const_int 0 [0]))) Also it's not simplified to zero_extract
