diff --git a/herd/archExtra_herd.ml b/herd/archExtra_herd.ml index 80a5ee9e7..1a86e4394 100644 --- 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 index e379b02a6..6ec310a4f 100644 --- 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