DingliZhang
commented
2 years ago 目前生成的报错信息：
--N: o10 Parm === o3 [[o24 o124 o527 o525 o523 o440 o437 o435 o431 o531 o219 o219 o331 o284 o533 o529 o336 o199 o199 o195 o537 o62 o541 o541 o39 o39 o535 ]] Parm0: byte[int:>=0]:exact *
IREGP 0 IREGP
IREGPNOSP 0 IREGPNOSP
IREGP_R10 0 IREGP_R10
IREGP_R11 0 IREGP_R11
IREGP_R12 0 IREGP_R12
IREGP_R13 0 IREGP_R13
IREGP_R14 0 IREGP_R14
IREGP_R15 0 IREGP_R15
IREGP_R16 0 IREGP_R16
IREGP_R28 0 IREGP_R28
JAVATHREAD_REGP 0 JAVATHREAD_REGP
INDIRECT 0 INDIRECT
INLINE_CACHE_REGP 0 INLINE_CACHE_REGP
MEMORY 0 INDIRECT
IREGNORP 0 IREGP
IREGILNP 0 IREGP
IREGILNPNOSP 0 IREGPNOSP
--N: o200 Phi === o201 o213 o192 [[o192 o199 ]] #int #tripcount
IREGI 0 IREGI
IREGINOSP 0 IREGINOSP
IREGI_R10 0 IREGI_R10
IREGI_R12 0 IREGI_R12
IREGI_R13 0 IREGI_R13
IREGI_R14 0 IREGI_R14
IREGIHEAPBASE 0 IREGIHEAPBASE
IREGIORL2I 0 IREGI
IREGIORL 0 IREGI
IREGILNP 0 IREGI
IREGILNPNOSP 0 IREGINOSP是由 svec->dump() 所生成的：
void State::dump() {
tty->print("\n");
dump(0);
}
void State::dump(int depth) {
for( int j = 0; j < depth; j++ )
tty->print(" ");
tty->print("--N: ");
_leaf->dump();
uint i;
for( i = 0; i < _LAST_MACH_OPER; i++ )
// Check for valid entry
if( valid(i) ) {
for( int j = 0; j < depth; j++ )
tty->print(" ");
assert(_cost[i] != max_juint, "cost must be a valid value");
assert(_rule[i] < _last_Mach_Node, "rule[i] must be valid rule");
tty->print_cr("%s %d %s",
ruleName[i], _cost[i], ruleName[_rule[i]] );
}
tty->cr();
for( i=0; i<2; i++ )
if( _kids[i] )
_kids[i]->dump(depth+1);
}报错信息中的两个节点是由_kids[i]->dump(depth+1);生成的，也就是当前报错对应的state的两个孩子节点：
State *_kids[2]; // Children of state node in label treeo10 Parm 表示参数，是理想图中常用的节点，可能代表I/O输入，内存输入，指针输入，返回值及函数的实参。
o200 Phi 是为SSA准备的节点，通常用于处理数据流的合并。
o10 Parm === o3 [[o24 o124 o527 o525 o523 o440 o437 o435 o431 o531 o219 o219 o331 o284 o533 o529 o336 o199 o199 o195 o537 o62 o541 o541 o39 o39 o535 ]] Parm0: byte[int:>=0]:exact *
o200 Phi === o201 o213 o192 [[o192 o199 ]] #int #tripcount是由 _leaf->dump(); 所输出的，而 _leaf 是State类中一个Node类型的指针变量，代表了匹配树的理想节点。
参考：https://wiki.openjdk.java.net/display/HotSpot/C2+IR+Graph+and+Nodes
axiangyushanhaijing
对此处的index右移5位的目的不理解。
最后影响结果： 
zifeihan
shining1984
并且访问的 t2 并不是一个内存地址，t2的地址在上面被进行了左移16位，又右移了16位（被清零了）：
这个错误经过排查是由 #396 引入的，后续需要解决。
上图这里的castP2X已经拥有了IREGIORL2I节点，而报错信息对应了PR #396 中对R29的修改:
可以看到URShiftI相关的报错已经修复了。
发现32位和64位的逻辑是不同的，在rv32与rv64的处理也可能是不一样的，明显的一点是 
C2调试的主issue https://github.com/openjdk-riscv/jdk11u/issues/342 比较长，目前的问题可能需要深入分析，因此新开一个issue进行记录。 目前的报错：
是由于在循环中没有使 svec->valid(x) 函数成立的index。
svec->valid(x)会在build目录下的ad_riscv32.hpp进行定义：
这里的 _valid 是类State的一个public数组，存储了 _LAST_MACH_OPER 个oprand的vaild值（0/1，用int以字节形式对vaild值进行保存，因此会以32个为一组）:
而_LAST_MACH_OPER是由riscv32.ad文件中对应的operand所生成的，所以接下来要看看 _valid数组是在哪里赋值的。
通过查看源代码，发现其与DFA相关。这里的src/hotspot/share/adlc/dfa.cpp为了生成 DFA，会遍历 ADLC 前端生成的理想操作码/匹配列表，以构建case语句（一系列 if 语句）的内容，来匹配ad文件中的理想操作码。
在类State中包含一个成员函数
DFA：在 build/linux-riscv32-normal-custom-slowdebug/hotspot/variant-custom/support/adlc/dfa_riscv32.cpp 中会对opcode进行匹配，然后调用DFA_PRODUCTION__SET_VALID等宏，从而将类State中的 _valid 数组进行赋值：
接下来需要结合当前的报错信息，分析State中opcode没有匹配上的原因。