Each bit of result is corresponding bit of a if corresponding bit of c is 0.
gentype bitselect(gentype a,
gentype b,
gentype c)halfn bitselect (halfn a, halfn b,
halfn c) // if half extension enabled
Each bit of result is corresponding bit of a if corresponding bit of c is 0.
Otherwise it is the corresponding bit of b.