llvm/test/Transforms/NewGVN/verify-memoryphi.ll

   1 ; Skip dead MemoryPhis when performing memory congruency verification
   2 ; in NewGVN.
   3 ; RUN: opt -S -newgvn %s | FileCheck %s
   4 ; REQUIRES: asserts
   5
   6 ; CHECK: define void @tinkywinky() {
   7 ; CHECK-NEXT: entry:
   8 ; CHECK-NEXT:   br i1 false, label %body, label %end
   9 ; CHECK:      body:
  10 ; CHECK-NEXT:   store i8 undef, i8* null
  11 ; CHECK-NEXT:   br label %end
  12 ; CHECK:      end:
  13 ; CHECK-NEXT:   ret void
  14 ; CHECK-NEXT: }
  15
  16 declare void @llvm.lifetime.start.p0i8(i64, i8* nocapture)
  17
  18 define void @tinkywinky() {
  19 entry:
  20   call void @llvm.lifetime.start.p0i8(i64 4, i8* undef)
  21   br i1 false, label %body, label %end
  22
  23 body:
  24   call void @llvm.lifetime.start.p0i8(i64 4, i8* undef)
  25   br label %end
  26
  27 end:
  28   ret void
  29 }