"If the branch condition is not volatile, compilers will usually lift it" Usually in any program with well-defined semantics (e.g. not using janky multithreade

"If the branch condition is not volatile, compilers will usually lift it" Usually in any program with well-defined semantics (e.g. not using janky multithreaded mutability), this will be true