[jdk18] RFR: 8278267: ARM32: several vector test failures for ASHR [v3]
Hao Sun
haosun at openjdk.java.net
Tue Jan 4 04:36:14 UTC 2022
On Tue, 4 Jan 2022 04:25:17 GMT, Dean Long <dlong at openjdk.org> wrote:
>> An assertion should be better, but I didn't find a proper way to add one assertion for `instruct` according to `src/hotspot/share/adlc/Doc/Syntax.doc`.
>>
>> Hence I'd like to put this check to `predicate`, and "bad AD file` assertion would be issued for unexpected cases.
>
> You can put the assert into a helper function. You can look in aarch64.ad for examples.
>
> bool assert_not_var_shift(const Node *n) {
> assert(!n->as_ShiftV()->is_var_shift(), "illegal var shift");
> return true;
> }
>
> [...]
>
> predicate(n->as_Vector()->length() == 8 && assert_not_var_shift(n));
Thanks for you suggestion. Will update soon.
-------------
PR: https://git.openjdk.java.net/jdk18/pull/41
More information about the hotspot-compiler-dev
mailing list