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