(i32 sext_in_reg (i32 aext (i16 x)), i16) -> (i32 sext x). No known test case until...