PetScan::extract_affine(const llvm::APInt &): extract as pet_expr first
[pet.git] / aff.h
blobf67d4028b42a3fc7ab6c5e81c03f48c4f31355fb
1 #ifndef PET_AFF_H
2 #define PET_AFF_H
4 #include <pet.h>
6 #include <isl/aff.h>
8 #if defined(__cplusplus)
9 extern "C" {
10 #endif
12 __isl_give isl_val *pet_extract_cst(__isl_keep isl_pw_aff *pa);
14 __isl_give isl_pw_aff *pet_and(__isl_take isl_pw_aff *lhs,
15 __isl_take isl_pw_aff *rhs);
16 __isl_give isl_pw_aff *pet_not(__isl_take isl_pw_aff *pa);
17 __isl_give isl_pw_aff *pet_to_bool(__isl_take isl_pw_aff *pa);
18 __isl_give isl_pw_aff *pet_boolean(enum pet_op_type type,
19 __isl_take isl_pw_aff *pa1, __isl_take isl_pw_aff *pa2);
20 __isl_give isl_pw_aff *pet_comparison(enum pet_op_type type,
21 __isl_take isl_pw_aff *pa1, __isl_take isl_pw_aff *pa2);
23 #if defined(__cplusplus)
25 #endif
27 #endif