Searched refs:id2expr (Results 1 - 2 of 2) sorted by relevance

/netbsd-current/external/mit/isl/dist/include/isl/
H A Dast.h97 __isl_take isl_ast_expr *expr, __isl_take isl_id_to_ast_expr *id2expr);
/netbsd-current/external/mit/isl/dist/
H A Disl_ast.c853 isl_id_to_ast_expr *id2expr = user; local
856 isl_id_to_ast_expr_copy(id2expr));
860 * if it appears in "id2expr", then replace it by the corresponding
864 __isl_take isl_ast_expr *expr, __isl_take isl_id_to_ast_expr *id2expr)
869 if (!expr || !id2expr)
876 m = isl_id_to_ast_expr_try_get(id2expr, expr->u.id);
886 args = isl_ast_expr_list_map(args, &substitute_ids, id2expr);
894 isl_id_to_ast_expr_free(id2expr);
898 isl_id_to_ast_expr_free(id2expr);
863 isl_ast_expr_substitute_ids( __isl_take isl_ast_expr *expr, __isl_take isl_id_to_ast_expr *id2expr) argument

Completed in 184 milliseconds