diff options
author | Richard Biener <rguenther@suse.de> | 2023-11-13 10:20:37 +0100 |
---|---|---|
committer | Richard Biener <rguenther@suse.de> | 2024-06-21 11:21:11 +0200 |
commit | 20fe647365a922c6dd7a7f283abb99b5588476e8 (patch) | |
tree | bb1f6561ad19f09488d7fc2d996ebf13403d2a5f | |
parent | ffaa61eb15dce3e48b4dcbca7161fc79ac9734b8 (diff) | |
download | gcc-20fe647365a922c6dd7a7f283abb99b5588476e8.zip gcc-20fe647365a922c6dd7a7f283abb99b5588476e8.tar.gz gcc-20fe647365a922c6dd7a7f283abb99b5588476e8.tar.bz2 |
tree-optimization/112495 - alias versioning and address spaces
We are not correctly handling differing address spaces in dependence
analysis runtime alias check generation so refuse to do that.
PR tree-optimization/112495
* tree-data-ref.c (runtime_alias_check_p): Reject checks
between different address spaces.
* gcc.target/i386/pr112495.c: New testcase.
(cherry picked from commit 0f593c0521caab8cfac53514b1a5e7d0d0dd1932)
-rw-r--r-- | gcc/testsuite/gcc.target/i386/pr112495.c | 12 | ||||
-rw-r--r-- | gcc/tree-data-ref.c | 7 |
2 files changed, 19 insertions, 0 deletions
diff --git a/gcc/testsuite/gcc.target/i386/pr112495.c b/gcc/testsuite/gcc.target/i386/pr112495.c new file mode 100644 index 0000000..21afbaa --- /dev/null +++ b/gcc/testsuite/gcc.target/i386/pr112495.c @@ -0,0 +1,12 @@ +/* { dg-do compile } */ +/* { dg-options "-O3" } */ + +typedef struct { int v; } T1; +typedef struct { T1 v[32]; } T2; + +T1 s; +T1 f1() { return s; } + +void f2(__seg_gs T2 *p, int n) { + for (int i = 0; i < n; ++i) p->v[i] = f1(); +} diff --git a/gcc/tree-data-ref.c b/gcc/tree-data-ref.c index d127aba..53c73bd 100644 --- a/gcc/tree-data-ref.c +++ b/gcc/tree-data-ref.c @@ -1642,6 +1642,13 @@ runtime_alias_check_p (ddr_p ddr, class loop *loop, bool speed_p) "runtime alias check not supported for" " outer loop.\n"); + /* FORNOW: We don't support handling different address spaces. */ + if (TYPE_ADDR_SPACE (TREE_TYPE (TREE_TYPE (DR_BASE_ADDRESS (DDR_A (ddr))))) + != TYPE_ADDR_SPACE (TREE_TYPE (TREE_TYPE (DR_BASE_ADDRESS (DDR_B (ddr)))))) + return opt_result::failure_at (DR_STMT (DDR_A (ddr)), + "runtime alias check between different " + "address spaces not supported.\n"); + return opt_result::success (); } |