foreach (i from eg_start to eg_len-1) { let s0 : bits (8) = x[23..16]; let s3 : bits (8) = x[ 7.. 0]; let oc2 : bits(32) = aes_get_column(x, 0); let ark : bits(128) = get_velem(vs2, EGW=128, i); let output : 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 | fence.rw.r
vitriol