diff options
| author | Benjamin Kramer <benny.kra@googlemail.com> | 2018-07-06 14:20:58 +0000 |
|---|---|---|
| committer | Benjamin Kramer <benny.kra@googlemail.com> | 2018-07-06 14:20:58 +0000 |
| commit | 3687ac52a9fd6789a3088fd3eeca1e47ae04bfff (patch) | |
| tree | 0b1e1d8da8b46440824a79749c748785f5345c21 /llvm/lib/Transforms/Utils/Local.cpp | |
| parent | b1711b28f7a894dded4f775d8919a21601a030f2 (diff) | |
| download | bcm5719-llvm-3687ac52a9fd6789a3088fd3eeca1e47ae04bfff.tar.gz bcm5719-llvm-3687ac52a9fd6789a3088fd3eeca1e47ae04bfff.zip | |
[LoopSink] Make the enforcement of determinism deterministic.
LoopBlockNumber is a DenseMap<BasicBlock*, int>, comparing the result of
find() will compare a pair<BasicBlock*, int>. That's of course depending
on pointer ordering which varies from run to run. Reverse iteration
doesn't find this because we're copying to a vector first.
This bug has been there since 2016 but only recently showed up on clang
selfhost with FDO and ThinLTO, which is also why I didn't manage to get
a reasonable test case for this. Add an assert that would've caught
this.
llvm-svn: 336439
Diffstat (limited to 'llvm/lib/Transforms/Utils/Local.cpp')
0 files changed, 0 insertions, 0 deletions
