[PATCH] D46564: [SSAUpdaterBulk] Sort blocks in IDF to avoid non-determinism.

[Michael Zolotukhin via Phabricator via llvm-commits]

mzolotukhin created this revision.
mzolotukhin added reviewers: davide, dberlin.
Herald added subscribers: mgrang, hiraditya.

IDF does not guarantee that returned basic blocks are sorted in any
order, and to avoid non-determinism we need to sort them. To sort basic
blocks we need to enumerate them first, and this patch adds such
enumeration into JumpThreading pass.


Repository:
  rL LLVM

https://reviews.llvm.org/D46564

Files:
  llvm/include/llvm/Transforms/Scalar/JumpThreading.h
  llvm/include/llvm/Transforms/Utils/SSAUpdaterBulk.h
  llvm/lib/Transforms/Scalar/JumpThreading.cpp
  llvm/lib/Transforms/Utils/SSAUpdaterBulk.cpp
  llvm/unittests/Transforms/Utils/SSAUpdaterBulk.cpp

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D46564.145600.patch
Type: text/x-patch
Size: 9127 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20180508/37d8568c/attachment.bin>