RFR: 8328934: Assert that ABS input and output are legal [v3]

[Andrew Haley]

On Fri, 12 Apr 2024 09:59:42 GMT, Aleksey Shipilev <shade at openjdk.org> wrote:

> Caught some failures, which made me think we want richer diagnostics around this. With new version, we print stuff like:
> 
> ```
> #  Internal Error (/Users/shipilev/Work/shipilev-jdk/src/hotspot/share/opto/loopnode.cpp:2965), pid=32195, tid=27139
> #  Error: ABS: argument should not allow overflow
> ```

LOL, don't say you weren't warned!  ;-)


  T res = (x < 0 && x != std::numeric_limits<T>::min()) ? -x : x;

-------------

PR Comment: https://git.openjdk.org/jdk/pull/18751#issuecomment-2051820875