Loop Alignment for Memory Accesses Optimization

Texte intégral

(1)Loop Alignment for Memory Accesses Optimization Antoine Fraboulet, Guillaume Huard, Anne Mignotte. To cite this version: Antoine Fraboulet, Guillaume Huard, Anne Mignotte. Loop Alignment for Memory Accesses Optimization. [Research Report] LIP RR-1999-26, Laboratoire de l’informatique du parallélisme. 1999, 2+13p. �hal-02101841�. HAL Id: hal-02101841 https://hal-lara.archives-ouvertes.fr/hal-02101841 Submitted on 17 Apr 2019. HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published or not. The documents may come from teaching and research institutions in France or abroad, or from public or private research centers.. L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires publics ou privés..

(2) Laboratoire de l’Informatique du Parallélisme. SPI. ´ Ecole Normale Supérieure de Lyon Unité Mixte de Recherche CNRS-INRIA-ENS LYON no 5668.

(3)

(4) .

(5) . .

(6) . ´ Ecole Normale Supérieure de Lyon 46 Allée d’Italie, 69364 Lyon Cedex 07, France Téléphone : +33(0)4.72.72.80.37 Télécopieur : +33(0)4.72.72.80.80 Adresse e´ lectronique :

(7).

(8)

(9)

(10) .

(11)

(12) . .

(13)

(14)

(15)

(16) !

(17) "

(18)

(19)

(20) #

(21)

(22) $ $

(23)

(24) % $ & '

(25) $ . $ ($ )

(26)

(27) $

(28) .

(29)

(30)

(31)

(32) !

(33) & '

(34) " $ # # .

(35) * +# , - $ , - , . &/ '. . . 0 "1 2 2 3

(36) 1 -

(37) 4 " 0

(38) " 3 4 3 0 11. 14 & ' - $ 5 1 ($ ) " 1 1

(39) " & ' 4 0 0 1 . 1 1 . 1 , $ , 2 & ', .

(40) .

(41)

(42)

(43) ! "# $ % $ &. 6 *

(44) $ 7 . &* - '8 6 : . / 8 66

(45) 69 <

(46)

(47) * - . . . . . . . . . . . . . . . '. 9 ; ; =. ' "

(48) & (

(49) ) * + ,

(50) -. !.

(51) 6 9 ; @ B . . $

(52) - >

(53) < $ $ 8 , , * ?

(54) $ $ >

(55) < $

(56) A 9 $ 5 # * < $

(57) A @ $ 5 # *#

(58) . . . . . . . . . . . . . . . . 6 6 9 @ = = .

(59)

(60) .

(61) $

(62) , $

(63)

(64) $ .

(65) $ $ $ ,

(66)

(67)

(68) $ $

(69) $ $

(70) $

(71) $ A

(72)

(73)

(74)

(75) * CD BE

(76)

(77) $

(78) .

(79) $

(80) &*<?9

(81) $ $ 9 . $ $ = ' <

(82)

(83)

(84) $.

(85) &$ , $ $ 66

(86) ' /

(87)

(88)

(89) > # +

(90) F %7 $ ,

(91) :

(92) $ # $

(93)

(94)

(95)

(96) !

(97) #

(98) $ ,

(99)

(100)

(101)

(102) $ Algorithmic Description. 000000 111111 000000 111111 000 111 000 111 000 111 000 000 111 111 000 111 1010 00000 11111 000000 111111 00000 111111 11111 000000 1010 Partitioning. Hardware. Software. Synthesis. Compilation. Optimizations. / 8 . $

(103) - >

(104)

(105) $

(106)

(107) ($ )

(108) $

(109) $

(110) $

(111) #

(112) !

(113) $

(114)

(115) $

(116) "

(117) C! , D?79E

(118) # .

(119)

(120)

(121) .

(122)

(123)

(124) 8 ,

(125) % $

(126) , 4

(127) 54

(128) C- B, GE A $

(129)

(130)

(131) A

(132) $

(133)

(134) $

(135)

(136)

(137)

(138) $

(139)

(140) 4

(141) *

(142)

(143) $

(144)

(145)

(146)

(147)

(148) $

(149) &

(150) 4 4 '

(151) $

(152)

(153) $ ,

(154) !

(155) A 6& '

(156) 6 5

(157) A

(158)

(159) ,

(160)

(161)

(162)

(163) !

(164) 5

(165)

(166) A $

(167)

(168) ,

(169)

(170) .

(171) DSP core or Generic Processor. Memory module. Internal (On-Chip) Memories bus. Synthesized Hardware. External (Off-Chip) Memories. / 8

(172)

(173) $ $

(174) $

(175). C! , D?79E

(176) A 6&'

(177)

(178) A $ .

(179) 6& '

(180)

(181)

(182) $

(183)

(184) $

(185)

(186)

(187) A

(188) .

(189)

(190) $. $

(191) A 6& '

(192)

(193)

(194)

(195)

(196)

(197) . $

(198)

(199)

(200)

(201) .

(202) . . . . .

(203) . . .

(204) . .

(205) . . . . .

(206) . .

(207) . . / 68 < $ $ 8 , ,

(208)

(209) $

(210)

(211)

(212)

(213) $ $

(214) $

(215)

(216) , ,

(217) C! E +

(218) 6& ' $

(219) ,

(220)

(221) , ,

(222) ,

(223) $

(224) 5 $

(225) !

(226) $

(227)

(228) . $ & 4

(229) ' 5

(230) $

(231)

(232) $ ( ) . 5

(233) $

(234)

(235) / 6&'

(236)

(237) #

(238) $

(239) !

(240) $

(241)

(242)

(243) #

(244)

(245) A

(246)

(247)

(248) $

(249)

(250)

(251) +#

(252) $

(253) $

(254) 8

(255)

(256) $

(257) $ !

(258) $ $

(259) * $ $ :

(260) # $

(261) $

(262) $

(263) $

(264)

(265)

(266) A

(267)

(268) 4

(269) ,

(270)

(271) $

(272) 54

(273)

(274) # $

(275) $.

(276) $

(277) A 6&' $ 6.

(278) $

(279)

(280)

(281)

(282) # $ #

(283) . $

(284) $

(285) >

(286) D

(287) $

(288) $ * $ # H $ # H

(289) $

(290) > ,

(291)

(292) +4 #

(293)

(294). CG BE, CGE,

(295) 4 # CI-*BE

(296) C- B, GE

(297) $

(298) #

(299)

(300)

(301) $

(302)

(303) 4 $ +# .

(304)

(305) A

(306)

(307) $ $ !

(308) 6 9 5

(309) $ #

(310) A #

(311) $ 5 $

(312) A $ $

(313)

(314) .

(315) ! " .

(316)

(317)

(318) #

(319) # $

(320) $

(321)

(322)

(323) # #

(324) $

(325) 5

(326)

(327) " $

(328) $

(329)

(330)

(331) &

(332) '

(333) #

(334) . & $ $ ' .

(335) . ! G ?

(336) & J & '' $

(337) ?

(338) & '

(339) $

(340) , & '

(341) <

(342)

(343)

(344)

(345)

(346) $

(347)

(348) . $ !

(349) $ $ & ' C! E

(350) C.7, GFBE

(351) " S2. S1 2. . .

(352) .

(353) . . 2 S3. 1. 0. 1. S4. . . / 98 * . .( A 9

(354)

(355) $

(356) A

(357) $ .

(358).

(359)

(360) $

(361) $

(362)

(363).

(364)

(365)

(366)

(367) &'

(368)

(369)

(370)

(371) $ =

(372)

(373) $ 5 $

(374)

(375) &' $ 4

(376)

(377) $ 9.

(378)

(379) . &' J &' ¾. &. '.

(380) $ 5

(381)

(382)

(383) 8. & ' J. ¾. &'

(384). *# & ' ,

(385) 66,

(386) " &' &'

(387)

(388)

(389)

(390)

(391) $ & ' $ $

(392)

(393) $ .

(394) A

(395)

(396) $ , $ " ,

(397)

(398) $ 8 &' J &' K &' &' & ' ! A

(399)

(400)

(401) , $ & . $ ' &' = . . :

(402)

(403) :. $ $

(404) $ # & ' . ¾. &'. &'. &' K &' &' = J & ' &' &' &' K &' &' J & ' &6'

(405) 2 $ $ :. $

(406)

(407)

(408)

(409)

(410) $ $

(411) " 6 . $

(412) H

(413) H A

(414) $ "

(415) $

(416) 4 *#

(417)

(418)

(419) &',

(420) $

(421)

(422) :. $ &', &6' &' #

(423) $ 5 $

(424) L J = &' J &' $ $

(425) /

(426) ¾ $

(427) &' =

(428)

(429)

(430) , $ ¾

(431) . / - - . & '8 M 8 . .

(432) . .

(433) $

(434) :. $

(435) 9 = = ;. . . &9'.

(436)

(437)

(438)

(439) 4 &

(440)

(441) K 4, C?*;E' $

(442)

(443) J & '

(444) A $ 8 J $ J &

(445)

(446)

(447) $ ' &;' J =

(448) . .

(449)

(450)

(451)

(452)

(453) $

(454) A

(455) &' $ 4 $ $ 4

(456) J = $

(457) ¼ J = 4 $ &

(458) $

(459) A '

(460) ¼ 4 C?*;, ;E & " $ ¼

(461) 4 $ 4, = K'

(462) $ ¼

(463)

(464)

(465) :. $ 9

(466)

(467)

(468) C!=E

(469)

(470)

(471) Æ :.

(472) $ $

(473) 9

(474) . . . . . - 0 1

(475) $ $

(476) 9

(477) C!=,. 66E. . J = = = . &'. ! A

(478)

(479)

(480) # $ #

(481) $ " @ = J = = &@'

(482) $

(483) # & '

(484) # $

(485)

(486) " B

(487) & ' J = = &B'

(488) J = &'

(489) A $ B

(490) & ' >

(491)

(492) C?*;, ;E

(493)

(494) $

(495) "

(496)

(497) $

(498) >

(499)

(500) $

(501) 4 $

(502)

(503) .

(504) ¼ & ¼ ¼ ¼ ' $ & '

(505) $ 8 +4 $

(506)

(507)

(508) $

(509)

(510)

(511)

(512) !

(513)

(514) /

(515) J & ', ¼ J & '

(516) ¼

(517) & '

(518) >

(519) $

(520)

(521)

(522)

(523)

(524) >

(525) $ $ $

(526) 4 A ; . > $ ¼ , A $

(527) &&' &''

(528) $ 8 &' J &' &=' ¼ &' J & ' &' 1

(529) ¼ ¼

(530)

(531)

(532)

(533)

(534)

(535) . . . . . .

(536) U e1 w(e1). U e1 w(e1). e2 w(e2). c=1 l=1 vu. e2 w(e2). V. eu 0. V. V’. e’1 -w(e1) c=1. . e’2 -w(e2) c=1. V’. . / ;8 ?

(537) $ $ >

(538) . 1 - /

(539) $

(540)

(541) > " 8 ¾. &' K ¼. ¾ Ò. &¼' J. ¼. ¾. N =

(542) " 8 ¾. &' . ¼. ¾ ¼ Ò. &¼' J. ¾. &' K ¼. &' . ¼. ¾ Ò. &¼ '. &'. &¼'. &6'. ¼. ¾ ¼ Ò. D

(543) 8 J &O ' P ¼ J & O' ¼ &¼' J &' ¼. ¾ Ò. & ¼ ' J. ¼. ¾. &'. J &O ' ¼ J & ' . ¼. ¾ Ò. &¼ ' J & ' J . ¼.

(544)

(545) "

(546) > *

(547) ¼ J &O ' ¼ P J & O'

(548) &¼' J &' . ¾. &' J .

(549)

(550)

(551) 7 ¼. ¾ Ò. &¼ ' J. ¼. ¾. &'

(552). <" " " 9 ¾. &' . ¾. &' J. ¾. &' . ! $

(553) "

(554) > $ & ' $

(555) = @. ¼. ¾. &'. &9'. 2

(556) $ .

(557) *

(558) >

(559)

(560) $

(561) $

(562)

(563) = . . ¼. $. . !

(564)

(565)

(566) > $ ¼ 2

(567) $ $

(568)

(569)

(570)

(571) 7 > $ ¼ 2

(572) $

(573) ¾. & 2 ¼

(574) $ . >

(575)

(576) & C!=, 9BE'

(577)

(578) > $ ¼ $ & '

(579) $

(580) . & ' >

(581)

(582) & ' & ' & '

(583) > .

(584)

(585) £ & ' $

(586) >

(587)

(588)

(589) . / - -

(590)

(591) $ $

(592) . >

(593)

(594) $

(595) !

(596)

(597) $ 8

(598) >

(599)

(600) £ & ' !

(601)

(602) $ £ & '

(603)

(604)

(605) &' $

(606) ¼ ¼ D 4/

(607) C?*;E !

(608) $

(609) &' J &'.

(610) &' J &' K &' &'

(611) ¾. D A $

(612)

(613)

(614) ,

(615)

(616) D 4/

(617)

(618)

(619) $ 8 ¼ J & ' ¼ &' &' K &'

(620)

(621) ¼ J & ' ¼ &&'' &&'' K &' =

(622)

(623)

(624) J & ' &' &' K &' = ¼

(625)

(626)

(627)

(628)

(629) $ A

(630) 6 A A $ 7 $ $

(631) 1

(632)

(633)

(634) . . . 1 - 7 $ $

(635)

(636) ,

(637) .

(638)

(639) C!=, 6E

(640) $ $8. . &= & K '' J = &;' & ' J = &' & K ' J = &@' & K ' J = &B' 7 & ' > $

(641)

(642)

(643)

(644) & ' J =,

(645)

(646) ; A 7

(647) > & ' $ A

(648)

(649) $ A /

(650) J & ' $ B.

(651) 3 :$ J =,

(652) & &' &' K &''

(653) &' J = A 3 +

(654)

(655) & ' $

(656) &' & ' $

(657) &' £& '. &'

(658)

(659)

(660) D 4/

(661)

(662) &' &' K &' &' &' &'

(663)

(664) &&'' &&'' K &' J =

(665) &' &' K &' J =

(666) & &' &' K &''

(667) &' J = A

(668) $ @

(669) A /

(670) J & ' $ 3 :$ &' J =

(671) & &' & &' &' K &'''

(672) &' J = A 3 +

(673)

(674) £ $ £& ' $

(675) &' $

(676) $ &' $ & ' * $ ¼ J

(677)

(678) ¼ J & ¼ '

(679) &¼ ' J = $

(680)

(681) $ ¼ $

(682) &¼ ' £ & ' 7

(683) D 4/

(684) A

(685) &' & ' K &' & ' &¼ ' &¼ '

(686)

(687) &' &¼ ' K &' &¼ '

(688)

(689) &&¼ '' &&''' K &¼ ' &&'' &&'' K &'

(690)

(691) " &¼ ' &' K &¼ ' &' &' K &' 7 , A $ &'

(692) &' J &' K &' &'

(693)

(694) A

(695) & &' & &' &' K &'''

(696) &' J =

(697). . . .

(698) B A. . !

(699)

(700)

(701) $ $

(702)

(703)

(704)

(705) $

(706)

(707) $

(708) ¾. (

(709) $

(710)

(711) . &

(712) &. ¾. &'''.

(713) A 9,

(714)

(715) ; (5 ) # A

(716) $ 6 . .

(717) .

(718) . . .

(719) . . S2. S1 0. 0 S3. 0. 3. 0. S4. / 8 < $

(720) A 9 $ 5 #

(721) .

(722) .

(723) . . S1 (1,0) (0,1) (1,0) S2. . S3 (0,0). . / @8 * !. "#

(724)

(725) . :

(726)

(727)

(728) :

(729) , 4

(730) $

(731) .

(732)

(733) , $

(734) $

(735)

(736) &

(737) $

(738) $ ' / @

(739)

(740)

(741) $

(742) :

(743) , ,

(744)

(745) 4 !

(746)

(747)

(748)

(749) " $

(750) 8 &' K &' &'

(751) = J & ' &'

(752)

(753) #, ,

(754)

(755) !

(756) Æ

(757) $

(758)

(759)

(760)

(761)

(762)

(763) G

(764)

(765)

(766) $ 4 $ $

(767) 5 #,

(768) A : # ,

(769) ,

(770) # # 5

(771)

(772) # / , # $

(773) # A .

(774) $

(775) . 4 -

(776)

(777)

(778) $ $

(779) $

(780)

(781)

(782) , $

(783) J & '

(784)

(785) $ ,

(786) =.

(787)

(788) A A

(789) #

(790) A Q ½ J & ¼ ¼ ' $ ½. $ 8 ¼ J &'

(791) &= K

(792)

(793)

(794) K'

(795). ¼ A $ /

(796)

(797) Q ½ 1 !

(798) . 1 -.

(799)

(800)

(801)

(802)

(803) $ !

(804) # $

(805) A

(806)

(807) $

(808)

(809) A $ & ',

(810) A

(811) $ $

(812) $

(813) 7

(814) A $ A

(815) #

(816) 5 # $

(817) A

(818)

(819)

(820) $ $

(821) # $

(822) A 7 ,

(823) $ 4

(824) , , $

(825)

(826) $ , , Q ½ ½

(827) $ 4

(828) 7

(829)

(830) .

(831) ,

(832) $ D 4/ Q ½ A &'

(833)

(834) 8 J & ' ¼ &' &' K ¼ &'

(835) ¼ &' K &&'' &&'' =

(836)

(837)

(838) $ Q ½ & , ,

(839) Q ½

(840) A ½ ,

(841) $ $ ' /

(842) Q ½

(843)

(844) $ 7

(845)

(846) . $ $

(847) ,

(848) # &

(849) $

(850) D 4/

(851) $

(852) $

(853) $ ", $

(854) #

(855) ,

(856)

(857) A ' ¾ / B

(858)

(859) # $ A @

(860)

(861) A

(862) . S1 (0,0) (0,1) (0,0) S2. S3 (1,0). r(1,0).

(863) .

(864) .

(865) .

(866) .

(867) .

(868) . . / B8 < $

(869) A @ $ 5 # .

(870) # $" . *# 5

(871)

(872)

(873) 4 $

(874) $

(875) F

(876) A

(877) &

(878) # $

(879) '

(880)

(881)

(882) $

(883) $. A ?

(884)

(885) J & ' $

(886) $

(887)

(888) . 1 . $ " $

(889) $ . &' K &' &' J & ' &='

(890) &'

(891) $ $

(892) &'

(893)

(894) . J &',

(895) = $

(896) $ 8 &' &' J & ' &' 7

(897)

(898)

(899)

(900)

(901)

(902) $ $ "

(903)

(904)

(905)