“code motion - a general term for compiler optimizations that reorder provably independent evaluations to potentially improve performance, based on the capabilities of hardware on which the code will execute. noexcept Specifier (1136)” (EMCppSfe 2021)