Re-revert "Fold overflow operations in value numbering"#51440

Merged

sandreenko merged 24 commits intodotnet:mainfrom SingleAccretion:Fold-Overflow-Operations-In-Value-Numbering-No-Helpers

May 26, 2021

+49,272-649

Commits on May 22, 2021

Added a missing license header
SingleAccretion
committed
Added a test verifying that checked arithmetic is correct
SingleAccretion
committed
Added a test verifying that checked casts are correct
SingleAccretion
committed
Disabled the test for checked casts on Mono
SingleAccretion
committed
Refactored VNEvalShouldFold
SingleAccretion
committed
Refactored gtFoldExprConst to use helpers and follow the common code style
SingleAccretion
committed
Fixed the comment stating TYP_BYREF has no zero value
SingleAccretion
committed
Moved checking of overflow for arithmetic operations from gtFoldExprConst into a separate namespace
SingleAccretion
committed
Implemented folding of overflow arithmetic in value numbering
SingleAccretion
committed
Fixed some typos in valuenum.cpp/h
SingleAccretion
committed
Added identity-based evaluation for overflow arithmetic
SingleAccretion
committed
Made the definition of var_types a standalone header so that it can be safely #included'ed in utils.h
SingleAccretion
committed
Refactored gtFoldExpr some more, moved the overflow checking logic to CheckedOps, implemented overflow checking for floating point -> integer casts
SingleAccretion
committed
Implemented folding of checked casts in value numbering
SingleAccretion
committed