From: Borislav Petkov <bp@alien8.de> To: hpa@zytor.com Cc: Nadav Amit <nadav.amit@gmail.com>, Rick Edgecombe <rick.p.edgecombe@intel.com>, Andy Lutomirski <luto@kernel.org>, Ingo Molnar <mingo@redhat.com>, LKML <linux-kernel@vger.kernel.org>, X86 ML <x86@kernel.org>, Thomas Gleixner <tglx@linutronix.de>, Dave Hansen <dave.hansen@linux.intel.com>, Peter Zijlstra <peterz@infradead.org>, Damian Tometzki <linux_dti@icloud.com>, linux-integrity <linux-integrity@vger.kernel.org>, LSM List <linux-security-module@vger.kernel.org>, Andrew Morton <akpm@linux-foundation.org>, Kernel Hardening <kernel-hardening@lists.openwall.com>, Linux-MM <linux-mm@kvack.org>, Will Deacon <will.deacon@arm.com>, Ard Biesheuvel <ard.biesheuvel@linaro.org>, Kristen Carlson Accardi <kristen@linux.intel.com>, "Dock, Deneen T" <deneen.t.dock@intel.com>, Kees Cook <keescook@chromium.org>, Dave Hansen <dave.hansen@intel.com>, Masami Hiramatsu <mhiramat@kernel.org>, Michael Matz <matz@suse.de> Subject: Re: [PATCH] x86/cpufeature: Remove __pure attribute to _static_cpu_has() Date: Thu, 7 Mar 2019 18:02:54 +0100 Message-ID: <20190307170254.GF26566@zn.tnic> (raw) In-Reply-To: <D683E00D-845E-4970-80DE-AD1DED3AE609@zytor.com> Lemme preface this by saying that I've talked to gcc guys before doing this. On Thu, Mar 07, 2019 at 08:43:50AM -0800, hpa@zytor.com wrote: > Uhm... (a) it is correct, even if the compiler doesn't use it now, it > allows the compiler to CSE it in the future; Well, the compiler won't CSE asm blocks due to the difference in the labels, for example, so the heuristic won't detect them as equivalent blocks. Also, compiler guys said that they might consider inlining pure functions later, in the IPA stage but that's future stuff. This is how I understood it, at least. > (b) it is documentation; That could be a comment instead. Otherwise we will wonder again why this is marked pure. > (c) there is an actual bug here: the "volatile" implies a side effect, > which in reality is not present, inhibiting CSE. > > So the correct fix is to remove "volatile", not remove "__pure". There's not really a volatile there: /* * GCC 'asm goto' miscompiles certain code sequences: * * http://gcc.gnu.org/bugzilla/show_bug.cgi?id=58670 * * Work it around via a compiler barrier quirk suggested by Jakub Jelinek. * * (asm goto is automatically volatile - the naming reflects this.) */ #define asm_volatile_goto(x...) do { asm goto(x); asm (""); } while (0) -- Regards/Gruss, Boris. Good mailing practices for 400: avoid top-posting and trim the reply.
next prev parent reply index Thread overview: 71+ messages / expand[flat|nested] mbox.gz Atom feed top 2019-01-29 0:34 [PATCH v2 00/20] Merge text_poke fixes and executable lockdowns Rick Edgecombe 2019-01-29 0:34 ` [PATCH v2 01/20] Fix "x86/alternatives: Lockdep-enforce text_mutex in text_poke*()" Rick Edgecombe 2019-01-29 0:34 ` [PATCH v2 02/20] x86/jump_label: Use text_poke_early() during early init Rick Edgecombe 2019-01-29 0:34 ` [PATCH v2 03/20] x86/mm: temporary mm struct Rick Edgecombe 2019-01-31 11:29 ` Borislav Petkov 2019-01-31 22:19 ` Nadav Amit 2019-02-01 0:08 ` Borislav Petkov 2019-02-01 0:25 ` Nadav Amit 2019-02-04 14:28 ` Borislav Petkov 2019-01-29 0:34 ` [PATCH v2 04/20] fork: provide a function for copying init_mm Rick Edgecombe 2019-02-05 8:53 ` Borislav Petkov 2019-02-05 9:03 ` Nadav Amit 2019-01-29 0:34 ` [PATCH v2 05/20] x86/alternative: initializing temporary mm for patching Rick Edgecombe 2019-02-05 9:18 ` Borislav Petkov 2019-02-11 0:39 ` Nadav Amit 2019-02-11 5:18 ` Andy Lutomirski 2019-02-11 18:04 ` Nadav Amit 2019-02-11 19:07 ` Andy Lutomirski 2019-02-11 19:18 ` Nadav Amit 2019-02-11 22:47 ` Andy Lutomirski 2019-02-12 18:23 ` Nadav Amit 2019-01-29 0:34 ` [PATCH v2 06/20] x86/alternative: use temporary mm for text poking Rick Edgecombe 2019-02-05 9:58 ` Borislav Petkov 2019-02-05 11:31 ` Peter Zijlstra 2019-02-05 12:35 ` Borislav Petkov 2019-02-05 13:25 ` Peter Zijlstra 2019-02-05 17:54 ` Nadav Amit 2019-02-05 13:29 ` Peter Zijlstra 2019-01-29 0:34 ` [PATCH v2 07/20] x86/kgdb: avoid redundant comparison of patched code Rick Edgecombe 2019-01-29 0:34 ` [PATCH v2 08/20] x86/ftrace: set trampoline pages as executable Rick Edgecombe 2019-01-29 0:34 ` [PATCH v2 09/20] x86/kprobes: instruction pages initialization enhancements Rick Edgecombe 2019-02-11 18:22 ` Borislav Petkov 2019-02-11 19:36 ` Nadav Amit 2019-01-29 0:34 ` [PATCH v2 10/20] x86: avoid W^X being broken during modules loading Rick Edgecombe 2019-02-11 18:29 ` Borislav Petkov 2019-02-11 18:45 ` Nadav Amit 2019-02-11 19:01 ` Borislav Petkov 2019-02-11 19:09 ` Nadav Amit 2019-02-11 19:10 ` Borislav Petkov 2019-02-11 19:27 ` Nadav Amit 2019-02-11 19:42 ` Borislav Petkov 2019-02-11 20:32 ` Nadav Amit 2019-03-07 15:10 ` [PATCH] x86/cpufeature: Remove __pure attribute to _static_cpu_has() Borislav Petkov 2019-03-07 16:43 ` hpa 2019-03-07 17:02 ` Borislav Petkov [this message] 2019-03-07 7:29 ` [PATCH v2 10/20] x86: avoid W^X being broken during modules loading Borislav Petkov 2019-03-07 16:53 ` hpa 2019-03-07 17:06 ` Borislav Petkov 2019-03-07 20:02 ` Andy Lutomirski 2019-03-07 20:25 ` Borislav Petkov 2019-01-29 0:34 ` [PATCH v2 11/20] x86/jump-label: remove support for custom poker Rick Edgecombe 2019-02-11 18:37 ` Borislav Petkov 2019-01-29 0:34 ` [PATCH v2 12/20] x86/alternative: Remove the return value of text_poke_*() Rick Edgecombe 2019-01-29 0:34 ` [PATCH v2 13/20] Add set_alias_ function and x86 implementation Rick Edgecombe 2019-02-11 19:09 ` Borislav Petkov 2019-02-11 19:27 ` Edgecombe, Rick P 2019-02-11 22:59 ` Andy Lutomirski 2019-02-12 0:01 ` Edgecombe, Rick P 2019-01-29 0:34 ` [PATCH v2 14/20] mm: Make hibernate handle unmapped pages Rick Edgecombe 2019-02-19 11:04 ` Borislav Petkov 2019-02-19 21:28 ` Edgecombe, Rick P 2019-02-20 16:07 ` Borislav Petkov 2019-01-29 0:34 ` [PATCH v2 15/20] vmalloc: New flags for safe vfree on special perms Rick Edgecombe 2019-02-19 12:48 ` Borislav Petkov 2019-02-19 19:42 ` Edgecombe, Rick P 2019-02-20 16:14 ` Borislav Petkov 2019-01-29 0:34 ` [PATCH v2 16/20] modules: Use vmalloc special flag Rick Edgecombe 2019-01-29 0:34 ` [PATCH v2 17/20] bpf: " Rick Edgecombe 2019-01-29 0:34 ` [PATCH v2 18/20] x86/ftrace: " Rick Edgecombe 2019-01-29 0:34 ` [PATCH v2 19/20] x86/kprobes: " Rick Edgecombe 2019-01-29 0:34 ` [PATCH v2 20/20] x86/alternative: comment about module removal races Rick Edgecombe
Reply instructions: You may reply publicly to this message via plain-text email using any one of the following methods: * Save the following mbox file, import it into your mail client, and reply-to-all from there: mbox Avoid top-posting and favor interleaved quoting: https://en.wikipedia.org/wiki/Posting_style#Interleaved_style * Reply using the --to, --cc, and --in-reply-to switches of git-send-email(1): git send-email \ --in-reply-to=20190307170254.GF26566@zn.tnic \ --to=bp@alien8.de \ --cc=akpm@linux-foundation.org \ --cc=ard.biesheuvel@linaro.org \ --cc=dave.hansen@intel.com \ --cc=dave.hansen@linux.intel.com \ --cc=deneen.t.dock@intel.com \ --cc=hpa@zytor.com \ --cc=keescook@chromium.org \ --cc=kernel-hardening@lists.openwall.com \ --cc=kristen@linux.intel.com \ --cc=linux-integrity@vger.kernel.org \ --cc=linux-kernel@vger.kernel.org \ --cc=linux-mm@kvack.org \ --cc=linux-security-module@vger.kernel.org \ --cc=linux_dti@icloud.com \ --cc=luto@kernel.org \ --cc=matz@suse.de \ --cc=mhiramat@kernel.org \ --cc=mingo@redhat.com \ --cc=nadav.amit@gmail.com \ --cc=peterz@infradead.org \ --cc=rick.p.edgecombe@intel.com \ --cc=tglx@linutronix.de \ --cc=will.deacon@arm.com \ --cc=x86@kernel.org \ /path/to/YOUR_REPLY https://kernel.org/pub/software/scm/git/docs/git-send-email.html * If your mail client supports setting the In-Reply-To header via mailto: links, try the mailto: link
Linux-Integrity Archive on lore.kernel.org Archives are clonable: git clone --mirror https://lore.kernel.org/linux-integrity/0 linux-integrity/git/0.git # If you have public-inbox 1.1+ installed, you may # initialize and index your mirror using the following commands: public-inbox-init -V2 linux-integrity linux-integrity/ https://lore.kernel.org/linux-integrity \ linux-integrity@vger.kernel.org public-inbox-index linux-integrity Example config snippet for mirrors Newsgroup available over NNTP: nntp://nntp.lore.kernel.org/org.kernel.vger.linux-integrity AGPL code for this site: git clone https://public-inbox.org/public-inbox.git