diff options
author | Iain Buclaw <ibuclaw@gdcproject.org> | 2024-03-03 02:26:37 +0100 |
---|---|---|
committer | Iain Buclaw <ibuclaw@gdcproject.org> | 2024-03-03 02:26:37 +0100 |
commit | 623f52775e677bb3d6e9e7ef97196741dd904b1e (patch) | |
tree | 76d8a6f16c75b289f8413fe5557486653dab03a8 | |
parent | ef1b7885843d73c94313f5e693fa48ecd793043e (diff) | |
download | gcc-623f52775e677bb3d6e9e7ef97196741dd904b1e.zip gcc-623f52775e677bb3d6e9e7ef97196741dd904b1e.tar.gz gcc-623f52775e677bb3d6e9e7ef97196741dd904b1e.tar.bz2 |
d: Fix gdc -O2 -mavx generates misaligned vmovdqa instruction [PR114171]
PR d/114171
gcc/d/ChangeLog:
* d-codegen.cc (lower_struct_comparison): Keep alignment of original
type in reinterpret cast for comparison.
gcc/testsuite/ChangeLog:
* gdc.dg/torture/pr114171.d: New test.
-rw-r--r-- | gcc/d/d-codegen.cc | 1 | ||||
-rw-r--r-- | gcc/testsuite/gdc.dg/torture/pr114171.d | 29 |
2 files changed, 30 insertions, 0 deletions
diff --git a/gcc/d/d-codegen.cc b/gcc/d/d-codegen.cc index 5bc2339..43d7739f 100644 --- a/gcc/d/d-codegen.cc +++ b/gcc/d/d-codegen.cc @@ -1006,6 +1006,7 @@ lower_struct_comparison (tree_code code, StructDeclaration *sd, if (tmode == NULL_TREE) tmode = make_unsigned_type (GET_MODE_BITSIZE (mode.require ())); + tmode = build_aligned_type (tmode, TYPE_ALIGN (stype)); t1ref = build_vconvert (tmode, t1ref); t2ref = build_vconvert (tmode, t2ref); diff --git a/gcc/testsuite/gdc.dg/torture/pr114171.d b/gcc/testsuite/gdc.dg/torture/pr114171.d new file mode 100644 index 0000000..0f9ffca --- /dev/null +++ b/gcc/testsuite/gdc.dg/torture/pr114171.d @@ -0,0 +1,29 @@ +// { dg-do run } +// { dg-additional-options "-mavx" { target avx_runtime } } +// { dg-skip-if "needs gcc/config.d" { ! d_runtime } } +import gcc.builtins; + +struct S1 +{ + string label; +} + +struct S2 +{ + ulong pad; + S1 label; +} + +pragma(inline, false) +auto newitem() +{ + void *p = __builtin_malloc(S2.sizeof); + __builtin_memset(p, 0, S2.sizeof); + return cast(S2*) p; +} + +int main() +{ + auto bn = newitem(); + return bn.label is S1.init ? 0 : 1; +} |