validation/optim/cse-not01.c

   1 int and(int a) { return (~a & a) ==  0; }
   2 int ior(int a) { return (~a | a) == ~0; }
   3 int xor(int a) { return (~a ^ a) == ~0; }
   4
   5 /*
   6  * check-name: cse-not01
   7  * check-command: test-linearize -Wno-decl $file
   8  *
   9  * check-output-ignore
  10  * check-output-returns: 1
  11  */