[herd] remove unused ifetch code

herd · Jan 17, 2025 · 754c631 · 754c631
1 parent cdac254
commit 754c631
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 13 deletions.
diff --git a/herd/archExtra_herd.ml b/herd/archExtra_herd.ml
@@ -71,8 +71,6 @@ module type S = sig
   type instr = I.V.Cst.Instr.t
   type code = (int * instr) list
 
-  val convert_if_imm_branch : int -> int -> int Label.Map.t -> int Label.Map.t -> instr -> instr
-
   (* Program loaded in memory *)
   type program = int Label.Map.t
 
@@ -325,15 +323,6 @@ module Make(C:Config) (I:I) : S with module I = I
       type instr = I.V.Cst.Instr.t
       type code = (int * instr) list
 
-      (* This function is a default behaviour for all architectures.
-         When variant -self is enabled, it fails trying to convert a branch
-         instruction to a label into a branch-with-offset representation. *)
-      let convert_if_imm_branch _ _ _ _ i =
-        if C.variant Variant.Ifetch then
-          Warn.fatal "Functionality %s not implemented for -variant self" "convert_if_imm_branch"
-        else
-          i
-
       (* Programm loaded in memory *)
       type program = int Label.Map.t
 

diff --git a/herd/arch_herd.mli b/herd/arch_herd.mli
@@ -55,8 +55,6 @@ module type S =
       val sets : (string * (op -> bool)) list
     end
 
-    val convert_if_imm_branch : int -> int -> int Label.Map.t -> int Label.Map.t -> instruction -> instruction
-
     module MemType:MemoryType.S
 
     module Barrier:AllBarrier.S with type a = barrier