c23b4fbdbb
Now that #149310 has restricted lifetime intrinsics to only work on allocas, we can also drop the explicit size argument. Instead, the size is implied by the alloca. This removes the ability to only mark a prefix of an alloca alive/dead. We never used that capability, so we should remove the need to handle that possibility everywhere (though many key places, including stack coloring, did not actually respect this).
225 lines
7.4 KiB
LLVM
225 lines
7.4 KiB
LLVM
; Test to make sure intrinsics are automatically upgraded.
|
|
; RUN: llvm-as < %s | llvm-dis | FileCheck %s
|
|
; RUN: verify-uselistorder %s
|
|
|
|
%0 = type opaque;
|
|
|
|
declare i8 @llvm.ctlz.i8(i8)
|
|
declare i16 @llvm.ctlz.i16(i16)
|
|
declare i32 @llvm.ctlz.i32(i32)
|
|
declare i42 @llvm.ctlz.i42(i42) ; Not a power-of-2
|
|
|
|
|
|
define void @test.ctlz(i8 %a, i16 %b, i32 %c, i42 %d) {
|
|
; CHECK: @test.ctlz
|
|
|
|
entry:
|
|
; CHECK: call i8 @llvm.ctlz.i8(i8 %a, i1 false)
|
|
call i8 @llvm.ctlz.i8(i8 %a)
|
|
; CHECK: call i16 @llvm.ctlz.i16(i16 %b, i1 false)
|
|
call i16 @llvm.ctlz.i16(i16 %b)
|
|
; CHECK: call i32 @llvm.ctlz.i32(i32 %c, i1 false)
|
|
call i32 @llvm.ctlz.i32(i32 %c)
|
|
; CHECK: call i42 @llvm.ctlz.i42(i42 %d, i1 false)
|
|
call i42 @llvm.ctlz.i42(i42 %d)
|
|
|
|
ret void
|
|
}
|
|
|
|
declare i8 @llvm.cttz.i8(i8)
|
|
declare i16 @llvm.cttz.i16(i16)
|
|
declare i32 @llvm.cttz.i32(i32)
|
|
declare i42 @llvm.cttz.i42(i42) ; Not a power-of-2
|
|
|
|
define void @test.cttz(i8 %a, i16 %b, i32 %c, i42 %d) {
|
|
; CHECK: @test.cttz
|
|
|
|
entry:
|
|
; CHECK: call i8 @llvm.cttz.i8(i8 %a, i1 false)
|
|
call i8 @llvm.cttz.i8(i8 %a)
|
|
; CHECK: call i16 @llvm.cttz.i16(i16 %b, i1 false)
|
|
call i16 @llvm.cttz.i16(i16 %b)
|
|
; CHECK: call i32 @llvm.cttz.i32(i32 %c, i1 false)
|
|
call i32 @llvm.cttz.i32(i32 %c)
|
|
; CHECK: call i42 @llvm.cttz.i42(i42 %d, i1 false)
|
|
call i42 @llvm.cttz.i42(i42 %d)
|
|
|
|
ret void
|
|
}
|
|
|
|
declare i1 @llvm.coro.end(ptr, i1)
|
|
define void @test.coro.end(ptr %ptr) {
|
|
; CHECK-LABEL: @test.coro.end(
|
|
; CHECK: call i1 @llvm.coro.end(ptr %ptr, i1 false, token none)
|
|
call i1 @llvm.coro.end(ptr %ptr, i1 false)
|
|
ret void
|
|
}
|
|
|
|
@a = private global [60 x i8] zeroinitializer, align 1
|
|
|
|
declare i32 @llvm.objectsize.i32(ptr, i1) nounwind readonly
|
|
define i32 @test.objectsize() {
|
|
; CHECK-LABEL: @test.objectsize(
|
|
; CHECK: @llvm.objectsize.i32.p0(ptr @a, i1 false, i1 false, i1 false)
|
|
%s = call i32 @llvm.objectsize.i32(ptr @a, i1 false)
|
|
ret i32 %s
|
|
}
|
|
|
|
declare i64 @llvm.objectsize.i64.p0(ptr, i1) nounwind readonly
|
|
define i64 @test.objectsize.2() {
|
|
; CHECK-LABEL: @test.objectsize.2(
|
|
; CHECK: @llvm.objectsize.i64.p0(ptr @a, i1 false, i1 false, i1 false)
|
|
%s = call i64 @llvm.objectsize.i64.p0(ptr @a, i1 false)
|
|
ret i64 %s
|
|
}
|
|
|
|
@u = private global [60 x ptr] zeroinitializer, align 1
|
|
|
|
declare i32 @llvm.objectsize.i32.unnamed(ptr, i1) nounwind readonly
|
|
define i32 @test.objectsize.unnamed() {
|
|
; CHECK-LABEL: @test.objectsize.unnamed(
|
|
; CHECK: @llvm.objectsize.i32.p0(ptr @u, i1 false, i1 false, i1 false)
|
|
%s = call i32 @llvm.objectsize.i32.unnamed(ptr @u, i1 false)
|
|
ret i32 %s
|
|
}
|
|
|
|
define i64 @test.objectsize.unnamed.2() {
|
|
; CHECK-LABEL: @test.objectsize.unnamed.2(
|
|
; CHECK: @llvm.objectsize.i64.p0(ptr @u, i1 false, i1 false, i1 false)
|
|
%s = call i64 @llvm.objectsize.i64.p0(ptr @u, i1 false)
|
|
ret i64 %s
|
|
}
|
|
|
|
declare <2 x double> @llvm.masked.load.v2f64(ptr %ptrs, i32, <2 x i1> %mask, <2 x double> %src0)
|
|
|
|
define <2 x double> @tests.masked.load(ptr %ptr, <2 x i1> %mask, <2 x double> %passthru) {
|
|
; CHECK-LABEL: @tests.masked.load(
|
|
; CHECK: @llvm.masked.load.v2f64.p0
|
|
%res = call <2 x double> @llvm.masked.load.v2f64(ptr %ptr, i32 1, <2 x i1> %mask, <2 x double> %passthru)
|
|
ret <2 x double> %res
|
|
}
|
|
|
|
declare void @llvm.masked.store.v2f64(<2 x double> %val, ptr %ptrs, i32, <2 x i1> %mask)
|
|
|
|
define void @tests.masked.store(ptr %ptr, <2 x i1> %mask, <2 x double> %val) {
|
|
; CHECK-LABEL: @tests.masked.store(
|
|
; CHECK: @llvm.masked.store.v2f64.p0
|
|
call void @llvm.masked.store.v2f64(<2 x double> %val, ptr %ptr, i32 4, <2 x i1> %mask)
|
|
ret void
|
|
}
|
|
|
|
declare <2 x double> @llvm.masked.gather.v2f64(<2 x ptr> %ptrs, i32, <2 x i1> %mask, <2 x double> %src0)
|
|
|
|
define <2 x double> @tests.masked.gather(<2 x ptr> %ptr, <2 x i1> %mask, <2 x double> %passthru) {
|
|
; CHECK-LABEL: @tests.masked.gather(
|
|
; CHECK: @llvm.masked.gather.v2f64.v2p0
|
|
%res = call <2 x double> @llvm.masked.gather.v2f64(<2 x ptr> %ptr, i32 1, <2 x i1> %mask, <2 x double> %passthru)
|
|
ret <2 x double> %res
|
|
}
|
|
|
|
declare void @llvm.masked.scatter.v2f64(<2 x double> %val, <2 x ptr> %ptrs, i32, <2 x i1> %mask)
|
|
|
|
define void @tests.masked.scatter(<2 x ptr> %ptr, <2 x i1> %mask, <2 x double> %val) {
|
|
; CHECK-LABEL: @tests.masked.scatter(
|
|
; CHECK: @llvm.masked.scatter.v2f64.v2p0
|
|
call void @llvm.masked.scatter.v2f64(<2 x double> %val, <2 x ptr> %ptr, i32 1, <2 x i1> %mask)
|
|
ret void
|
|
}
|
|
|
|
declare ptr @llvm.invariant.start(i64, ptr nocapture) nounwind readonly
|
|
declare void @llvm.invariant.end(ptr, i64, ptr nocapture) nounwind
|
|
|
|
define void @tests.invariant.start.end() {
|
|
; CHECK-LABEL: @tests.invariant.start.end(
|
|
%a = alloca i8
|
|
%i = call ptr @llvm.invariant.start(i64 1, ptr %a)
|
|
; CHECK: call ptr @llvm.invariant.start.p0
|
|
store i8 0, ptr %a
|
|
call void @llvm.invariant.end(ptr %i, i64 1, ptr %a)
|
|
; CHECK: call void @llvm.invariant.end.p0
|
|
ret void
|
|
}
|
|
|
|
declare ptr @llvm.invariant.start.unnamed(i64, ptr nocapture) nounwind readonly
|
|
declare void @llvm.invariant.end.unnamed(ptr, i64, ptr nocapture) nounwind
|
|
|
|
define void @tests.invariant.start.end.unnamed() {
|
|
; CHECK-LABEL: @tests.invariant.start.end.unnamed(
|
|
%a = alloca ptr
|
|
%i = call ptr @llvm.invariant.start.unnamed(i64 1, ptr %a)
|
|
; CHECK: call ptr @llvm.invariant.start.p0
|
|
store ptr null, ptr %a
|
|
call void @llvm.invariant.end.unnamed(ptr %i, i64 1, ptr %a)
|
|
; CHECK: call void @llvm.invariant.end.p0
|
|
ret void
|
|
}
|
|
|
|
@__stack_chk_guard = external global ptr
|
|
declare void @llvm.stackprotectorcheck(ptr)
|
|
|
|
define void @test.stackprotectorcheck() {
|
|
; CHECK-LABEL: @test.stackprotectorcheck(
|
|
; CHECK-NEXT: ret void
|
|
call void @llvm.stackprotectorcheck(ptr @__stack_chk_guard)
|
|
ret void
|
|
}
|
|
|
|
declare void @llvm.lifetime.start(i64, ptr nocapture) nounwind readonly
|
|
declare void @llvm.lifetime.end(i64, ptr nocapture) nounwind
|
|
|
|
define void @tests.lifetime.start.end() {
|
|
; CHECK-LABEL: @tests.lifetime.start.end(
|
|
%a = alloca i8
|
|
call void @llvm.lifetime.start(i64 1, ptr %a)
|
|
; CHECK: call void @llvm.lifetime.start.p0(ptr %a)
|
|
store i8 0, ptr %a
|
|
call void @llvm.lifetime.end(i64 1, ptr %a)
|
|
; CHECK: call void @llvm.lifetime.end.p0(ptr %a)
|
|
ret void
|
|
}
|
|
|
|
declare void @llvm.lifetime.start.unnamed(i64, ptr nocapture) nounwind readonly
|
|
declare void @llvm.lifetime.end.unnamed(i64, ptr nocapture) nounwind
|
|
|
|
define void @tests.lifetime.start.end.unnamed() {
|
|
; CHECK-LABEL: @tests.lifetime.start.end.unnamed(
|
|
%a = alloca ptr
|
|
call void @llvm.lifetime.start.unnamed(i64 1, ptr %a)
|
|
; CHECK: call void @llvm.lifetime.start.p0(ptr %a)
|
|
store ptr null, ptr %a
|
|
call void @llvm.lifetime.end.unnamed(i64 1, ptr %a)
|
|
; CHECK: call void @llvm.lifetime.end.p0(ptr %a)
|
|
ret void
|
|
}
|
|
|
|
declare void @llvm.prefetch(ptr, i32, i32, i32)
|
|
define void @test.prefetch(ptr %ptr) {
|
|
; CHECK-LABEL: @test.prefetch(
|
|
; CHECK: @llvm.prefetch.p0(ptr %ptr, i32 0, i32 3, i32 1)
|
|
call void @llvm.prefetch(ptr %ptr, i32 0, i32 3, i32 1)
|
|
ret void
|
|
}
|
|
|
|
declare void @llvm.prefetch.p0(ptr, i32, i32, i32)
|
|
define void @test.prefetch.2(ptr %ptr) {
|
|
; CHECK-LABEL: @test.prefetch.2(
|
|
; CHECK: @llvm.prefetch.p0(ptr %ptr, i32 0, i32 3, i32 1)
|
|
call void @llvm.prefetch(ptr %ptr, i32 0, i32 3, i32 1)
|
|
ret void
|
|
}
|
|
|
|
declare void @llvm.prefetch.unnamed(ptr, i32, i32, i32)
|
|
define void @test.prefetch.unnamed(ptr %ptr) {
|
|
; CHECK-LABEL: @test.prefetch.unnamed(
|
|
; CHECK: @llvm.prefetch.p0(ptr %ptr, i32 0, i32 3, i32 1)
|
|
call void @llvm.prefetch.unnamed(ptr %ptr, i32 0, i32 3, i32 1)
|
|
ret void
|
|
}
|
|
|
|
; This is part of @test.objectsize(), since llvm.objectsize declaration gets
|
|
; emitted at the end.
|
|
; CHECK: declare i32 @llvm.objectsize.i32.p0
|
|
|
|
; CHECK: declare void @llvm.lifetime.start.p0(ptr captures(none))
|
|
; CHECK: declare void @llvm.lifetime.end.p0(ptr captures(none))
|