[llvm-commits] [llvm] r108351 - /llvm/trunk/lib/Transforms/Utils/SimplifyCFG.cpp

[Duncan Sands]

Hi Owen,

> This allows us to eliminate the short circuit in (x&1)&&(x&2).

testcase?

> +  Instruction *BonusInst = 0;
> +  if (&*FrontIt != Cond&&
> +      (*FrontIt).hasOneUse()&&  *(*FrontIt).use_begin() == Cond&&
> +      (*FrontIt).isSafeToSpeculativelyExecute()&&
> +      !(*FrontIt).mayReadFromMemory()) {

Why the check on mayReadFromMemory?

Ciao,

Duncan.