tests/shift.cc

   1 #include <assert.h>
   2 #include "testlib.h"
   3
   4 using pdg::PDG;
   5
   6 int main(int argc, char *argv[])
   7 {
   8         isl_ctx *ctx = isl_ctx_alloc();
   9         construct_pdg("testshift");
  10         PDG *pdg = get_pn(ctx, "testshift");
  11
  12         assert(pdg->dependences.size() == 3);
  13         int n_shift = 0;
  14         for (int i = 0; i < pdg->dependences.size(); ++i) {
  15                 if (pdg->dependences[i]->type == pdg::dependence::pn_shift)
  16                         n_shift++;
  17         }
  18         assert(n_shift == 1);
  19
  20         pdg->free();
  21         delete pdg;
  22         isl_ctx_free(ctx);
  23
  24         return 0;
  25 }