{ 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_V0 = $00;
RS_V1 = $01;
RS_V2 = $02;
RS_V3 = $03;
RS_V4 = $04;
RS_V5 = $05;
RS_V6 = $06;
RS_V7 = $07;
RS_V8 = $08;
RS_V9 = $09;
RS_V10 = $0A;
RS_V11 = $0B;
RS_V12 = $0C;
RS_V13 = $0D;
RS_V14 = $0E;
RS_V15 = $0F;
RS_V16 = $10;
RS_V17 = $11;
RS_V18 = $12;
RS_V19 = $13;
RS_V20 = $14;
RS_V21 = $15;
RS_V22 = $16;
RS_V23 = $17;
RS_V24 = $18;
RS_V25 = $19;
RS_V26 = $1A;
RS_V27 = $1B;
RS_V28 = $1C;
RS_V29 = $1D;
RS_V30 = $1E;
RS_V31 = $1F;
RS_FCSR = $01;