[PATCH] D83752: [ValueTracking] Let isGuaranteedNotToBeUndefOrPoison consider noundef and more operations

Tue Jul 14 01:18:05 PDT 2020

aqjune added a comment.

Has little impact on compilation time on average:

  (unit:sec.)
  +-----------------------------------------------+---------+---------+----------+-------+---------+----------+
  |                                               | compile |         |          | link  |         |          |
  +-----------------------------------------------+---------+---------+----------+-------+---------+----------+
  |                                               | base    | noundef | slowdown | base  | noundef | slowdown |
  | CTMark/7zip/7zip-benchmark.test               | 89.55   | 89.45   | -0.11%   | 46.86 | 46.87   | 0.04%    |
  | CTMark/Bullet/bullet.test                     | 63.06   | 62.84   | -0.35%   | 9.97  | 9.69    | -2.73%   |
  | CTMark/ClamAV/clamscan.test                   | 26.89   | 26.88   | -0.05%   | 24.91 | 25.01   | 0.40%    |
  | CTMark/SPASS/SPASS.test                       | 26.17   | 26.08   | -0.36%   | 19.68 | 19.70   | 0.10%    |
  | CTMark/consumer-typeset/consumer-typeset.test | 19.69   | 19.63   | -0.28%   | 18.44 | 18.56   | 0.63%    |
  | CTMark/kimwitu++/kc.test                      | 26.48   | 26.50   | 0.06%    | 14.59 | 14.34   | -1.76%   |
  | CTMark/lencod/lencod.test                     | 34.46   | 34.42   | -0.13%   | 38.37 | 38.63   | 0.67%    |
  | CTMark/mafft/pairlocalalign.test              | 16.20   | 16.17   | -0.18%   | 8.65  | 8.64    | -0.11%   |
  | CTMark/sqlite3/sqlite3.test                   | 24.59   | 24.51   | -0.33%   | 24.52 | 24.52   | -0.02%   |
  | CTMark/tramp3d-v4/tramp3d-v4.test             | 49.26   | 49.16   | -0.21%   | 35.74 | 35.71   | -0.09%   |
  +-----------------------------------------------+---------+---------+----------+-------+---------+----------+

Repository:
  rG LLVM Github Monorepo

CHANGES SINCE LAST ACTION
  https://reviews.llvm.org/D83752/new/

https://reviews.llvm.org/D83752