File tree Expand file tree Collapse file tree 8 files changed +88
-72
lines changed Expand file tree Collapse file tree 8 files changed +88
-72
lines changed Original file line number Diff line number Diff line change @@ -12,15 +12,17 @@ description: |
1212definedBy :
1313 anyOf : [Zbc, Zbkc]
1414assembly : xd, xs1, xs2
15- encoding :
16- match : 0000101----------001-----0110011
17- variables :
18- - name : xs2
19- location : 24-20
20- - name : xs1
21- location : 19-15
22- - name : xd
23- location : 11-7
15+ format :
16+ $inherits :
17+ - inst_subtype/R/R-x.yaml#/data
18+ opcodes :
19+ funct7 :
20+ display_name : CLMUL
21+ value : 0b0000101
22+ funct3 :
23+ display_name : CLMUL
24+ value : 0b001
25+ opcode : { $inherits: inst_opcode/OP.yaml#/data }
2426access :
2527 s : always
2628 u : always
Original file line number Diff line number Diff line change @@ -12,15 +12,17 @@ description: |
1212definedBy :
1313 anyOf : [Zbc, Zbkc]
1414assembly : xd, xs1, xs2
15- encoding :
16- match : 0000101----------011-----0110011
17- variables :
18- - name : xs2
19- location : 24-20
20- - name : xs1
21- location : 19-15
22- - name : xd
23- location : 11-7
15+ format :
16+ $inherits :
17+ - inst_subtype/R/R-x.yaml#/data
18+ opcodes :
19+ funct7 :
20+ display_name : CLMUL
21+ value : 0b0000101
22+ funct3 :
23+ display_name : CLMULH
24+ value : 0b011
25+ opcode : { $inherits: inst_opcode/OP.yaml#/data }
2426access :
2527 s : always
2628 u : always
Original file line number Diff line number Diff line change @@ -12,15 +12,17 @@ description: |
1212definedBy :
1313 anyOf : [Zbb, Zbkb]
1414assembly : xd, xs1, xs2
15- encoding :
16- match : 0100000----------110-----0110011
17- variables :
18- - name : xs2
19- location : 24-20
20- - name : xs1
21- location : 19-15
22- - name : xd
23- location : 11-7
15+ format :
16+ $inherits :
17+ - inst_subtype/R/R-x.yaml#/data
18+ opcodes :
19+ funct7 :
20+ display_name : ORN
21+ value : 0b0100000
22+ funct3 :
23+ display_name : ORN
24+ value : 0b110
25+ opcode : { $inherits: inst_opcode/OP.yaml#/data }
2426access :
2527 s : always
2628 u : always
Original file line number Diff line number Diff line change @@ -12,15 +12,17 @@ description: |
1212definedBy :
1313 anyOf : [Zbb, Zbkb]
1414assembly : xd, xs1, xs2
15- encoding :
16- match : 0110000----------001-----0110011
17- variables :
18- - name : xs2
19- location : 24-20
20- - name : xs1
21- location : 19-15
22- - name : xd
23- location : 11-7
15+ format :
16+ $inherits :
17+ - inst_subtype/R/R-x.yaml#/data
18+ opcodes :
19+ funct7 :
20+ display_name : ROL
21+ value : 0b0110000
22+ funct3 :
23+ display_name : ROL
24+ value : 0b001
25+ opcode : { $inherits: inst_opcode/OP.yaml#/data }
2426access :
2527 s : always
2628 u : always
Original file line number Diff line number Diff line change @@ -14,15 +14,17 @@ definedBy:
1414 anyOf : [Zbb, Zbkb]
1515assembly : xd, xs1, xs2
1616base : 64
17- encoding :
18- match : 0110000----------001-----0111011
19- variables :
20- - name : xs2
21- location : 24-20
22- - name : xs1
23- location : 19-15
24- - name : xd
25- location : 11-7
17+ format :
18+ $inherits :
19+ - inst_subtype/R/R-x.yaml#/data
20+ opcodes :
21+ funct7 :
22+ display_name : ROLW
23+ value : 0b0110000
24+ funct3 :
25+ display_name : ROLW
26+ value : 0b001
27+ opcode : { $inherits: inst_opcode/OP-32.yaml#/data }
2628access :
2729 s : always
2830 u : always
Original file line number Diff line number Diff line change @@ -12,15 +12,17 @@ description: |
1212definedBy :
1313 anyOf : [Zbb, Zbkb]
1414assembly : xd, xs1, xs2
15- encoding :
16- match : 0110000----------101-----0110011
17- variables :
18- - name : xs2
19- location : 24-20
20- - name : xs1
21- location : 19-15
22- - name : xd
23- location : 11-7
15+ format :
16+ $inherits :
17+ - inst_subtype/R/R-x.yaml#/data
18+ opcodes :
19+ funct7 :
20+ display_name : ROR
21+ value : 0b0110000
22+ funct3 :
23+ display_name : ROR
24+ value : 0b101
25+ opcode : { $inherits: inst_opcode/OP.yaml#/data }
2426access :
2527 s : always
2628 u : always
Original file line number Diff line number Diff line change @@ -15,15 +15,17 @@ definedBy:
1515 anyOf : [Zbb, Zbkb]
1616assembly : xd, xs1, xs2
1717base : 64
18- encoding :
19- match : 0110000----------101-----0111011
20- variables :
21- - name : xs2
22- location : 24-20
23- - name : xs1
24- location : 19-15
25- - name : xd
26- location : 11-7
18+ format :
19+ $inherits :
20+ - inst_subtype/R/R-x.yaml#/data
21+ opcodes :
22+ funct7 :
23+ display_name : RORW
24+ value : 0b0110000
25+ funct3 :
26+ display_name : RORW
27+ value : 0b101
28+ opcode : { $inherits: inst_opcode/OP-32.yaml#/data }
2729access :
2830 s : always
2931 u : always
Original file line number Diff line number Diff line change @@ -12,15 +12,17 @@ description: |
1212definedBy :
1313 anyOf : [Zbb, Zbkb]
1414assembly : xd, xs1, xs2
15- encoding :
16- match : 0100000----------100-----0110011
17- variables :
18- - name : xs2
19- location : 24-20
20- - name : xs1
21- location : 19-15
22- - name : xd
23- location : 11-7
15+ format :
16+ $inherits :
17+ - inst_subtype/R/R-x.yaml#/data
18+ opcodes :
19+ funct7 :
20+ display_name : XNOR
21+ value : 0b0100000
22+ funct3 :
23+ display_name : XNOR
24+ value : 0b100
25+ opcode : { $inherits: inst_opcode/OP.yaml#/data }
2426access :
2527 s : always
2628 u : always
You can’t perform that action at this time.
0 commit comments