124 lines · plain
1; RUN: llc < %s -asm-verbose=false -disable-wasm-fallthrough-return-opt -wasm-disable-explicit-locals -wasm-keep-registers -verify-machineinstrs -mcpu=mvp | FileCheck %s2; RUN: llc < %s -asm-verbose=false -disable-wasm-fallthrough-return-opt -wasm-disable-explicit-locals -wasm-keep-registers -verify-machineinstrs -mcpu=mvp -fast-isel | FileCheck %s3 4target triple = "wasm32-unknown-unknown"5 6%SmallStruct = type { i32 }7%OddStruct = type { i32, i8, i32 }8%AlignedStruct = type { double, double }9%BigStruct = type { double, double, double, double, double, double, double, double, double, double, double, i8, i8, i8 }10%EmptyStruct = type { }11 12declare void @ext_func(ptr)13declare void @ext_func_empty(ptr byval(%EmptyStruct))14declare void @ext_byval_func(ptr byval(%SmallStruct))15declare void @ext_byval_func_align8(ptr byval(%SmallStruct) align 8)16declare void @ext_byval_func_alignedstruct(ptr byval(%AlignedStruct))17declare void @ext_byval_func_empty(ptr byval(%EmptyStruct))18 19; CHECK-LABEL: byval_arg:20define void @byval_arg(ptr %ptr) {21 ; CHECK: .functype byval_arg (i32) -> ()22 ; Subtract 16 from SP (SP is 16-byte aligned)23 ; CHECK-NEXT: global.get $push[[L2:.+]]=, __stack_pointer24 ; CHECK-NEXT: i32.const $push[[L3:.+]]=, 1625 ; CHECK-NEXT: i32.sub $push[[L11:.+]]=, $pop[[L2]], $pop[[L3]]26 ; Ensure SP is stored back before the call27 ; CHECK-NEXT: local.tee $push[[L10:.+]]=, $[[SP:.+]]=, $pop[[L11]]{{$}}28 ; CHECK-NEXT: global.set __stack_pointer, $pop[[L10]]{{$}}29 ; Copy the SmallStruct argument to the stack (SP+12, original SP-4)30 ; CHECK-NEXT: i32.load $push[[L0:.+]]=, 0($0)31 ; CHECK-NEXT: i32.store 12($[[SP]]), $pop[[L0]]32 ; Pass a pointer to the stack slot to the function33 ; CHECK-NEXT: i32.const $push[[L5:.+]]=, 12{{$}}34 ; CHECK-NEXT: i32.add $push[[ARG:.+]]=, $[[SP]], $pop[[L5]]{{$}}35 ; CHECK-NEXT: call ext_byval_func, $pop[[ARG]]{{$}}36 call void @ext_byval_func(ptr byval(%SmallStruct) %ptr)37 ; Restore the stack38 ; CHECK-NEXT: i32.const $push[[L6:.+]]=, 1639 ; CHECK-NEXT: i32.add $push[[L8:.+]]=, $[[SP]], $pop[[L6]]40 ; CHECK-NEXT: global.set __stack_pointer, $pop[[L8]]41 ; CHECK-NEXT: return42 ret void43}44 45; CHECK-LABEL: byval_arg_align8:46define void @byval_arg_align8(ptr %ptr) {47 ; CHECK: .functype byval_arg_align8 (i32) -> ()48 ; Don't check the entire SP sequence, just enough to get the alignment.49 ; CHECK: i32.const $push[[L1:.+]]=, 1650 ; CHECK-NEXT: i32.sub $push[[L11:.+]]=, {{.+}}, $pop[[L1]]51 ; CHECK-NEXT: local.tee $push[[L10:.+]]=, $[[SP:.+]]=, $pop[[L11]]{{$}}52 ; CHECK-NEXT: global.set __stack_pointer, $pop[[L10]]{{$}}53 ; Copy the SmallStruct argument to the stack (SP+8, original SP-8)54 ; CHECK-NEXT: i32.load $push[[L0:.+]]=, 0($0){{$}}55 ; CHECK-NEXT: i32.store 8($[[SP]]), $pop[[L0]]{{$}}56 ; Pass a pointer to the stack slot to the function57 ; CHECK-NEXT: i32.const $push[[L5:.+]]=, 8{{$}}58 ; CHECK-NEXT: i32.add $push[[ARG:.+]]=, $[[SP]], $pop[[L5]]{{$}}59 ; CHECK-NEXT: call ext_byval_func_align8, $pop[[ARG]]{{$}}60 call void @ext_byval_func_align8(ptr byval(%SmallStruct) align 8 %ptr)61 ret void62}63 64; CHECK-LABEL: byval_arg_double:65define void @byval_arg_double(ptr %ptr) {66 ; CHECK: .functype byval_arg_double (i32) -> ()67 ; Subtract 16 from SP (SP is 16-byte aligned)68 ; CHECK: i32.const $push[[L1:.+]]=, 1669 ; CHECK-NEXT: i32.sub $push[[L14:.+]]=, {{.+}}, $pop[[L1]]70 ; CHECK-NEXT: local.tee $push[[L13:.+]]=, $[[SP:.+]]=, $pop[[L14]]71 ; CHECK-NEXT: global.set __stack_pointer, $pop[[L13]]72 ; Copy the AlignedStruct argument to the stack (SP+0, original SP-16)73 ; Just check the last load/store pair of the memcpy74 ; CHECK: i64.load $push[[L4:.+]]=, 0($0)75 ; CHECK-NEXT: i64.store 0($[[SP]]), $pop[[L4]]76 ; Pass a pointer to the stack slot to the function77 ; CHECK-NEXT: call ext_byval_func_alignedstruct, $[[SP]]78 tail call void @ext_byval_func_alignedstruct(ptr byval(%AlignedStruct) %ptr)79 ret void80}81 82; CHECK-LABEL: byval_param:83define void @byval_param(ptr byval(%SmallStruct) align 32 %ptr) {84 ; CHECK: .functype byval_param (i32) -> ()85 ; %ptr is just a pointer to a struct, so pass it directly through86 ; CHECK: call ext_func, $087 call void @ext_func(ptr %ptr)88 ret void89}90 91; CHECK-LABEL: byval_empty_caller:92define void @byval_empty_caller(ptr %ptr) {93 ; CHECK: .functype byval_empty_caller (i32) -> ()94 ; CHECK: call ext_byval_func_empty, $095 call void @ext_byval_func_empty(ptr byval(%EmptyStruct) %ptr)96 ret void97}98 99; CHECK-LABEL: byval_empty_callee:100define void @byval_empty_callee(ptr byval(%EmptyStruct) %ptr) {101 ; CHECK: .functype byval_empty_callee (i32) -> ()102 ; CHECK: call ext_func_empty, $0103 call void @ext_func_empty(ptr %ptr)104 ret void105}106 107; Call memcpy for "big" byvals.108; CHECK-LABEL: big_byval:109; CHECK: global.get $push[[L2:.+]]=, __stack_pointer{{$}}110; CHECK-NEXT: i32.const $push[[L3:.+]]=, 131072111; CHECK-NEXT: i32.sub $push[[L11:.+]]=, $pop[[L2]], $pop[[L3]]112; CHECK-NEXT: local.tee $push[[L10:.+]]=, $[[SP:.+]]=, $pop[[L11]]{{$}}113; CHECK-NEXT: global.set __stack_pointer, $pop[[L10]]{{$}}114; CHECK-NEXT: i32.const $push[[L0:.+]]=, 131072115; CHECK-NEXT: call $push[[L11:.+]]=, memcpy, $[[SP]], ${{.+}}, $pop{{.+}}116; CHECK-NEXT: local.tee $push[[L9:.+]]=, $[[SP:.+]]=, $pop[[L11]]{{$}}117; CHECK-NEXT: call big_byval_callee,118%big = type [131072 x i8]119declare void @big_byval_callee(ptr byval(%big) align 1)120define void @big_byval(ptr byval(%big) align 1 %x) {121 call void @big_byval_callee(ptr byval(%big) align 1 %x)122 ret void123}124