[SPARK-9938][SQL]Constant folding of binaryComparison on IntegralType

[yjshen]

We could get a chance to do constant folding when we are comparing a IntegerType column with Long Literal.

JIRA: https://issues.apache.org/jira/browse/SPARK-9938

[SparkQA]

Test build #40763 has finished for PR 8165 at commit 647a23f.

• This patch passes all tests.
• This patch merges cleanly.
• This patch adds no public classes.

[yjshen]

@marmbrus @liancheng, Is this PR useful? I'm doing this because #8157 (comment)

[liancheng]

Sorry for the late reply.

I think it's great to have a general mechanism to check whether we can safely cast type A to type B without losing any information. For example, with this we can fix SPARK-9927 in a proper way.

But the constant folding part doesn't seem to be super useful? Especially when it makes the original ConstantFolding rule ~6 times longer...

[yjshen]

:) yes, I also think its a long one....