int __in __bits(8) in_0; int __in __bits(8) in_1; int __in __bits(3) in_2; int __out __bits(8) out_0; void main() { int __in __bits(8) t0 = in_0; int __in __bits(8) t1 = in_1; t0 >>= in_2; t0 <<= in_2; unsigned __bits(3) tmp = 8 - in_2; t1 <<= tmp; t1 >>= tmp; out_0 = t0 ^ t1; }