{ don't edit, this file is generated from rv32reg.dat }
RS_NO = $00;
RS_X0 = $00;
RS_X1 = $01;
RS_X2 = $02;
RS_X3 = $03;
RS_X4 = $04;
RS_X5 = $05;
RS_X6 = $06;
RS_X7 = $07;
RS_X8 = $08;
RS_X9 = $09;
RS_X10 = $0a;
RS_X11 = $0b;
RS_X12 = $0c;
RS_X13 = $0d;
RS_X14 = $0e;
RS_X15 = $0f;
RS_X16 = $10;
RS_X17 = $11;
RS_X18 = $12;
RS_X19 = $13;
RS_X20 = $14;
RS_X21 = $15;
RS_X22 = $16;
RS_X23 = $17;
RS_X24 = $18;
RS_X25 = $19;
RS_X26 = $1a;
RS_X27 = $1b;
RS_X28 = $1c;
RS_X29 = $1d;
RS_X30 = $1e;
RS_X31 = $1f;
RS_F0 = $00;
RS_F1 = $01;
RS_F2 = $02;
RS_F3 = $03;
RS_F4 = $04;
RS_F5 = $05;
RS_F6 = $06;
RS_F7 = $07;
RS_F8 = $08;
RS_F9 = $09;
RS_F10 = $0a;
RS_F11 = $0b;
RS_F12 = $0c;
RS_F13 = $0d;
RS_F14 = $0e;
RS_F15 = $0f;
RS_F16 = $10;
RS_F17 = $11;
RS_F18 = $12;
RS_F19 = $13;
RS_F20 = $14;
RS_F21 = $15;
RS_F22 = $16;
RS_F23 = $17;
RS_F24 = $18;
RS_F25 = $19;
RS_F26 = $1a;
RS_F27 = $1b;
RS_F28 = $1c;
RS_F29 = $1d;
RS_F30 = $1e;
RS_F31 = $1f;
RS_FCSR = $01;