Yep, there's an entire book to be written on techniques that you can use to express your understanding of code to the compiler so that the compiler's chosen imp

Yep, there's an entire book to be written on techniques that you can use to express your understanding of code to the compiler so that the compiler's chosen implementation of it matches yours. Plenty of __builtins and __attributes__, and even just the ordering of if/else statements, grouping statements into local scopes with {}, using or not using a temporary variable...