lkml.org 
[lkml]   [2022]   [Feb]   [18]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
From
SubjectRE: [PATCH 05/29] x86: Base IBT bits
Date
From: Andrew Cooper
> Sent: 18 February 2022 21:24
>
> On 18/02/2022 21:11, David Laight wrote:
> > From: Andrew Cooper
> >> Sent: 18 February 2022 20:50
> >>
> >> On 18/02/2022 16:49, Peter Zijlstra wrote:
> >>> +/*
> >>> + * A bit convoluted, but matches both endbr32 and endbr64 without
> >>> + * having either as literal in the text.
> >>> + */
> >>> +static inline bool is_endbr(const void *addr)
> >>> +{
> >>> + unsigned int val = ~*(unsigned int *)addr;
> >>> + val |= 0x01000000U;
> >>> + return val == ~0xfa1e0ff3;
> >>> +}
> >> At this point, I feel I've earned an "I told you so". :)
> >>
> >> Clang 13 sees straight through the trickery and generates:
> >>
> >> is_endbr:                               # @is_endbr
> >>         movl    $-16777217, %eax                # imm = 0xFEFFFFFF
> >>         andl    (%rdi), %eax
> >>         cmpl    $-98693133, %eax                # imm = 0xFA1E0FF3
> >>         sete    %al
> >>         retq
> > I think it is enough to add:
> > asm("", "=r" (val));
> > somewhere in the middle.
>
> (First, you mean "+r" not "=r"),

I always double check....

> but no - the problem isn't val.  It's
> `~0xfa1e0ff3` which the compiler is free to transform in several unsafe way.

Actually you could do (modulo stupid errors):
val = (*(unsigned int *)addr & ~0x01000000) ^ 0xff3;
asm("", "+r" (val));
return val ^ 0xfa1e0000;
which should be zero for endbra and non-zero overwise.
Shame the compiler will probably never use the flags from the final xor.
Converting to bool just adds code!
(I hate bool)

David

-
Registered Address Lakeside, Bramley Road, Mount Farm, Milton Keynes, MK1 1PT, UK
Registration No: 1397386 (Wales)
\
 
 \ /
  Last update: 2022-02-18 23:37    [W:0.152 / U:0.948 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site