derek.holloway
7502bf64a4
CodeQL / Analyze (actions) (push) Canceled after 0s
CodeQL / Analyze (python) (push) Canceled after 0s
pre-commit / pre-commit (push) Canceled after 0s
Multi-Arch CI / setup (push) Canceled after 0s
Publish build_manylinux_x86_64 images / publish_build_manylinux_x86_64 (push) Canceled after 0s
Setup (Multi-Arch) / setup (push) Canceled after 0s
Multi-Arch CI / Linux::${{ fromJSON(needs.setup.outputs.linux_build_config || '{}').build_variant_label || 'skip' }} (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish no_rocm_image_ubi10 image / publish_no_rocm_image_ubi10 (push) Canceled after 0s
Multi-Arch CI / Windows::${{ fromJSON(needs.setup.outputs.windows_build_config || '{}').build_variant_label || 'skip' }} (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Multi-Arch CI / Manifest Diff (push) Canceled after 0s
TheRock Manifest Diff Report / Generate Manifest Diff Report (push) Canceled after 0s
Multi-Arch CI / CI Summary (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04 (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04_ocl_rt images / publish_no_rocm_image_ubuntu24_04_ocl_rt (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_rocgdb (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04_rocgdb images / publish_no_rocm_image_ubuntu24_04_rocgdb (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_ocl_rt (push) Canceled after 0s
Publish TheRock Docker image / build-and-push-image (push) Canceled after 0s
Unit Tests / Unit Tests :: ubuntu-24.04 (push) Canceled after 0s
Unit Tests / Unit Tests :: windows-2022 (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_media (push) Canceled after 0s
Unit Tests / Unit Tests Summary (push) Canceled after 0s
Publish no_rocm_image_ubuntu24_04 images / publish_no_rocm_image_ubuntu24_04_openmpi (push) Canceled after 0s
227 lines
11 KiB
LLVM
227 lines
11 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: -p --function-signature --check-globals
|
|
; RUN: opt -mtriple=wasm32-unknown-unknown -S --passes=expand-variadics --expand-variadics-override=optimize < %s | FileCheck %s --check-prefixes=OPT
|
|
; RUN: opt -mtriple=wasm32-unknown-unknown -S --passes=expand-variadics --expand-variadics-override=lowering < %s | FileCheck %s --check-prefixes=ABI
|
|
; REQUIRES: webassembly-registered-target
|
|
|
|
; Examples are variadic functions that return the first or the second of an int and a double
|
|
; Split the functions into an internal equivalent that takes a va_list and a ABI preserving wrapper
|
|
|
|
define i32 @variadic_int_double_get_firstz(...) !prof !0 {
|
|
; OPT-LABEL: define {{[^@]+}}@variadic_int_double_get_firstz(...) !prof !0 {
|
|
; OPT-NEXT: entry:
|
|
; OPT-NEXT: %va_start = alloca ptr, align 4
|
|
; OPT-NEXT: call void @llvm.lifetime.start.p0(ptr %va_start)
|
|
; OPT-NEXT: call void @llvm.va_start.p0(ptr %va_start)
|
|
; OPT-NEXT: %0 = load ptr, ptr %va_start, align 4
|
|
; OPT-NEXT: %1 = call i32 @variadic_int_double_get_firstz.valist(ptr %0)
|
|
; OPT-NEXT: call void @llvm.lifetime.end.p0(ptr %va_start)
|
|
; OPT-NEXT: ret i32 %1
|
|
;
|
|
; ABI-LABEL: define {{[^@]+}}@variadic_int_double_get_firstz(ptr %varargs) !prof !0 {
|
|
; ABI-NEXT: entry:
|
|
; ABI-NEXT: %va = alloca ptr, align 4
|
|
; ABI-NEXT: store ptr %varargs, ptr %va, align 4
|
|
; ABI-NEXT: %argp.cur = load ptr, ptr %va, align 4
|
|
; ABI-NEXT: %argp.next = getelementptr inbounds i8, ptr %argp.cur, i32 4
|
|
; ABI-NEXT: store ptr %argp.next, ptr %va, align 4
|
|
; ABI-NEXT: %0 = load i32, ptr %argp.cur, align 4
|
|
; ABI-NEXT: ret i32 %0
|
|
;
|
|
entry:
|
|
%va = alloca ptr, align 4
|
|
call void @llvm.va_start.p0(ptr nonnull %va)
|
|
%argp.cur = load ptr, ptr %va, align 4
|
|
%argp.next = getelementptr inbounds i8, ptr %argp.cur, i32 4
|
|
store ptr %argp.next, ptr %va, align 4
|
|
%0 = load i32, ptr %argp.cur, align 4
|
|
call void @llvm.va_end.p0(ptr %va)
|
|
ret i32 %0
|
|
}
|
|
|
|
; CHECK-LABEL: define i32 @variadic_int_double_get_firstz(...) {
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: %va_list = alloca ptr, align 4
|
|
; CHECK-NEXT: call void @llvm.va_start.p0(ptr %va_list)
|
|
; CHECK-NEXT: %0 = tail call i32 @variadic_int_double_get_firstz.valist(ptr %va_list)
|
|
; CHECK-NEXT: ret i32 %0
|
|
; CHECK-NEXT: }
|
|
|
|
; CHECK-LABEL: define internal i32 @variadic_int_double_get_firstz.valist(ptr noalias %varargs) {
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: %va = alloca ptr, align 4
|
|
; CHECK-NEXT: store ptr %varargs, ptr %va, align 4
|
|
; CHECK-NEXT: %argp.cur = load ptr, ptr %va, align 4
|
|
; CHECK-NEXT: %argp.next = getelementptr inbounds i8, ptr %argp.cur, i32 4
|
|
; CHECK-NEXT: store ptr %argp.next, ptr %va, align 4
|
|
; CHECK-NEXT: %0 = load i32, ptr %argp.cur, align 4
|
|
; CHECK-NEXT: ret i32 %0
|
|
; CHECK-NEXT: }
|
|
|
|
define double @variadic_int_double_get_secondz(...) {
|
|
; OPT-LABEL: define {{[^@]+}}@variadic_int_double_get_secondz(...) {
|
|
; OPT-NEXT: entry:
|
|
; OPT-NEXT: %va_start = alloca ptr, align 4
|
|
; OPT-NEXT: call void @llvm.lifetime.start.p0(ptr %va_start)
|
|
; OPT-NEXT: call void @llvm.va_start.p0(ptr %va_start)
|
|
; OPT-NEXT: %0 = load ptr, ptr %va_start, align 4
|
|
; OPT-NEXT: %1 = call double @variadic_int_double_get_secondz.valist(ptr %0)
|
|
; OPT-NEXT: call void @llvm.lifetime.end.p0(ptr %va_start)
|
|
; OPT-NEXT: ret double %1
|
|
;
|
|
; ABI-LABEL: define {{[^@]+}}@variadic_int_double_get_secondz(ptr %varargs) {
|
|
; ABI-NEXT: entry:
|
|
; ABI-NEXT: %va = alloca ptr, align 4
|
|
; ABI-NEXT: store ptr %varargs, ptr %va, align 4
|
|
; ABI-NEXT: %argp.cur = load ptr, ptr %va, align 4
|
|
; ABI-NEXT: %argp.next = getelementptr inbounds i8, ptr %argp.cur, i32 4
|
|
; ABI-NEXT: %argp.next2 = getelementptr inbounds i8, ptr %argp.cur, i32 12
|
|
; ABI-NEXT: store ptr %argp.next2, ptr %va, align 4
|
|
; ABI-NEXT: %0 = load double, ptr %argp.next, align 4
|
|
; ABI-NEXT: ret double %0
|
|
;
|
|
entry:
|
|
%va = alloca ptr, align 4
|
|
call void @llvm.va_start.p0(ptr nonnull %va)
|
|
%argp.cur = load ptr, ptr %va, align 4
|
|
%argp.next = getelementptr inbounds i8, ptr %argp.cur, i32 4
|
|
%argp.next2 = getelementptr inbounds i8, ptr %argp.cur, i32 12
|
|
store ptr %argp.next2, ptr %va, align 4
|
|
%0 = load double, ptr %argp.next, align 4
|
|
call void @llvm.va_end.p0(ptr %va)
|
|
ret double %0
|
|
}
|
|
|
|
; CHECK-LABEL: define double @variadic_int_double_get_secondz(...) {
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: %va_list = alloca ptr, align 4
|
|
; CHECK-NEXT: call void @llvm.va_start.p0(ptr %va_list)
|
|
; CHECK-NEXT: %0 = tail call double @variadic_int_double_get_secondz.valist(ptr %va_list)
|
|
; CHECK-NEXT: ret double %0
|
|
; CHECK-NEXT: }
|
|
|
|
; CHECK-LABEL: define internal double @variadic_int_double_get_secondz.valist(ptr noalias %varargs) {
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: %va = alloca ptr, align 4
|
|
; CHECK-NEXT: store ptr %varargs, ptr %va, align 4
|
|
; CHECK-NEXT: %argp.cur = load ptr, ptr %va, align 4
|
|
; CHECK-NEXT: %argp.next = getelementptr inbounds i8, ptr %argp.cur, i32 4
|
|
; CHECK-NEXT: %argp.next2 = getelementptr inbounds i8, ptr %argp.cur, i32 12
|
|
; CHECK-NEXT: store ptr %argp.next2, ptr %va, align 4
|
|
; CHECK-NEXT: %0 = load double, ptr %argp.next, align 4
|
|
; CHECK-NEXT: ret double %0
|
|
; CHECK-NEXT: }
|
|
|
|
|
|
; CHECK-LABEL: @variadic_can_get_firstIidEEbT_T0_(i32 %x, double %y) {
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: %vararg_buffer = alloca %variadic_can_get_firstIidEEbT_T0_.vararg, align 16
|
|
; CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr %vararg_buffer)
|
|
; CHECK-NEXT: %0 = getelementptr inbounds %variadic_can_get_firstIidEEbT_T0_.vararg, ptr %vararg_buffer, i32 0, i32 0
|
|
; CHECK-NEXT: store i32 %x, ptr %0, align 4
|
|
; CHECK-NEXT: %1 = getelementptr inbounds %variadic_can_get_firstIidEEbT_T0_.vararg, ptr %vararg_buffer, i32 0, i32 1
|
|
; CHECK-NEXT: store double %y, ptr %1, align 4
|
|
; CHECK-NEXT: %call = call i32 @variadic_int_double_get_firstz.valist(ptr %vararg_buffer)
|
|
; CHECK-NEXT: call void @llvm.lifetime.end.p0(ptr %vararg_buffer)
|
|
; CHECK-NEXT: %cmp.i = icmp eq i32 %call, %x
|
|
; CHECK-NEXT: ret i1 %cmp.i
|
|
; CHECK-NEXT: }
|
|
|
|
define zeroext i1 @variadic_can_get_firstIidEEbT_T0_(i32 %x, double %y) {
|
|
; OPT-LABEL: define {{[^@]+}}@variadic_can_get_firstIidEEbT_T0_(i32 %x, double %y) {
|
|
; OPT-NEXT: entry:
|
|
; OPT-NEXT: %vararg_buffer = alloca %variadic_can_get_firstIidEEbT_T0_.vararg, align 16
|
|
; OPT-NEXT: call void @llvm.lifetime.start.p0(ptr %vararg_buffer)
|
|
; OPT-NEXT: %0 = getelementptr inbounds nuw %variadic_can_get_firstIidEEbT_T0_.vararg, ptr %vararg_buffer, i32 0, i32 0
|
|
; OPT-NEXT: store i32 %x, ptr %0, align 4
|
|
; OPT-NEXT: %1 = getelementptr inbounds nuw %variadic_can_get_firstIidEEbT_T0_.vararg, ptr %vararg_buffer, i32 0, i32 2
|
|
; OPT-NEXT: store double %y, ptr %1, align 8
|
|
; OPT-NEXT: %call = call i32 @variadic_int_double_get_firstz.valist(ptr %vararg_buffer)
|
|
; OPT-NEXT: call void @llvm.lifetime.end.p0(ptr %vararg_buffer)
|
|
; OPT-NEXT: %cmp.i = icmp eq i32 %call, %x
|
|
; OPT-NEXT: ret i1 %cmp.i
|
|
;
|
|
; ABI-LABEL: define {{[^@]+}}@variadic_can_get_firstIidEEbT_T0_(i32 %x, double %y) {
|
|
; ABI-NEXT: entry:
|
|
; ABI-NEXT: %vararg_buffer = alloca %variadic_can_get_firstIidEEbT_T0_.vararg, align 16
|
|
; ABI-NEXT: call void @llvm.lifetime.start.p0(ptr %vararg_buffer)
|
|
; ABI-NEXT: %0 = getelementptr inbounds nuw %variadic_can_get_firstIidEEbT_T0_.vararg, ptr %vararg_buffer, i32 0, i32 0
|
|
; ABI-NEXT: store i32 %x, ptr %0, align 4
|
|
; ABI-NEXT: %1 = getelementptr inbounds nuw %variadic_can_get_firstIidEEbT_T0_.vararg, ptr %vararg_buffer, i32 0, i32 2
|
|
; ABI-NEXT: store double %y, ptr %1, align 8
|
|
; ABI-NEXT: %call = call i32 @variadic_int_double_get_firstz(ptr %vararg_buffer)
|
|
; ABI-NEXT: call void @llvm.lifetime.end.p0(ptr %vararg_buffer)
|
|
; ABI-NEXT: %cmp.i = icmp eq i32 %call, %x
|
|
; ABI-NEXT: ret i1 %cmp.i
|
|
;
|
|
entry:
|
|
%call = call i32 (...) @variadic_int_double_get_firstz(i32 %x, double %y)
|
|
%cmp.i = icmp eq i32 %call, %x
|
|
ret i1 %cmp.i
|
|
}
|
|
|
|
; CHECK-LABEL: @variadic_can_get_secondIidEEbT_T0_(i32 %x, double %y) {
|
|
; CHECK-NEXT: entry:
|
|
; CHECK-NEXT: %vararg_buffer = alloca %variadic_can_get_secondIidEEbT_T0_.vararg, align 16
|
|
; CHECK-NEXT: call void @llvm.lifetime.start.p0(ptr %vararg_buffer)
|
|
; CHECK-NEXT: %0 = getelementptr inbounds %variadic_can_get_secondIidEEbT_T0_.vararg, ptr %vararg_buffer, i32 0, i32 0
|
|
; CHECK-NEXT: store i32 %x, ptr %0, align 4
|
|
; CHECK-NEXT: %1 = getelementptr inbounds %variadic_can_get_secondIidEEbT_T0_.vararg, ptr %vararg_buffer, i32 0, i32 1
|
|
; CHECK-NEXT: store double %y, ptr %1, align 4
|
|
; CHECK-NEXT: %call = call double @variadic_int_double_get_secondz.valist(ptr %vararg_buffer)
|
|
; CHECK-NEXT: call void @llvm.lifetime.end.p0(ptr %vararg_buffer)
|
|
; CHECK-NEXT: %cmp.i = fcmp oeq double %call, %y
|
|
; CHECK-NEXT: ret i1 %cmp.i
|
|
; CHECK-NEXT: }
|
|
|
|
define zeroext i1 @variadic_can_get_secondIidEEbT_T0_(i32 %x, double %y) {
|
|
; OPT-LABEL: define {{[^@]+}}@variadic_can_get_secondIidEEbT_T0_(i32 %x, double %y) {
|
|
; OPT-NEXT: entry:
|
|
; OPT-NEXT: %vararg_buffer = alloca %variadic_can_get_secondIidEEbT_T0_.vararg, align 16
|
|
; OPT-NEXT: call void @llvm.lifetime.start.p0(ptr %vararg_buffer)
|
|
; OPT-NEXT: %0 = getelementptr inbounds nuw %variadic_can_get_secondIidEEbT_T0_.vararg, ptr %vararg_buffer, i32 0, i32 0
|
|
; OPT-NEXT: store i32 %x, ptr %0, align 4
|
|
; OPT-NEXT: %1 = getelementptr inbounds nuw %variadic_can_get_secondIidEEbT_T0_.vararg, ptr %vararg_buffer, i32 0, i32 2
|
|
; OPT-NEXT: store double %y, ptr %1, align 8
|
|
; OPT-NEXT: %call = call double @variadic_int_double_get_secondz.valist(ptr %vararg_buffer)
|
|
; OPT-NEXT: call void @llvm.lifetime.end.p0(ptr %vararg_buffer)
|
|
; OPT-NEXT: %cmp.i = fcmp oeq double %call, %y
|
|
; OPT-NEXT: ret i1 %cmp.i
|
|
;
|
|
; ABI-LABEL: define {{[^@]+}}@variadic_can_get_secondIidEEbT_T0_(i32 %x, double %y) {
|
|
; ABI-NEXT: entry:
|
|
; ABI-NEXT: %vararg_buffer = alloca %variadic_can_get_secondIidEEbT_T0_.vararg, align 16
|
|
; ABI-NEXT: call void @llvm.lifetime.start.p0(ptr %vararg_buffer)
|
|
; ABI-NEXT: %0 = getelementptr inbounds nuw %variadic_can_get_secondIidEEbT_T0_.vararg, ptr %vararg_buffer, i32 0, i32 0
|
|
; ABI-NEXT: store i32 %x, ptr %0, align 4
|
|
; ABI-NEXT: %1 = getelementptr inbounds nuw %variadic_can_get_secondIidEEbT_T0_.vararg, ptr %vararg_buffer, i32 0, i32 2
|
|
; ABI-NEXT: store double %y, ptr %1, align 8
|
|
; ABI-NEXT: %call = call double @variadic_int_double_get_secondz(ptr %vararg_buffer)
|
|
; ABI-NEXT: call void @llvm.lifetime.end.p0(ptr %vararg_buffer)
|
|
; ABI-NEXT: %cmp.i = fcmp oeq double %call, %y
|
|
; ABI-NEXT: ret i1 %cmp.i
|
|
;
|
|
entry:
|
|
%call = call double (...) @variadic_int_double_get_secondz(i32 %x, double %y)
|
|
%cmp.i = fcmp oeq double %call, %y
|
|
ret i1 %cmp.i
|
|
}
|
|
|
|
; Declaration unchanged
|
|
; CHECK: declare void @variadic_without_callers(...)
|
|
declare void @variadic_without_callers(...)
|
|
|
|
declare void @llvm.va_start.p0(ptr)
|
|
declare void @llvm.va_end.p0(ptr)
|
|
|
|
!0 = !{!"function_entry_count", i64 1000}
|
|
;.
|
|
; OPT: attributes #0 = { nocallback nofree nosync nounwind willreturn }
|
|
; OPT: attributes #1 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
|
|
;.
|
|
; ABI: attributes #0 = { nocallback nofree nosync nounwind willreturn memory(argmem: readwrite) }
|
|
;.
|
|
; OPT: !0 = !{!"function_entry_count", i64 1000}
|
|
;.
|
|
; ABI: !0 = !{!"function_entry_count", i64 1000}
|
|
;.
|