maxjhandsome
/
llvm-project
forked from OSchip/llvm-project
1
0
Fork 0
Code Issues Pull Requests Packages Releases Wiki Activity

[DCE] Update tests to use opaque pointers (NFC)

This commit is contained in:
Nikita Popov 2022-06-10 17:31:10 +02:00
parent 494cd9b6fc
commit 9c0a878c71
2 changed files with 16 additions and 16 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

6
llvm/test/Transforms/DCE/basic-preservation.ll
View File

@ -1,11 +1,11 @@
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
; RUN: opt -passes=dce -S --enable-knowledge-retention < %s | FileCheck %s ; RUN: opt -passes=dce -S --enable-knowledge-retention < %s | FileCheck %s
define void @test(i32* %P) { define void @test(ptr %P) {
; CHECK-LABEL: @test( ; CHECK-LABEL: @test(
; CHECK-NEXT: call void @llvm.assume(i1 true) [ "dereferenceable"(i32* [[P:%.*]], i64 4), "nonnull"(i32* [[P]]), "align"(i32* [[P]], i64 4) ] ; CHECK-NEXT: call void @llvm.assume(i1 true) [ "dereferenceable"(ptr [[P:%.*]], i64 4), "nonnull"(ptr [[P]]), "align"(ptr [[P]], i64 4) ]
; CHECK-NEXT: ret void ; CHECK-NEXT: ret void
; ;
%a = load i32, i32* %P %a = load i32, ptr %P
ret void ret void
} }

26
llvm/test/Transforms/DCE/basic.ll
View File

@ -10,8 +10,8 @@ define void @test() {
ret void ret void
} }
declare void @llvm.lifetime.start.p0i8(i64, i8* nocapture) nounwind declare void @llvm.lifetime.start.p0(i64, ptr nocapture) nounwind
declare void @llvm.lifetime.end.p0i8(i64, i8* nocapture) nounwind declare void @llvm.lifetime.end.p0(i64, ptr nocapture) nounwind
; CHECK-LABEL: @test_lifetime_alloca ; CHECK-LABEL: @test_lifetime_alloca
define i32 @test_lifetime_alloca() { define i32 @test_lifetime_alloca() {
@ -21,20 +21,20 @@ define i32 @test_lifetime_alloca() {
; CHECK-NOT: llvm.lifetime.start ; CHECK-NOT: llvm.lifetime.start
; CHECK-NOT: llvm.lifetime.end ; CHECK-NOT: llvm.lifetime.end
%i = alloca i8, align 4 %i = alloca i8, align 4
call void @llvm.lifetime.start.p0i8(i64 -1, i8* %i) call void @llvm.lifetime.start.p0(i64 -1, ptr %i)
call void @llvm.lifetime.end.p0i8(i64 -1, i8* %i) call void @llvm.lifetime.end.p0(i64 -1, ptr %i)
ret i32 0 ret i32 0
} }
; CHECK-LABEL: @test_lifetime_arg ; CHECK-LABEL: @test_lifetime_arg
define i32 @test_lifetime_arg(i8*) { define i32 @test_lifetime_arg(ptr) {
; Check that lifetime intrinsics are removed along with the pointer. ; Check that lifetime intrinsics are removed along with the pointer.
; CHECK-NEXT: llvm.dbg.value ; CHECK-NEXT: llvm.dbg.value
; CHECK-NEXT: ret i32 0 ; CHECK-NEXT: ret i32 0
; CHECK-NOT: llvm.lifetime.start ; CHECK-NOT: llvm.lifetime.start
; CHECK-NOT: llvm.lifetime.end ; CHECK-NOT: llvm.lifetime.end
call void @llvm.lifetime.start.p0i8(i64 -1, i8* %0) call void @llvm.lifetime.start.p0(i64 -1, ptr %0)
call void @llvm.lifetime.end.p0i8(i64 -1, i8* %0) call void @llvm.lifetime.end.p0(i64 -1, ptr %0)
ret i32 0 ret i32 0
} }
@ -47,13 +47,13 @@ define i32 @test_lifetime_global() {
; CHECK-NEXT: ret i32 0 ; CHECK-NEXT: ret i32 0
; CHECK-NOT: llvm.lifetime.start ; CHECK-NOT: llvm.lifetime.start
; CHECK-NOT: llvm.lifetime.end ; CHECK-NOT: llvm.lifetime.end
call void @llvm.lifetime.start.p0i8(i64 -1, i8* @glob) call void @llvm.lifetime.start.p0(i64 -1, ptr @glob)
call void @llvm.lifetime.end.p0i8(i64 -1, i8* @glob) call void @llvm.lifetime.end.p0(i64 -1, ptr @glob)
ret i32 0 ret i32 0
} }
; CHECK-LABEL: @test_lifetime_bitcast ; CHECK-LABEL: @test_lifetime_bitcast
define i32 @test_lifetime_bitcast(i32*) { define i32 @test_lifetime_bitcast(ptr) {
; Check that lifetime intrinsics are NOT removed when the pointer is a bitcast. ; Check that lifetime intrinsics are NOT removed when the pointer is a bitcast.
; It's not uncommon for two bitcasts to be made: one for lifetime, one for use. ; It's not uncommon for two bitcasts to be made: one for lifetime, one for use.
; TODO: Support the above case. ; TODO: Support the above case.
@ -62,9 +62,9 @@ define i32 @test_lifetime_bitcast(i32*) {
; CHECK-NEXT: llvm.lifetime.start ; CHECK-NEXT: llvm.lifetime.start
; CHECK-NEXT: llvm.lifetime.end ; CHECK-NEXT: llvm.lifetime.end
; CHECK-NEXT: ret i32 0 ; CHECK-NEXT: ret i32 0
%2 = bitcast i32* %0 to i8* %2 = bitcast ptr %0 to ptr
call void @llvm.lifetime.start.p0i8(i64 -1, i8* %2) call void @llvm.lifetime.start.p0(i64 -1, ptr %2)
call void @llvm.lifetime.end.p0i8(i64 -1, i8* %2) call void @llvm.lifetime.end.p0(i64 -1, ptr %2)
ret i32 0 ret i32 0
} }