validation/kill-load.c

   1 int keep(volatile int *p)       { return *p && 0; }
   2 int kill(int *p, int i)         { return *p && 0; }
   3 void ind(volatile int *p,int i) { int v = i++; if (i && 0) p[v]; }
   4
   5
   6 /*
   7  * check-name: kill-load
   8  * check-command: test-linearize -Wno-decl $file
   9  * check-description:
  10  *      Check that loads are optimized away but only
  11  *      when needed:
  12  *      - non-volatile
  13  *      - bb unreachable.
  14  *
  15  * check-output-ignore
  16  * check-output-pattern(1): load\\.
  17  */