[PATCH] D99205: Add jump-threading optimization for deterministic finite automata

[Alexey Zhikhartsev via Phabricator via llvm-commits]

alexey.zhikhar added a comment.

Compile time statistics gathered on CTMark (no change, basically):

|                                                             | Compile Time |
| ----------------------------------------------------------- | ------------ |
|                                                             | dfa TRUE     | dfa FALSE |
| test-suite :: CTMark/7zip/7zip-benchmark.test               | 83.2031      | 83.3182   |
| test-suite :: CTMark/Bullet/bullet.test                     | 54.6959      | 54.7607   |
| test-suite :: CTMark/ClamAV/clamscan.test                   | 32.4064      | 32.8996   |
| test-suite :: CTMark/SPASS/SPASS.test                       | 30.1786      | 30.0229   |
| test-suite :: CTMark/consumer-typeset/consumer-typeset.test | 24.089       | 24.0834   |
| test-suite :: CTMark/kimwitu++/kc.test                      | 33.7907      | 34.073    |
| test-suite :: CTMark/lencod/lencod.test                     | 39.3401      | 39.3303   |
| test-suite :: CTMark/mafft/pairlocalalign.test              | 21.475       | 21.408    |
| test-suite :: CTMark/sqlite3/sqlite3.test                   | 31.1729      | 31.1351   |
| test-suite :: CTMark/tramp3d-v4/tramp3d-v4.test             | 57.5609      | 56.1245   |
|

Number of transformed switch statements:

  CTMark/kimwitu++/kimwl.stats:   "dfa-jump-threading.NumTransforms": 1
  CTMark/7zip/LzmaEnc.stats:      "dfa-jump-threading.NumTransforms": 1
  CTMark/7zip/DeflateDecoder.stats:       "dfa-jump-threading.NumTransforms": 1
  CTMark/7zip/GzHandler.stats:    "dfa-jump-threading.NumTransforms": 1
  CTMark/7zip/CabHandler.stats:   "dfa-jump-threading.NumTransforms": 3
  CTMark/7zip/ShrinkDecoder.stats:        "dfa-jump-threading.NumTransforms": 1
  CTMark/7zip/Update.stats:       "dfa-jump-threading.NumTransforms": 1
  CTMark/7zip/List.stats: "dfa-jump-threading.NumTransforms": 1
  CTMark/7zip/Extract.stats:      "dfa-jump-threading.NumTransforms": 1
  CTMark/7zip/ZipHandlerOut.stats:        "dfa-jump-threading.NumTransforms": 1
  CTMark/7zip/TarHandler.stats:   "dfa-jump-threading.NumTransforms": 1
  CTMark/7zip/7zUpdate.stats:     "dfa-jump-threading.NumTransforms": 2
  CTMark/7zip/XzDec.stats:        "dfa-jump-threading.NumTransforms": 1
  CTMark/7zip/OpenArchive.stats:  "dfa-jump-threading.NumTransforms": 1
  CTMark/7zip/BwtSort.stats:      "dfa-jump-threading.NumTransforms": 1
  CTMark/ClamAV/libclamav_untar.stats:    "dfa-jump-threading.NumTransforms": 1
  CTMark/ClamAV/libclamav_message.stats:  "dfa-jump-threading.NumTransforms": 1
  CTMark/sqlite3/sqlite3.stats:   "dfa-jump-threading.NumTransforms": 10
  CTMark/SPASS/iascanner.stats:   "dfa-jump-threading.NumTransforms": 1
  CTMark/SPASS/dfgscanner.stats:  "dfa-jump-threading.NumTransforms": 1
  CTMark/consumer-typeset/z36.stats:      "dfa-jump-threading.NumTransforms": 1
  CTMark/consumer-typeset/z49.stats:      "dfa-jump-threading.NumTransforms": 1
  CTMark/consumer-typeset/z38.stats:      "dfa-jump-threading.NumTransforms": 1


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D99205