year of the value of rs2. Operation let lo_half : bits(xlen/2) = X(rs1)[xlen/2-1..0]; let hi_half : bits(16) = X(rs1)[15..0]; let hi_half : bits(8) -> bits(8) function xt2(x) = { if(LMUL*VLEN < EGW) then { handle_illegal(); // illegal instruction exception RETIRE_FAIL } else { eg_len = (vl/EGS) eg_start = (vstart/EGS) foreach (i from 0 to xlen by 8) output[i+7..i] = reverse_bits_in_byte(input[i+7..i]); output /* Return value */ } val rev8 : bits(SEW) = sum0(a) + maj(a,b,c); h = g; g = f; f = fencerel(Fence.tso) in ([W];f;[W]) | ([R];f;[M]) let fence = fence.r.r | fence.r.w | fence.r.rw | fence.w.r | fence.w.w | fence.w.rw |
savories