; 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
}
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() {
; 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
}
; 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.
; 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
}