* Re: assemble code and disassembled code in-consistency
[not found] <CAPekQOruy3zHAj7yLKGhyWJrKabhd_AC=eUJSx9gXy91fXUVfw@mail.gmail.com>
@ 2012-07-06 16:48 ` H.J. Lu
2012-07-06 16:54 ` H.J. Lu
0 siblings, 1 reply; 3+ messages in thread
From: H.J. Lu @ 2012-07-06 16:48 UTC (permalink / raw)
To: Feng LI; +Cc: GCC, Binutils
On Fri, Jul 6, 2012 at 9:27 AM, Feng LI <nemokingdom@gmail.com> wrote:
> Hi folks,
>
> I have a backend hook (x86_64) for builtin function expansion, so
> I have this:
>
> expand_simple_binop (DImode, ASHIFT, op0,
> GEN_INT (32),op0,1,OPTAB_DIRECT);
>
> to generate op0 = op0<<32 (op0 is the first argument of this builtin
> function, with type SIZE_T)
>
> The thing goes well in the assemble code, where I got:
> movq 104(%rbx), %rax
> salq $32, %rax
> addq 80(%rbx), %rax
>
> as expected.
>
> But at execution time, it gives me a strange behavior,
> So I disassemble the code,
>
> 401135: 48 8b 43 68 mov 0x68(%rbx),%rax
> 401140: 48 c1 e0 20 shl $0x20,%rax
> 401144: 48 03 43 50 add 0x50(%rbx),%rax
>
> and it turns out salq are changed to shl which leads to the
> strange behavior. shl only allows shift less or equal than 31.
>
It is a binutils issue.
--
H.J.
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: assemble code and disassembled code in-consistency
2012-07-06 16:48 ` assemble code and disassembled code in-consistency H.J. Lu
@ 2012-07-06 16:54 ` H.J. Lu
2012-07-06 17:02 ` Mark Charney
0 siblings, 1 reply; 3+ messages in thread
From: H.J. Lu @ 2012-07-06 16:54 UTC (permalink / raw)
To: Feng LI, Mark.Charney; +Cc: Binutils, H. Peter Anvin, Andi Kleen
On Fri, Jul 6, 2012 at 9:47 AM, H.J. Lu <hjl.tools@gmail.com> wrote:
> On Fri, Jul 6, 2012 at 9:27 AM, Feng LI <nemokingdom@gmail.com> wrote:
>> Hi folks,
>>
>> I have a backend hook (x86_64) for builtin function expansion, so
>> I have this:
>>
>> expand_simple_binop (DImode, ASHIFT, op0,
>> GEN_INT (32),op0,1,OPTAB_DIRECT);
>>
>> to generate op0 = op0<<32 (op0 is the first argument of this builtin
>> function, with type SIZE_T)
>>
>> The thing goes well in the assemble code, where I got:
>> movq 104(%rbx), %rax
>> salq $32, %rax
>> addq 80(%rbx), %rax
>>
>> as expected.
>>
>> But at execution time, it gives me a strange behavior,
>> So I disassemble the code,
>>
>> 401135: 48 8b 43 68 mov 0x68(%rbx),%rax
>> 401140: 48 c1 e0 20 shl $0x20,%rax
>> 401144: 48 03 43 50 add 0x50(%rbx),%rax
>>
>> and it turns out salq are changed to shl which leads to the
>> strange behavior. shl only allows shift less or equal than 31.
>>
>
> It is a binutils issue.
Hi Peter, Andi, Mark,
For some reason, binutils encodes sal the same as shl. I'd
like to fix it. Will it cause any problems?
Thanks.
--
H.J.
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: assemble code and disassembled code in-consistency
2012-07-06 16:54 ` H.J. Lu
@ 2012-07-06 17:02 ` Mark Charney
0 siblings, 0 replies; 3+ messages in thread
From: Mark Charney @ 2012-07-06 17:02 UTC (permalink / raw)
To: H.J. Lu; +Cc: Feng LI, Binutils, H. Peter Anvin, Andi Kleen
On 7/6/12 12:54 PM, H.J. Lu wrote:
> On Fri, Jul 6, 2012 at 9:47 AM, H.J. Lu <hjl.tools@gmail.com> wrote:
>> On Fri, Jul 6, 2012 at 9:27 AM, Feng LI <nemokingdom@gmail.com> wrote:
>>> Hi folks,
>>>
>>> I have a backend hook (x86_64) for builtin function expansion, so
>>> I have this:
>>>
>>> expand_simple_binop (DImode, ASHIFT, op0,
>>> GEN_INT (32),op0,1,OPTAB_DIRECT);
>>>
>>> to generate op0 = op0<<32 (op0 is the first argument of this builtin
>>> function, with type SIZE_T)
>>>
>>> The thing goes well in the assemble code, where I got:
>>> movq 104(%rbx), %rax
>>> salq $32, %rax
>>> addq 80(%rbx), %rax
>>>
>>> as expected.
>>>
>>> But at execution time, it gives me a strange behavior,
>>> So I disassemble the code,
>>>
>>> 401135: 48 8b 43 68 mov 0x68(%rbx),%rax
>>> 401140: 48 c1 e0 20 shl $0x20,%rax
>>> 401144: 48 03 43 50 add 0x50(%rbx),%rax
>>>
>>> and it turns out salq are changed to shl which leads to the
>>> strange behavior. shl only allows shift less or equal than 31.
>>>
>> It is a binutils issue.
> Hi Peter, Andi, Mark,
>
> For some reason, binutils encodes sal the same as shl. I'd
> like to fix it. Will it cause any problems?
>
> Thanks.
>
SAL = SHL functionally. They are aliases. FWIW, XED
does not even have SAL; I call them all SHL.
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2012-07-06 17:02 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
[not found] <CAPekQOruy3zHAj7yLKGhyWJrKabhd_AC=eUJSx9gXy91fXUVfw@mail.gmail.com>
2012-07-06 16:48 ` assemble code and disassembled code in-consistency H.J. Lu
2012-07-06 16:54 ` H.J. Lu
2012-07-06 17:02 ` Mark Charney
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).