提交 40d3c433 编写于 作者: C Christophe Lyon 提交者: Aurelien Jarno

Support saturation with shift=0.

This patch fixes corner-case saturations, when the target range is
zero. It merely removes the guard against (sh == 0), and makes:
__ssat(0x87654321, 1) return 0xffffffff and set the saturation flag
__usat(0x87654321, 0) return 0 and set the saturation flag
Signed-off-by: NChristophe Lyon <christophe.lyon@st.com>
Reviewed-by: NPeter Maydell <peter.maydell@linaro.org>
Signed-off-by: NAurelien Jarno <aurelien@aurel32.net>
上级 e3f114f7
...@@ -6888,27 +6888,23 @@ static void disas_arm_insn(CPUState * env, DisasContext *s) ...@@ -6888,27 +6888,23 @@ static void disas_arm_insn(CPUState * env, DisasContext *s)
tcg_gen_shli_i32(tmp, tmp, shift); tcg_gen_shli_i32(tmp, tmp, shift);
} }
sh = (insn >> 16) & 0x1f; sh = (insn >> 16) & 0x1f;
if (sh != 0) { tmp2 = tcg_const_i32(sh);
tmp2 = tcg_const_i32(sh); if (insn & (1 << 22))
if (insn & (1 << 22)) gen_helper_usat(tmp, tmp, tmp2);
gen_helper_usat(tmp, tmp, tmp2); else
else gen_helper_ssat(tmp, tmp, tmp2);
gen_helper_ssat(tmp, tmp, tmp2); tcg_temp_free_i32(tmp2);
tcg_temp_free_i32(tmp2);
}
store_reg(s, rd, tmp); store_reg(s, rd, tmp);
} else if ((insn & 0x00300fe0) == 0x00200f20) { } else if ((insn & 0x00300fe0) == 0x00200f20) {
/* [us]sat16 */ /* [us]sat16 */
tmp = load_reg(s, rm); tmp = load_reg(s, rm);
sh = (insn >> 16) & 0x1f; sh = (insn >> 16) & 0x1f;
if (sh != 0) { tmp2 = tcg_const_i32(sh);
tmp2 = tcg_const_i32(sh); if (insn & (1 << 22))
if (insn & (1 << 22)) gen_helper_usat16(tmp, tmp, tmp2);
gen_helper_usat16(tmp, tmp, tmp2); else
else gen_helper_ssat16(tmp, tmp, tmp2);
gen_helper_ssat16(tmp, tmp, tmp2); tcg_temp_free_i32(tmp2);
tcg_temp_free_i32(tmp2);
}
store_reg(s, rd, tmp); store_reg(s, rd, tmp);
} else if ((insn & 0x00700fe0) == 0x00000fa0) { } else if ((insn & 0x00700fe0) == 0x00000fa0) {
/* Select bytes. */ /* Select bytes. */
......
Markdown is supported
0% .
You are about to add 0 people to the discussion. Proceed with caution.
先完成此消息的编辑!
想要评论请 注册