diff options
author | H.J. Lu <hongjiu.lu@intel.com> | 2019-05-31 23:59:16 +0000 |
---|---|---|
committer | H.J. Lu <hjl@gcc.gnu.org> | 2019-05-31 16:59:16 -0700 |
commit | 02ed904927f5b2ef1538ff44b504183f4cfe9ff0 (patch) | |
tree | c0f983b10c380cc8a2c896014347c7afc9f432b1 | |
parent | d030d4c5a4491c9d9827f67c94a4c914f6d3eb67 (diff) | |
download | gcc-02ed904927f5b2ef1538ff44b504183f4cfe9ff0.zip gcc-02ed904927f5b2ef1538ff44b504183f4cfe9ff0.tar.gz gcc-02ed904927f5b2ef1538ff44b504183f4cfe9ff0.tar.bz2 |
i386: Don't insert ENDBR after NOTE_INSN_DELETED_LABEL
NOTE_INSN_DELETED_LABEL is used to mark what used to be a 'code_label',
but was not used for other purposes than taking its address which cannot
be used as target for indirect jumps.
Tested on Linux/x86-64 with -fcf-protection.
For x86-64 libc.so on glibc master branch (commit f43b8dd55588c3),
Before: 2961 endbr64
After: 2943 endbr64
gcc/
PR target/89355
* config/i386/i386-features.c (rest_of_insert_endbranch): Remove
NOTE_INSN_DELETED_LABEL check.
gcc/testsuite/
PR target/89355
* gcc.target/i386/cet-label-3.c: New test.
* gcc.target/i386/cet-label-4.c: Likewise.
* gcc.target/i386/cet-label-5.c: Likewise.
Co-Authored-By: Hongtao Liu <hongtao.liu@intel.com>
From-SVN: r271828
-rw-r--r-- | gcc/ChangeLog | 7 | ||||
-rw-r--r-- | gcc/config/i386/i386-features.c | 5 | ||||
-rw-r--r-- | gcc/testsuite/ChangeLog | 7 | ||||
-rw-r--r-- | gcc/testsuite/gcc.target/i386/cet-label-3.c | 23 | ||||
-rw-r--r-- | gcc/testsuite/gcc.target/i386/cet-label-4.c | 12 | ||||
-rw-r--r-- | gcc/testsuite/gcc.target/i386/cet-label-5.c | 13 |
6 files changed, 63 insertions, 4 deletions
diff --git a/gcc/ChangeLog b/gcc/ChangeLog index e0a6ace..a1e8127 100644 --- a/gcc/ChangeLog +++ b/gcc/ChangeLog @@ -1,3 +1,10 @@ +2019-05-31 H.J. Lu <hongjiu.lu@intel.com> + Hongtao Liu <hongtao.liu@intel.com> + + PR target/89355 + * config/i386/i386-features.c (rest_of_insert_endbranch): Remove + NOTE_INSN_DELETED_LABEL check. + 2019-05-31 Prachi Godbole <prachi.godbole@imgtec.com> Robert Suchanek <robert.suchanek@mips.com> diff --git a/gcc/config/i386/i386-features.c b/gcc/config/i386/i386-features.c index 60a120f..c8de526 100644 --- a/gcc/config/i386/i386-features.c +++ b/gcc/config/i386/i386-features.c @@ -1911,10 +1911,7 @@ rest_of_insert_endbranch (void) continue; } - if ((LABEL_P (insn) && LABEL_PRESERVE_P (insn)) - || (NOTE_P (insn) - && NOTE_KIND (insn) == NOTE_INSN_DELETED_LABEL)) - /* TODO. Check /s bit also. */ + if (LABEL_P (insn) && LABEL_PRESERVE_P (insn)) { cet_eb = gen_nop_endbr (); emit_insn_after (cet_eb, insn); diff --git a/gcc/testsuite/ChangeLog b/gcc/testsuite/ChangeLog index e39b064..04fb8bc 100644 --- a/gcc/testsuite/ChangeLog +++ b/gcc/testsuite/ChangeLog @@ -1,3 +1,10 @@ +2019-05-31 H.J. Lu <hongjiu.lu@intel.com> + + PR target/89355 + * gcc.target/i386/cet-label-3.c: New test. + * gcc.target/i386/cet-label-4.c: Likewise. + * gcc.target/i386/cet-label-5.c: Likewise. + 2019-05-31 Dragan Mladjenovic <dmladjenovic@wavecomp.com> * gcc.target/mips/msa-fmadd.c: New. diff --git a/gcc/testsuite/gcc.target/i386/cet-label-3.c b/gcc/testsuite/gcc.target/i386/cet-label-3.c new file mode 100644 index 0000000..9f427a8 --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/cet-label-3.c @@ -0,0 +1,23 @@ +/* PR target/89355 */ +/* { dg-do compile } */ +/* { dg-options "-O2 -fcf-protection" } */ +/* { dg-final { scan-assembler-times "endbr32" 1 { target ia32 } } } */ +/* { dg-final { scan-assembler-times "endbr64" 1 { target { ! ia32 } } } } */ +int +test (int* val) +{ + int status = 99; + + if (!val) + { + status = 22; + goto end; + } + + extern int x; + *val = x; + + status = 0; +end: + return status; +} diff --git a/gcc/testsuite/gcc.target/i386/cet-label-4.c b/gcc/testsuite/gcc.target/i386/cet-label-4.c new file mode 100644 index 0000000..d743d2b --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/cet-label-4.c @@ -0,0 +1,12 @@ +/* PR target/89355 */ +/* { dg-do compile { target { fpic && lp64 } } } */ +/* { dg-options "-O2 -fcf-protection -fPIC -mcmodel=large" } */ +/* { dg-final { scan-assembler-times "endbr64" 1 } } */ + +extern int val; + +int +test (void) +{ + return val; +} diff --git a/gcc/testsuite/gcc.target/i386/cet-label-5.c b/gcc/testsuite/gcc.target/i386/cet-label-5.c new file mode 100644 index 0000000..862c79b --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/cet-label-5.c @@ -0,0 +1,13 @@ +/* PR target/89355 */ +/* { dg-do compile } */ +/* { dg-options "-O2 -fcf-protection -Wno-return-local-addr" } */ +/* { dg-final { scan-assembler-times "endbr32" 1 { target ia32 } } } */ +/* { dg-final { scan-assembler-times "endbr64" 1 { target { ! ia32 } } } } */ + +void * +func (void) +{ + return &&bar; +bar: + return 0; +} |