[llvm] [LowerIFunc] Regenerate test checks (NFC) (PR #226151)
Nikita Popov via llvm-commits
llvm-commits at lists.llvm.org
Thu Sep 24 05:51:45 PDT 2026
https://github.com/nikic created https://github.com/llvm/llvm-project/pull/226151
None
>From 80d2b3d70a685422a3a2194acd19d44627ab3d3a Mon Sep 17 00:00:00 2001
From: Nikita Popov <npopov at redhat.com>
Date: Thu, 24 Sep 2026 14:51:04 +0200
Subject: [PATCH] [LowerIFunc] Regenerate test checks (NFC)
---
.../test/Transforms/LowerIFunc/ifunc-alias.ll | 26 +++++----
.../LowerIFunc/ifunc-nonsense-resolvers.ll | 15 ++---
.../LowerIFunc/ifunc-program-addrspace.ll | 28 +++++-----
.../test/Transforms/LowerIFunc/lower-ifunc.ll | 56 +++++++++++--------
4 files changed, 68 insertions(+), 57 deletions(-)
diff --git a/llvm/test/Transforms/LowerIFunc/ifunc-alias.ll b/llvm/test/Transforms/LowerIFunc/ifunc-alias.ll
index 6f0d970660224..64c6ab838d1e2 100644
--- a/llvm/test/Transforms/LowerIFunc/ifunc-alias.ll
+++ b/llvm/test/Transforms/LowerIFunc/ifunc-alias.ll
@@ -1,4 +1,4 @@
-; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals --include-generated-funcs
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals all --include-generated-funcs --version 6
; RUN: opt -S -passes=lower-ifunc < %s | FileCheck %s
define ptr @resolver() {
@@ -25,28 +25,30 @@ define float @call_alias_of_ifunc(i64 %arg) {
}
;.
; CHECK: @[[GLOB0:[0-9]+]] = internal global [3 x ptr] poison, align 8
-; CHECK: @[[LLVM_GLOBAL_CTORS:[a-zA-Z0-9_$"\\.-]+]] = appending global [1 x { i32, ptr, ptr }] [{ i32, ptr, ptr } { i32 10, ptr @[[GLOB1:[0-9]+]], ptr null }]
-; CHECK: @[[RESOLVER_ALIAS:[a-zA-Z0-9_$"\\.-]+]] = alias ptr (), ptr @resolver
-; CHECK: @[[IFUNC_ALIAS:[a-zA-Z0-9_$"\\.-]+]] = alias ptr (), ptr @resolver_alias
-; CHECK: @[[ALIAS_OF_IFUNC:[a-zA-Z0-9_$"\\.-]+]] = alias float (i64), ptr @ifunc_def
-; CHECK: @[[IFUNC_DEF:[a-zA-Z0-9_$"\\.-]+]] = ifunc float (i64), ptr @resolver
+; CHECK: @llvm.global_ctors = appending global [1 x { i32, ptr, ptr }] [{ i32, ptr, ptr } { i32 10, ptr @[[GLOB1:[0-9]+]], ptr null }]
+; CHECK: @resolver_alias = alias ptr (), ptr @resolver
+; CHECK: @ifunc_alias = alias ptr (), ptr @resolver_alias
+; CHECK: @alias_of_ifunc = alias float (i64), ptr @ifunc_def
+; CHECK: @ifunc_def = ifunc float (i64), ptr @resolver
;.
-; CHECK-LABEL: define {{[^@]+}}@resolver(
+; CHECK-LABEL: define ptr @resolver() {
; CHECK-NEXT: ret ptr inttoptr (i64 333 to ptr)
;
;
-; CHECK-LABEL: define {{[^@]+}}@call_ifunc_aliasee(
+; CHECK-LABEL: define float @call_ifunc_aliasee(
+; CHECK-SAME: i64 [[ARG:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = load ptr, ptr getelementptr inbounds ([3 x ptr], ptr @[[GLOB0]], i32 0, i32 1), align 8
-; CHECK-NEXT: [[CALL:%.*]] = call float [[TMP1]](i64 [[ARG:%.*]])
+; CHECK-NEXT: [[CALL:%.*]] = call float [[TMP1]](i64 [[ARG]])
; CHECK-NEXT: ret float [[CALL]]
;
;
-; CHECK-LABEL: define {{[^@]+}}@call_alias_of_ifunc(
-; CHECK-NEXT: [[CALL:%.*]] = call float @alias_of_ifunc(i64 [[ARG:%.*]])
+; CHECK-LABEL: define float @call_alias_of_ifunc(
+; CHECK-SAME: i64 [[ARG:%.*]]) {
+; CHECK-NEXT: [[CALL:%.*]] = call float @alias_of_ifunc(i64 [[ARG]])
; CHECK-NEXT: ret float [[CALL]]
;
;
-; CHECK-LABEL: define {{[^@]+}}@1(
+; CHECK-LABEL: define internal void @1() {
; CHECK-NEXT: [[TMP1:%.*]] = call ptr @resolver()
; CHECK-NEXT: store ptr [[TMP1]], ptr @[[GLOB0]], align 8
; CHECK-NEXT: [[TMP2:%.*]] = call ptr @resolver()
diff --git a/llvm/test/Transforms/LowerIFunc/ifunc-nonsense-resolvers.ll b/llvm/test/Transforms/LowerIFunc/ifunc-nonsense-resolvers.ll
index a6bed0e434d56..7857e3f3974cc 100644
--- a/llvm/test/Transforms/LowerIFunc/ifunc-nonsense-resolvers.ll
+++ b/llvm/test/Transforms/LowerIFunc/ifunc-nonsense-resolvers.ll
@@ -1,4 +1,4 @@
-; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals --include-generated-funcs
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals all --include-generated-funcs --version 6
; RUN: opt -S -passes=lower-ifunc < %s | FileCheck %s
@ifunc_with_arg = ifunc void (), ptr @resolver_with_arg
@@ -16,19 +16,20 @@ define void @call_with_arg() {
}
;.
; CHECK: @[[GLOB0:[0-9]+]] = internal global [1 x ptr] poison, align 8
-; CHECK: @[[LLVM_GLOBAL_CTORS:[a-zA-Z0-9_$"\\.-]+]] = appending global [1 x { i32, ptr, ptr }] [{ i32, ptr, ptr } { i32 10, ptr @[[GLOB1:[0-9]+]], ptr null }]
-; CHECK: @[[IFUNC_WITH_ARG:[a-zA-Z0-9_$"\\.-]+]] = ifunc void (), ptr @resolver_with_arg
+; CHECK: @llvm.global_ctors = appending global [1 x { i32, ptr, ptr }] [{ i32, ptr, ptr } { i32 10, ptr @[[GLOB1:[0-9]+]], ptr null }]
+; CHECK: @ifunc_with_arg = ifunc void (), ptr @resolver_with_arg
;.
-; CHECK-LABEL: define {{[^@]+}}@resolver_with_arg(
-; CHECK-NEXT: [[CAST:%.*]] = inttoptr i64 [[ARG:%.*]] to ptr
+; CHECK-LABEL: define ptr @resolver_with_arg(
+; CHECK-SAME: i64 [[ARG:%.*]]) {
+; CHECK-NEXT: [[CAST:%.*]] = inttoptr i64 [[ARG]] to ptr
; CHECK-NEXT: ret ptr [[CAST]]
;
;
-; CHECK-LABEL: define {{[^@]+}}@call_with_arg(
+; CHECK-LABEL: define void @call_with_arg() {
; CHECK-NEXT: call void @ifunc_with_arg()
; CHECK-NEXT: ret void
;
;
-; CHECK-LABEL: define {{[^@]+}}@1(
+; CHECK-LABEL: define internal void @1() {
; CHECK-NEXT: ret void
;
diff --git a/llvm/test/Transforms/LowerIFunc/ifunc-program-addrspace.ll b/llvm/test/Transforms/LowerIFunc/ifunc-program-addrspace.ll
index ffbf0ecd51f28..79e4b625942cd 100644
--- a/llvm/test/Transforms/LowerIFunc/ifunc-program-addrspace.ll
+++ b/llvm/test/Transforms/LowerIFunc/ifunc-program-addrspace.ll
@@ -1,4 +1,4 @@
-; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals --include-generated-funcs
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals all --include-generated-funcs --version 6
; RUN: opt -S -passes=lower-ifunc < %s | FileCheck %s
target datalayout = "P1"
@@ -44,28 +44,28 @@ define void @load_ifuncs() addrspace(0) {
ret void
}
;.
-; CHECK: @[[CONSTANT_INIT_USER_ADDRSPACE1:[a-zA-Z0-9_$"\\.-]+]] = global ptr addrspace(1) @ifunc_used_in_constantinit_as1
-; CHECK: @[[CONSTANT_INIT_USER_ADDRSPACE1_CAST:[a-zA-Z0-9_$"\\.-]+]] = global ptr addrspace(1) addrspacecast (ptr @ifunc_used_in_constantinit_as1_cast to ptr addrspace(1))
-; CHECK: @[[CONSTANT_INIT_USER_ADDRSPACE0_CAST:[a-zA-Z0-9_$"\\.-]+]] = global ptr addrspacecast (ptr addrspace(1) @ifunc_used_in_constantinit_as0_cast to ptr)
+; CHECK: @constant_init_user_addrspace1 = global ptr addrspace(1) @ifunc_used_in_constantinit_as1
+; CHECK: @constant_init_user_addrspace1_cast = global ptr addrspace(1) addrspacecast (ptr @ifunc_used_in_constantinit_as1_cast to ptr addrspace(1))
+; CHECK: @constant_init_user_addrspace0_cast = global ptr addrspacecast (ptr addrspace(1) @ifunc_used_in_constantinit_as0_cast to ptr)
; CHECK: @[[GLOB0:[0-9]+]] = internal global [6 x ptr addrspace(1)] poison, align 8
-; CHECK: @[[LLVM_GLOBAL_CTORS:[a-zA-Z0-9_$"\\.-]+]] = appending global [1 x { i32, ptr addrspace(1), ptr }] [{ i32, ptr addrspace(1), ptr } { i32 10, ptr addrspace(1) @[[GLOB1:[0-9]+]], ptr null }]
-; CHECK: @[[IFUNC_USED_IN_CONSTANTINIT_AS1:[a-zA-Z0-9_$"\\.-]+]] = ifunc i32 (double), ptr addrspace(1) @resolver1_in_1
-; CHECK: @[[IFUNC_USED_IN_CONSTANTINIT_AS1_CAST:[a-zA-Z0-9_$"\\.-]+]] = ifunc i32 (double), ptr @resolver1_in_0
-; CHECK: @[[IFUNC_USED_IN_CONSTANTINIT_AS0_CAST:[a-zA-Z0-9_$"\\.-]+]] = ifunc i32 (double), ptr addrspace(1) @resolver0_in_1
+; CHECK: @llvm.global_ctors = appending global [1 x { i32, ptr addrspace(1), ptr }] [{ i32, ptr addrspace(1), ptr } { i32 10, ptr addrspace(1) @[[GLOB1:[0-9]+]], ptr null }]
+; CHECK: @ifunc_used_in_constantinit_as1 = ifunc i32 (double), ptr addrspace(1) @resolver1_in_1
+; CHECK: @ifunc_used_in_constantinit_as1_cast = ifunc i32 (double), ptr @resolver1_in_0
+; CHECK: @ifunc_used_in_constantinit_as0_cast = ifunc i32 (double), ptr addrspace(1) @resolver0_in_1
;.
-; CHECK-LABEL: define {{[^@]+}}@resolver1_in_0(
+; CHECK-LABEL: define ptr addrspace(1) @resolver1_in_0() addrspace(0) {
; CHECK-NEXT: ret ptr addrspace(1) inttoptr (i64 123 to ptr addrspace(1))
;
;
-; CHECK-LABEL: define {{[^@]+}}@resolver1_in_1(
+; CHECK-LABEL: define ptr addrspace(1) @resolver1_in_1() addrspace(1) {
; CHECK-NEXT: ret ptr addrspace(1) inttoptr (i64 456 to ptr addrspace(1))
;
;
-; CHECK-LABEL: define {{[^@]+}}@resolver0_in_1(
+; CHECK-LABEL: define ptr @resolver0_in_1() addrspace(1) {
; CHECK-NEXT: ret ptr inttoptr (i64 789 to ptr)
;
;
-; CHECK-LABEL: define {{[^@]+}}@call_ifuncs(
+; CHECK-LABEL: define void @call_ifuncs() addrspace(0) {
; CHECK-NEXT: [[TMP1:%.*]] = load ptr addrspace(1), ptr getelementptr inbounds ([6 x ptr addrspace(1)], ptr @[[GLOB0]], i32 0, i32 3), align 8
; CHECK-NEXT: [[TMP2:%.*]] = addrspacecast ptr addrspace(1) [[TMP1]] to ptr
; CHECK-NEXT: call addrspace(0) void [[TMP2]]()
@@ -76,14 +76,14 @@ define void @load_ifuncs() addrspace(0) {
; CHECK-NEXT: ret void
;
;
-; CHECK-LABEL: define {{[^@]+}}@load_ifuncs(
+; CHECK-LABEL: define void @load_ifuncs() addrspace(0) {
; CHECK-NEXT: [[LOAD0:%.*]] = load volatile ptr addrspace(1), ptr @constant_init_user_addrspace1, align 8
; CHECK-NEXT: [[LOAD1:%.*]] = load volatile ptr addrspace(1), ptr @constant_init_user_addrspace1_cast, align 8
; CHECK-NEXT: [[LOAD2:%.*]] = load volatile ptr, ptr @constant_init_user_addrspace0_cast, align 8
; CHECK-NEXT: ret void
;
;
-; CHECK-LABEL: define {{[^@]+}}@1(
+; CHECK-LABEL: define internal void @1() addrspace(1) {
; CHECK-NEXT: [[TMP1:%.*]] = call addrspace(1) ptr addrspace(1) @resolver1_in_1()
; CHECK-NEXT: store ptr addrspace(1) [[TMP1]], ptr @[[GLOB0]], align 8
; CHECK-NEXT: [[TMP2:%.*]] = call addrspace(0) ptr addrspace(1) @resolver1_in_0()
diff --git a/llvm/test/Transforms/LowerIFunc/lower-ifunc.ll b/llvm/test/Transforms/LowerIFunc/lower-ifunc.ll
index 95fbe5b5beb1f..26fb18ae86534 100644
--- a/llvm/test/Transforms/LowerIFunc/lower-ifunc.ll
+++ b/llvm/test/Transforms/LowerIFunc/lower-ifunc.ll
@@ -1,4 +1,4 @@
-; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals --include-generated-funcs
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals all --include-generated-funcs --version 6
; RUN: opt -S -passes=lower-ifunc < %s | FileCheck %s
@initialized_with_ifunc = global ptr @ifunc_constant_initializer_user
@@ -91,33 +91,34 @@ define i32 @call_used_in_initializer(double %arg) {
ret i32 %ret
}
;.
-; CHECK: @[[INITIALIZED_WITH_IFUNC:[a-zA-Z0-9_$"\\.-]+]] = global ptr @ifunc_constant_initializer_user
+; CHECK: @initialized_with_ifunc = global ptr @ifunc_constant_initializer_user
; CHECK: @[[GLOB0:[0-9]+]] = internal global [8 x ptr] poison, align 8
-; CHECK: @[[LLVM_GLOBAL_CTORS:[a-zA-Z0-9_$"\\.-]+]] = appending global [1 x { i32, ptr, ptr }] [{ i32, ptr, ptr } { i32 10, ptr @[[GLOB1:[0-9]+]], ptr null }]
-; CHECK: @[[IFUNC_NONVOID_1:[a-zA-Z0-9_$"\\.-]+]] = ifunc i32 (double), ptr @resolver5
-; CHECK: @[[IFUNC_CONSTANT_INITIALIZER_USER:[a-zA-Z0-9_$"\\.-]+]] = ifunc i32 (double), ptr @resolver5
+; CHECK: @llvm.global_ctors = appending global [1 x { i32, ptr, ptr }] [{ i32, ptr, ptr } { i32 10, ptr @[[GLOB1:[0-9]+]], ptr null }]
+; CHECK: @ifunc_nonvoid_1 = ifunc i32 (double), ptr @resolver5
+; CHECK: @ifunc_constant_initializer_user = ifunc i32 (double), ptr @resolver5
;.
-; CHECK-LABEL: define {{[^@]+}}@resolver1(
+; CHECK-LABEL: define ptr @resolver1() {
; CHECK-NEXT: ret ptr inttoptr (i64 123 to ptr)
;
;
-; CHECK-LABEL: define {{[^@]+}}@resolver2(
+; CHECK-LABEL: define ptr @resolver2() {
; CHECK-NEXT: ret ptr inttoptr (i64 456 to ptr)
;
;
-; CHECK-LABEL: define {{[^@]+}}@resolver3(
+; CHECK-LABEL: define ptr @resolver3() {
; CHECK-NEXT: ret ptr inttoptr (i64 789 to ptr)
;
;
-; CHECK-LABEL: define {{[^@]+}}@resolver4(
+; CHECK-LABEL: define ptr @resolver4() {
; CHECK-NEXT: ret ptr inttoptr (i64 999 to ptr)
;
;
-; CHECK-LABEL: define {{[^@]+}}@resolver5(
+; CHECK-LABEL: define ptr @resolver5() {
; CHECK-NEXT: ret ptr inttoptr (i64 420 to ptr)
;
;
-; CHECK-LABEL: define {{[^@]+}}@call_ifunc(
+; CHECK-LABEL: define void @call_ifunc(
+; CHECK-SAME: ptr [[PTR:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = load ptr, ptr @[[GLOB0]], align 8
; CHECK-NEXT: call void [[TMP1]]()
; CHECK-NEXT: [[TMP2:%.*]] = load ptr, ptr getelementptr inbounds ([8 x ptr], ptr @[[GLOB0]], i32 0, i32 1), align 8
@@ -125,52 +126,59 @@ define i32 @call_used_in_initializer(double %arg) {
; CHECK-NEXT: ret void
;
;
-; CHECK-LABEL: define {{[^@]+}}@store_ifunc_2(
+; CHECK-LABEL: define void @store_ifunc_2(
+; CHECK-SAME: ptr [[PTR:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = load ptr, ptr getelementptr inbounds ([8 x ptr], ptr @[[GLOB0]], i32 0, i32 1), align 8
-; CHECK-NEXT: store ptr [[TMP1]], ptr [[PTR:%.*]], align 8
+; CHECK-NEXT: store ptr [[TMP1]], ptr [[PTR]], align 8
; CHECK-NEXT: [[TMP2:%.*]] = load ptr, ptr getelementptr inbounds ([8 x ptr], ptr @[[GLOB0]], i32 0, i32 1), align 8
; CHECK-NEXT: store ptr [[PTR]], ptr [[TMP2]], align 8
; CHECK-NEXT: ret void
;
;
-; CHECK-LABEL: define {{[^@]+}}@call_ifunc_is_argument(
+; CHECK-LABEL: define void @call_ifunc_is_argument(
+; CHECK-SAME: ptr [[PTR:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = load ptr, ptr getelementptr inbounds ([8 x ptr], ptr @[[GLOB0]], i32 0, i32 1), align 8
; CHECK-NEXT: call void @other_func(ptr [[TMP1]])
; CHECK-NEXT: ret void
;
;
-; CHECK-LABEL: define {{[^@]+}}@call_ifunc_both_call_argument(
+; CHECK-LABEL: define void @call_ifunc_both_call_argument(
+; CHECK-SAME: ptr [[PTR:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = load ptr, ptr getelementptr inbounds ([8 x ptr], ptr @[[GLOB0]], i32 0, i32 4), align 8
; CHECK-NEXT: [[TMP2:%.*]] = load ptr, ptr getelementptr inbounds ([8 x ptr], ptr @[[GLOB0]], i32 0, i32 4), align 8
; CHECK-NEXT: call void [[TMP1]](ptr [[TMP1]])
; CHECK-NEXT: ret void
;
;
-; CHECK-LABEL: define {{[^@]+}}@call_ifunc_nonvoid(
+; CHECK-LABEL: define i32 @call_ifunc_nonvoid(
+; CHECK-SAME: double [[ARG:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = load ptr, ptr getelementptr inbounds ([8 x ptr], ptr @[[GLOB0]], i32 0, i32 5), align 8
-; CHECK-NEXT: [[RET:%.*]] = call i32 [[TMP1]](double [[ARG:%.*]])
+; CHECK-NEXT: [[RET:%.*]] = call i32 [[TMP1]](double [[ARG]])
; CHECK-NEXT: ret i32 [[RET]]
;
;
-; CHECK-LABEL: define {{[^@]+}}@call_different_type_ifunc_nonvoid(
-; CHECK-NEXT: [[CAST_ARG:%.*]] = bitcast double [[ARG:%.*]] to i64
+; CHECK-LABEL: define float @call_different_type_ifunc_nonvoid(
+; CHECK-SAME: double [[ARG:%.*]]) {
+; CHECK-NEXT: [[CAST_ARG:%.*]] = bitcast double [[ARG]] to i64
; CHECK-NEXT: [[TMP1:%.*]] = load ptr, ptr getelementptr inbounds ([8 x ptr], ptr @[[GLOB0]], i32 0, i32 5), align 8
; CHECK-NEXT: [[RET:%.*]] = call float [[TMP1]](i64 [[CAST_ARG]])
; CHECK-NEXT: ret float [[RET]]
;
;
-; CHECK-LABEL: define {{[^@]+}}@call_addrspacecast_callee_type_ifunc_nonvoid(
-; CHECK-NEXT: [[RET:%.*]] = call addrspace(1) i32 addrspacecast (ptr @ifunc_nonvoid_1 to ptr addrspace(1))(double [[ARG:%.*]])
+; CHECK-LABEL: define i32 @call_addrspacecast_callee_type_ifunc_nonvoid(
+; CHECK-SAME: double [[ARG:%.*]]) {
+; CHECK-NEXT: [[RET:%.*]] = call addrspace(1) i32 addrspacecast (ptr @ifunc_nonvoid_1 to ptr addrspace(1))(double [[ARG]])
; CHECK-NEXT: ret i32 [[RET]]
;
;
-; CHECK-LABEL: define {{[^@]+}}@call_used_in_initializer(
+; CHECK-LABEL: define i32 @call_used_in_initializer(
+; CHECK-SAME: double [[ARG:%.*]]) {
; CHECK-NEXT: [[TMP1:%.*]] = load ptr, ptr getelementptr inbounds ([8 x ptr], ptr @[[GLOB0]], i32 0, i32 7), align 8
-; CHECK-NEXT: [[RET:%.*]] = call i32 [[TMP1]](double [[ARG:%.*]])
+; CHECK-NEXT: [[RET:%.*]] = call i32 [[TMP1]](double [[ARG]])
; CHECK-NEXT: ret i32 [[RET]]
;
;
-; CHECK-LABEL: define {{[^@]+}}@1(
+; CHECK-LABEL: define internal void @1() {
; CHECK-NEXT: [[TMP1:%.*]] = call ptr @resolver1()
; CHECK-NEXT: store ptr [[TMP1]], ptr @[[GLOB0]], align 8
; CHECK-NEXT: [[TMP2:%.*]] = call ptr @resolver1()
More information about the llvm-commits
mailing list