219,221d218
< const VectorReg &readVectorReg(int reg_idx)
< { return actualTC->readVectorReg(reg_idx); }
<
246,251d242
< void setVectorReg(int reg_idx, const VectorReg &val)
< {
< actualTC->setVectorReg(reg_idx, val);
< checkerTC->setVectorReg(reg_idx, val);
< }
<
308d298
< int flattenVectorIndex(int reg) { return actualTC->flattenVectorIndex(reg); }
344,349d333
<
< const VectorReg &readVectorRegFlat(int idx)
< { return actualTC->readVectorRegFlat(idx); }
<
< void setVectorRegFlat(int idx, const VectorReg &val)
< { actualTC->setVectorRegFlat(idx, val); }