| # 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 |
| |
| ... |