test/Transforms/SCCP/switch-undef-constantfoldterminator.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt < %s -ipsccp -S | FileCheck %s
   3
   4 ; This test case used to end up like this:
   5 ;
   6 ;    While deleting: label %lor.rhs
   7 ;    Use still stuck around after Def is destroyed:  br i1 undef, label %lor.rhs, label %land.end
   8 ;    opt: ../lib/IR/Value.cpp: llvm::Value::~Value(): Assertion `use_empty() && "Uses remain when a value is destroyed!"' failed.
   9 ;
  10 ; due to ConstantFoldTerminator rewriting the switch into
  11 ;
  12 ;    br i1 undef, label %lor.rhs, label %land.end
  13 ;
  14 ; while SCCP implementation relied on the terminator to always be folded into
  15 ; an unconditional branch when ConstantFoldTerminator returned true.
  16
  17 define void @f4() {
  18 ; CHECK-LABEL: define void @f4(
  19 ; CHECK-NEXT:  entry:
  20 ; CHECK-NEXT:    [[CALL:%.*]] = call i16 @f3(i16 undef)
  21 ; CHECK-NEXT:    ret void
  22 ;
  23 entry:
  24   %call = call i16 @f3(i16 undef)
  25   ret void
  26 }
  27
  28 define internal i16 @f3(i16 %p1) {
  29 ; CHECK-LABEL: define internal i16 @f3(
  30 ; CHECK-NEXT:  entry:
  31 ; CHECK-NEXT:    br label [[LAND_END:%.*]]
  32 ; CHECK:       land.end:
  33 ; CHECK-NEXT:    ret i16 undef
  34 ;
  35 entry:
  36   switch i16 %p1, label %land.end [
  37   i16 0, label %land.end
  38   i16 1, label %lor.rhs
  39   ]
  40
  41 lor.rhs:
  42   br label %land.end
  43
  44 land.end:
  45   ret i16 0
  46 }
  47