reference, declaration → definition definition → references, declarations, derived classes, virtual overrides reference to multiple definitions → definitions unreferenced |
732 if (BO->hasNoUnsignedWrap() && BO->hasNoSignedWrap()) 732 if (BO->hasNoUnsignedWrap() && BO->hasNoSignedWrap()) 735 if (BO->getOpcode() != Instruction::Add && 736 BO->getOpcode() != Instruction::Sub && 737 BO->getOpcode() != Instruction::Mul) 740 const SCEV *LHS = SE->getSCEV(BO->getOperand(0)); 741 const SCEV *RHS = SE->getSCEV(BO->getOperand(1)); 744 if (!BO->hasNoUnsignedWrap() && 745 willNotOverflow(SE, BO->getOpcode(), /* Signed */ false, LHS, RHS)) { 746 BO->setHasNoUnsignedWrap(); 747 SE->forgetValue(BO); 751 if (!BO->hasNoSignedWrap() && 752 willNotOverflow(SE, BO->getOpcode(), /* Signed */ true, LHS, RHS)) { 753 BO->setHasNoSignedWrap(); 754 SE->forgetValue(BO);