Fix a phase-ordering problem in SimplifyCFG.

[resistor]

Summary

Switch simplification could sometimes fail to notice when an
intermediate case removal caused the switch condition to become
constant. This would cause the switch to be simplified into a
conditional branch rather than a direct branch.

Most of the time this didn't matter, except that occasionally
downstream parts of SimplifyCFG expect tautological branches to
already have been eliminated. The missed handling in switch
simplification would cause an assertion failure in the downstream
code.

Triggering the assertion failure is fairly sensitive to the exact
order of various simplifications.

Fixes https://github.com/llvm/llvm-project/issues/59768

[nikic]

llvm/test/Transforms/SimplifyCFG/switch-simplify-crash2.ll

2

Outside PhaseOrdering, tests should not use the full optimization pipeline. Here is a reduction of your test case:

; RUN: opt -S -passes="simplifycfg<forward-switch-cond;no-keep-loops>" < %s | FileCheck %s

define i8 @test() {
entry:
  br label %loop

loop:
  %phi1 = phi i8 [ 0, %entry ], [ %phi2, %loop2 ]
  br label %loop2

loop2:
  %phi2 = phi i8 [ %phi1, %loop ], [ 0, %loop2 ]
  switch i8 %phi2, label %loop [
    i8 0, label %loop2
    i8 1, label %exit
  ]

exit:
  ret i8 0
}

Please also reference the issue.

[resistor]

Reduce test case.

[nikic]

llvm/lib/Transforms/Utils/Local.cpp

241

I think this may cause problems if we have the following case: We have a case 1 => foo, case 2 => default, then removing default folds CI to 1, but at this point we have already visited case 1, so TheOnlyDest will remain nullptr, and we'll set it to the default destination below, which would be the wrong one in that case.

[resistor]

Restart case iteration when we fold the switch condition.

[nikic]

LG

llvm/lib/Transforms/Utils/Local.cpp

243–244

[resistor]

Incorporate suggestion

llvm/lib/Transforms/Utils/Local.cpp

for (auto i = SI->case_begin(), e = SI->case_end(); i != e;) {
                           MDBuilder(BB->getContext()).
                           createBranchWeights(Weights));
         }
         // Remove this entry.
         BasicBlock *ParentBB = SI->getParent();
         DefaultDest->removePredecessor(ParentBB);
         i = SI->removeCase(i);
         e = SI->case_end();
+        // Removing this case may have made the condition constant.
+        CI = dyn_cast<ConstantInt>(SI->getCondition());
         Changed = true;
         continue;
       }
 
       // Otherwise, check to see if the switch only branches to one destination.
       // We do this by reseting "TheOnlyDest" to null when we find two non-equal
       // destinations.
       if (i->getCaseSuccessor() != TheOnlyDest)
         TheOnlyDest = nullptr;
 
       // Increment this iterator as we haven't removed the case.

llvm/test/Transforms/SimplifyCFG/switch-simplify-crash2.ll

+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
+; RUN: opt -S -O2 < %s | FileCheck %s
+
+define i8 @f(i1 %0) {
+; CHECK-LABEL: @f(
+; CHECK-NEXT:    br label [[DOTPEEL_BEGIN:%.*]]
+; CHECK:       .loopexit:
+; CHECK-NEXT:    br label [[DOTLOOPEXIT:%.*]]
+; CHECK:       .peel.begin:
+; CHECK-NEXT:    br i1 [[TMP0:%.*]], label [[DOTLOOPEXIT]], label [[DOTPEEL_BEGIN]]
+;
+  br label %6
+
+2:                                                ; preds = %8, %3
+  br i1 %0, label %8, label %6
+
+3:                                                ; preds = %6, %3
+  %.0 = phi i8 [ %.4, %6 ], [ 0, %3 ]
+  switch i8 %.0, label %5 [
+  i8 0, label %2
+  i8 1, label %3
+  ]
+
+4:                                                ; preds = %8, %5
+  %.1 = phi i8 [ %.2, %5 ], [ 1, %8 ]
+  br label %8
+
+5:                                                ; preds = %8, %7, %3
+  %.2 = phi i8 [ 0, %3 ], [ %.7, %7 ], [ 0, %8 ]
+  br label %4
+
+6:                                                ; preds = %2, %1
+  %.4 = phi i8 [ 0, %1 ], [ 1, %2 ]
+  br label %3
+
+7:                                                ; preds = %8
+  br label %5
+
+8:                                                ; preds = %8, %4, %2
+  %.7 = phi i8 [ %.1, %4 ], [ 0, %8 ], [ 2, %2 ]
+  switch i8 %.7, label %7 [
+  i8 0, label %5
+  i8 1, label %4
+  i8 4, label %8
+  i8 3, label %2
+  ]
+}