; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -asm-verbose=false -wasm-disable-explicit-locals -wasm-keep-registers | FileCheck %s

target datalayout = "e-m:e-p:32:32-i64:64-n32:64-S128"
target triple = "wasm32-unknown-unknown"

; Return multiple values, some of which will be legalized into multiple values.
declare { i64, i128, i192, i128, i64 } @return_multi_multi()

; Test returning a single value from @return_multi_multi.

define i64 @test0() {
; CHECK-LABEL: test0
; CHECK: call    	return_multi_multi
; CHECK: i64.load	$0=, 8($1)
; CHECK: local.copy	$push8=, $0
  %t0 = call { i64, i128, i192, i128, i64 } @return_multi_multi()
  %t1 = extractvalue { i64, i128, i192, i128, i64 } %t0, 0
  ret i64 %t1
}

define i128 @test1() {
; CHECK-LABEL: test1
; CHECK: call    	return_multi_multi
; CHECK: i64.load	$1=, 16($2)
; CHECK: i32.const	$push0=, 24
; CHECK: i32.add 	$push1=, $2, $pop0
; CHECK: i64.load	$push2=, 0($pop1)
; CHECK: i64.store	8($0), $pop2
; CHECK: i64.store	0($0), $1
  %t0 = call { i64, i128, i192, i128, i64 } @return_multi_multi()
  %t1 = extractvalue { i64, i128, i192, i128, i64 } %t0, 1
  ret i128 %t1
}

define i192 @test2() {
; CHECK-LABEL: test2
; CHECK: call    	return_multi_multi
; CHECK: i32.const	$push0=, 40
; CHECK: i32.add 	$push1=, $3, $pop0
; CHECK: i64.load	$1=, 0($pop1)
; CHECK: i64.load	$2=, 32($3)
; CHECK: i32.const	$push2=, 48
; CHECK: i32.add 	$push3=, $3, $pop2
; CHECK: i64.load	$push4=, 0($pop3)
; CHECK: i64.store	16($0), $pop4
; CHECK: i64.store	0($0), $2
; CHECK: i64.store	8($0), $1
  %t0 = call { i64, i128, i192, i128, i64 } @return_multi_multi()
  %t1 = extractvalue { i64, i128, i192, i128, i64 } %t0, 2
  ret i192 %t1
}

define i128 @test3() {
; CHECK-LABEL: test3
; CHECK: call    	return_multi_multi
; CHECK: i64.load	$1=, 56($2)
; CHECK: i32.const	$push0=, 64
; CHECK: i32.add 	$push1=, $2, $pop0
; CHECK: i64.load	$push2=, 0($pop1)
; CHECK: i64.store	8($0), $pop2
; CHECK: i64.store	0($0), $1
  %t0 = call { i64, i128, i192, i128, i64 } @return_multi_multi()
  %t1 = extractvalue { i64, i128, i192, i128, i64 } %t0, 3
  ret i128 %t1
}

define i64 @test4() {
; CHECK-LABEL: test4
; CHECK: call    	return_multi_multi
; CHECK: i64.load	$0=, 72($1)
; CHECK: local.copy	$push8=, $0
  %t0 = call { i64, i128, i192, i128, i64 } @return_multi_multi()
  %t1 = extractvalue { i64, i128, i192, i128, i64 } %t0, 4
  ret i64 %t1
}

; Test returning multiple values from @return_multi_multi.

define { i64, i128 } @test5() {
; CHECK-LABEL: test5
; CHECK: call    	return_multi_multi
; CHECK: i32.const	$push10=, 8
; CHECK: i32.add 	$push11=, $3, $pop10
; CHECK: i32.const	$push0=, 16
; CHECK: i32.add 	$push1=, $pop11, $pop0
; CHECK: i64.load	$1=, 0($pop1)
; CHECK: i64.load	$2=, 8($3)
; CHECK: i64.load	$push2=, 16($3)
; CHECK: i64.store	8($0), $pop2
; CHECK: i32.const	$push12=, 16
; CHECK: i32.add 	$push3=, $0, $pop12
; CHECK: i64.store	0($pop3), $1
; CHECK: i64.store	0($0), $2
  %t0 = call { i64, i128, i192, i128, i64 } @return_multi_multi()
  %r0 = extractvalue { i64, i128, i192, i128, i64 } %t0, 0
  %r1 = extractvalue { i64, i128, i192, i128, i64 } %t0, 1
  %s0 = insertvalue { i64, i128 } undef, i64 %r0, 0
  %s1 = insertvalue { i64, i128 } %s0, i128 %r1, 1
  ret { i64, i128 } %s1
}

define { i128, i128 } @test6() {
; CHECK-LABEL: test6
; CHECK: call    	return_multi_multi
; CHECK: i32.const	$push0=, 24
; CHECK: i32.add 	$push1=, $4, $pop0
; CHECK: i64.load	$1=, 0($pop1)
; CHECK: i32.const	$push2=, 64
; CHECK: i32.add 	$push3=, $4, $pop2
; CHECK: i64.load	$2=, 0($pop3)
; CHECK: i64.load	$3=, 16($4)
; CHECK: i64.load	$push4=, 56($4)
; CHECK: i64.store	16($0), $pop4
; CHECK: i32.const	$push5=, 24
; CHECK: i32.add 	$push6=, $0, $pop5
; CHECK: i64.store	0($pop6), $2
; CHECK: i64.store	0($0), $3
; CHECK: i64.store	8($0), $1
  %t0 = call { i64, i128, i192, i128, i64 } @return_multi_multi()
  %r1 = extractvalue { i64, i128, i192, i128, i64 } %t0, 1
  %r3 = extractvalue { i64, i128, i192, i128, i64 } %t0, 3
  %s0 = insertvalue { i128, i128 } undef, i128 %r1, 0
  %s1 = insertvalue { i128, i128 } %s0, i128 %r3, 1
  ret { i128, i128 } %s1
}

define { i64, i192 } @test7() {
; CHECK-LABEL: test7
; CHECK: call    	return_multi_multi
; CHECK: i32.const	$push2=, 40
; CHECK: i32.add 	$push3=, $4, $pop2
; CHECK: i64.load	$1=, 0($pop3)
; CHECK: i64.load	$2=, 8($4)
; CHECK: i64.load	$3=, 32($4)
; CHECK: i32.const	$push0=, 24
; CHECK: i32.add 	$push1=, $0, $pop0
; CHECK: i32.const	$push4=, 48
; CHECK: i32.add 	$push5=, $4, $pop4
; CHECK: i64.load	$push6=, 0($pop5)
; CHECK: i64.store	0($pop1), $pop6
; CHECK: i64.store	8($0), $3
; CHECK: i32.const	$push7=, 16
; CHECK: i32.add 	$push8=, $0, $pop7
; CHECK: i64.store	0($pop8), $1
; CHECK: i64.store	0($0), $2
  %t0 = call { i64, i128, i192, i128, i64 } @return_multi_multi()
  %r0 = extractvalue { i64, i128, i192, i128, i64 } %t0, 0
  %r2 = extractvalue { i64, i128, i192, i128, i64 } %t0, 2
  %s0 = insertvalue { i64, i192 } undef, i64 %r0, 0
  %s1 = insertvalue { i64, i192 } %s0, i192 %r2, 1
  ret { i64, i192 } %s1
}

define { i128, i192, i128, i64 } @test8() {
; CHECK-LABEL: test8
; CHECK: call    	return_multi_multi
; CHECK: i32.const	$push0=, 64
; CHECK: i32.add 	$push1=, $8, $pop0
; CHECK: i64.load	$1=, 0($pop1)
; CHECK: i32.const	$push20=, 8
; CHECK: i32.add 	$push21=, $8, $pop20
; CHECK: i32.const	$push2=, 32
; CHECK: i32.add 	$push3=, $pop21, $pop2
; CHECK: i64.load	$2=, 0($pop3)
; CHECK: i32.const	$push4=, 48
; CHECK: i32.add 	$push5=, $8, $pop4
; CHECK: i64.load	$3=, 0($pop5)
; CHECK: i32.const	$push6=, 24
; CHECK: i32.add 	$push7=, $8, $pop6
; CHECK: i64.load	$4=, 0($pop7)
; CHECK: i64.load	$5=, 8($8)
; CHECK: i64.load	$6=, 56($8)
; CHECK: i64.load	$7=, 32($8)
; CHECK: i64.load	$push8=, 16($8)
; CHECK: i64.store	40($0), $pop8
; CHECK: i32.const	$push9=, 48
; CHECK: i32.add 	$push10=, $0, $pop9
; CHECK: i64.store	0($pop10), $4
; CHECK: i32.const	$push22=, 32
; CHECK: i32.add 	$push11=, $0, $pop22
; CHECK: i64.store	0($pop11), $3
; CHECK: i64.store	16($0), $7
; CHECK: i32.const	$push12=, 24
; CHECK: i32.add 	$push13=, $0, $pop12
; CHECK: i64.store	0($pop13), $2
; CHECK: i64.store	0($0), $6
; CHECK: i64.store	8($0), $1
; CHECK: i64.store	56($0), $5
  %t0 = call { i64, i128, i192, i128, i64 } @return_multi_multi()
  %r0 = extractvalue { i64, i128, i192, i128, i64 } %t0, 0
  %r1 = extractvalue { i64, i128, i192, i128, i64 } %t0, 1
  %r2 = extractvalue { i64, i128, i192, i128, i64 } %t0, 2
  %r3 = extractvalue { i64, i128, i192, i128, i64 } %t0, 3
  %s0 = insertvalue { i128, i192, i128, i64 } undef, i128 %r3, 0
  %s1 = insertvalue { i128, i192, i128, i64 } %s0, i192 %r2, 1
  %s2 = insertvalue { i128, i192, i128, i64 } %s1, i128 %r1, 2
  %s3 = insertvalue { i128, i192, i128, i64 } %s2, i64 %r0, 3
  ret { i128, i192, i128, i64 } %s3
}