Intrinsics/Builtins: Make names more configurable #152
Labels
layer:builtins
priority:medium
seal5:settings
type:enhancement
New feature or request
type:help wanted
Extra attention is needed
type:support
As far as I can tell, the names of intrinsics are generated by concatenating the
arch
string (of the instruction set) and theintrinsic_name
(defined by the user).This leads to the following names being generated (for
arch: xcorevalu
&intrinsic_name: alu_abs
):llvm.riscv.xcorevalu.alu.abs
(LLVM-IR Intrinsic)__builtin_xcorevalu_alu_abs
(Clang Builtin)I see two problems here:
__builtin_xcorevalu_alu_abs
should actually be__builtin_riscv_xcorevalu_alu_abs
(easy fix)llvm.riscv.cv.alu.abs
instead ofllvm.riscv.xcorevalu.alu.abs
there is now way to achive this without renaming the arch/intruction set name. Ideally, we should have a way to (optionally) configure the names in a more specific fashion (i.e. providing afull_name: "riscv_cv_alu_abs"
orprefix: "riscv_cv"
option)The text was updated successfully, but these errors were encountered: