/* { dg-do compile } */
-/* { dg-options "-O2 -fdump-tree-ifcombine" } */
-#define vector __attribute__((vector_size(sizeof(unsigned)*2)))
+/* { dg-options "-O2 -fdump-tree-ifcombine -Wno-psabi" } */
#include <limits.h>
+#define vector __attribute__((vector_size(sizeof(unsigned)*2)))
+
vector signed and1(vector unsigned x, vector unsigned y)
{
/* (x > y) & (x != 0) --> x > y */
/* { dg-do compile } */
-/* { dg-options "-O2 -fdump-tree-optimized" } */
-#define vector __attribute__((vector_size(sizeof(unsigned)*2)))
+/* { dg-options "-O2 -fdump-tree-optimized -Wno-psabi" } */
#include <limits.h>
+#define vector __attribute__((vector_size(sizeof(unsigned)*2)))
+
vector unsigned or1(vector unsigned x, vector unsigned y)
{
/* (x <= y) | (x != 0)) --> true */
/* { dg-do compile } */
-/* { dg-options "-O2 -fdump-tree-ifcombine" } */
-#define vector __attribute__((vector_size(sizeof(unsigned)*2)))
+/* { dg-options "-O2 -fdump-tree-ifcombine -Wno-psabi" } */
#include <limits.h>
+#define vector __attribute__((vector_size(sizeof(unsigned)*2)))
+
vector unsigned or1(vector unsigned x, vector unsigned y)
{
/* (x <= y) | (x == 0) --> x <= y */
/* { dg-do compile } */
-/* { dg-options "-O2 -fdump-tree-dce3" } */
-#define vector __attribute__((vector_size(sizeof(unsigned)*2)))
+/* { dg-options "-O2 -fdump-tree-dce3 -Wno-psabi" } */
#include <limits.h>
+#define vector __attribute__((vector_size(sizeof(unsigned)*2)))
+
vector unsigned or1(vector unsigned x, vector unsigned y)
{
/* (x <= y) | (x == 0) --> x <= y */
/* { dg-do compile } */
-/* { dg-options "-O2 -fdump-tree-optimized" } */
-#define vector __attribute__((vector_size(sizeof(unsigned)*2)))
+/* { dg-options "-O2 -fdump-tree-optimized -Wno-psabi" } */
#include <limits.h>
+#define vector __attribute__((vector_size(sizeof(unsigned)*2)))
+
vector signed and1(vector unsigned x, vector unsigned y)
{
/* (x > y) & (x != 0) --> x > y */
/* { dg-do compile } */
-/* { dg-options "-O2 -fdump-tree-ifcombine" } */
-#define vector __attribute__((vector_size(sizeof(unsigned)*2)))
+/* { dg-options "-O2 -fdump-tree-ifcombine -Wno-psabi" } */
#include <limits.h>
+#define vector __attribute__((vector_size(sizeof(unsigned)*2)))
+
vector signed and1(vector unsigned x, vector unsigned y)
{
/* (x > y) & (x == 0) --> false */
/* { dg-do compile } */
-/* { dg-options "-O2 -fdump-tree-optimized" } */
-#define vector __attribute__((vector_size(sizeof(unsigned)*2)))
+/* { dg-options "-O2 -fdump-tree-optimized -Wno-psabi" } */
#include <limits.h>
+#define vector __attribute__((vector_size(sizeof(unsigned)*2)))
+
vector signed and1(vector unsigned x, vector unsigned y)
{
/* (x > y) & (x == 0) --> false */
/* { dg-do compile } */
-/* { dg-options "-O2 -fdump-tree-ifcombine" } */
-#define vector __attribute__((vector_size(sizeof(unsigned)*2)))
+/* { dg-options "-O2 -fdump-tree-ifcombine -Wno-psabi" } */
#include <limits.h>
+#define vector __attribute__((vector_size(sizeof(unsigned)*2)))
+
vector signed and1(vector unsigned x, vector unsigned y)
{
/* (x <= y) & (x == 0) --> x == 0 */
/* { dg-do compile } */
-/* { dg-options "-O2 -fdump-tree-optimized" } */
-#define vector __attribute__((vector_size(sizeof(unsigned)*2)))
+/* { dg-options "-O2 -fdump-tree-optimized -Wno-psabi" } */
#include <limits.h>
+#define vector __attribute__((vector_size(sizeof(unsigned)*2)))
+
vector signed and1(vector unsigned x, vector unsigned y)
{
/* (x <= y) & (x == 0) --> x == 0 */
/* { dg-do compile } */
-/* { dg-options "-O2 -fdump-tree-ifcombine" } */
-#define vector __attribute__((vector_size(sizeof(unsigned)*2)))
+/* { dg-options "-O2 -fdump-tree-ifcombine -Wno-psabi" } */
#include <limits.h>
+#define vector __attribute__((vector_size(sizeof(unsigned)*2)))
+
vector signed or1(vector unsigned x, vector unsigned y)
{
/* (x > y) | (x != 0) --> x != 0 */
/* { dg-do compile } */
-/* { dg-options "-O2 -fdump-tree-optimized" } */
-#define vector __attribute__((vector_size(sizeof(unsigned)*2)))
+/* { dg-options "-O2 -fdump-tree-optimized -Wno-psabi" } */
#include <limits.h>
+#define vector __attribute__((vector_size(sizeof(unsigned)*2)))
+
vector signed or1(vector unsigned x, vector unsigned y)
{
/* (x > y) | (x != 0) --> x != 0 */
/* { dg-do compile } */
-/* { dg-options "-O2 -fdump-tree-ifcombine" } */
-#define vector __attribute__((vector_size(sizeof(unsigned)*2)))
+/* { dg-options "-O2 -fdump-tree-ifcombine -Wno-psabi" } */
#include <limits.h>
+#define vector __attribute__((vector_size(sizeof(unsigned)*2)))
+
vector signed or1(vector unsigned x, vector unsigned y)
{
/* (x <= y) | (x != 0) --> true */