Look for "idiom detection". Macro uop fusion is a limited form of this. As a relevant example, POWER CPUs can convert some non diverging branches into conditio

Look for "idiom detection". Macro uop fusion is a limited form of this. As a relevant example, POWER CPUs can convert some non diverging branches into conditional execution if not well predictable. Many RISC CPUs can convert well known LL/SC code patterns into locked atomic operations to guarantee forward progress.