Okay, you get half of the story. Suppose now, there are two architectures with slightly differing behavior. Can the compiler still optimize signed x + 1 > x t

Okay, you get half of the story. Suppose now, there are two architectures with slightly differing behavior. Can the compiler still optimize signed x + 1 > x to true?