> /* { dg-do run { target { { {riscv_v} && {rv64} } } } } */
> 
> Seems you should remove rv64 here ? sicne I think it is redundant here.

Going to commit with that removed.

Regards
 Robin

Reply via email to