cast_sext/sext, i64 (l)shl/r and mul