1use crate::rv_core::instruction::executor::prelude::*; 2 3pub fn addi(I { rd, rs1, imm12 }: I, x: &mut IntegerRegisters) { 4 x[rd] = x[rs1].wrapping_add(imm12 as u64); 5}