HomeSort by: relevance | last modified time | path
    Searched refs:id2expr (Results 1 - 2 of 2) sorted by relevancy

  /src/external/mit/isl/dist/include/isl/
ast.h 97 __isl_take isl_ast_expr *expr, __isl_take isl_id_to_ast_expr *id2expr);
  /src/external/mit/isl/dist/
isl_ast.c 853 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);

Completed in 21 milliseconds