Differential D63304 Diff 205234 include/polly/ScopInfo.h

Changeset View

Standalone View

include/polly/ScopInfo.h

Show First 20 Lines • Show All 60 Lines • ▼ Show 20 Line(s)		58	enum AssumptionKind {
61	WRAPPING,	61		WRAPPING,
62	UNSIGNED,	62		UNSIGNED,
63	PROFITABLE,	63		PROFITABLE,
64	ERRORBLOCK,	64		ERRORBLOCK,
65	COMPLEXITY,	65		COMPLEXITY,
66	INFINITELOOP,	66		INFINITELOOP,
67	INVARIANTLOAD,	67		INVARIANTLOAD,
68	DELINEARIZATION,	68		DELINEARIZATION,
		69		AVOIDSINGLEITERATION,
			MeinersburUnsubmitted Not Done Reply Can you use something more descriptive? Meinersbur: Can you use something more descriptive?
			sabuasalAuthorUnsubmitted Done Reply Hmm, I'll change to TRIPCOUNT , how does that sound? sabuasal: Hmm, I'll change to TRIPCOUNT , how does that sound?
			MeinersburUnsubmitted Not Done Reply Better, but still does not describe what the assumption is. Meinersbur: Better, but still does not describe what the assumption is.
			sabuasalAuthorUnsubmitted Done Reply I'll use AVOIDSINGLEITERATION :) sabuasal: I'll use AVOIDSINGLEITERATION :)
69	};	70		};
70		71
71	/// Enum to distinguish between assumptions and restrictions.	72		/// Enum to distinguish between assumptions and restrictions.
72	enum AssumptionSign { AS_ASSUMPTION, AS_RESTRICTION };	73		enum AssumptionSign { AS_ASSUMPTION, AS_RESTRICTION };
73		74
74	/// The different memory kinds used in Polly.	75		/// The different memory kinds used in Polly.
75	///	76		///
76	/// We distinguish between arrays and various scalar memory objects. We use	77		/// We distinguish between arrays and various scalar memory objects. We use
▲ Show 20 Lines • Show All 1501 Lines • ▼ Show 20 Line(s)		1285	public:
1578	/// Get the isl AST build.	1579		/// Get the isl AST build.
1579	isl::ast_build getAstBuild() const { return Build; }	1580		isl::ast_build getAstBuild() const { return Build; }
1580		1581
1581	/// Restrict the domain of the statement.	1582		/// Restrict the domain of the statement.
1582	///	1583		///
1583	/// @param NewDomain The new statement domain.	1584		/// @param NewDomain The new statement domain.
1584	void restrictDomain(isl::set NewDomain);	1585		void restrictDomain(isl::set NewDomain);
1585		1586
		1587		/// Set the domain of the statement.
		1588		///
		1589		/// @param NewDomain The new statement domain.
		1590		void setDomain(isl::set NewDomain);
		1591
1586	/// Get the loop for a dimension.	1592		/// Get the loop for a dimension.
1587	///	1593		///
1588	/// @param Dimension The dimension of the induction variable	1594		/// @param Dimension The dimension of the induction variable
1589	/// @return The loop at a certain dimension.	1595		/// @return The loop at a certain dimension.
1590	Loop *getLoopForDimension(unsigned Dimension) const;	1596		Loop *getLoopForDimension(unsigned Dimension) const;
1591		1597
1592	/// Align the parameters in the statement to the scop context	1598		/// Align the parameters in the statement to the scop context
1593	void realignParams();	1599		void realignParams();
▲ Show 20 Lines • Show All 137 Lines • ▼ Show 20 Line(s)		1666	private:
1731	DenseMap<BasicBlock , std::vector<ScopStmt >> StmtMap;	1737		DenseMap<BasicBlock , std::vector<ScopStmt >> StmtMap;
1732		1738
1733	/// A map from instructions to SCoP statements.	1739		/// A map from instructions to SCoP statements.
1734	DenseMap<Instruction , ScopStmt > InstStmtMap;	1740		DenseMap<Instruction , ScopStmt > InstStmtMap;
1735		1741
1736	/// A map from basic blocks to their domains.	1742		/// A map from basic blocks to their domains.
1737	DenseMap<BasicBlock *, isl::set> DomainMap;	1743		DenseMap<BasicBlock *, isl::set> DomainMap;
1738		1744
		1745		/// A set that contains restrictions added to eliminate singletons
		1746		/// from statement domains.
		1747		isl::set RestrictDomainParams;
		1748
1739	/// Constraints on parameters.	1749		/// Constraints on parameters.
1740	isl::set Context = nullptr;	1750		isl::set Context = nullptr;
1741		1751
1742	/// The affinator used to translate SCEVs to isl expressions.	1752		/// The affinator used to translate SCEVs to isl expressions.
1743	SCEVAffinator Affinator;	1753		SCEVAffinator Affinator;
1744		1754
1745	using ArrayInfoMapTy =	1755		using ArrayInfoMapTy =
1746	std::map<std::pair<AssertingVH<const Value>, MemoryKind>,	1756		std::map<std::pair<AssertingVH<const Value>, MemoryKind>,
▲ Show 20 Lines • Show All 217 Lines • ▼ Show 20 Line(s)
1964	/// @param InvalidDomainMap BB to InvalidDomain map for the BB of current	1974		/// @param InvalidDomainMap BB to InvalidDomain map for the BB of current
1965	/// region.	1975		/// region.
1966	///	1976		///
1967	/// @returns True if there was no problem and false otherwise.	1977		/// @returns True if there was no problem and false otherwise.
1968	bool addLoopBoundsToHeaderDomain(	1978		bool addLoopBoundsToHeaderDomain(
1969	Loop *L, LoopInfo &LI,	1979		Loop *L, LoopInfo &LI,
1970	DenseMap<BasicBlock *, isl::set> &InvalidDomainMap);	1980		DenseMap<BasicBlock *, isl::set> &InvalidDomainMap);
1971		1981
		1982		/// Update statement domains and parameters to ignore the execution
		1983		/// of statements that have only one iteration.
		1984		void ignoreSingleIterationDomains();
		1985
		1986		/// Ensure assumptions added to prevent execution of
		1987		/// statements of one iteration are preset in the AssumedContext.
		1988		void enforceAssumptionsForAvoidsingleIter();
		1989
1972	/// Compute the branching constraints for each basic block in @p R.	1990		/// Compute the branching constraints for each basic block in @p R.
1973	///	1991		///
1974	/// @param R The region we currently build branching conditions	1992		/// @param R The region we currently build branching conditions
1975	/// for.	1993		/// for.
1976	/// @param DT The DominatorTree for the current function.	1994		/// @param DT The DominatorTree for the current function.
1977	/// @param LI The LoopInfo for the current function.	1995		/// @param LI The LoopInfo for the current function.
1978	/// @param InvalidDomainMap BB to InvalidDomain map for the BB of current	1996		/// @param InvalidDomainMap BB to InvalidDomain map for the BB of current
1979	/// region.	1997		/// region.
▲ Show 20 Lines • Show All 851 Lines • ▼ Show 20 Line(s)		2816	#endif
2831	/// @param Stmt The statement for which the conditions should be returned.	2849		/// @param Stmt The statement for which the conditions should be returned.
2832	isl::set getDomainConditions(const ScopStmt *Stmt) const;	2850		isl::set getDomainConditions(const ScopStmt *Stmt) const;
2833		2851
2834	/// Return the domain of @p BB.	2852		/// Return the domain of @p BB.
2835	///	2853		///
2836	/// @param BB The block for which the conditions should be returned.	2854		/// @param BB The block for which the conditions should be returned.
2837	isl::set getDomainConditions(BasicBlock *BB) const;	2855		isl::set getDomainConditions(BasicBlock *BB) const;
2838		2856
		2857		/// Accessor function that returns RestrictDomainParams
		2858		isl::set getRestrictDomainParams() const { return RestrictDomainParams; }
		2859
2839	/// Get a union set containing the iteration domains of all statements.	2860		/// Get a union set containing the iteration domains of all statements.
2840	isl::union_set getDomains() const;	2861		isl::union_set getDomains() const;
2841		2862
2842	/// Get a union map of all may-writes performed in the SCoP.	2863		/// Get a union map of all may-writes performed in the SCoP.
2843	isl::union_map getMayWrites();	2864		isl::union_map getMayWrites();
2844		2865
2845	/// Get a union map of all must-writes performed in the SCoP.	2866		/// Get a union map of all must-writes performed in the SCoP.
2846	isl::union_map getMustWrites();	2867		isl::union_map getMustWrites();
▲ Show 20 Lines • Show All 259 Lines • Show Last 20 Lines