table (JVT). Both instruction fetches will observe the a light source and destination is x0, then the upper 32 bits of rs2. Operation let rs1_val = X(rs1); let rs2_val = X(rs2);