Bit-Width Analysis for General Applications
It has been widely known that a significant part of the bits are useless or even unused during the program execution. Bit-width analysis targets at finding the minimum bits needed for each variable in the program, which ensures the execution correctness and resources saving. In this paper, we pr...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
2004
|
| Subjects: | |
| Online Access: | http://hdl.handle.net/1721.1/7412 |
| _version_ | 1826199379544899584 |
|---|---|
| author | Ding, Yang Wong, Weng Fai |
| author_facet | Ding, Yang Wong, Weng Fai |
| author_sort | Ding, Yang |
| collection | MIT |
| description | It has been widely known that a significant part of the bits are useless or even unused during the program execution. Bit-width analysis targets at finding the minimum bits needed for each variable in the program, which ensures the execution correctness and resources saving.
In this paper, we proposed a static analysis method for bit-widths in general applications, which approximates conservatively at compile time and is independent of runtime conditions. While most related work focus on integer applications, our method is also tailored and applicable to floating point variables, which could be extended to transform floating point number into fixed point numbers together with precision analysis. We used more precise representations for data value ranges of both scalar and array variables. Element level analysis is carried out for arrays. We also suggested an alternative for the standard fixed-point iterations in bi-directional range analysis. These techniques are implemented on the Trimaran compiler structure and tested on a set of benchmarks to show the results. |
| first_indexed | 2024-09-23T11:18:58Z |
| format | Article |
| id | mit-1721.1/7412 |
| institution | Massachusetts Institute of Technology |
| language | English |
| last_indexed | 2024-09-23T11:18:58Z |
| publishDate | 2004 |
| record_format | dspace |
| spelling | mit-1721.1/74122019-04-12T07:20:58Z Bit-Width Analysis for General Applications Ding, Yang Wong, Weng Fai Bit-width analysis compiler optimization flow analysis range analysis It has been widely known that a significant part of the bits are useless or even unused during the program execution. Bit-width analysis targets at finding the minimum bits needed for each variable in the program, which ensures the execution correctness and resources saving. In this paper, we proposed a static analysis method for bit-widths in general applications, which approximates conservatively at compile time and is independent of runtime conditions. While most related work focus on integer applications, our method is also tailored and applicable to floating point variables, which could be extended to transform floating point number into fixed point numbers together with precision analysis. We used more precise representations for data value ranges of both scalar and array variables. Element level analysis is carried out for arrays. We also suggested an alternative for the standard fixed-point iterations in bi-directional range analysis. These techniques are implemented on the Trimaran compiler structure and tested on a set of benchmarks to show the results. Singapore-MIT Alliance (SMA) 2004-12-13T05:46:49Z 2004-12-13T05:46:49Z 2005-01 Article http://hdl.handle.net/1721.1/7412 en Computer Science (CS); 226802 bytes application/pdf application/pdf |
| spellingShingle | Bit-width analysis compiler optimization flow analysis range analysis Ding, Yang Wong, Weng Fai Bit-Width Analysis for General Applications |
| title | Bit-Width Analysis for General Applications |
| title_full | Bit-Width Analysis for General Applications |
| title_fullStr | Bit-Width Analysis for General Applications |
| title_full_unstemmed | Bit-Width Analysis for General Applications |
| title_short | Bit-Width Analysis for General Applications |
| title_sort | bit width analysis for general applications |
| topic | Bit-width analysis compiler optimization flow analysis range analysis |
| url | http://hdl.handle.net/1721.1/7412 |
| work_keys_str_mv | AT dingyang bitwidthanalysisforgeneralapplications AT wongwengfai bitwidthanalysisforgeneralapplications |