794a795,811
>
> buildRegDataInst("pkhbt", '''
> uint32_t resTemp = 0;
> uint16_t arg1Low = bits(Op1, 15, 0);
> uint16_t arg2High = bits(secondOp, 31, 16);
> replaceBits(resTemp, 15, 0, arg1Low);
> replaceBits(resTemp, 31, 16, arg2High);
> Dest = resTemp;
> ''', flagType="none", buildCc=False)
> buildRegDataInst("pkhtb", '''
> uint32_t resTemp = 0;
> uint16_t arg1High = bits(Op1, 31, 16);
> uint16_t arg2Low = bits(secondOp, 15, 0);
> replaceBits(resTemp, 15, 0, arg2Low);
> replaceBits(resTemp, 31, 16, arg1High);
> Dest = resTemp;
> ''', flagType="none", buildCc=False)