projects / oota-llvm.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 8691216) | patch
Change the implementation of dominates(inst, inst) to one based on what the
authorRafael Espindola <rafael.espindola@gmail.com>
Sun, 26 Feb 2012 02:19:19 +0000 (02:19 +0000)
committerRafael Espindola <rafael.espindola@gmail.com>
Sun, 26 Feb 2012 02:19:19 +0000 (02:19 +0000)
commitc9ae8cc24c70dda33b68cacf01d2feeeb836f6f2
treeeed8b6cf898536803dc57154dcb79363dbc6c07btree | snapshot
parent8691216d913fa82cb55423356664805abf889341commit | diff
Change the implementation of dominates(inst, inst) to one based on what the
verifier does. This correctly handles invoke.
Thanks to Duncan, Andrew and Chris for the comments.
Thanks to Joerg for the early testing.

git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@151469 91177308-0d34-0410-b5e6-96231b3b80d8
include/llvm/Analysis/Dominators.h diff | blob | history
lib/Analysis/ScalarEvolutionExpander.cpp diff | blob | history
lib/VMCore/Dominators.cpp diff | blob | history
test/Analysis/Dominators/invoke.ll [new file with mode: 0644] blob
test/Transforms/LoopStrengthReduce/dominate-assert.ll [new file with mode: 0644] blob
C/C++ LLVM-based compilers that forbids OOTA behaviors