fix(data): use hints for Zicbop instructions

- Replace `pseudoinstructions` inline in `ori.yaml` with hint references
- Fix IDL implementation for prefetch instructions to use the offset+reg value

Author: jordancarlin

spec/std/isa/inst/I/ori.yaml

@@ -25,32 +25,12 @@ access:
   vs: always
   vu: always
 data_independent_timing: true
+hints:
+  - { $ref: inst/Zicbop/prefetch.r.yaml# }
+  - { $ref: inst/Zicbop/prefetch.w.yaml# }
+  - { $ref: inst/Zicbop/prefetch.i.yaml# }
 operation(): |
-  if (implemented?(ExtensionName::Zicbop)) {
-    if (xd == 0) {
-      if (imm[4:0] == 0) {
-        # prefetch.i instruction
-        Bits<12> offset = {imm[11:5], xd};
-        prefetch_instruction(offset);
-      } else if (imm[4:0] == 1) {
-        # prefetch.r instruction
-        Bits<12> offset = {imm[11:5], xd};
-        prefetch_read(offset);
-      } else if (imm[4:0] == 3) {
-        # prefetch.r instruction
-        Bits<12> offset = {imm[11:5], xd};
-        prefetch_write(offset);
-      }
-    }
-  }
   X[xd] = X[xs1] | $signed(imm);
-pseudoinstructions:
-  - when: (xd == 0) && (imm[4:0] == 0)
-    to: prefetch.i offset
-  - when: (xd == 0) && (imm[4:0] == 1)
-    to: prefetch.r offset
-  - when: (xd == 0) && (imm[4:0] == 3)
-    to: prefetch.w offset
 
 # SPDX-SnippetBegin
 # SPDX-FileCopyrightText: 2017-2025 Contributors to the RISCV Sail Model <https://github.com/riscv/sail-riscv/blob/master/LICENCE>

spec/std/isa/inst/Zicbop/prefetch.i.yaml

@@ -0,0 +1,32 @@
+# Copyright (c) Jordan Carlin
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../../schemas/inst_schema.json
+
+$schema: inst_schema.json#
+kind: instruction
+name: prefetch.i
+long_name: Cache block prefetch for instruction fetch
+description: |
+  A prefetch.i instruction indicates to hardware that the cache block whose
+  effective address is the sum of the base address specified in rs1 and the
+  sign-extended offset encoded in imm[11:0], where imm[4:0] equals 0b00000,
+  is likely to be accessed by an instruction fetch in the near future.
+definedBy: Zicbop
+assembly: prefetch.i imm(xs1)
+encoding:
+  match: -------00001-----110000000010011
+  variables:
+    - name: imm
+      location: 31-25
+    - name: xs1
+      location: 19-15
+access:
+  s: always
+  u: always
+  vs: always
+  vu: always
+data_independent_timing: false
+operation(): |
+  XReg address = X[xs1] + $signed(imm << 5);
+  prefetch_instruction(address);

spec/std/isa/inst/Zicbop/prefetch.r.yaml

@@ -0,0 +1,32 @@
+# Copyright (c) Jordan Carlin
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../../schemas/inst_schema.json
+
+$schema: inst_schema.json#
+kind: instruction
+name: prefetch.r
+long_name: Cache block prefetch for data read
+description: |
+  A prefetch.r instruction indicates to hardware that the cache block whose
+  effective address is the sum of the base address specified in rs1 and the
+  sign-extended offset encoded in imm[11:0], where imm[4:0] equals 0b00000,
+  is likely to be accessed by a data read (i.e. load) in the near future.
+definedBy: Zicbop
+assembly: prefetch.r imm(xs1)
+encoding:
+  match: -------00001-----110000000010011
+  variables:
+    - name: imm
+      location: 31-25
+    - name: xs1
+      location: 19-15
+access:
+  s: always
+  u: always
+  vs: always
+  vu: always
+data_independent_timing: false
+operation(): |
+  XReg address = X[xs1] + $signed(imm << 5);
+  prefetch_read(address);

spec/std/isa/inst/Zicbop/prefetch.w.yaml

@@ -0,0 +1,32 @@
+# Copyright (c) Jordan Carlin
+# SPDX-License-Identifier: BSD-3-Clause-Clear
+
+# yaml-language-server: $schema=../../../../schemas/inst_schema.json
+
+$schema: inst_schema.json#
+kind: instruction
+name: prefetch.w
+long_name: Cache block prefetch for data write
+description: |
+  A prefetch.w instruction indicates to hardware that the cache block whose
+  effective address is the sum of the base address specified in rs1 and the
+  sign-extended offset encoded in imm[11:0], where imm[4:0] equals 0b00000,
+  is likely to be accessed by a data write (i.e. store) in the near future.
+definedBy: Zicbop
+assembly: prefetch.w imm(xs1)
+encoding:
+  match: -------00011-----110000000010011
+  variables:
+    - name: imm
+      location: 31-25
+    - name: xs1
+      location: 19-15
+access:
+  s: always
+  u: always
+  vs: always
+  vu: always
+data_independent_timing: false
+operation(): |
+  XReg address = X[xs1] + $signed(imm << 5);
+  prefetch_write(address);