ART: Add recognition of optimized HRems in BCE

The instruction simplifier can optimized HRems into
HDiv+HMul+HSub or HDiv+HShl+HAdd(HSub)+HSub.
Developers can also manually optimized them.
This prevents BCE from assigning ranges and eliminating
bound checks.

This CL adds recognition of such optimized HRems to BCE.

Test: 449-checker-bce-rem
Test: test.py --host --optimizing --jit --gtest --interpreter
Test: test.py --target --optimizing --jit --interpreter
Test: run-gtests.sh
Change-Id: Ief23dcb029e3a03b5e60d4388fcbb84e143a9ea5
4 files changed