; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --check-globals --include-generated-funcs
; RUN: opt -S -passes=lower-ifunc < %s | FileCheck %s
@initialized_with_ifunc = global ptr @ifunc_constant_initializer_user
@ifunc_1 = ifunc void (), ptr @resolver1
@ifunc_2 = ifunc void (), ptr @resolver1
; Keep one with no users
@ifunc_no_users = ifunc float (i64), ptr @resolver2
@ifunc7 = ifunc float (i64), ptr @resolver3
@ifunc_ptr_arg = ifunc void (ptr), ptr @resolver4
@ifunc_nonvoid_0 = ifunc i32 (double), ptr @resolver5
@ifunc_nonvoid_1 = ifunc i32 (double), ptr @resolver5
@ifunc_constant_initializer_user = ifunc i32 (double), ptr @resolver5
define ptr @resolver1() {
ret ptr inttoptr (i64 123 to ptr)
}
define ptr @resolver2() {
ret ptr inttoptr (i64 456 to ptr)
}
define ptr @resolver3() {
ret ptr inttoptr (i64 789 to ptr)
}
define ptr @resolver4() {
ret ptr inttoptr (i64 999 to ptr)
}
define ptr @resolver5() {
ret ptr inttoptr (i64 420 to ptr)
}
; Test call to ifunc
define void @call_ifunc(ptr %ptr) {
call void @ifunc_1()
call void @ifunc_2()
ret void
}
; Test value use of ifunc
define void @store_ifunc_2(ptr %ptr) {
store ptr @ifunc_2, ptr %ptr
store ptr %ptr, ptr @ifunc_2
ret void
}
declare void @other_func(ptr)
; Check a call user, but not as the call operand
define void @call_ifunc_is_argument(ptr %ptr) {
call void @other_func(ptr @ifunc_2)
ret void
}
; Check a call user calling the ifunc, and using the ifunc as an argument
define void @call_ifunc_both_call_argument(ptr %ptr) {
call void @ifunc_ptr_arg(ptr @ifunc_ptr_arg)
ret void
}
define i32 @call_ifunc_nonvoid(double %arg) {
%ret = call i32 @ifunc_nonvoid_0(double %arg)
ret i32 %ret
}
; Use site is different than ifunc function type
define float @call_different_type_ifunc_nonvoid(double %arg) {
%cast.arg = bitcast double %arg to i64
%ret = call float(i64) @ifunc_nonvoid_0(i64 %cast.arg)
ret float %ret
}
; FIXME: Should be able to expand this, but we miss the call
; instruction in the constexpr cast.
define i32 @call_addrspacecast_callee_type_ifunc_nonvoid(double %arg) {
%ret = call addrspace(1) i32 addrspacecast (ptr @ifunc_nonvoid_1 to ptr addrspace(1)) (double %arg)
ret i32 %ret
}
define i32 @call_used_in_initializer(double %arg) {
%ret = call i32 @ifunc_constant_initializer_user(double %arg)
ret i32 %ret
}
;.
; CHECK: @[[INITIALIZED_WITH_IFUNC:[a-zA-Z0-9_$"\\.-]+]] = 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-LABEL: define {{[^@]+}}@resolver1(
; CHECK-NEXT: ret ptr inttoptr (i64 123 to ptr)
;
;
; CHECK-LABEL: define {{[^@]+}}@resolver2(
; CHECK-NEXT: ret ptr inttoptr (i64 456 to ptr)
;
;
; CHECK-LABEL: define {{[^@]+}}@resolver3(
; CHECK-NEXT: ret ptr inttoptr (i64 789 to ptr)
;
;
; CHECK-LABEL: define {{[^@]+}}@resolver4(
; CHECK-NEXT: ret ptr inttoptr (i64 999 to ptr)
;
;
; CHECK-LABEL: define {{[^@]+}}@resolver5(
; CHECK-NEXT: ret ptr inttoptr (i64 420 to ptr)
;
;
; CHECK-LABEL: define {{[^@]+}}@call_ifunc(
; 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
; CHECK-NEXT: call void [[TMP2]]()
; CHECK-NEXT: ret void
;
;
; CHECK-LABEL: define {{[^@]+}}@store_ifunc_2(
; 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: [[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-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-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-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 i32 [[RET]]
;
;
; CHECK-LABEL: define {{[^@]+}}@call_different_type_ifunc_nonvoid(
; 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-NEXT: ret i32 [[RET]]
;
;
; CHECK-LABEL: define {{[^@]+}}@call_used_in_initializer(
; 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 i32 [[RET]]
;
;
; CHECK-LABEL: define {{[^@]+}}@1(
; CHECK-NEXT: [[TMP1:%.*]] = call ptr @resolver1()
; CHECK-NEXT: store ptr [[TMP1]], ptr @[[GLOB0]], align 8
; CHECK-NEXT: [[TMP2:%.*]] = call ptr @resolver1()
; CHECK-NEXT: store ptr [[TMP2]], ptr getelementptr inbounds ([8 x ptr], ptr @[[GLOB0]], i32 0, i32 1), align 8
; CHECK-NEXT: [[TMP3:%.*]] = call ptr @resolver2()
; CHECK-NEXT: store ptr [[TMP3]], ptr getelementptr inbounds ([8 x ptr], ptr @[[GLOB0]], i32 0, i32 2), align 8
; CHECK-NEXT: [[TMP4:%.*]] = call ptr @resolver3()
; CHECK-NEXT: store ptr [[TMP4]], ptr getelementptr inbounds ([8 x ptr], ptr @[[GLOB0]], i32 0, i32 3), align 8
; CHECK-NEXT: [[TMP5:%.*]] = call ptr @resolver4()
; CHECK-NEXT: store ptr [[TMP5]], ptr getelementptr inbounds ([8 x ptr], ptr @[[GLOB0]], i32 0, i32 4), align 8
; CHECK-NEXT: [[TMP6:%.*]] = call ptr @resolver5()
; CHECK-NEXT: store ptr [[TMP6]], ptr getelementptr inbounds ([8 x ptr], ptr @[[GLOB0]], i32 0, i32 5), align 8
; CHECK-NEXT: [[TMP7:%.*]] = call ptr @resolver5()
; CHECK-NEXT: store ptr [[TMP7]], ptr getelementptr inbounds ([8 x ptr], ptr @[[GLOB0]], i32 0, i32 6), align 8
; CHECK-NEXT: [[TMP8:%.*]] = call ptr @resolver5()
; CHECK-NEXT: store ptr [[TMP8]], ptr getelementptr inbounds ([8 x ptr], ptr @[[GLOB0]], i32 0, i32 7), align 8
; CHECK-NEXT: ret void
;
Codebase Browser
llvm