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

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 4
   2 ; Skip dead MemoryPhis when performing memory congruency verification
   3 ; in NewGVN.
   4 ; RUN: opt -S -passes=newgvn %s | FileCheck %s
   5 ; REQUIRES: asserts
   6
   7
   8 declare void @llvm.lifetime.start.p0(i64, ptr nocapture)
   9
  10 define void @tinkywinky() {
  11 ; CHECK-LABEL: define void @tinkywinky() {
  12 ; CHECK-NEXT:  entry:
  13 ; CHECK-NEXT:    br i1 false, label [[BODY:%.*]], label [[END:%.*]]
  14 ; CHECK:       body:
  15 ; CHECK-NEXT:    store i8 poison, ptr null, align 1
  16 ; CHECK-NEXT:    br label [[END]]
  17 ; CHECK:       end:
  18 ; CHECK-NEXT:    ret void
  19 ;
  20 entry:
  21   call void @llvm.lifetime.start.p0(i64 4, ptr undef)
  22   br i1 false, label %body, label %end
  23
  24 body:
  25   call void @llvm.lifetime.start.p0(i64 4, ptr undef)
  26   br label %end
  27
  28 end:
  29   ret void
  30 }