llvm/test/Transforms/InstSimplify/dead-code-removal.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -passes=instsimplify -S < %s | FileCheck %s
   3
   4 define void @foo(i1 %arg) nounwind {
   5 ; CHECK-LABEL: @foo(
   6 ; CHECK-NEXT:    br i1 %arg, label [[TMP1:%.*]], label [[TMP2:%.*]]
   7 ; CHECK:       1:
   8 ; CHECK-NEXT:    br label [[TMP1]]
   9 ; CHECK:       2:
  10 ; CHECK-NEXT:    ret void
  11 ;
  12   br i1 %arg, label %1, label %4
  13
  14 ; <label>:1                                       ; preds = %1, %0
  15   %2 = phi i32 [ %3, %1 ], [ undef, %0 ]
  16   %3 = sub i32 0, undef
  17   br label %1
  18
  19 ; <label>:4                                       ; preds = %0
  20   ret void
  21 }