dc.contributor.author | Nordgaard, Sigve | |
dc.contributor.author | Meyer, Jan Christian | |
dc.date.accessioned | 2021-02-26T07:03:23Z | |
dc.date.available | 2021-02-26T07:03:23Z | |
dc.date.created | 2020-11-25T09:06:23Z | |
dc.date.issued | 2020 | |
dc.identifier.citation | NIKT: Norsk IKT-konferanse for forskning og utdanning. 2020, . | en_US |
dc.identifier.issn | 1892-0713 | |
dc.identifier.uri | https://hdl.handle.net/11250/2730521 | |
dc.description.abstract | Data flow analyses are instrumental to effective compiler optimizations, and are typically implemented by extracting implicit data flow information from traversals of a control flow graph intermediate representation. The Regionalized Value State Dependence Graph is an alternative intermediate representation, which represents a program in terms of its data flow dependencies, leaving control flow implicit. Several analyses that enable compiler optimizations reduce to NP-Complete graph problems in general, but admit linear time solutions if the graph’s treewidth is limited. In this paper, we investigate the treewidth of application benchmarks and synthetic programs, in order to identify program features which cause the treewidth of its data flow graph to increase, and assess how they may appear in practical software. We find that increasing numbers of live variables cause unbounded growth in data flow graph treewidth, but this can ordinarily be remedied by modular program design, and monolithic programs that exceed a given bound can be efficiently detected using an approximate treewidth heuristic. | en_US |
dc.language.iso | eng | en_US |
dc.publisher | Bibsys Open Journal Systems | en_US |
dc.relation.uri | https://ojs.bibsys.no/index.php/NIK/article/view/828/697 | |
dc.title | Feasibility of Optimizations Requiring Bounded Treewidth in a Data Flow Centric Intermediate Representation | en_US |
dc.type | Peer reviewed | en_US |
dc.type | Journal article | en_US |
dc.description.version | publishedVersion | en_US |
dc.source.pagenumber | 12 | en_US |
dc.source.journal | NIKT: Norsk IKT-konferanse for forskning og utdanning | en_US |
dc.identifier.cristin | 1851989 | |
cristin.ispublished | true | |
cristin.fulltext | original | |
cristin.qualitycode | 1 | |