Efficient constant propagation algorithm handling non-scalar variables?

Dmitry Shaporenkov <dsha@tepkom.ru>
27 Jul 2001 02:57:55 -0400

          From comp.compilers

Related articles
Efficient constant propagation algorithm handling non-scalar variables dsha@tepkom.ru (Dmitry Shaporenkov) (2001-07-27)
| List of all articles for this month |

From: Dmitry Shaporenkov <dsha@tepkom.ru>
Newsgroups: comp.compilers
Date: 27 Jul 2001 02:57:55 -0400
Organization: TEPKOM
Keywords: analysis, question
Posted-Date: 27 Jul 2001 02:57:54 EDT

Hello,
does anybody know a constant propagation algorithm that correctly
works with non-scalar variables(i.e., structures, arrays etc)? It is
necessary for program analysis tool.


The problem is that algorithm should work on high-level internal
representation (in traditional compilers like GCC constant propagation
pass usually works on low-level IR, which doesn't contain information
about non-scalar variables in original program) and the result should
be a program on source (high-level) language, where the possible
constant propagations are performed.


Thanks in advance.
--
Regards,
  Dmitry Shaporenkov


mailto:dsha@tepkom.ru


Post a followup to this message

Return to the comp.compilers page.
Search the comp.compilers archives again.