虽然标题叫分析,但现在已经变成了大量注释内容整合的形状,可能得改名为笔记。
既然我第一行就写明了,那么便不是标题党。
之所以不能叫分析,当然是自己回头看一遍都没看懂在写啥。
包含的文件 iterator.md
constraint.md
riscv-c.cc
riscv-protos.h
riscv-vector-builtins-bases.cc
riscv-vector-builtins-bases.h
riscv-vector-builtins-functions.def
riscv-vector-builtins-shapes.cc
riscv-vector-builtins-shapes.h
riscv-vector-builtins-types.def riscv-vector-builtins.cc
riscv-vector-builtins.h
riscv.md
vector-iterators.md
vector.md
Acronyms QI: 8 bits
HI: 16 bits
SI: 32 bits
DI: 64 bits
把一个word(即 32 bit 当成计量单位)四分之一(quarter)、二分之一(half)、双倍(double)。
iterator.md 使用lisp声明通用寄存器位宽定义迭代器(iterator)名称
constraint.md 在 match_operand 中,可以指定操作数约束(operand constraint)。
约束(constraint)对断言(predicate)所允许的操作数进行更详细的描述。
约束条件可以定义操作数是否可以使用寄存器以及使用何种寄存器。 说明操作数是否可以是一个内存引用以及其地址类型。 描述该操作数是都可以是一个立即数常量(immediate)以及其可能的值。 GCC 中的约束(constraint)使用字符串(string)表示。
以下是常见用法(部分夹带RISC-V私货方便自己查询):
>: memory operand, autoincrement addressing type, including preincrement and postincrement.
f: floating-point register
g: general register, memory or integer immediate constant.
i: Integer immediate operand, sign constant when and after compilering.
j: SIBCALL_REGS
l: JALR_REGS
n: known value integer immediate operand
p: memory address operand
x: all operand
I: 12-bit integer signed immediate J: integer zero
K: 5-bit unsigned immediate for CSR access instructions L: U-type 20-bit signed immediate Ds3: 1, 2 or 3 immediate
DsS: 31 immediate
DsD: 63 immediate
DbS:
DnS:
D03: 0, 1, 2 or 3 immediate
DsA: 0 - 10 immediate
G:
A: An address that is held in a general-purpose register.
S: A constraint that matches an absolute symbolic address.
U: A PLT-indirect call address.
T:
vr: vector register vd: vector register except mask register
vm: vector mask register
vp: poly int
vu: undefined vector value
vi: vector 5-bit signed immediate
vj: vector negated 5-bit signed immediate
vk: vector 5-bit unsigned immediate
Wc0: vector of immediate all zeros
Wc1: vector of immediate all ones
Wb1: BOOL vector of {…,0,…0,1}
Wdm: Vector duplicate memory operand
th_f_fmv: floating-point register for XTheadFmv
th_r_fmv: integer register for XTheadFmv
vmWc1:
vector mask register + a vector of immediate all ones
rK:
register operand using general register + 5-bit unsigned immediate for CSR access instructiosn 约束修饰字符 (Constraint Modifier Characters)
=:操作数只写
+:操作可读可写
&:在某些约束选择(constraint alternative)中,该操作数是前面某个clobber的操作数,作为指令的输入操作数,该操作数在指令结束之前它的值已经被修改,因此,该操作数可能不在原来使用的寄存器或内存地址中存储 %:可交换,该操作数及其之后的操作数可以进行交换
eg. 操作数1的约束为 ‘%0’,表示与操作数0的约束相同。
#:直到逗号的所有字符在进行约束处理时将被忽略,这些字符只对寄存器选择起作用
*: 直到逗号的所有字符在进行约束处理是将被忽略,这些字符在寄存器选择是也将被忽略。 riscv-c.cc riscv intrinsic 相关。
...