forked from OSchip/llvm-project
30 lines
695 B
LLVM
30 lines
695 B
LLVM
|
; Skip dead MemoryPhis when performing memory congruency verification
|
||
|
|
; in NewGVN.
|
||
|
|
; RUN: opt -S -newgvn %s | FileCheck %s
|
||
|
|
; REQUIRES: asserts
|
||
|
|
|
||
|
|
; CHECK: define void @tinkywinky() {
|
||
|
|
; CHECK-NEXT: entry:
|
||
|
|
; CHECK-NEXT: br i1 false, label %body, label %end
|
||
|
|
; CHECK: body:
|
||
|
|
; CHECK-NEXT: store i8 undef, i8* null
|
||
|
|
; CHECK-NEXT: br label %end
|
||
|
|
; CHECK: end:
|
||
|
|
; CHECK-NEXT: ret void
|
||
|
|
; CHECK-NEXT: }
|
||
|
|
|
||
|
|
declare void @llvm.lifetime.start.p0i8(i64, i8* nocapture)
|
||
|
|
|
||
|
|
define void @tinkywinky() {
|
||
|
|
entry:
|
||
|
|
call void @llvm.lifetime.start.p0i8(i64 4, i8* undef)
|
||
|
|
br i1 false, label %body, label %end
|
||
|
|
|
||
|
|
body:
|
||
|
|
call void @llvm.lifetime.start.p0i8(i64 4, i8* undef)
|
||
|
|
br label %end
|
||
|
|
|
||
|
|
end:
|
||
|
|
ret void
|
||
|
|
}
|