[all-commits] [llvm/llvm-project] 087be5: [NFC][SimplifyCFG] Add a test with cond br on cons...

[Roman Lebedev via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 087be536feab0aacc043aed52bee2e48e90e538c
      https://github.com/llvm/llvm-project/commit/087be536feab0aacc043aed52bee2e48e90e538c
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2021-01-08 (Fri, 08 Jan 2021)

  Changed paths:
    M llvm/test/Transforms/SimplifyCFG/branch-fold.ll

  Log Message:
  -----------
  [NFC][SimplifyCFG] Add a test with cond br on constant w/ identical destinations


  Commit: 16ab8e5f6dbbeb5b8e900677f4a64c9924ecd7ba
      https://github.com/llvm/llvm-project/commit/16ab8e5f6dbbeb5b8e900677f4a64c9924ecd7ba
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2021-01-08 (Fri, 08 Jan 2021)

  Changed paths:
    M llvm/lib/Transforms/Utils/Local.cpp

  Log Message:
  -----------
  [SimplifyCFG] ConstantFoldTerminator(): handle matching destinations of condbr earlier

We need to handle this case before dealing with the case of constant
branch condition, because if the destinations match, latter fold
would try to remove the DomTree edge that would still be present.

This allows to make that particular DomTree update non-permissive


  Commit: 36593a30a40b52e8040d821bbd294ef6758cf9cf
      https://github.com/llvm/llvm-project/commit/36593a30a40b52e8040d821bbd294ef6758cf9cf
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2021-01-08 (Fri, 08 Jan 2021)

  Changed paths:
    M llvm/lib/Transforms/Utils/Local.cpp

  Log Message:
  -----------
  [SimplifyCFG] ConstantFoldTerminator(): switch to non-permissive DomTree updates in `SwitchInst` handling

... which requires not deleting edges that will still be present.


  Commit: 8b9a0e6f7ed2fa3293ba5cd2c2fb1acd21db6e2d
      https://github.com/llvm/llvm-project/commit/8b9a0e6f7ed2fa3293ba5cd2c2fb1acd21db6e2d
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2021-01-08 (Fri, 08 Jan 2021)

  Changed paths:
    M llvm/test/Transforms/SimplifyCFG/indirectbr.ll

  Log Message:
  -----------
  [NFC][SimlifyCFG] Add some indirectbr-of-blockaddress tests


  Commit: b3822728fae2e3755d6daff7fc31fbac16e61fe4
      https://github.com/llvm/llvm-project/commit/b3822728fae2e3755d6daff7fc31fbac16e61fe4
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2021-01-08 (Fri, 08 Jan 2021)

  Changed paths:
    M llvm/lib/Transforms/Utils/Local.cpp

  Log Message:
  -----------
  [SimplifyCFG] ConstantFoldTerminator(): switch to non-permissive DomTree updates in `indirectbr` handling

... which requires not deleting edges that were just deleted already.


  Commit: 1f9b591ee66fe5abd6f63990b085e1f1f559d8d9
      https://github.com/llvm/llvm-project/commit/1f9b591ee66fe5abd6f63990b085e1f1f559d8d9
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2021-01-08 (Fri, 08 Jan 2021)

  Changed paths:
    M llvm/lib/Transforms/Utils/Local.cpp

  Log Message:
  -----------
  [SimplifyCFG] TryToSimplifyUncondBranchFromEmptyBlock(): switch to non-permissive DomTree updates

... which requires not deleting edges that were just deleted already,
    by not processing the same predecessor more than once.


  Commit: f8875c313c381764a9734dbd6e94539e8837d9f7
      https://github.com/llvm/llvm-project/commit/f8875c313c381764a9734dbd6e94539e8837d9f7
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2021-01-08 (Fri, 08 Jan 2021)

  Changed paths:
    A llvm/test/Transforms/SimplifyCFG/unreachable-matching-successor.ll

  Log Message:
  -----------
  [NFC][SimplifyCFG] Add test with an unreachable block with two identical successors


  Commit: 7600d7c7be07ee78543522d0fbd1e92e672a0327
      https://github.com/llvm/llvm-project/commit/7600d7c7be07ee78543522d0fbd1e92e672a0327
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2021-01-08 (Fri, 08 Jan 2021)

  Changed paths:
    M llvm/lib/Transforms/Utils/Local.cpp

  Log Message:
  -----------
  [SimplifyCFG] removeUnreachableBlocks(): switch to non-permissive DomTree updates

... which requires not deleting edges that were just deleted already,
    by not processing the same predecessor more than once.


  Commit: 6984781df9b584febce51b7740c8738a076f5692
      https://github.com/llvm/llvm-project/commit/6984781df9b584febce51b7740c8738a076f5692
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2021-01-08 (Fri, 08 Jan 2021)

  Changed paths:
    A llvm/test/Transforms/SimplifyCFG/change-to-unreachable-matching-successor.ll

  Log Message:
  -----------
  [NFC][SimplifyCFG] Add a test with an undef cond branch to identical destinations


  Commit: 05adc73db053fd79e64901e359e6ee783d772a80
      https://github.com/llvm/llvm-project/commit/05adc73db053fd79e64901e359e6ee783d772a80
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2021-01-08 (Fri, 08 Jan 2021)

  Changed paths:
    M llvm/lib/Transforms/Utils/Local.cpp

  Log Message:
  -----------
  [SimplifyCFG] changeToUnreachable(): switch to non-permissive DomTree updates

... which requires not deleting edges that were just deleted already,
    by not processing the same predecessor more than once.


  Commit: 66189212bbb0351ae98bbda70bd2cd819e86fd17
      https://github.com/llvm/llvm-project/commit/66189212bbb0351ae98bbda70bd2cd819e86fd17
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2021-01-08 (Fri, 08 Jan 2021)

  Changed paths:
    M llvm/lib/Transforms/Utils/BasicBlockUtils.cpp

  Log Message:
  -----------
  [SimplifyCFG] MergeBlockIntoPredecessor(): switch to non-permissive DomTree updates

... which requires not deleting edges that were just deleted already,
    by not processing the same successor more than once.


  Commit: be0a31d13bcf28577f65b8e189a8bb105b000274
      https://github.com/llvm/llvm-project/commit/be0a31d13bcf28577f65b8e189a8bb105b000274
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2021-01-08 (Fri, 08 Jan 2021)

  Changed paths:
    M llvm/lib/Transforms/Utils/BasicBlockUtils.cpp

  Log Message:
  -----------
  [SimplifyCFG] DeleteDeadBlocks(): switch to non-permissive DomTree updates

No actual changes needed, DetatchDeadBlocks() was already doing the right thing.


  Commit: f0eba8ce2d4027a890751b7617e98730d7d682f6
      https://github.com/llvm/llvm-project/commit/f0eba8ce2d4027a890751b7617e98730d7d682f6
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2021-01-08 (Fri, 08 Jan 2021)

  Changed paths:
    M llvm/lib/Transforms/Utils/Local.cpp

  Log Message:
  -----------
  [SimplifyCFG] changeToCall(): switch to non-permissive DomTree updates

No actual changes needed, normal and unwind destinations of an invoke
can never be identical.


  Commit: d59f97bb3a652565ac074e76da2b6b54816880f3
      https://github.com/llvm/llvm-project/commit/d59f97bb3a652565ac074e76da2b6b54816880f3
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2021-01-08 (Fri, 08 Jan 2021)

  Changed paths:
    M llvm/lib/Transforms/Utils/Local.cpp

  Log Message:
  -----------
  [SimplifyCFG] removeUnwindEdge(): switch to non-permissive DomTree updates

No actual changes needed, Catchswitch cannot unwind to one of its catchpads.


  Commit: f2f81c554b0d38edf754a220bcb063876747ee6b
      https://github.com/llvm/llvm-project/commit/f2f81c554b0d38edf754a220bcb063876747ee6b
  Author: Roman Lebedev <lebedev.ri at gmail.com>
  Date:   2021-01-08 (Fri, 08 Jan 2021)

  Changed paths:
    M llvm/lib/Transforms/Utils/Local.cpp

  Log Message:
  -----------
  [SimplifyCFG] markAliveBlocks(): switch to non-permissive DomTree updates

No actual changes needed, invoke can't have the same block as an unwind
destination and a normal destination.


Compare: https://github.com/llvm/llvm-project/compare/9ccf13c36d1c...f2f81c554b0d