public inbox for gcc@gcc.gnu.org
 help / color / mirror / Atom feed
* Solve transitive closure issue in modulo scheduling
@ 2009-01-30 16:17 Bingfeng Mei
  2009-02-01 23:18 ` Ayal Zaks
  2009-02-07 17:20 ` Solve transitive closure issue in modulo scheduling Daniel Berlin
  0 siblings, 2 replies; 10+ messages in thread
From: Bingfeng Mei @ 2009-01-30 16:17 UTC (permalink / raw)
  To: gcc, zaks; +Cc: Adrian Ashley

Hello,
I try to make modulo scheduling work more efficiently for our VLIW target. I found one serious issue that prevents current SMS algorithm from achieving high IPC is so-called "transitive closure" problem, where scheduling window is only calculated using direct predecessors and successors. Because SMS is not an iterative algorithm, this may cause failures in finding a valid schedule. Without splitting rows, some simple loops just cannot be scheduled not matter how big the II is. With splitting rows, schedule can be found, but only at bigger II. GCC wiki (http://gcc.gnu.org/wiki/SwingModuloScheduling) lists this as a TODO. Is there any work going on about this issue (the last wiki update was one year ago)? If no one is working on it, I plan to do it. My idea is to use the MinDist algorithm described in B. Rau's classic paper "iterative modulo scheduling" (http://www.hpl.hp.com/techreports/94/HPL-94-115.html). The same algorithm can also be used to compute better RecMII. The biggest concern is complexity of computing MinDist matrix, which is O(N^3). N is number of nodes in the loop. I remember somewhere GCC coding guide says "never write quadratic algorithm" :-) Is this an absolute requirement? If yes, I will keep it as our target-specific code (we are less concerned about compilation time). Otherwise, I will try to make it more generic to see if it can make into mainline in 4.5. Any comments? 

Cheers,
Bingfeng Mei

Broadcom UK 


^ permalink raw reply	[flat|nested] 10+ messages in thread

end of thread, other threads:[~2009-06-23 13:56 UTC | newest]

Thread overview: 10+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2009-01-30 16:17 Solve transitive closure issue in modulo scheduling Bingfeng Mei
2009-02-01 23:18 ` Ayal Zaks
2009-02-05 10:45   ` Bingfeng Mei
2009-02-17 12:03     ` Ayal Zaks
2009-03-13  6:43       ` [PATCH] SMS - Pass the actual schedulable rows to compute_split_row Revital1 Eres
2009-06-22 14:10       ` Unnecessary regmoves in modulo scheduler? Bingfeng Mei
2009-06-23 13:41         ` Revital1 Eres
2009-06-23 13:48           ` Bingfeng Mei
2009-06-23 13:56             ` Revital1 Eres
2009-02-07 17:20 ` Solve transitive closure issue in modulo scheduling Daniel Berlin

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).