diff options
| author | Tobias Grosser <tobias@grosser.es> | 2017-03-21 09:12:11 +0000 |
|---|---|---|
| committer | Tobias Grosser <tobias@grosser.es> | 2017-03-21 09:12:11 +0000 |
| commit | 29eaa16b7e87441a52cab354028d6799d29f07d4 (patch) | |
| tree | c4d408c6e12911f4bbae8297e6663f133eacbc9d /polly/lib/External/isl/doc/user.pod | |
| parent | 76e562ab1b4b1c1e180f763f21ee69ae1193fa72 (diff) | |
| download | bcm5719-llvm-29eaa16b7e87441a52cab354028d6799d29f07d4.tar.gz bcm5719-llvm-29eaa16b7e87441a52cab354028d6799d29f07d4.zip | |
Update isl to isl-0.18-395-g77701b3
This is a normal maintenance update.
llvm-svn: 298352
Diffstat (limited to 'polly/lib/External/isl/doc/user.pod')
| -rw-r--r-- | polly/lib/External/isl/doc/user.pod | 12 |
1 files changed, 11 insertions, 1 deletions
diff --git a/polly/lib/External/isl/doc/user.pod b/polly/lib/External/isl/doc/user.pod index 1c85e16cb1f..92e12c37485 100644 --- a/polly/lib/External/isl/doc/user.pod +++ b/polly/lib/External/isl/doc/user.pod @@ -2362,7 +2362,8 @@ Points can be copied or freed using __isl_give isl_point *isl_point_copy( __isl_keep isl_point *pnt); - void isl_point_free(__isl_take isl_point *pnt); + __isl_null isl_point *isl_point_free( + __isl_take isl_point *pnt); A singleton set can be created from a point using @@ -6274,12 +6275,21 @@ into the first expression. __isl_give isl_set *isl_aff_le_set( __isl_take isl_aff *aff1, __isl_take isl_aff *aff2); + __isl_give isl_basic_set *isl_aff_lt_basic_set( + __isl_take isl_aff *aff1, + __isl_take isl_aff *aff2); + __isl_give isl_set *isl_aff_lt_set( + __isl_take isl_aff *aff1, + __isl_take isl_aff *aff2); __isl_give isl_basic_set *isl_aff_ge_basic_set( __isl_take isl_aff *aff1, __isl_take isl_aff *aff2); __isl_give isl_set *isl_aff_ge_set( __isl_take isl_aff *aff1, __isl_take isl_aff *aff2); + __isl_give isl_basic_set *isl_aff_gt_basic_set( + __isl_take isl_aff *aff1, + __isl_take isl_aff *aff2); __isl_give isl_set *isl_pw_aff_eq_set( __isl_take isl_pw_aff *pwaff1, __isl_take isl_pw_aff *pwaff2); |
