[PATCH] D78391: [ValueLattice] Allow two range extensions.

Fri Apr 17 11:20:42 PDT 2020

fhahn created this revision.
fhahn added reviewers: nikic, efriedma, davide, mssimpso.
Herald added a project: LLVM.

This patch allows 2 range extensions instead of 1, which leads to some
improvements, as seen in the test cases. On the test suite, it leads to
the following improvements:

test-suite...rks/FreeBench/mason/mason.test     3.00    4.00  33.3%
 test-suite...marks/SciMark2-C/scimark2.test    32.00   41.00  28.1%
 test-suite...ngs-C/assembler/assembler.test     9.00   11.00  22.2%
 test-suite...CFP2000/177.mesa/177.mesa.test   204.00  237.00  16.2%
 test-suite...langs-C/football/football.test    96.00  108.00  12.5%
 test-suite...oxyApps-C++/miniFE/miniFE.test    37.00   41.00  10.8%
 test-suite...rks/FreeBench/pifft/pifft.test    28.00   30.00   7.1%
 test-suite...CFP2006/433.milc/433.milc.test   226.00  242.00   7.1%
 test-suite...ks/Prolangs-C/agrep/agrep.test    57.00   61.00   7.0%
 test-suite.../CINT2000/175.vpr/175.vpr.test    93.00   99.00   6.5%
 test-suite...peg2/mpeg2dec/mpeg2decode.test    70.00   74.00   5.7%
 test-suite...tions/lambda-0.1.3/lambda.test    19.00   20.00   5.3%
 test-suite...urce/Applications/lua/lua.test   289.00  298.00   3.1%
 test-suite...ications/JM/ldecod/ldecod.test   163.00  168.00   3.1%
 test-suite...TimberWolfMC/timberwolfmc.test    68.00   70.00   2.9%
 test-suite...lications/ClamAV/clamscan.test   910.00  933.00   2.5%
 test-suite...eeBench/analyzer/analyzer.test   103.00  105.00   1.9%
 test-suite...0.perlbench/400.perlbench.test   1619.00 1648.00  1.8%
 test-suite.../CINT2000/176.gcc/176.gcc.test   1123.00 1141.00  1.6%
 test-suite...T2006/445.gobmk/445.gobmk.test   1631.00 1656.00  1.5%
 test-suite...ce/Benchmarks/PAQ8p/paq8p.test    90.00   91.00   1.1%
 test-suite.../CINT2006/403.gcc/403.gcc.test   3847.00 3884.00  1.0%
 test-suite...006/453.povray/453.povray.test   1773.00 1789.00  0.9%
 test-suite...T2006/456.hmmer/456.hmmer.test   124.00  125.00   0.8%
 test-suite...ocBench/espresso/espresso.test   147.00  148.00   0.7%
 test-suite...nsumer-lame/consumer-lame.test   206.00  207.00   0.5%
 test-suite...marks/7zip/7zip-benchmark.test   4875.00 4897.00  0.5%
 test-suite...000/186.crafty/186.crafty.test   287.00  288.00   0.3%
 test-suite.../Applications/SPASS/SPASS.test   1982.00 1987.00  0.3%
 test-suite...nal/skidmarks10/skidmarks.test   428.00  429.00   0.2%
 test-suite...3.xalancbmk/483.xalancbmk.test   3912.00 3919.00  0.2%
 test-suite...006/447.dealII/447.dealII.test   1057.00 1058.00  0.1%
 test-suite...:: External/Povray/povray.test   1538.00 1539.00  0.1%
 test-suite...6/464.h264ref/464.h264ref.test   6757.00 6761.00  0.1%

Increasing the number more seems to have relatively little impact, .e.g
for 8 vs instead of 2:

test-suite...ce/Benchmarks/PAQ8p/paq8p.test    91.00   94.00   3.3%
 test-suite.../CINT2000/176.gcc/176.gcc.test   1141.00 1164.00  2.0%
 test-suite...telecomm-gsm/telecomm-gsm.test   166.00  169.00   1.8%
 test-suite...ediabench/gsm/toast/toast.test   166.00  169.00   1.8%
 test-suite...000/197.parser/197.parser.test    61.00   62.00   1.6%
 test-suite...chmarks/MallocBench/gs/gs.test   341.00  346.00   1.5%
 test-suite...lications/ClamAV/clamscan.test   933.00  938.00   0.5%
 test-suite...nsumer-lame/consumer-lame.test   207.00  208.00   0.5%
 test-suite...3.xalancbmk/483.xalancbmk.test   3919.00 3928.00  0.2%
 test-suite...006/450.soplex/450.soplex.test   441.00  442.00   0.2%
 test-suite...marks/7zip/7zip-benchmark.test   4897.00 4905.00  0.2%
 test-suite...-typeset/consumer-typeset.test   3180.00 3185.00  0.2%
 test-suite...006/447.dealII/447.dealII.test   1058.00 1059.00  0.1%
 test-suite.../CINT2006/403.gcc/403.gcc.test   3884.00 3886.00  0.1%
 test-suite...006/453.povray/453.povray.test   1789.00 1789.00  0.0%

Repository:
  rG LLVM Github Monorepo

https://reviews.llvm.org/D78391

Files:
  llvm/include/llvm/Analysis/ValueLattice.h
  llvm/test/Transforms/SCCP/constant-range-struct.ll
  llvm/test/Transforms/SCCP/widening.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D78391.258379.patch
Type: text/x-patch
Size: 5916 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20200417/40660e53/attachment.bin>