1; RUN: llc < %s -asm-verbose=false -enable-emscripten-sjlj -wasm-keep-registers | FileCheck %s 2 3target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128" 4target triple = "wasm32-unknown-unknown" 5 6%struct.__jmp_buf_tag = type { [6 x i32], i32, [32 x i32] } 7 8declare i32 @setjmp(%struct.__jmp_buf_tag*) #0 9declare {i32, i32} @returns_struct() 10 11; Test the combination of backend legalization of large return types and the 12; Emscripten sjlj transformation 13define {i32, i32} @legalized_to_sret() { 14entry: 15 %env = alloca [1 x %struct.__jmp_buf_tag], align 16 16 %arraydecay = getelementptr inbounds [1 x %struct.__jmp_buf_tag], [1 x %struct.__jmp_buf_tag]* %env, i32 0, i32 0 17 %call = call i32 @setjmp(%struct.__jmp_buf_tag* %arraydecay) #0 18 ; This is the function pointer to pass to invoke. 19 ; It needs to be the first argument (that's what we're testing here) 20 ; CHECK: i32.const $push[[FPTR:[0-9]+]]=, returns_struct 21 ; This is the sret stack region (as an offset from the stack pointer local) 22 ; CHECK: call invoke_vi, $pop[[FPTR]] 23 %ret = call {i32, i32} @returns_struct() 24 ret {i32, i32} %ret 25} 26 27attributes #0 = { returns_twice } 28