llvm/test/Transforms/Mem2Reg/pr37632-unreachable-list-of-stores.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -mem2reg < %s -S | FileCheck %s
   3
   4 define void @patatino() {
   5 ; CHECK-LABEL: @patatino(
   6 ; CHECK-NEXT:    ret void
   7 ; CHECK:       cantreachme:
   8 ; CHECK-NEXT:    [[DEC:%.*]] = add nsw i32 poison, -1
   9 ; CHECK-NEXT:    br label [[CANTREACHME:%.*]]
  10 ;
  11   %a = alloca i32, align 4
  12   ret void
  13 cantreachme:
  14   %dec = add nsw i32 %tmp, -1
  15   store i32 %dec, i32* %a
  16   store i32 %tmp, i32* %a
  17   %tmp = load i32, i32* %a
  18   br label %cantreachme
  19 }