The immediate offset is formed as follows: [source,sail] -- uimm[31:2] = 0; uimm[1] = encoding[5]; uimm[0] = 0; --