[PATCH] D107381: [runtimeunroll] Support multiple exits to latch exit w/epilogue loop

[Alan Phipps via Phabricator via llvm-commits]

alanphipps added a comment.

Hello!  I'm seeing a failure from this commit in this test with our downstream Arm32 compiler. Does it ring any bells?  Thanks.

  21		DominatorTree is different than a freshly computed one!
  22			Current:
  23		=============================--------------------------------
  24		Inorder Dominator Tree: DFSNumbers invalid: 17 slow queries.
  25		  [1] %entry {4294967295,4294967295} [0]
  26		    [2] %entry.new {4294967295,4294967295} [1]
  27		      [3] %header {4294967295,4294967295} [2]
  28		        [4] %for.exiting_block {4294967295,4294967295} [3]
  29		          [5] %latch {4294967295,4294967295} [4]
  30		            [6] %for.exiting_block.1 {4294967295,4294967295} [5]
  31		              [7] %latch.1 {4294967295,4294967295} [6]
  32		                [8] %latchExit.unr-lcssa.loopexit {4294967295,4294967295} [7]
  33		          [5] %for.exit2.loopexit {4294967295,4294967295} [4]
  34		        [4] %latchExit.epilog-lcssa.loopexit {4294967295,4294967295} [3]
  35		    [2] %latchExit.unr-lcssa {4294967295,4294967295} [1]
  36		      [3] %header.epil.preheader {4294967295,4294967295} [2]
  37		        [4] %header.epil {4294967295,4294967295} [3]
  38		          [5] %for.exiting_block.epil {4294967295,4294967295} [4]
  39		            [6] %latch.epil {4294967295,4294967295} [5]
  40		      [3] %latchExit {4294967295,4294967295} [2]
  41		    [2] %for.exit2 {4294967295,4294967295} [1]
  42		    [2] %latchExit.epilog-lcssa {4294967295,4294967295} [1]
  43		Roots: %entry 
  44		 
  45			Freshly computed tree:
  46		=============================--------------------------------
  47		Inorder Dominator Tree: DFSNumbers invalid: 0 slow queries.
  48		  [1] %entry {4294967295,4294967295} [0]
  49		    [2] %latchExit.unr-lcssa {4294967295,4294967295} [1]
  50		      [3] %header.epil.preheader {4294967295,4294967295} [2]
  51		        [4] %header.epil {4294967295,4294967295} [3]
  52		          [5] %for.exiting_block.epil {4294967295,4294967295} [4]
  53		            [6] %latch.epil {4294967295,4294967295} [5]
  54		    [2] %latchExit.epilog-lcssa {4294967295,4294967295} [1]
  55		    [2] %latchExit {4294967295,4294967295} [1]
  56		    [2] %for.exit2 {4294967295,4294967295} [1]
  57		    [2] %entry.new {4294967295,4294967295} [1]
  58		      [3] %header {4294967295,4294967295} [2]
  59		        [4] %latchExit.epilog-lcssa.loopexit {4294967295,4294967295} [3]
  60		        [4] %for.exiting_block {4294967295,4294967295} [3]
  61		          [5] %for.exit2.loopexit {4294967295,4294967295} [4]
  62		          [5] %latch {4294967295,4294967295} [4]
  63		            [6] %for.exiting_block.1 {4294967295,4294967295} [5]
  64		              [7] %latch.1 {4294967295,4294967295} [6]
  65		                [8] %latchExit.unr-lcssa.loopexit {4294967295,4294967295} [7]
  66		Roots: %entry 
  67		opt: /scratch/aphipps/triage_repo/tools/llvm_cgt/llvm-project/llvm/lib/IR/Dominators.cpp:412: virtual void llvm::DominatorTreeWrapperPass::verifyAnalysis() const: Assertion `DT.verify(DominatorTree::VerificationLevel::Full)' failed.


Repository:
  rG LLVM Github Monorepo

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

https://reviews.llvm.org/D107381