In case the value used in a branch condition is a load instruction, assume this load to be invariant. llvm-svn: 314146