Home | History | Annotate | Download | only in dist

Lines Matching refs:expr2

494 		isl_ast_expr *expr1, *expr2;
498 		expr2 = isl_ast_expr_list_get_at(list2, i);
499 		equal = isl_ast_expr_is_equal(expr1, expr2);
501 		isl_ast_expr_free(expr2);
509 /* Is "expr1" equal to "expr2"?
512 	__isl_keep isl_ast_expr *expr2)
514 	if (!expr1 || !expr2)
517 	if (expr1 == expr2)
519 	if (expr1->type != expr2->type)
523 		return isl_val_eq(expr1->u.v, expr2->u.v);
525 		return isl_bool_ok(expr1->u.id == expr2->u.id);
527 		if (expr1->u.op.op != expr2->u.op.op)
530 						expr2->u.op.args);
664  * applied to "expr1" and "expr2".
668 	__isl_take isl_ast_expr *expr1, __isl_take isl_ast_expr *expr2)
674 	if (!expr1 || !expr2)
682 	args = isl_ast_expr_list_add(args, expr2);
688 	isl_ast_expr_free(expr2);
692 /* Create an expression representing the sum of "expr1" and "expr2".
695 	__isl_take isl_ast_expr *expr2)
697 	return isl_ast_expr_alloc_binary(isl_ast_expr_op_add, expr1, expr2);
700 expr2".
703 	__isl_take isl_ast_expr *expr2)
705 	return isl_ast_expr_alloc_binary(isl_ast_expr_op_sub, expr1, expr2);
708 /* Create an expression representing the product of "expr1" and "expr2".
711 	__isl_take isl_ast_expr *expr2)
713 	return isl_ast_expr_alloc_binary(isl_ast_expr_op_mul, expr1, expr2);
716 /* Create an expression representing the quotient of "expr1" and "expr2".
719 	__isl_take isl_ast_expr *expr2)
721 	return isl_ast_expr_alloc_binary(isl_ast_expr_op_div, expr1, expr2);
725  * division of "expr1" by "expr2", where "expr1" is known to be
729 	__isl_take isl_ast_expr *expr2)
731 	return isl_ast_expr_alloc_binary(isl_ast_expr_op_pdiv_q, expr1, expr2);
735  * division of "expr1" by "expr2", where "expr1" is known to be
739 	__isl_take isl_ast_expr *expr2)
741 	return isl_ast_expr_alloc_binary(isl_ast_expr_op_pdiv_r, expr1, expr2);
744 /* Create an expression representing the conjunction of "expr1" and "expr2".
747 	__isl_take isl_ast_expr *expr2)
749 	return isl_ast_expr_alloc_binary(isl_ast_expr_op_and, expr1, expr2);
752 /* Create an expression representing the conjunction of "expr1" and "expr2",
753  * where "expr2" is evaluated only if "expr1" is evaluated to true.
756 	__isl_take isl_ast_expr *expr2)
758 	return isl_ast_expr_alloc_binary(isl_ast_expr_op_and_then, expr1, expr2);
761 /* Create an expression representing the disjunction of "expr1" and "expr2".
764 	__isl_take isl_ast_expr *expr2)
766 	return isl_ast_expr_alloc_binary(isl_ast_expr_op_or, expr1, expr2);
769 /* Create an expression representing the disjunction of "expr1" and "expr2",
770  * where "expr2" is evaluated only if "expr1" is evaluated to false.
773 	__isl_take isl_ast_expr *expr2)
775 	return isl_ast_expr_alloc_binary(isl_ast_expr_op_or_else, expr1, expr2);
778 /* Create an expression representing "expr1" less than or equal to "expr2".
781 	__isl_take isl_ast_expr *expr2)
783 	return isl_ast_expr_alloc_binary(isl_ast_expr_op_le, expr1, expr2);
786 /* Create an expression representing "expr1" less than "expr2".
789 	__isl_take isl_ast_expr *expr2)
791 	return isl_ast_expr_alloc_binary(isl_ast_expr_op_lt, expr1, expr2);
794 /* Create an expression representing "expr1" greater than or equal to "expr2".
797 	__isl_take isl_ast_expr *expr2)
799 	return isl_ast_expr_alloc_binary(isl_ast_expr_op_ge, expr1, expr2);
802 /* Create an expression representing "expr1" greater than "expr2".
805 	__isl_take isl_ast_expr *expr2)
807 	return isl_ast_expr_alloc_binary(isl_ast_expr_op_gt, expr1, expr2);
810 /* Create an expression representing "expr1" equal to "expr2".
813 	__isl_take isl_ast_expr *expr2)
815 	return isl_ast_expr_alloc_binary(isl_ast_expr_op_eq, expr1, expr2);