Browse Prior Art Database

Fast Predicate-Aware Dataflow Analysis

IP.com Disclosure Number: IPCOM000016504D
Original Publication Date: 2003-Jun-26
Included in the Prior Art Database: 2003-Jun-26
Document File: 1 page(s) / 7K

Publishing Venue

IBM

Abstract

Predication using Boolean operand guards reduces the overhead of the conditional branches and enhances code optimization, but dataflow analysis for predicated code cannot find accurate results without any predication knowledge. We propose a fast algorithm for predicate-aware dataflow analysis. We first compute the reachability information using bitvectors for sets of adjacent instructions sharing the same predicate register to handle multiple paths efficiently. We then perform the dataflow analysis by propagating the properties using the reachability information. We implemented our algorithm and demonstrated that register allocation using our technique is 2.59 times as fast as that using the PQS-based approach.

This text was extracted from a PDF file.
This is the abbreviated version, containing approximately 100% of the total text.

Page 1 of 1

Fast Predicate-Aware Dataflow Analysis

Title "Fast Predicate-Aware Dataflow Analysis" , IBM Research Report RT00531

Disclosed by International Business Machines Corporation

1