From 9c0a878c71a7609c947f511b5a572959b3286aed Mon Sep 17 00:00:00 2001
From: Nikita Popov <npopov@redhat.com>
Date: Fri, 10 Jun 2022 17:31:10 +0200
Subject: [PATCH] [DCE] Update tests to use opaque pointers (NFC)

---
 .../test/Transforms/DCE/basic-preservation.ll |  6 ++---
 llvm/test/Transforms/DCE/basic.ll             | 26 +++++++++----------
 2 files changed, 16 insertions(+), 16 deletions(-)

diff --git a/llvm/test/Transforms/DCE/basic-preservation.ll b/llvm/test/Transforms/DCE/basic-preservation.ll
index 5a624e0adf9b..f2fc55cdcaa1 100644
--- a/llvm/test/Transforms/DCE/basic-preservation.ll
+++ b/llvm/test/Transforms/DCE/basic-preservation.ll
@@ -1,11 +1,11 @@
 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
 ; 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-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
 ;
-  %a = load i32, i32* %P
+  %a = load i32, ptr %P
   ret void
 }
diff --git a/llvm/test/Transforms/DCE/basic.ll b/llvm/test/Transforms/DCE/basic.ll
index fdff9af1ac64..ea5755d56b20 100644
--- a/llvm/test/Transforms/DCE/basic.ll
+++ b/llvm/test/Transforms/DCE/basic.ll
@@ -10,8 +10,8 @@ define void @test() {
   ret void
 }
 
-declare void @llvm.lifetime.start.p0i8(i64, i8* nocapture) nounwind
-declare void @llvm.lifetime.end.p0i8(i64, i8* nocapture) nounwind
+declare void @llvm.lifetime.start.p0(i64, ptr nocapture) nounwind
+declare void @llvm.lifetime.end.p0(i64, ptr nocapture) nounwind
 
 ; CHECK-LABEL: @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.end
   %i = alloca i8, align 4
-  call void @llvm.lifetime.start.p0i8(i64 -1, i8* %i)
-  call void @llvm.lifetime.end.p0i8(i64 -1, i8* %i)
+  call void @llvm.lifetime.start.p0(i64 -1, ptr %i)
+  call void @llvm.lifetime.end.p0(i64 -1, ptr %i)
   ret i32 0
 }
 
 ; 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-NEXT: llvm.dbg.value
 ; CHECK-NEXT: ret i32 0
 ; CHECK-NOT: llvm.lifetime.start
 ; CHECK-NOT: llvm.lifetime.end
-  call void @llvm.lifetime.start.p0i8(i64 -1, i8* %0)
-  call void @llvm.lifetime.end.p0i8(i64 -1, i8* %0)
+  call void @llvm.lifetime.start.p0(i64 -1, ptr %0)
+  call void @llvm.lifetime.end.p0(i64 -1, ptr %0)
   ret i32 0
 }
 
@@ -47,13 +47,13 @@ define i32 @test_lifetime_global() {
 ; CHECK-NEXT: ret i32 0
 ; CHECK-NOT: llvm.lifetime.start
 ; CHECK-NOT: llvm.lifetime.end
-  call void @llvm.lifetime.start.p0i8(i64 -1, i8* @glob)
-  call void @llvm.lifetime.end.p0i8(i64 -1, i8* @glob)
+  call void @llvm.lifetime.start.p0(i64 -1, ptr @glob)
+  call void @llvm.lifetime.end.p0(i64 -1, ptr @glob)
   ret i32 0
 }
 
 ; 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.
 ; It's not uncommon for two bitcasts to be made: one for lifetime, one for use.
 ; TODO: Support the above case.
@@ -62,9 +62,9 @@ define i32 @test_lifetime_bitcast(i32*) {
 ; CHECK-NEXT: llvm.lifetime.start
 ; CHECK-NEXT: llvm.lifetime.end
 ; CHECK-NEXT: ret i32 0
-  %2 = bitcast i32* %0 to i8*
-  call void @llvm.lifetime.start.p0i8(i64 -1, i8* %2)
-  call void @llvm.lifetime.end.p0i8(i64 -1, i8* %2)
+  %2 = bitcast ptr %0 to ptr
+  call void @llvm.lifetime.start.p0(i64 -1, ptr %2)
+  call void @llvm.lifetime.end.p0(i64 -1, ptr %2)
   ret i32 0
 }