def aes.c9
import bend-osdev-aes@0.1.0.0/aes.bend as Aesimport Base
105# InvMixColumns: each column times {0e, 0b, 0d, 09}, rotated per row
106# a byte times {09}, {0b}, {0d}, {0e}: x^3 + 1, x^3 + x + 1, x^3 + x^2 + 1,
107# x^3 + x^2 + x, as sums of doublings
108def aes.c9(+b: U32) -> U32:
109 U32.xor(aes.xt(aes.xt(aes.xt(b))), b)