[all-commits] [llvm/llvm-project] 01c48d: [Attributor] Fold terminators before changing inst...

[Stefanos Baziotis via All-commits]

  Branch: refs/heads/master
  Home:   https://github.com/llvm/llvm-project
  Commit: 01c48d7d11e657fba0d031fa8b478ae9fc730a98
      https://github.com/llvm/llvm-project/commit/01c48d7d11e657fba0d031fa8b478ae9fc730a98
  Author: Stefanos Baziotis <sdi1600105 at di.uoa.gr>
  Date:   2020-03-07 (Sat, 07 Mar 2020)

  Changed paths:
    M llvm/lib/Transforms/IPO/Attributor.cpp
    M llvm/test/Transforms/Attributor/undefined_behavior.ll

  Log Message:
  -----------
  [Attributor] Fold terminators before changing instructions to unreachable

It is possible that an instruction to be changed to unreachable is
in the same block with a terminator that can be constant-folded.
In this case, as of now, the instruction will be changed to
unreachable before the terminator is folded. But, then the
whole BB becomes invalidated and so when we go ahead to fold
the terminator, we trap.

Change the order of these two.

Differential Revision: https://reviews.llvm.org/D75780