summaryrefslogtreecommitdiff
path: root/Android.mk
diff options
context:
space:
mode:
authorDiego Novillo <dnovillo@google.com>2017-11-17 08:59:25 -0500
committerDiego Novillo <dnovillo@google.com>2017-11-27 23:32:06 -0500
commit74327845aa045ea854186af286a7f34f0125d6a4 (patch)
tree40c77a16988b67d8f97dc0d52e69782a58667fbd /Android.mk
parent491b112fd235f28fac9734bdbdaea3cd0cb69b13 (diff)
downloadSPIRV-Tools-74327845aa045ea854186af286a7f34f0125d6a4.tar.gz
SPIRV-Tools-74327845aa045ea854186af286a7f34f0125d6a4.tar.bz2
SPIRV-Tools-74327845aa045ea854186af286a7f34f0125d6a4.zip
Generic value propagation engine.
This class implements a generic value propagation algorithm based on the conditional constant propagation algorithm proposed in Constant propagation with conditional branches, Wegman and Zadeck, ACM TOPLAS 13(2):181-210. The implementation is based on A Propagation Engine for GCC Diego Novillo, GCC Summit 2005 http://ols.fedoraproject.org/GCC/Reprints-2005/novillo-Reprint.pdf The purpose of this implementation is to act as a common framework for any transformation that needs to propagate values from statements producing new values to statements using those values.
Diffstat (limited to 'Android.mk')
-rw-r--r--Android.mk1
1 files changed, 1 insertions, 0 deletions
diff --git a/Android.mk b/Android.mk
index 03c24c03..920b1ced 100644
--- a/Android.mk
+++ b/Android.mk
@@ -87,6 +87,7 @@ SPVTOOLS_OPT_SRC_FILES := \
source/opt/optimizer.cpp \
source/opt/pass.cpp \
source/opt/pass_manager.cpp \
+ source/opt/propagator.cpp \
source/opt/remove_duplicates_pass.cpp \
source/opt/set_spec_constant_default_value_pass.cpp \
source/opt/strength_reduction_pass.cpp \