> From: Janeczek, Craig <jancr...@amazon.com> > > + /* return resulting byte to its original position */ > > + tcg_gen_shri_i32(t0, t0, 24); > > Should be a shift of 16 here > tcg_gen_shri_i32(t0, t0, 16);
You are right, for this and the next three hints. Will be fixed in v2. Thanks, Aleksandar