seal5/backends/riscv_intrinsics/writer.py: fix

tum-ei-eda · Dec 19, 2024 · 656919f · 656919f
1 parent 6bf2007
commit 656919f
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/seal5/backends/riscv_intrinsics/writer.py b/seal5/backends/riscv_intrinsics/writer.py
@@ -169,6 +169,7 @@ def build_target(arch: str, intrinsic: IntrinsicDefn):
 
 def build_target_new(arch: str, intrinsic: IntrinsicDefn, prefix: Optional[str] = "__builtin_riscv"):
     if prefix != "__builtin_riscv":
+        # Use: let Spellings = ["__builtin_riscv_" # NAME];
         raise NotImplementedError("Clang builtin custom prefix")
     ret_str = "void"
     if intrinsic.ret_type:
@@ -177,7 +178,7 @@ def build_target_new(arch: str, intrinsic: IntrinsicDefn, prefix: Optional[str]
     prototype_str = f"{ret_str}({args_str})"
     features = [arch]
     features_str = "|".join(features)
-    target = f'def {intrinsic.intrinsic_name} : RISCVBuiltin<"{prototype_str}", "{features_str}">;'
+    target = f'def {arch}_{intrinsic.intrinsic_name} : RISCVBuiltin<"{prototype_str}", "{features_str}">;'
 
     return target