seen_reg
if (seen_reg(RV_REG_RA, ctx))
if (seen_reg(RV_REG_S1, ctx))
if (seen_reg(RV_REG_S2, ctx))
if (seen_reg(RV_REG_S3, ctx))
if (seen_reg(RV_REG_S4, ctx))
if (seen_reg(RV_REG_S5, ctx))
if (seen_reg(RV_REG_S6, ctx))
if (seen_reg(RV_REG_RA, ctx)) {
if (seen_reg(RV_REG_S1, ctx)) {
if (seen_reg(RV_REG_S2, ctx)) {
if (seen_reg(RV_REG_S3, ctx)) {
if (seen_reg(RV_REG_S4, ctx)) {
if (seen_reg(RV_REG_S5, ctx)) {
if (seen_reg(RV_REG_S6, ctx)) {
if (seen_reg(RV_REG_RA, ctx)) {
if (seen_reg(RV_REG_S1, ctx)) {
if (seen_reg(RV_REG_S2, ctx)) {
if (seen_reg(RV_REG_S3, ctx)) {
if (seen_reg(RV_REG_S4, ctx)) {
if (seen_reg(RV_REG_S5, ctx)) {
if (seen_reg(RV_REG_S6, ctx)) {