tests/parametric_translation.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("testparametric");
  10     PDG *pdg = get_pn(ctx, "testparametric");
  11
  12     assert(pdg->nodes.size() == 5);
  13     assert(pdg->dependences.size() == 6);
  14     int registers = 0;
  15     for (int i = 0; i < pdg->dependences.size(); ++i) {
  16         pdg::dependence *dep = pdg->dependences[i];
  17         assert(!dep->reordering);
  18         assert(!dep->multiplicity);
  19         assert(dep->value_size);
  20         if (dep->value_size->v == 1)
  21             ++registers;
  22     }
  23     assert(registers == 5);
  24
  25     pdg->free();
  26     delete pdg;
  27
  28     construct_pdg("testparametric2");
  29
  30     isl_ctx_free(ctx);
  31
  32     return 0;
  33 }