conferences/fosdem2024/fosdem2024_ddffirst/vstribr.txt

   1 null_found <- 0
   2 while(!null_found) do i = 0 to 15
   3     null_found <- (VSR[VRB+32].byte[15-i]=0)
   4    VSR[VRT+32].byte[15-i] <- VSR[VRB+32].byte[1
   5 end
   6 do j = i to 15
   7     VSR[VRT+32].byte[15-j] <- 0
   8 end
   9 if Rc=1 then
  10     CR.field[6] <- 0b00 || null_found || 0b0
  11