107 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py2# RUN: llc -mtriple=wasm32-unknown-unknown -mattr=+multivalue -target-abi=experimental-mv -run-pass=wasm-reg-stackify -verify-machineinstrs %s -o - | FileCheck %s3 4--- |5 target datalayout = "e-m:e-p:32:32-p10:8:8-p20:8:8-i64:64-n32:64-S128-ni:1:10:20"6 target triple = "wasm32-unknown-wasi"7 8 declare { i32, i32 } @foo() #09 10 define i32 @dont_move_call_past_first_add() #0 {11 entry:12 %foo1 = call { i32, i32 } @foo()13 %foo2 = call { i32, i32 } @foo()14 %foo1_0 = extractvalue { i32, i32 } %foo2, 015 %foo1_1 = extractvalue { i32, i32 } %foo2, 116 %foo2_0 = extractvalue { i32, i32 } %foo1, 017 %a = add i32 %foo2_0, %foo1_118 %b = add i32 %a, %foo1_019 ret i32 %b20 }21 22 attributes #0 = { "target-features"="+multivalue,+mutable-globals,+sign-ext," }23 24 !llvm.module.flags = !{!0, !1, !2}25 26 !0 = !{i32 1, !"wasm-feature-multivalue", i32 43}27 !1 = !{i32 1, !"wasm-feature-mutable-globals", i32 43}28 !2 = !{i32 1, !"wasm-feature-sign-ext", i32 43}29 30...31---32name: dont_move_call_past_first_add33alignment: 134exposesReturnsTwice: false35legalized: false36regBankSelected: false37selected: false38failedISel: false39tracksRegLiveness: true40hasWinCFI: false41callsEHReturn: false42callsUnwindInit: false43hasEHContTarget: false44hasEHScopes: false45hasEHFunclets: false46failsVerification: false47tracksDebugUserValues: false48registers:49 - { id: 0, class: i32, preferred-register: '' }50 - { id: 1, class: i32, preferred-register: '' }51 - { id: 2, class: i32, preferred-register: '' }52 - { id: 3, class: i32, preferred-register: '' }53 - { id: 4, class: i32, preferred-register: '' }54 - { id: 5, class: i32, preferred-register: '' }55liveins:56 - { reg: '$arguments', virtual-reg: '' }57frameInfo:58 isFrameAddressTaken: false59 isReturnAddressTaken: false60 hasStackMap: false61 hasPatchPoint: false62 stackSize: 063 offsetAdjustment: 064 maxAlignment: 165 adjustsStack: false66 hasCalls: true67 stackProtector: ''68 functionContext: ''69 maxCallFrameSize: 070 cvBytesOfCalleeSavedRegisters: 071 hasOpaqueSPAdjustment: false72 hasVAStart: false73 hasMustTailInVarArgFunc: false74 hasTailCall: false75 localFrameSize: 076 savePoint: []77 restorePoint: []78fixedStack: []79stack: []80callSites: []81debugValueSubstitutions: []82constants: []83machineFunctionInfo:84 params: [ ]85 results: [ i32 ]86 isCFGStackified: false87 wasmEHFuncInfo: {}88body: |89 bb.0.entry:90 liveins: $arguments91 92 ; CHECK-LABEL: name: dont_move_call_past_first_add93 ; CHECK: liveins: $arguments, $value_stack94 ; CHECK-NEXT: {{ $}}95 ; CHECK-NEXT: %0:i32, dead %1:i32 = CALL @foo, implicit-def dead $arguments, implicit $sp32, implicit $sp64, implicit-def dead $arguments, implicit $sp32, implicit $sp6496 ; 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 $sp6497 ; CHECK-NEXT: [[ADD_I32_:%[0-9]+]]:i32 = ADD_I32 %0, [[CALL1]], implicit-def dead $arguments, implicit-def $value_stack, implicit $value_stack98 ; CHECK-NEXT: [[ADD_I32_1:%[0-9]+]]:i32 = ADD_I32 [[CALL]], [[ADD_I32_]], implicit-def dead $arguments, implicit-def $value_stack, implicit $value_stack99 ; CHECK-NEXT: RETURN [[ADD_I32_1]], implicit-def dead $arguments, implicit-def $value_stack, implicit $value_stack100 %0:i32, dead %1:i32 = CALL @foo, implicit-def dead $arguments, implicit $sp32, implicit $sp64, implicit-def dead $arguments, implicit $sp32, implicit $sp64101 %2:i32, %3:i32 = CALL @foo, implicit-def dead $arguments, implicit $sp32, implicit $sp64, implicit-def dead $arguments, implicit $sp32, implicit $sp64102 %4:i32 = ADD_I32 %0, %3, implicit-def dead $arguments103 %5:i32 = ADD_I32 %4, %2, implicit-def dead $arguments104 RETURN %5, implicit-def dead $arguments105 106...107