Hi There,
In function [rewrite_simplify.cc]::TryCompare, there are some duplicate check logic like first do 'if (dbound->min_value > val) ’ then do ‘if (dbound->min_value >= val)’, for my understand after ‘>’ check, ‘>=’ actually is ‘==’ only, why here still use ‘>=’? could here use ‘if (dbound->min_value == val)’ to replace ‘‘if (dbound->min_value >= val)’’?
Regards
Hua