diff options
Diffstat (limited to 'polly/lib/External/isl/doc/user.pod')
| -rw-r--r-- | polly/lib/External/isl/doc/user.pod | 19 |
1 files changed, 12 insertions, 7 deletions
diff --git a/polly/lib/External/isl/doc/user.pod b/polly/lib/External/isl/doc/user.pod index 0128f0e02b8..1c85e16cb1f 100644 --- a/polly/lib/External/isl/doc/user.pod +++ b/polly/lib/External/isl/doc/user.pod @@ -957,6 +957,9 @@ Spaces can be compared using the following functions: #include <isl/space.h> isl_bool isl_space_is_equal(__isl_keep isl_space *space1, __isl_keep isl_space *space2); + isl_bool isl_space_has_equal_params( + __isl_keep isl_space *space1, + __isl_keep isl_space *space2); isl_bool isl_space_has_equal_tuples( __isl_keep isl_space *space1, __isl_keep isl_space *space2); @@ -978,17 +981,19 @@ tuples (C<isl_dim_in>, C<isl_dim_out> or C<isl_dim_set>) of the given spaces are the same. That is, it checks if they have the same identifier (if any), the same dimension and the same internal structure (if any). -C<isl_space_is_equal> checks whether two spaces are identical. -In particular, it checks whether they have the same type -(parameter, set or map space), the same tuples -(if they are not parameter spaces) in the sense -of C<isl_space_tuple_is_equal> and the same parameters -in the same order. +The function +C<isl_space_has_equal_params> checks whether two spaces +have the same parameters in the same order. C<isl_space_has_equal_tuples> check whether two spaces have -the same tuples. In contrast to C<isl_space_is_equal>, it does not check the +the same tuples. In contrast to C<isl_space_is_equal> below, +it does not check the parameters. This is useful because many C<isl> functions align the parameters before they perform their operations, such that equivalence is not necessary. +C<isl_space_is_equal> checks whether two spaces are identical, +meaning that they have the same parameters and the same tuples. +That is, it checks whether both C<isl_space_has_equal_params> and +C<isl_space_has_equal_tuples> hold. It is often useful to create objects that live in the same space as some other object. This can be accomplished |
