validation/optim/fact-ior-and.c

   1 int fr_abx(int a, int b, int x) { return ((a & x) | (b & x)) == ((a | b) & x); }
   2 int fl_abx(int a, int b, int x) { return ((x & a) | (x & b)) == ((a | b) & x); }
   3 int fm_abx(int a, int b, int x) { return ((a & x) | (x & b)) == ((a | b) & x); }
   4 int fn_abx(int a, int b, int x) { return ((x & a) | (b & x)) == ((a | b) & x); }
   5
   6 int fr_bax(int b, int a, int x) { return ((a & x) | (b & x)) == ((b | a) & x); }
   7 int fl_bax(int b, int a, int x) { return ((x & a) | (x & b)) == ((b | a) & x); }
   8 int fm_bax(int b, int a, int x) { return ((a & x) | (x & b)) == ((b | a) & x); }
   9 int fn_bax(int b, int a, int x) { return ((x & a) | (b & x)) == ((b | a) & x); }
  10
  11 int fr_axb(int a, int x, int b) { return ((a & x) | (b & x)) == ((a | b) & x); }
  12 int fl_axb(int a, int x, int b) { return ((x & a) | (x & b)) == ((a | b) & x); }
  13 int fm_axb(int a, int x, int b) { return ((a & x) | (x & b)) == ((a | b) & x); }
  14 int fn_axb(int a, int x, int b) { return ((x & a) | (b & x)) == ((a | b) & x); }
  15
  16 int fr_bxa(int b, int x, int a) { return ((b & x) | (a & x)) == ((b | a) & x); }
  17 int fl_bxa(int b, int x, int a) { return ((x & b) | (x & a)) == ((b | a) & x); }
  18 int fm_bxa(int b, int x, int a) { return ((b & x) | (x & a)) == ((b | a) & x); }
  19 int fn_bxa(int b, int x, int a) { return ((x & b) | (a & x)) == ((b | a) & x); }
  20
  21 /*
  22  * check-name: fact-ior-and
  23  * check-command: test-linearize -Wno-decl $file
  24  *
  25  * check-output-ignore
  26  * check-output-returns: 1
  27  */