x1 = IR
x2 = IRins
x3 = IRp
x4 = IRiP
x5 = IRi
x6 = IRS
x7 = IRSiP
x8 = X
x9 = Xp