Richard Henderson <r...@twiddle.net> writes:
> On 02/21/2017 08:26 PM, Nikunj A Dadhania wrote:
>> Richard Henderson <r...@twiddle.net> writes:
>>
>>> On 02/20/2017 09:11 PM, Nikunj A Dadhania wrote:
>>>> For 64-bit mode if the register RA contains 0x8000_0000_0000_0000, OV
>>>> and OV32 are set to 1.
>>>>
>>>> For 32-bit mode if the register RA contains 0x8000_0000, OV and OV32 are
>>>> set to 1.
>>>>
>>>> Use the tcg-ops for negation (neg_tl) and drop gen_op_arith_neg() as
>>>> nego was the last user.
>>>>
>>>> Signed-off-by: Nikunj A Dadhania <nik...@linux.vnet.ibm.com>
>>> @@ -1488,7 +1480,20 @@ static void gen_neg(DisasContext *ctx)
>>>>
>>>> static void gen_nego(DisasContext *ctx)
>>>> {
>>>> - gen_op_arith_neg(ctx, 1);
>>>> + TCGv t0 = tcg_temp_new();
>>>> + TCGv zero = tcg_const_tl(0);
>>>> +
>>>> + if (NARROW_MODE(ctx)) {
>>>> + tcg_gen_xori_tl(t0, cpu_gpr[rA(ctx->opcode)], INT32_MIN);
>>>> + } else {
>>>> + tcg_gen_xori_tl(t0, cpu_gpr[rA(ctx->opcode)],
>>>> (target_ulong)INT64_MIN);
>>>> + }
>>>> +
>>>> + tcg_gen_setcond_tl(TCG_COND_EQ, cpu_ov, t0, zero);
>>>> + tcg_gen_mov_tl(cpu_ov32, cpu_ov);
>>>> + tcg_gen_neg_tl(cpu_gpr[rD(ctx->opcode)], cpu_gpr[rA(ctx->opcode)]);
>>>> + tcg_temp_free(t0);
>>>> + tcg_temp_free(zero);
>>>> }
>>>
>>> Again, you're forgetting "nego.". Don't try to simplify from
>>> gen_op_arith_subf
>>> by hand.
>>
>> The reason of the simplification was the interpretation of ov and ov32.
>> I will add a code to compute the Rc.
>
> Why do you believe that the computation for overflow is different between neg
> and subf?
For example in 64-bit mode, if we negate INT64_MIN(nego[.]), both OV and
OV32 has to be set to 1 according to ISA 3.0. If I use subf, only OV is
set to 1.
Regards
Nikunj
