A Simple Value Range Propagation Pass for SUIF-1

Reconfigurable Computing (RC) uses reconfigurable logic devices such as FPGAs to assist generalpurpose computation. In order to make ecient use of FPGA resources, it is essential to size datapaths and functional units to the minimal possible bitwidth that will ensure correctness. Since the high-level languages used to program RC systems do not require (or even allow) the user to manually specify datapath widths, the compiler must infer them. This paper presents a simple dataflow analysis for determining datapath widths in C programs and oers a preliminary SUIF-based implementation.