|
From: Florian K. <br...@ac...> - 2012-12-22 14:52:45
|
On 12/22/2012 07:09 AM, Maran Pakkirisamy wrote:
>
> On 12/22/2012 02:35 AM, sv...@va... wrote:
>> +/* The result of a Iop_CmpDxx operation is a condition code. It is
>> + encoded using the values defined in type IRCmpDxxResult.
>> + Before we can store the condition code into the guest state (or do
>> + anything else with it for that matter) we need to convert it to
>> + the encoding that s390 uses. This is what this function does. */
>> +static IRExpr *
>> +convert_vex_dfpcc_to_s390(IRTemp vex_cc)
>> +{
>> + /* The VEX encodings for IRCmpDxxResult and IRCmpFxxResult are the
>> + same. currently. */
>> + return convert_vex_dfpcc_to_s390(vex_cc);
>> +}
>> +
>>
>
> convert_vex_bfpcc_to_s390(vex_cc);
>
>
> is supposed to be returned.
Urgh.. Yes, of course. Fixed in VEX r2612.
I guess we're not testing this :)
Florian
|