Searched refs:NoSignedOverflow (Results 1 – 3 of 3) sorted by relevance
72 | NoSignedOverflow constructor76 NoSignedOverflow <> NoSignedOverflow = NoSignedOverflow function80 mempty = NoSignedOverflow131 Left P.Refl -> NoSignedOverflow135 else NoSignedOverflow186 else NoSignedOverflow196 else NoSignedOverflow206 else NoSignedOverflow216 else NoSignedOverflow
412 bool NoSignedOverflow; in eliminateOverflowIntrinsic() local422 NoSignedOverflow = true; in eliminateOverflowIntrinsic()429 NoSignedOverflow = false; in eliminateOverflowIntrinsic()436 NoSignedOverflow = true; in eliminateOverflowIntrinsic()443 NoSignedOverflow = false; in eliminateOverflowIntrinsic()470 if (NoSignedOverflow) in eliminateOverflowIntrinsic()
421 bool NoSignedOverflow; in eliminateOverflowIntrinsic() local431 NoSignedOverflow = true; in eliminateOverflowIntrinsic()438 NoSignedOverflow = false; in eliminateOverflowIntrinsic()445 NoSignedOverflow = true; in eliminateOverflowIntrinsic()452 NoSignedOverflow = false; in eliminateOverflowIntrinsic()479 if (NoSignedOverflow) in eliminateOverflowIntrinsic()