> > My interpretation of the Zabha specification, in particular of "The Zabha > > extension depends upon the Zaamo standard extension", is that rv64id_zabha > > should result in a dependency violation (some compiler warning). > > > > The changes at stake seem instead to make the Zabha extension "select" the > > Zaamo extension; IOW, these changes seem to make rv64id_zabha an alias of > > rv64id_zaamo_zabha: I am wondering whether this was intentional? > > Hi Andrea, > > Thanks for highlighting this. > > This is intentional - my understanding is that GCC adds extensions if the > specified extensions depend upon them.
Thanks for the clarification. For the patch at stake, Tested-by: Andrea Parri <and...@rivosinc.com> Andrea
