core & arch_x86: handle movsx/sign_extend semantic