REG_SET_SEEN
REG_SET_SEEN(ctx, rd);
REG_SET_SEEN(ctx, rs);
REG_SET_SEEN(ctx, r1);
REG_SET_SEEN(ctx, r2);
REG_SET_SEEN(ctx, r3);
REG_SET_SEEN(ctx, rd);
REG_SET_SEEN(ctx, lo(rd));
REG_SET_SEEN(ctx, hi(rd));
REG_SET_SEEN(ctx, hi(reg));
REG_SET_SEEN(ctx, lo(reg));
REG_SET_SEEN(ctx, hi(reg));
REG_SET_SEEN(ctx, lo(reg));
REG_SET_SEEN(ctx, lo(reg));
REG_SET_SEEN(ctx, lo(reg));
REG_SET_SEEN(ctx, lo(src));
REG_SET_SEEN(ctx, hi(reg));
REG_SET_SEEN(ctx, hi(reg));
REG_SET_SEEN(ctx, rd);
REG_SET_SEEN(ctx, HPPA_REG_TCC_SAVED);
REG_SET_SEEN(ctx, reg);
REG_SET_SEEN(ctx, rd);
REG_SET_SEEN(ctx, rs);
REG_SET_SEEN(b1); \
REG_SET_SEEN(b2); \
REG_SET_SEEN(b1); \
REG_SET_SEEN(b2); \
REG_SET_SEEN(BPF_REG_5);
REG_SET_SEEN(b1); \
REG_SET_SEEN(b2); \
REG_SET_SEEN(b3); \
REG_SET_SEEN(b1); \
REG_SET_SEEN(b2); \
REG_SET_SEEN(b1); \
REG_SET_SEEN(b1); \
REG_SET_SEEN(b2); \
REG_SET_SEEN(b3); \
REG_SET_SEEN(b1); \
REG_SET_SEEN(b2); \
REG_SET_SEEN(b1); \
REG_SET_SEEN(b1); \
REG_SET_SEEN(b2); \
REG_SET_SEEN(b);
REG_SET_SEEN(b1); \
REG_SET_SEEN(b1); \