Lines Matching refs:NoSignedWrap
939 /// the multiplication is known not to overflow then NoSignedWrap is set.
940 Value *InstCombiner::Descale(Value *Val, APInt Scale, bool &NoSignedWrap) {
947 NoSignedWrap = true;
999 NoSignedWrap = true;
1007 NoSignedWrap = BO->hasNoSignedWrap();
1008 if (RequireNoSignedWrap && !NoSignedWrap)
1046 NoSignedWrap = BO->hasNoSignedWrap();
1047 if (RequireNoSignedWrap && !NoSignedWrap)
1125 NoSignedWrap = true;
1131 // expression. NoSignedWrap is 'true' if multiplying Op by Scale is known
1149 // our way up, having NoSignedWrap 'true' means that the descaled value at the
1158 NoSignedWrap &= OpNoSignedWrap;
1159 if (NoSignedWrap != OpNoSignedWrap) {
1160 BO->setHasNoSignedWrap(NoSignedWrap);
1167 NoSignedWrap = false;
1169 assert((Ancestor->getOpcode() != Instruction::SExt || NoSignedWrap) &&
