[PATCH] D61409: [SimplifyCFG] Added condition assumption for unreachable blocks

[Dávid Bolvanský via Phabricator via llvm-commits]

xbolva00 updated this revision to Diff 201398.
xbolva00 added a comment.
Herald added a subscriber: javed.absar.

Rebased on updated test checks..

Some tests are failing
Failing Tests (4):

  LLVM :: CodeGen/Hexagon/bit-visit-flowq.ll
  LLVM :: CodeGen/Hexagon/rdf-ignore-undef.ll
  LLVM :: CodeGen/Hexagon/reg-scavengebug.ll
  LLVM :: CodeGen/Hexagon/regalloc-block-overlap.ll

The root cause: tests contain "br undef" and this is now optimized away. Not sure how to progress here..


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

https://reviews.llvm.org/D61409

Files:
  lib/Transforms/Utils/SimplifyCFG.cpp
  test/Analysis/ValueTracking/select-pattern.ll
  test/CodeGen/ARM/crash-greedy.ll
  test/Transforms/CallSiteSplitting/split-loop.ll
  test/Transforms/LoopVectorize/if-pred-stores.ll
  test/Transforms/SimplifyCFG/PR30210.ll
  test/Transforms/SimplifyCFG/UnreachableEliminate.ll
  test/Transforms/SimplifyCFG/unreachable_assume.ll

-------------- next part --------------
A non-text attachment was scrubbed...
Name: D61409.201398.patch
Type: text/x-patch
Size: 10365 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/llvm-commits/attachments/20190525/d9a0054e/attachment.bin>