Checker test for optimizations of integer division and remainder instructions when the denominator is a constant, not power of 2.