llvm/test/Transforms/Mem2Reg/2002-05-01-ShouldNotPromoteThisAlloca.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; This input caused the mem2reg pass to die because it was trying to promote
   3 ; the %r alloca, even though it is invalid to do so in this case!
   4 ;
   5 ; RUN: opt < %s -passes=mem2reg -S | FileCheck %s
   6
   7 define void @test() {
   8 ; CHECK-LABEL: @test(
   9 ; CHECK-NEXT:    [[R:%.*]] = alloca i32, align 4
  10 ; CHECK-NEXT:    store i32 4, ptr [[R]], align 4
  11 ; CHECK-NEXT:    store ptr [[R]], ptr null, align 8
  12 ; CHECK-NEXT:    ret void
  13 ;
  14   %r = alloca i32               ; <ptr> [#uses=2]
  15   store i32 4, ptr %r
  16   store ptr %r, ptr null
  17   ret void
  18 }
  19