Ensure isAllTypes is compilation constant

[JaroslavTulach]

Pull Request Description

Fixes #11901 up by making sure isAllTypes() is a compilation constant.

Checklist

Please ensure that the following checklist has been satisfied before submitting the PR:

• All code follows the
  Java,
• Benchmark run is back to full speed

[JaroslavTulach]

Benchmarks seem to be back on its previous speed:

Looks like 086d024 is the right fix.

[hubertp]

It's a bit of a mystery to me why prefer compilationConstant instead of partialEvaluationConstant as per javadoc but I trust you more with this black magic.

[JaroslavTulach]

It's a bit of a mystery to me why prefer compilationConstant instead of partialEvaluationConstant as per javadoc but I trust you more with this black magic.

True, let's fix it at 775595c and merge with some other PR.

The important fix is the @ExplodeLoop annotation that allows the for(;;) to be unrolled into individual statements and makes it possible for the vn to be a constant. There rest are just asserts to verify the assumption holds which need not be present at all.