# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
# RUN: llc -mtriple=wasm32-unknown-unknown -mattr=+multivalue -target-abi=experimental-mv -run-pass=wasm-reg-stackify -verify-machineinstrs %s -o - | FileCheck %s

--- |
  target datalayout = "e-m:e-p:32:32-p10:8:8-p20:8:8-i64:64-n32:64-S128-ni:1:10:20"
  target triple = "wasm32-unknown-wasi"

  declare { i32, i32 } @foo() #0

  define i32 @dont_move_call_past_first_add() #0 {
  entry:
    %foo1 = call { i32, i32 } @foo()
    %foo2 = call { i32, i32 } @foo()
    %foo1_0 = extractvalue { i32, i32 } %foo2, 0
    %foo1_1 = extractvalue { i32, i32 } %foo2, 1
    %foo2_0 = extractvalue { i32, i32 } %foo1, 0
    %a = add i32 %foo2_0, %foo1_1
    %b = add i32 %a, %foo1_0
    ret i32 %b
  }

  attributes #0 = { "target-features"="+multivalue,+mutable-globals,+sign-ext," }

  !llvm.module.flags = !{!0, !1, !2}

  !0 = !{i32 1, !"wasm-feature-multivalue", i32 43}
  !1 = !{i32 1, !"wasm-feature-mutable-globals", i32 43}
  !2 = !{i32 1, !"wasm-feature-sign-ext", i32 43}

...
---
name:            dont_move_call_past_first_add
alignment:       1
exposesReturnsTwice: false
legalized:       false
regBankSelected: false
selected:        false
failedISel:      false
tracksRegLiveness: true
hasWinCFI:       false
callsEHReturn:   false
callsUnwindInit: false
hasEHCatchret:   false
hasEHScopes:     false
hasEHFunclets:   false
failsVerification: false
tracksDebugUserValues: false
registers:
  - { id: 0, class: i32, preferred-register: '' }
  - { id: 1, class: i32, preferred-register: '' }
  - { id: 2, class: i32, preferred-register: '' }
  - { id: 3, class: i32, preferred-register: '' }
  - { id: 4, class: i32, preferred-register: '' }
  - { id: 5, class: i32, preferred-register: '' }
liveins:
  - { reg: '$arguments', virtual-reg: '' }
frameInfo:
  isFrameAddressTaken: false
  isReturnAddressTaken: false
  hasStackMap:     false
  hasPatchPoint:   false
  stackSize:       0
  offsetAdjustment: 0
  maxAlignment:    1
  adjustsStack:    false
  hasCalls:        true
  stackProtector:  ''
  functionContext: ''
  maxCallFrameSize: 0
  cvBytesOfCalleeSavedRegisters: 0
  hasOpaqueSPAdjustment: false
  hasVAStart:      false
  hasMustTailInVarArgFunc: false
  hasTailCall:     false
  localFrameSize:  0
  savePoint:       ''
  restorePoint:    ''
fixedStack:      []
stack:           []
callSites:       []
debugValueSubstitutions: []
constants:       []
machineFunctionInfo:
  params:          [  ]
  results:         [ i32 ]
  isCFGStackified: false
  wasmEHFuncInfo:  {}
body:             |
  bb.0.entry:
    liveins: $arguments

    ; CHECK-LABEL: name: dont_move_call_past_first_add
    ; CHECK: liveins: $arguments, $value_stack
    ; CHECK-NEXT: {{  $}}
    ; CHECK-NEXT: %0:i32, dead %1:i32 = CALL @foo, implicit-def dead $arguments, implicit $sp32, implicit $sp64, implicit-def dead $arguments, implicit $sp32, implicit $sp64
    ; CHECK-NEXT: [[CALL:%[0-9]+]]:i32, [[CALL1:%[0-9]+]]:i32 = CALL @foo, implicit-def dead $arguments, implicit $sp32, implicit $sp64, implicit-def dead $arguments, implicit $sp32, implicit $sp64
    ; CHECK-NEXT: [[ADD_I32_:%[0-9]+]]:i32 = ADD_I32 %0, [[CALL1]], implicit-def dead $arguments, implicit-def $value_stack, implicit $value_stack
    ; CHECK-NEXT: [[ADD_I32_1:%[0-9]+]]:i32 = ADD_I32 [[CALL]], [[ADD_I32_]], implicit-def dead $arguments, implicit-def $value_stack, implicit $value_stack
    ; CHECK-NEXT: RETURN [[ADD_I32_1]], implicit-def dead $arguments, implicit-def $value_stack, implicit $value_stack
    %0:i32, dead %1:i32 = CALL @foo, implicit-def dead $arguments, implicit $sp32, implicit $sp64, implicit-def dead $arguments, implicit $sp32, implicit $sp64
    %2:i32, %3:i32 = CALL @foo, implicit-def dead $arguments, implicit $sp32, implicit $sp64, implicit-def dead $arguments, implicit $sp32, implicit $sp64
    %4:i32 = ADD_I32 %0, %3, implicit-def dead $arguments
    %5:i32 = ADD_I32 %4, %2, implicit-def dead $arguments
    RETURN %5, implicit-def dead $arguments

...