tests/pn.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("QR");
  10     PDG *pdg = get_pn(ctx, "QR");
  11
  12     assert(pdg->nodes.size() == 5);
  13     assert(pdg->dependences.size() == 12);
  14     for (int i = 0; i < pdg->dependences.size(); ++i) {
  15         pdg::dependence *dep = pdg->dependences[i];
  16         assert(!dep->reordering);
  17         assert(!dep->multiplicity);
  18     }
  19
  20     pdg->free();
  21     delete pdg;
  22
  23     construct_pdg("sobel");
  24     pdg = get_pn(ctx, "sobel");
  25
  26     int n_shift = 0;
  27     assert(pdg->dependences.size() == 5);
  28     for (int i = 0; i < pdg->dependences.size(); ++i) {
  29         pdg::dependence *dep = pdg->dependences[i];
  30         assert(dep->value_size->v > 0);
  31         if (pdg->dependences[i]->type == pdg::dependence::pn_shift)
  32                 n_shift++;
  33     }
  34     assert(n_shift == 2);
  35
  36     pdg->free();
  37     delete pdg;
  38
  39     construct_pdg("arg_order");
  40     pdg = get_pn(ctx, "arg_order");
  41
  42     assert(pdg->dependences.size() == 1);
  43     assert(pdg->dependences[0]->to != pdg->dependences[0]->from);
  44
  45     pdg->free();
  46     delete pdg;
  47     isl_ctx_free(ctx);
  48
  49     return 0;
  50 }