--- /dev/null
+# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
+# RUN: llc -mtriple=wasm32-unknown-unknown -mattr=+multivalue -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
+
+...