On 03 Apr 13:39, Uros Bizjak wrote:
> On Fri, Apr 3, 2015 at 1:02 PM, Ilya Tocar <tocarip.in...@gmail.com> wrote:
>
> > I've looked into avx* tests and many of them (even those that don't fail
> > in https://gcc.gnu.org/bugzilla/show_bug.cgi?id=63211) use invalid type
> > punning. Properly fixing them looks like a lot of work, so I propose
> > just adding -fno-strict-aliasing to them.
> > This patch was obtained by running
> > sed -i "s/-O2/-O2 -fno-strict-aliasing/g"
> > ../gcc/testsuite/gcc.target/i386/avx*-2.c
> >
> > Ok for stage1?
>
> I don't like this approach. If the testcase is broken, then it should
> be fixed, not worked around.
>
IMHO those tests don't need to be alias conformant.
There are plenty of tests for aliasing rules,
and avx tests verify intrinsics implementaion. There are plenty of real
programs braking alias rules, so why can't we have non-conformant tests?
