[all-commits] [llvm/llvm-project] d5dc39: [DFAJumpThreading] Determinator BB should precede ...

[Alexey Z. via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: d5dc3964a7417a34fe581d93ff9642923f8a634d
      https://github.com/llvm/llvm-project/commit/d5dc3964a7417a34fe581d93ff9642923f8a634d
  Author: Alexey Zhikhartsev <alex.zhi at huawei.com>
  Date:   2021-12-24 (Fri, 24 Dec 2021)

  Changed paths:
    M llvm/lib/Transforms/Scalar/DFAJumpThreading.cpp
    M llvm/test/Transforms/DFAJumpThreading/dfa-jump-threading-analysis.ll

  Log Message:
  -----------
  [DFAJumpThreading] Determinator BB should precede switch-defining BB

Otherwise, it is possible that the state defined in the determinator
block defines the state for the next iteration of the loop, rather than
for the current one.

Fixes llvm-test-suite's
SingleSource/Regression/C/gcc-c-torture/execute/pr80421.c

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