Bitwidth analysis with application to silicon compilation

被引:33
作者
Stephenson, M [1 ]
Babb, J [1 ]
Amarasinghe, S [1 ]
机构
[1] MIT, Comp Sci Lab, Cambridge, MA 02139 USA
关键词
D O I
10.1145/358438.349317
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
This paper introduces Bitwise, a compiler that minimizes the bitwidth - the number of bits used to represent each operand - for both integers and pointers in a program. By propagating static information both forward and backward in the program dataflow graph, Bitwise frees the programmer from declaring bitwidth invariants in cases where the compiler can determine bitwidths automatically. Because loop instructions comprise the bulk of dynamically executed instructions, Bitwise incorporates sophisticated loop analysis techniques for identifying bitwidths. We find a rich opportunity for bitwidth reduction in modern multimedia and streaming application workloads. For new architectures that support, sub-word data-types, se expect that our bitwidth reductions will save power and increase processor performance. This paper also applies our analysis to silicon compilation, the translation of programs into custom hardware, to realize the full benefits of bitwidth reduction. We describe our integration of Bitwise with the DeepC Silicon Compiler. By taking advantage of bitwidth information during architectural synthesis, we reduce silicon real estate by 15 - 86%, improve clock speed by 3 - 249%, and reduce power by 36 - 73%. The next era of general purpose and reconfigurable architectures should strive to capture a portion of these gains.
引用
收藏
页码:108 / 120
页数:13
相关论文
共 24 条
  • [1] Ananian C, 1999, MITLCSTR801
  • [2] *ANN MICR INC, 1999, WILD ONETM REF MAN R
  • [3] BABB J, 2000, THESIS MIT
  • [4] BABB J, 1999, P IEEE WORKSH FPGA C
  • [5] BARUA R, 1999, P 26 INT S COMP ARCH
  • [6] BROOKS D, 1999, 5 INT S HIGH PERF CO
  • [7] BUDIU M, 2000, P EUR 2000 EUR C PAR
  • [8] FRENCH R, 1995, 32 ACM IEEE DES AUT
  • [9] BEYOND INDUCTION VARIABLES - DETECTING AND CLASSIFYING SEQUENCES USING A DEMAND-DRIVEN SSA FORM
    GERLEK, MP
    STOLTZ, E
    WOLFE, M
    [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1995, 17 (01): : 85 - 122
  • [10] COMPILER ANALYSIS OF VALUE RANGES FOR VARIABLES
    HARRISON, WH
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1977, 3 (03) : 243 - 250