[llvm] 4bb2234 - [FunctionAttrs] Add tests for PR63936 (NFC)
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Fri Jul 21 07:46:37 PDT 2023
Author: Nikita Popov
Date: 2023-07-21T16:46:29+02:00
New Revision: 4bb2234a5d8323cc2a4a189a5db58a318824a76c
URL: https://github.com/llvm/llvm-project/commit/4bb2234a5d8323cc2a4a189a5db58a318824a76c
DIFF: https://github.com/llvm/llvm-project/commit/4bb2234a5d8323cc2a4a189a5db58a318824a76c.diff
LOG: [FunctionAttrs] Add tests for PR63936 (NFC)
Added:
Modified:
llvm/test/Transforms/FunctionAttrs/argmemonly.ll
Removed:
################################################################################
diff --git a/llvm/test/Transforms/FunctionAttrs/argmemonly.ll b/llvm/test/Transforms/FunctionAttrs/argmemonly.ll
index fb73dd770fa9da..8c2073ef4ac7ae 100644
--- a/llvm/test/Transforms/FunctionAttrs/argmemonly.ll
+++ b/llvm/test/Transforms/FunctionAttrs/argmemonly.ll
@@ -1,11 +1,12 @@
-; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-attributes
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-attributes --version 2
; RUN: opt -passes=function-attrs -S %s | FileCheck %s
@g = global i32 20
define void @test_no_read_or_write() {
; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(none)
-; CHECK-LABEL: @test_no_read_or_write(
+; CHECK-LABEL: define void @test_no_read_or_write
+; CHECK-SAME: () #[[ATTR0:[0-9]+]] {
; CHECK-NEXT: entry:
; CHECK-NEXT: ret void
;
@@ -15,9 +16,10 @@ entry:
define i32 @test_only_read_arg(ptr %ptr) {
; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: read)
-; CHECK-LABEL: @test_only_read_arg(
+; CHECK-LABEL: define i32 @test_only_read_arg
+; CHECK-SAME: (ptr nocapture readonly [[PTR:%.*]]) #[[ATTR1:[0-9]+]] {
; CHECK-NEXT: entry:
-; CHECK-NEXT: [[L:%.*]] = load i32, ptr [[PTR:%.*]], align 4
+; CHECK-NEXT: [[L:%.*]] = load i32, ptr [[PTR]], align 4
; CHECK-NEXT: ret i32 [[L]]
;
entry:
@@ -27,9 +29,10 @@ entry:
define i32 @test_only_read_arg_already_has_argmemonly(ptr %ptr) argmemonly {
; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: read)
-; CHECK-LABEL: @test_only_read_arg_already_has_argmemonly(
+; CHECK-LABEL: define i32 @test_only_read_arg_already_has_argmemonly
+; CHECK-SAME: (ptr nocapture readonly [[PTR:%.*]]) #[[ATTR1]] {
; CHECK-NEXT: entry:
-; CHECK-NEXT: [[L:%.*]] = load i32, ptr [[PTR:%.*]], align 4
+; CHECK-NEXT: [[L:%.*]] = load i32, ptr [[PTR]], align 4
; CHECK-NEXT: ret i32 [[L]]
;
entry:
@@ -39,7 +42,8 @@ entry:
define i32 @test_read_global() {
; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(read, argmem: none, inaccessiblemem: none)
-; CHECK-LABEL: @test_read_global(
+; CHECK-LABEL: define i32 @test_read_global
+; CHECK-SAME: () #[[ATTR2:[0-9]+]] {
; CHECK-NEXT: entry:
; CHECK-NEXT: [[L:%.*]] = load i32, ptr @g, align 4
; CHECK-NEXT: ret i32 [[L]]
@@ -51,9 +55,10 @@ entry:
define i32 @test_read_loaded_ptr(ptr %ptr) {
; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(read, inaccessiblemem: none)
-; CHECK-LABEL: @test_read_loaded_ptr(
+; CHECK-LABEL: define i32 @test_read_loaded_ptr
+; CHECK-SAME: (ptr nocapture readonly [[PTR:%.*]]) #[[ATTR3:[0-9]+]] {
; CHECK-NEXT: entry:
-; CHECK-NEXT: [[L:%.*]] = load ptr, ptr [[PTR:%.*]], align 8
+; CHECK-NEXT: [[L:%.*]] = load ptr, ptr [[PTR]], align 8
; CHECK-NEXT: [[L_2:%.*]] = load i32, ptr [[L]], align 4
; CHECK-NEXT: ret i32 [[L_2]]
;
@@ -65,9 +70,10 @@ entry:
define void @test_only_write_arg(ptr %ptr) {
; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: write)
-; CHECK-LABEL: @test_only_write_arg(
+; CHECK-LABEL: define void @test_only_write_arg
+; CHECK-SAME: (ptr nocapture writeonly [[PTR:%.*]]) #[[ATTR4:[0-9]+]] {
; CHECK-NEXT: entry:
-; CHECK-NEXT: store i32 0, ptr [[PTR:%.*]], align 4
+; CHECK-NEXT: store i32 0, ptr [[PTR]], align 4
; CHECK-NEXT: ret void
;
entry:
@@ -77,7 +83,8 @@ entry:
define void @test_write_global() {
; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(write, argmem: none, inaccessiblemem: none)
-; CHECK-LABEL: @test_write_global(
+; CHECK-LABEL: define void @test_write_global
+; CHECK-SAME: () #[[ATTR5:[0-9]+]] {
; CHECK-NEXT: entry:
; CHECK-NEXT: store i32 0, ptr @g, align 4
; CHECK-NEXT: ret void
@@ -90,7 +97,7 @@ entry:
declare void @fn_may_access_memory()
define void @test_call_may_access_memory() {
-; CHECK-LABEL: @test_call_may_access_memory(
+; CHECK-LABEL: define void @test_call_may_access_memory() {
; CHECK-NEXT: entry:
; CHECK-NEXT: call void @fn_may_access_memory()
; CHECK-NEXT: ret void
@@ -104,10 +111,11 @@ declare i32 @fn_readnone() readnone
define void @test_call_readnone(ptr %ptr) {
; CHECK: Function Attrs: memory(argmem: write)
-; CHECK-LABEL: @test_call_readnone(
+; CHECK-LABEL: define void @test_call_readnone
+; CHECK-SAME: (ptr nocapture writeonly [[PTR:%.*]]) #[[ATTR7:[0-9]+]] {
; CHECK-NEXT: entry:
; CHECK-NEXT: [[C:%.*]] = call i32 @fn_readnone()
-; CHECK-NEXT: store i32 [[C]], ptr [[PTR:%.*]], align 4
+; CHECK-NEXT: store i32 [[C]], ptr [[PTR]], align 4
; CHECK-NEXT: ret void
;
entry:
@@ -120,9 +128,10 @@ declare i32 @fn_argmemonly(ptr) argmemonly
define i32 @test_call_argmemonly(ptr %ptr) {
; CHECK: Function Attrs: memory(argmem: readwrite)
-; CHECK-LABEL: @test_call_argmemonly(
+; CHECK-LABEL: define i32 @test_call_argmemonly
+; CHECK-SAME: (ptr [[PTR:%.*]]) #[[ATTR8:[0-9]+]] {
; CHECK-NEXT: entry:
-; CHECK-NEXT: [[C:%.*]] = call i32 @fn_argmemonly(ptr [[PTR:%.*]])
+; CHECK-NEXT: [[C:%.*]] = call i32 @fn_argmemonly(ptr [[PTR]])
; CHECK-NEXT: ret i32 [[C]]
;
entry:
@@ -132,9 +141,10 @@ entry:
define i32 @test_call_fn_where_argmemonly_can_be_inferred(ptr %ptr) {
; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: read)
-; CHECK-LABEL: @test_call_fn_where_argmemonly_can_be_inferred(
+; CHECK-LABEL: define i32 @test_call_fn_where_argmemonly_can_be_inferred
+; CHECK-SAME: (ptr nocapture readonly [[PTR:%.*]]) #[[ATTR1]] {
; CHECK-NEXT: entry:
-; CHECK-NEXT: [[C:%.*]] = call i32 @test_only_read_arg(ptr [[PTR:%.*]])
+; CHECK-NEXT: [[C:%.*]] = call i32 @test_only_read_arg(ptr [[PTR]])
; CHECK-NEXT: ret i32 [[C]]
;
entry:
@@ -144,9 +154,10 @@ entry:
define void @test_memcpy_argonly(ptr %dst, ptr %src) {
; CHECK: Function Attrs: mustprogress nofree nosync nounwind willreturn memory(argmem: readwrite)
-; CHECK-LABEL: @test_memcpy_argonly(
+; CHECK-LABEL: define void @test_memcpy_argonly
+; CHECK-SAME: (ptr nocapture writeonly [[DST:%.*]], ptr nocapture readonly [[SRC:%.*]]) #[[ATTR9:[0-9]+]] {
; CHECK-NEXT: entry:
-; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr [[DST:%.*]], ptr [[SRC:%.*]], i64 32, i1 false)
+; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr [[DST]], ptr [[SRC]], i64 32, i1 false)
; CHECK-NEXT: ret void
;
entry:
@@ -160,9 +171,10 @@ declare void @llvm.memcpy.p0.p0.i64(ptr, ptr, i64, i1)
define void @test_memcpy_src_global(ptr %dst) {
; CHECK: Function Attrs: mustprogress nofree nosync nounwind willreturn memory(readwrite, inaccessiblemem: none)
-; CHECK-LABEL: @test_memcpy_src_global(
+; CHECK-LABEL: define void @test_memcpy_src_global
+; CHECK-SAME: (ptr nocapture writeonly [[DST:%.*]]) #[[ATTR11:[0-9]+]] {
; CHECK-NEXT: entry:
-; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr [[DST:%.*]], ptr @arr, i64 32, i1 false)
+; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr [[DST]], ptr @arr, i64 32, i1 false)
; CHECK-NEXT: ret void
;
entry:
@@ -172,9 +184,10 @@ entry:
define void @test_memcpy_dst_global(ptr %src) {
; CHECK: Function Attrs: mustprogress nofree nosync nounwind willreturn memory(readwrite, inaccessiblemem: none)
-; CHECK-LABEL: @test_memcpy_dst_global(
+; CHECK-LABEL: define void @test_memcpy_dst_global
+; CHECK-SAME: (ptr nocapture readonly [[SRC:%.*]]) #[[ATTR11]] {
; CHECK-NEXT: entry:
-; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr @arr, ptr [[SRC:%.*]], i64 32, i1 false)
+; CHECK-NEXT: call void @llvm.memcpy.p0.p0.i64(ptr @arr, ptr [[SRC]], i64 32, i1 false)
; CHECK-NEXT: ret void
;
entry:
@@ -184,10 +197,11 @@ entry:
define i32 @test_read_arg_access_alloca(ptr %ptr) {
; CHECK: Function Attrs: mustprogress nofree norecurse nosync nounwind willreturn memory(argmem: read)
-; CHECK-LABEL: @test_read_arg_access_alloca(
+; CHECK-LABEL: define i32 @test_read_arg_access_alloca
+; CHECK-SAME: (ptr nocapture readonly [[PTR:%.*]]) #[[ATTR1]] {
; CHECK-NEXT: entry:
; CHECK-NEXT: [[A:%.*]] = alloca i32, align 4
-; CHECK-NEXT: [[L:%.*]] = load i32, ptr [[PTR:%.*]], align 4
+; CHECK-NEXT: [[L:%.*]] = load i32, ptr [[PTR]], align 4
; CHECK-NEXT: store i32 [[L]], ptr [[A]], align 4
; CHECK-NEXT: [[L_2:%.*]] = load i32, ptr [[A]], align 4
; CHECK-NEXT: ret i32 [[L_2]]
@@ -204,7 +218,8 @@ declare void @fn_inaccessiblememonly() inaccessiblememonly
define void @test_inaccessiblememonly() {
; CHECK: Function Attrs: memory(inaccessiblemem: readwrite)
-; CHECK-LABEL: @test_inaccessiblememonly(
+; CHECK-LABEL: define void @test_inaccessiblememonly
+; CHECK-SAME: () #[[ATTR12:[0-9]+]] {
; CHECK-NEXT: call void @fn_inaccessiblememonly()
; CHECK-NEXT: ret void
;
@@ -214,8 +229,9 @@ define void @test_inaccessiblememonly() {
define void @test_inaccessiblememonly_readonly() {
; CHECK: Function Attrs: nofree memory(inaccessiblemem: read)
-; CHECK-LABEL: @test_inaccessiblememonly_readonly(
-; CHECK-NEXT: call void @fn_inaccessiblememonly() #[[ATTR16:[0-9]+]]
+; CHECK-LABEL: define void @test_inaccessiblememonly_readonly
+; CHECK-SAME: () #[[ATTR13:[0-9]+]] {
+; CHECK-NEXT: call void @fn_inaccessiblememonly() #[[ATTR18:[0-9]+]]
; CHECK-NEXT: ret void
;
call void @fn_inaccessiblememonly() readonly
@@ -224,9 +240,10 @@ define void @test_inaccessiblememonly_readonly() {
define void @test_inaccessibleorargmemonly_readonly(ptr %arg) {
; CHECK: Function Attrs: nofree memory(argmem: read, inaccessiblemem: read)
-; CHECK-LABEL: @test_inaccessibleorargmemonly_readonly(
-; CHECK-NEXT: [[TMP1:%.*]] = load i32, ptr [[ARG:%.*]], align 4
-; CHECK-NEXT: call void @fn_inaccessiblememonly() #[[ATTR16]]
+; CHECK-LABEL: define void @test_inaccessibleorargmemonly_readonly
+; CHECK-SAME: (ptr nocapture readonly [[ARG:%.*]]) #[[ATTR14:[0-9]+]] {
+; CHECK-NEXT: [[TMP1:%.*]] = load i32, ptr [[ARG]], align 4
+; CHECK-NEXT: call void @fn_inaccessiblememonly() #[[ATTR18]]
; CHECK-NEXT: ret void
;
load i32, ptr %arg
@@ -236,12 +253,80 @@ define void @test_inaccessibleorargmemonly_readonly(ptr %arg) {
define void @test_inaccessibleorargmemonly_readwrite(ptr %arg) {
; CHECK: Function Attrs: memory(argmem: write, inaccessiblemem: read)
-; CHECK-LABEL: @test_inaccessibleorargmemonly_readwrite(
-; CHECK-NEXT: store i32 0, ptr [[ARG:%.*]], align 4
-; CHECK-NEXT: call void @fn_inaccessiblememonly() #[[ATTR16]]
+; CHECK-LABEL: define void @test_inaccessibleorargmemonly_readwrite
+; CHECK-SAME: (ptr nocapture writeonly [[ARG:%.*]]) #[[ATTR15:[0-9]+]] {
+; CHECK-NEXT: store i32 0, ptr [[ARG]], align 4
+; CHECK-NEXT: call void @fn_inaccessiblememonly() #[[ATTR18]]
; CHECK-NEXT: ret void
;
store i32 0, ptr %arg
call void @fn_inaccessiblememonly() readonly
ret void
}
+
+define void @test_recursive_argmem_read(ptr %p) {
+; CHECK: Function Attrs: nofree nosync nounwind memory(argmem: read)
+; CHECK-LABEL: define void @test_recursive_argmem_read
+; CHECK-SAME: (ptr nocapture readonly [[P:%.*]]) #[[ATTR16:[0-9]+]] {
+; CHECK-NEXT: [[PVAL:%.*]] = load ptr, ptr [[P]], align 8
+; CHECK-NEXT: call void @test_recursive_argmem_read(ptr [[PVAL]])
+; CHECK-NEXT: ret void
+;
+ %pval = load ptr, ptr %p
+ call void @test_recursive_argmem_read(ptr %pval)
+ ret void
+}
+
+define void @test_recursive_argmem_readwrite(ptr %p) {
+; CHECK: Function Attrs: nofree nosync nounwind memory(argmem: readwrite)
+; CHECK-LABEL: define void @test_recursive_argmem_readwrite
+; CHECK-SAME: (ptr nocapture [[P:%.*]]) #[[ATTR17:[0-9]+]] {
+; CHECK-NEXT: [[PVAL:%.*]] = load ptr, ptr [[P]], align 8
+; CHECK-NEXT: store i32 0, ptr [[P]], align 4
+; CHECK-NEXT: call void @test_recursive_argmem_readwrite(ptr [[PVAL]])
+; CHECK-NEXT: ret void
+;
+ %pval = load ptr, ptr %p
+ store i32 0, ptr %p
+ call void @test_recursive_argmem_readwrite(ptr %pval)
+ ret void
+}
+
+define void @test_recursive_argmem_read_alloca(ptr %p) {
+; CHECK: Function Attrs: nofree nosync nounwind memory(argmem: read)
+; CHECK-LABEL: define void @test_recursive_argmem_read_alloca
+; CHECK-SAME: (ptr nocapture readonly [[P:%.*]]) #[[ATTR16]] {
+; CHECK-NEXT: [[A:%.*]] = alloca ptr, align 8
+; CHECK-NEXT: [[TMP1:%.*]] = load i32, ptr [[P]], align 4
+; CHECK-NEXT: call void @test_recursive_argmem_read_alloca(ptr [[A]])
+; CHECK-NEXT: ret void
+;
+ %a = alloca ptr
+ load i32, ptr %p
+ call void @test_recursive_argmem_read_alloca(ptr %a)
+ ret void
+}
+
+define void @test_scc_argmem_read_1(ptr %p) {
+; CHECK: Function Attrs: nofree nosync nounwind memory(argmem: read)
+; CHECK-LABEL: define void @test_scc_argmem_read_1
+; CHECK-SAME: (ptr nocapture readonly [[P:%.*]]) #[[ATTR16]] {
+; CHECK-NEXT: [[PVAL:%.*]] = load ptr, ptr [[P]], align 8
+; CHECK-NEXT: call void @test_scc_argmem_read_2(ptr [[PVAL]])
+; CHECK-NEXT: ret void
+;
+ %pval = load ptr, ptr %p
+ call void @test_scc_argmem_read_2(ptr %pval)
+ ret void
+}
+
+define void @test_scc_argmem_read_2(ptr %p) {
+; CHECK: Function Attrs: nofree nosync nounwind memory(argmem: read)
+; CHECK-LABEL: define void @test_scc_argmem_read_2
+; CHECK-SAME: (ptr nocapture readonly [[P:%.*]]) #[[ATTR16]] {
+; CHECK-NEXT: call void @test_scc_argmem_read_1(ptr [[P]])
+; CHECK-NEXT: ret void
+;
+ call void @test_scc_argmem_read_1(ptr %p)
+ ret void
+}
More information about the llvm-commits
mailing list