Reverse if-conversion

Nancy J. Warter, Scott A. Mahlke, Wen mei W. Hwu, B. Ramakrishna Rau

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

In this paper we present a set of isomorphic control transformations that allow the compiler to apply local scheduling techniques to acyclic subgraphs of the control flow graph. Thus, the code motion complexities of global scheduling are eliminated. This approach relies on a new technique, Reverse If-Conversion (RIC), that transforms scheduled If-Converted code back to the control flow graph representation. This paper presents the predicate internal representation, the algorithms for RIC, and the correctness of RIC. In addition, the scheduling issues are addressed and an application to software pipelining is presented.

Original languageEnglish (US)
Title of host publicationProc ACM SIGPLAN 93 Conf Program Lang Des Implementation
Editors Anon
PublisherPubl by ACM
Pages290-299
Number of pages10
ISBN (Print)0897915984
StatePublished - Dec 1 1993
EventProceedings of the ACM SIGPLAN '93 Conference on Programming Language Design and Implementation - Albuquerque, NM, USA
Duration: Jun 23 1993Jun 25 1993

Publication series

NameProc ACM SIGPLAN 93 Conf Program Lang Des Implementation

Other

OtherProceedings of the ACM SIGPLAN '93 Conference on Programming Language Design and Implementation
CityAlbuquerque, NM, USA
Period6/23/936/25/93

Fingerprint

Flow graphs
Scheduling

ASJC Scopus subject areas

  • Engineering(all)

Cite this

Warter, N. J., Mahlke, S. A., Hwu, W. M. W., & Rau, B. R. (1993). Reverse if-conversion. In Anon (Ed.), Proc ACM SIGPLAN 93 Conf Program Lang Des Implementation (pp. 290-299). (Proc ACM SIGPLAN 93 Conf Program Lang Des Implementation). Publ by ACM.

Reverse if-conversion. / Warter, Nancy J.; Mahlke, Scott A.; Hwu, Wen mei W.; Rau, B. Ramakrishna.

Proc ACM SIGPLAN 93 Conf Program Lang Des Implementation. ed. / Anon. Publ by ACM, 1993. p. 290-299 (Proc ACM SIGPLAN 93 Conf Program Lang Des Implementation).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Warter, NJ, Mahlke, SA, Hwu, WMW & Rau, BR 1993, Reverse if-conversion. in Anon (ed.), Proc ACM SIGPLAN 93 Conf Program Lang Des Implementation. Proc ACM SIGPLAN 93 Conf Program Lang Des Implementation, Publ by ACM, pp. 290-299, Proceedings of the ACM SIGPLAN '93 Conference on Programming Language Design and Implementation, Albuquerque, NM, USA, 6/23/93.
Warter NJ, Mahlke SA, Hwu WMW, Rau BR. Reverse if-conversion. In Anon, editor, Proc ACM SIGPLAN 93 Conf Program Lang Des Implementation. Publ by ACM. 1993. p. 290-299. (Proc ACM SIGPLAN 93 Conf Program Lang Des Implementation).
Warter, Nancy J. ; Mahlke, Scott A. ; Hwu, Wen mei W. ; Rau, B. Ramakrishna. / Reverse if-conversion. Proc ACM SIGPLAN 93 Conf Program Lang Des Implementation. editor / Anon. Publ by ACM, 1993. pp. 290-299 (Proc ACM SIGPLAN 93 Conf Program Lang Des Implementation).
@inproceedings{2bc5361c7b184432a5d6231974f63be6,
title = "Reverse if-conversion",
abstract = "In this paper we present a set of isomorphic control transformations that allow the compiler to apply local scheduling techniques to acyclic subgraphs of the control flow graph. Thus, the code motion complexities of global scheduling are eliminated. This approach relies on a new technique, Reverse If-Conversion (RIC), that transforms scheduled If-Converted code back to the control flow graph representation. This paper presents the predicate internal representation, the algorithms for RIC, and the correctness of RIC. In addition, the scheduling issues are addressed and an application to software pipelining is presented.",
author = "Warter, {Nancy J.} and Mahlke, {Scott A.} and Hwu, {Wen mei W.} and Rau, {B. Ramakrishna}",
year = "1993",
month = "12",
day = "1",
language = "English (US)",
isbn = "0897915984",
series = "Proc ACM SIGPLAN 93 Conf Program Lang Des Implementation",
publisher = "Publ by ACM",
pages = "290--299",
editor = "Anon",
booktitle = "Proc ACM SIGPLAN 93 Conf Program Lang Des Implementation",

}

TY - GEN

T1 - Reverse if-conversion

AU - Warter, Nancy J.

AU - Mahlke, Scott A.

AU - Hwu, Wen mei W.

AU - Rau, B. Ramakrishna

PY - 1993/12/1

Y1 - 1993/12/1

N2 - In this paper we present a set of isomorphic control transformations that allow the compiler to apply local scheduling techniques to acyclic subgraphs of the control flow graph. Thus, the code motion complexities of global scheduling are eliminated. This approach relies on a new technique, Reverse If-Conversion (RIC), that transforms scheduled If-Converted code back to the control flow graph representation. This paper presents the predicate internal representation, the algorithms for RIC, and the correctness of RIC. In addition, the scheduling issues are addressed and an application to software pipelining is presented.

AB - In this paper we present a set of isomorphic control transformations that allow the compiler to apply local scheduling techniques to acyclic subgraphs of the control flow graph. Thus, the code motion complexities of global scheduling are eliminated. This approach relies on a new technique, Reverse If-Conversion (RIC), that transforms scheduled If-Converted code back to the control flow graph representation. This paper presents the predicate internal representation, the algorithms for RIC, and the correctness of RIC. In addition, the scheduling issues are addressed and an application to software pipelining is presented.

UR - http://www.scopus.com/inward/record.url?scp=0027806309&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=0027806309&partnerID=8YFLogxK

M3 - Conference contribution

AN - SCOPUS:0027806309

SN - 0897915984

T3 - Proc ACM SIGPLAN 93 Conf Program Lang Des Implementation

SP - 290

EP - 299

BT - Proc ACM SIGPLAN 93 Conf Program Lang Des Implementation

A2 - Anon, null

PB - Publ by ACM

ER -