[PATCH] D18841: [InstCombine] Canonicalize icmp instructions based on dominating conditions.

Thu Apr 7 07:45:15 PDT 2016

bmakam updated this revision to Diff 52920.
bmakam added a comment.

Fixed a bug. We need to guarantee that the dominating branch condition holds at the compare instruction, so it is not enough to check the immediate dominator. We also need to ensure that the edge dominates the compare instruction.

http://reviews.llvm.org/D18841

Files:
  lib/Transforms/InstCombine/InstCombineCompares.cpp
  test/Transforms/InstCombine/icmp.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D18841.52920.patch
Type: text/x-patch
Size: 4380 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20160407/b917f8a7/attachment.bin>