Isn't this only when `xd != 0` ? _Originally posted by @ThinkOpenly in https://github.com/riscv-software-src/riscv-unified-db/pull/1262#discussion_r2574897868_