diff options
author | Jaebaek Seo <duke.acacia@gmail.com> | 2018-03-07 09:25:51 -0500 |
---|---|---|
committer | Diego Novillo <dnovillo@google.com> | 2018-03-20 21:30:06 -0400 |
commit | 3b594e163009cb224e80155ff17971a4b2fc0cd4 (patch) | |
tree | 41adb3a971592fdbff601111261357a430001327 /Android.mk | |
parent | 735d8a579ecb6c5b5d41c2a81d695b49f7bd3248 (diff) |
Add --time-report to spirv-opt
This patch adds a new option --time-report to spirv-opt. For each pass
executed by spirv-opt, the flag prints resource utilization for the pass
(CPU time, wall time, RSS and page faults)
This fixes issue #1378
Diffstat (limited to 'Android.mk')
-rw-r--r-- | Android.mk | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -27,6 +27,7 @@ SPVTOOLS_SRC_FILES := \ source/util/bit_stream.cpp \ source/util/parse_number.cpp \ source/util/string_utils.cpp \ + source/util/timer.cpp \ source/val/basic_block.cpp \ source/val/construct.cpp \ source/val/function.cpp \ |