llvm/test/CodeGen/X86/statepoint-invoke-ra-inline-spiller.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -x mir -run-pass=simple-register-coalescing,greedy -verify-machineinstrs < %s  | FileCheck %s
   3
   4 ## Check that Inline Spiller cannot insert spill after last insertion point.
   5
   6 --- |
   7   ; ModuleID = 'inline-spiller'
   8   source_filename = "inline-spiller.ll"
   9   target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128"
  10   target triple = "x86_64-unknown-linux-gnu"
  11
  12   define void @hoge() gc "statepoint-example" personality i32* ()* @widget {
  13   bb:
  14     %tmp = call token (i64, i32, void (i8 addrspace(1)*, i8 addrspace(1)*)*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidp1i8p1i8f(i64 2, i32 5, void (i8 addrspace(1)*, i8 addrspace(1)*)* nonnull @quux, i32 2, i32 0, i8 addrspace(1)* nonnull null, i8 addrspace(1)* undef, i32 0, i32 0) [ "deopt"(i32 0, i32 2, i32 0, i32 43, i32 0, i32 2, i32 0, i32 7, i8* null, i32 7, i8* null, i32 10, i32 1, i32 6, i32 0, i32 4, i32 1, i32 0, i8 addrspace(1)* null, i32 7, i8* null, i32 0, i8 addrspace(1)* null, i32 7, i8* null, i32 0, i8 addrspace(1)* null, i32 2, i32 4, i32 5, i32 0, i32 2, i32 0, i32 7, i8* null, i32 7, i8* null), "gc-live"(i8 addrspace(1)* null, i8 addrspace(1)* undef) ]
  15     br label %bb1
  16
  17   bb1:                                              ; preds = %bb21, %bb
  18     %tmp2 = phi i32 addrspace(1)* [ undef, %bb ], [ %tmp22, %bb21 ]
  19     %tmp3 = phi i8 addrspace(1)* [ undef, %bb ], [ %tmp23, %bb21 ]
  20     %tmp4 = phi i8 addrspace(1)* [ undef, %bb ], [ %tmp24, %bb21 ]
  21     %tmp5 = phi i8 addrspace(1)* [ undef, %bb ], [ %tmp25, %bb21 ]
  22     %tmp6 = phi i8 addrspace(1)* [ null, %bb ], [ %tmp26, %bb21 ]
  23     %tmp7 = phi i32 [ 0, %bb ], [ %tmp13, %bb21 ]
  24     %tmp8 = load atomic i32, i32 addrspace(1)* undef unordered, align 8
  25     %tmp9 = load atomic i32, i32 addrspace(1)* %tmp2 unordered, align 4
  26     %tmp10 = sub i32 %tmp8, %tmp9
  27     %tmp11 = icmp slt i32 %tmp10, undef
  28     %tmp12 = select i1 %tmp11, i32 %tmp10, i32 undef
  29     %tmp13 = add i32 %tmp12, %tmp7
  30     %tmp14 = call token (i64, i32, void (i8 addrspace(1)*, i32, i32, i8 addrspace(1)*, i32)*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidp1i8i32i32p1i8i32f(i64 2, i32 5, void (i8 addrspace(1)*, i32, i32, i8 addrspace(1)*, i32)* nonnull @hoge.1, i32 5, i32 0, i8 addrspace(1)* %tmp4, i32 %tmp7, i32 %tmp13, i8 addrspace(1)* undef, i32 %tmp9, i32 0, i32 0) [ "deopt"(i32 0, i32 2, i32 0, i32 43, i32 0, i32 2, i32 0, i32 7, i8* null, i32 7, i8* null, i32 10, i32 1, i32 10, i32 0, i32 4, i32 1, i32 7, i8* null, i32 7, i8* null, i32 0, i8 addrspace(1)* %tmp6, i32 7, i8* null, i32 0, i8 addrspace(1)* %tmp6, i32 10, i32 5, i32 12, i32 0, i32 3, i32 1, i32 0, i8 addrspace(1)* %tmp6, i32 0, i8 addrspace(1)* %tmp6, i32 7, i8* null, i32 0, i8 addrspace(1)* %tmp6, i32 2, i32 11, i32 4, i32 0, i32 1, i32 0, i32 7, i8* null, i32 2, i32 15, i32 7, i32 0, i32 2, i32 0, i32 7, i8* null, i32 7, i8* null, i32 10, i32 21, i32 63, i32 0, i32 9, i32 1, i32 0, i8 addrspace(1)* %tmp5, i32 0, i8 addrspace(1)* %tmp4, i32 7, i8* null, i32 7, i8* null, i32 0, i8 addrspace(1)* %tmp3, i32 3, i32 %tmp7, i32 3, i32 undef, i32 3, i32 %tmp12, i32 7, i8* null, i32 0, i8 addrspace(1)* %tmp3), "gc-live"(i8 addrspace(1)* %tmp6, i8 addrspace(1)* %tmp5, i8 addrspace(1)* %tmp4, i8 addrspace(1)* %tmp3) ]
  31     %tmp15 = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %tmp14, i32 0, i32 0) ; (%tmp6, %tmp6)
  32     %tmp16 = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %tmp14, i32 1, i32 1) ; (%tmp5, %tmp5)
  33     %tmp17 = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %tmp14, i32 2, i32 2) ; (%tmp4, %tmp4)
  34     %tmp18 = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %tmp14, i32 3, i32 3) ; (%tmp3, %tmp3)
  35     %tmp19 = add i32 0, %tmp12
  36     %tmp20 = icmp slt i32 %tmp19, undef
  37     br i1 %tmp20, label %bb21, label %bb28
  38
  39   bb21:                                             ; preds = %bb30, %bb1
  40     %tmp22 = phi i32 addrspace(1)* [ undef, %bb1 ], [ %tmp34, %bb30 ]
  41     %tmp23 = phi i8 addrspace(1)* [ %tmp18, %bb1 ], [ undef, %bb30 ]
  42     %tmp24 = phi i8 addrspace(1)* [ %tmp17, %bb1 ], [ undef, %bb30 ]
  43     %tmp25 = phi i8 addrspace(1)* [ %tmp16, %bb1 ], [ %tmp32, %bb30 ]
  44     %tmp26 = phi i8 addrspace(1)* [ %tmp15, %bb1 ], [ %tmp31, %bb30 ]
  45     br label %bb1
  46
  47   bb28:                                             ; preds = %bb1
  48     %tmp29 = invoke token (i64, i32, void (i32, i8 addrspace(1)*, i8 addrspace(1)*, i32, i32)*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidi32p1i8p1i8i32i32f(i64 1, i32 16, void (i32, i8 addrspace(1)*, i8 addrspace(1)*, i32, i32)* nonnull @ham, i32 5, i32 0, i32 undef, i8 addrspace(1)* nonnull undef, i8 addrspace(1)* undef, i32 0, i32 undef, i32 0, i32 0) [ "deopt"(i32 0, i32 2, i32 0, i32 43, i32 0, i32 2, i32 0, i32 7, i8* null, i32 7, i8* null, i32 10, i32 1, i32 10, i32 0, i32 4, i32 1, i32 7, i8* null, i32 7, i8* null, i32 0, i8 addrspace(1)* %tmp15, i32 7, i8* null, i32 0, i8 addrspace(1)* %tmp15, i32 10, i32 5, i32 12, i32 0, i32 3, i32 1, i32 0, i8 addrspace(1)* %tmp15, i32 0, i8 addrspace(1)* %tmp15, i32 7, i8* null, i32 0, i8 addrspace(1)* %tmp15, i32 2, i32 11, i32 4, i32 0, i32 1, i32 0, i32 7, i8* null, i32 2, i32 15, i32 7, i32 0, i32 2, i32 0, i32 7, i8* null, i32 7, i8* null, i32 10, i32 21, i32 96, i32 0, i32 9, i32 1, i32 0, i8 addrspace(1)* %tmp16, i32 0, i8 addrspace(1)* %tmp17, i32 7, i8* null, i32 7, i8* null, i32 0, i8 addrspace(1)* %tmp18, i32 3, i32 %tmp13, i32 3, i32 undef, i32 7, i8* null, i32 7, i8* null, i32 0, i8 addrspace(1)* %tmp18, i32 8, i32 12, i32 34, i32 0, i32 3, i32 1, i32 0, i8 addrspace(1)* %tmp16, i32 0, i8 addrspace(1)* undef, i32 7, i8* null, i32 0, i8 addrspace(1)* undef), "gc-live"(i8 addrspace(1)* %tmp15, i8 addrspace(1)* %tmp16, i8 addrspace(1)* %tmp17, i8 addrspace(1)* %tmp18, i8 addrspace(1)* undef) ]
  49             to label %bb30 unwind label %bb35
  50
  51   bb30:                                             ; preds = %bb28
  52     %tmp31 = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %tmp29, i32 0, i32 0) ; (%tmp15, %tmp15)
  53     %tmp32 = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %tmp29, i32 1, i32 1) ; (%tmp16, %tmp16)
  54     %tmp33 = getelementptr inbounds i8, i8 addrspace(1)* %tmp32, i64 28
  55     %tmp34 = bitcast i8 addrspace(1)* %tmp33 to i32 addrspace(1)*
  56     call void @barney() #2
  57     br label %bb21
  58
  59   bb35:                                             ; preds = %bb28
  60     %tmp36 = landingpad token
  61             cleanup
  62     %tmp37 = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %tmp36, i32 0, i32 0) ; (%tmp15, %tmp15)
  63     %tmp38 = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %tmp36, i32 3, i32 3) ; (%tmp18, %tmp18)
  64     %tmp39 = call token (i64, i32, void (i32)*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidi32f(i64 2882400000, i32 0, void (i32)* nonnull @wombat, i32 1, i32 2, i32 3, i32 0, i32 0) [ "deopt"(i32 0, i32 2, i32 0, i32 43, i32 0, i32 2, i32 0, i32 7, i8* null, i32 7, i8* null, i32 10, i32 1, i32 10, i32 0, i32 4, i32 1, i32 7, i8* null, i32 7, i8* null, i32 0, i8 addrspace(1)* %tmp37, i32 7, i8* null, i32 0, i8 addrspace(1)* %tmp37, i32 10, i32 5, i32 12, i32 0, i32 3, i32 1, i32 0, i8 addrspace(1)* %tmp37, i32 0, i8 addrspace(1)* %tmp37, i32 7, i8* null, i32 0, i8 addrspace(1)* %tmp37, i32 2, i32 11, i32 4, i32 0, i32 1, i32 0, i32 7, i8* null, i32 2, i32 15, i32 7, i32 0, i32 2, i32 0, i32 7, i8* null, i32 7, i8* null, i32 10, i32 21, i32 96, i32 0, i32 9, i32 1, i32 0, i8 addrspace(1)* undef, i32 0, i8 addrspace(1)* undef, i32 7, i8* null, i32 7, i8* null, i32 0, i8 addrspace(1)* %tmp38, i32 3, i32 %tmp13, i32 3, i32 undef, i32 7, i8* null, i32 7, i8* null, i32 0, i8 addrspace(1)* %tmp38, i32 0, i32 12, i32 51, i32 0, i32 3, i32 0, i32 7, i8* null, i32 7, i8* null, i32 7, i8* null), "gc-live"() ]
  65     unreachable
  66   }
  67
  68   ; Function Attrs: willreturn
  69   declare i32* @widget() #0
  70
  71   declare void @quux(i8 addrspace(1)*, i8 addrspace(1)*)
  72
  73   declare void @hoge.1(i8 addrspace(1)*, i32, i32, i8 addrspace(1)*, i32)
  74
  75   ; Function Attrs: willreturn
  76   declare void @barney() #0
  77
  78   declare void @ham(i32, i8 addrspace(1)*, i8 addrspace(1)*, i32, i32)
  79
  80   declare void @wombat(i32)
  81
  82   declare token @llvm.experimental.gc.statepoint.p0f_isVoidi32f(i64 immarg, i32 immarg, void (i32)*, i32 immarg, i32 immarg, ...)
  83
  84   ; Function Attrs: nounwind readnone
  85   declare i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token, i32 immarg, i32 immarg) #1
  86
  87   declare token @llvm.experimental.gc.statepoint.p0f_isVoidp1i8p1i8f(i64 immarg, i32 immarg, void (i8 addrspace(1)*, i8 addrspace(1)*)*, i32 immarg, i32 immarg, ...)
  88
  89   declare token @llvm.experimental.gc.statepoint.p0f_isVoidp1i8i32i32p1i8i32f(i64 immarg, i32 immarg, void (i8 addrspace(1)*, i32, i32, i8 addrspace(1)*, i32)*, i32 immarg, i32 immarg, ...)
  90
  91   declare token @llvm.experimental.gc.statepoint.p0f_isVoidi32p1i8p1i8i32i32f(i64 immarg, i32 immarg, void (i32, i8 addrspace(1)*, i8 addrspace(1)*, i32, i32)*, i32 immarg, i32 immarg, ...)
  92
  93   attributes #0 = { willreturn }
  94   attributes #1 = { nounwind readnone }
  95   attributes #2 = { nounwind }
  96
  97 ...
  98 ---
  99 name:            hoge
 100 alignment:       16
 101 exposesReturnsTwice: false
 102 legalized:       false
 103 regBankSelected: false
 104 selected:        false
 105 failedISel:      false
 106 tracksRegLiveness: true
 107 hasWinCFI:       false
 108 registers:
 109   - { id: 0, class: gr64, preferred-register: '' }
 110   - { id: 1, class: gr64, preferred-register: '' }
 111   - { id: 2, class: gr64, preferred-register: '' }
 112   - { id: 3, class: gr64, preferred-register: '' }
 113   - { id: 4, class: gr64, preferred-register: '' }
 114   - { id: 5, class: gr32, preferred-register: '' }
 115   - { id: 6, class: gr32, preferred-register: '' }
 116   - { id: 7, class: gr64, preferred-register: '' }
 117   - { id: 8, class: gr64, preferred-register: '' }
 118   - { id: 9, class: gr64, preferred-register: '' }
 119   - { id: 10, class: gr64, preferred-register: '' }
 120   - { id: 11, class: gr64, preferred-register: '' }
 121   - { id: 12, class: gr64, preferred-register: '' }
 122   - { id: 13, class: gr64, preferred-register: '' }
 123   - { id: 14, class: gr64, preferred-register: '' }
 124   - { id: 15, class: gr64, preferred-register: '' }
 125   - { id: 16, class: gr64, preferred-register: '' }
 126   - { id: 17, class: gr64, preferred-register: '' }
 127   - { id: 18, class: gr64, preferred-register: '' }
 128   - { id: 19, class: gr64, preferred-register: '' }
 129   - { id: 20, class: gr64, preferred-register: '' }
 130   - { id: 21, class: gr64, preferred-register: '' }
 131   - { id: 22, class: gr32, preferred-register: '' }
 132   - { id: 23, class: gr64, preferred-register: '' }
 133   - { id: 24, class: gr64, preferred-register: '' }
 134   - { id: 25, class: gr64, preferred-register: '' }
 135   - { id: 26, class: gr64, preferred-register: '' }
 136   - { id: 27, class: gr64, preferred-register: '' }
 137   - { id: 28, class: gr64, preferred-register: '' }
 138   - { id: 29, class: gr64, preferred-register: '' }
 139   - { id: 30, class: gr32, preferred-register: '' }
 140   - { id: 31, class: gr64, preferred-register: '' }
 141   - { id: 32, class: gr32, preferred-register: '' }
 142   - { id: 33, class: gr32, preferred-register: '' }
 143   - { id: 34, class: gr64, preferred-register: '' }
 144   - { id: 35, class: gr64, preferred-register: '' }
 145   - { id: 36, class: gr32, preferred-register: '' }
 146   - { id: 37, class: gr32, preferred-register: '' }
 147   - { id: 38, class: gr64, preferred-register: '' }
 148   - { id: 39, class: gr64, preferred-register: '' }
 149   - { id: 40, class: gr64, preferred-register: '' }
 150   - { id: 41, class: gr32, preferred-register: '' }
 151   - { id: 42, class: gr32, preferred-register: '' }
 152   - { id: 43, class: gr64, preferred-register: '' }
 153   - { id: 44, class: gr64, preferred-register: '' }
 154   - { id: 45, class: gr32, preferred-register: '' }
 155   - { id: 46, class: gr64, preferred-register: '' }
 156   - { id: 47, class: gr64, preferred-register: '' }
 157   - { id: 48, class: gr64, preferred-register: '' }
 158   - { id: 49, class: gr64, preferred-register: '' }
 159   - { id: 50, class: gr32, preferred-register: '' }
 160   - { id: 51, class: gr64, preferred-register: '' }
 161   - { id: 52, class: gr64, preferred-register: '' }
 162   - { id: 53, class: gr64, preferred-register: '' }
 163   - { id: 54, class: gr64, preferred-register: '' }
 164   - { id: 55, class: gr64, preferred-register: '' }
 165   - { id: 56, class: gr64, preferred-register: '' }
 166   - { id: 57, class: gr64, preferred-register: '' }
 167   - { id: 58, class: gr64, preferred-register: '' }
 168   - { id: 59, class: gr32, preferred-register: '' }
 169   - { id: 60, class: gr64, preferred-register: '' }
 170   - { id: 61, class: gr64, preferred-register: '' }
 171   - { id: 62, class: gr64, preferred-register: '' }
 172   - { id: 63, class: gr64, preferred-register: '' }
 173   - { id: 64, class: gr64, preferred-register: '' }
 174   - { id: 65, class: gr64, preferred-register: '' }
 175   - { id: 66, class: gr64_nosp, preferred-register: '' }
 176 liveins:         []
 177 frameInfo:
 178   isFrameAddressTaken: false
 179   isReturnAddressTaken: false
 180   hasStackMap:     false
 181   hasPatchPoint:   false
 182   stackSize:       0
 183   offsetAdjustment: 0
 184   maxAlignment:    4
 185   adjustsStack:    false
 186   hasCalls:        true
 187   stackProtector:  ''
 188   maxCallFrameSize: 4294967295
 189   cvBytesOfCalleeSavedRegisters: 0
 190   hasOpaqueSPAdjustment: false
 191   hasVAStart:      false
 192   hasMustTailInVarArgFunc: false
 193   hasTailCall:     false
 194   localFrameSize:  0
 195   savePoint:       ''
 196   restorePoint:    ''
 197 fixedStack:      []
 198 stack:
 199   - { id: 0, name: '', type: default, offset: 0, size: 4, alignment: 4,
 200       stack-id: default, callee-saved-register: '', callee-saved-restored: true,
 201       debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
 202   - { id: 1, name: '', type: default, offset: 0, size: 4, alignment: 4,
 203       stack-id: default, callee-saved-register: '', callee-saved-restored: true,
 204       debug-info-variable: '', debug-info-expression: '', debug-info-location: '' }
 205 callSites:       []
 206 debugValueSubstitutions: []
 207 constants:       []
 208 machineFunctionInfo: {}
 209 body:             |
 210   ; CHECK-LABEL: name: hoge
 211   ; CHECK: bb.0.bb:
 212   ; CHECK:   successors: %bb.1(0x80000000)
 213   ; CHECK:   ADJCALLSTACKDOWN64 0, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
 214   ; CHECK:   undef %75.sub_32bit:gr64_with_sub_8bit = MOV32r0 implicit-def dead $eflags
 215   ; CHECK:   MOV64mr %stack.2, 1, $noreg, 0, $noreg, %75 :: (store (s64) into %stack.2)
 216   ; CHECK:   dead $edi = MOV32r0 implicit-def dead $eflags, implicit-def $rdi
 217   ; CHECK:   STATEPOINT 2, 5, 2, undef %24:gr64, $rdi, undef $rsi, 2, 0, 2, 0, 2, 37, 2, 0, 2, 2, 2, 0, 2, 43, 2, 0, 2, 2, 2, 0, 2, 7, 2, 0, 2, 7, 2, 0, 2, 10, 2, 1, 2, 6, 2, 0, 2, 4, 2, 1, 2, 0, 2, 0, 2, 7, 2, 0, 2, 0, 2, 0, 2, 7, 2, 0, 2, 0, 2, 0, 2, 2, 2, 4, 2, 5, 2, 0, 2, 2, 2, 0, 2, 7, 2, 0, 2, 7, 2, 0, 2, 1, 2, 0, 2, 0, 2, 1, 0, 0, csr_64, implicit-def $rsp, implicit-def $ssp
 218   ; CHECK:   ADJCALLSTACKUP64 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
 219   ; CHECK:   [[DEF:%[0-9]+]]:gr64 = IMPLICIT_DEF
 220   ; CHECK:   [[DEF1:%[0-9]+]]:gr64 = IMPLICIT_DEF
 221   ; CHECK:   [[DEF2:%[0-9]+]]:gr64 = IMPLICIT_DEF
 222   ; CHECK:   [[DEF3:%[0-9]+]]:gr64 = IMPLICIT_DEF
 223   ; CHECK:   [[MOV32r0_:%[0-9]+]]:gr32 = MOV32r0 implicit-def dead $eflags
 224   ; CHECK: bb.1.bb1:
 225   ; CHECK:   successors: %bb.2(0x40000000), %bb.4(0x40000000)
 226   ; CHECK:   undef %66.sub_32bit:gr64_nosp = COPY [[MOV32r0_]]
 227   ; CHECK:   undef %65.sub_32bit:gr64_with_sub_8bit = MOV32rm undef %31:gr64, 1, $noreg, 0, $noreg :: (load unordered (s32) from `i32 addrspace(1)* undef`, align 8, addrspace 1)
 228   ; CHECK:   [[MOV32rm:%[0-9]+]]:gr32 = MOV32rm [[DEF]], 1, $noreg, 0, $noreg :: (load unordered (s32) from %ir.tmp2, addrspace 1)
 229   ; CHECK:   %65.sub_32bit:gr64_with_sub_8bit = SUB32rr %65.sub_32bit, [[MOV32rm]], implicit-def dead $eflags
 230   ; CHECK:   [[LEA64_32r:%[0-9]+]]:gr32 = LEA64_32r %65, 1, %66, 0, $noreg
 231   ; CHECK:   MOV32mr %stack.0, 1, $noreg, 0, $noreg, %66.sub_32bit :: (store (s32) into %stack.0)
 232   ; CHECK:   MOV32mr %stack.1, 1, $noreg, 0, $noreg, %65.sub_32bit :: (store (s32) into %stack.1)
 233   ; CHECK:   ADJCALLSTACKDOWN64 0, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
 234   ; CHECK:   $rdi = COPY [[DEF2]]
 235   ; CHECK:   $esi = COPY %66.sub_32bit
 236   ; CHECK:   $edx = COPY [[LEA64_32r]]
 237   ; CHECK:   $r8d = COPY [[MOV32rm]]
 238   ; CHECK:   [[MOV64rm:%[0-9]+]]:gr64 = MOV64rm %stack.2, 1, $noreg, 0, $noreg :: (load (s64) from %stack.2)
 239   ; CHECK:   [[COPY:%[0-9]+]]:gr64 = COPY [[MOV64rm]]
 240   ; CHECK:   [[STATEPOINT:%[0-9]+]]:gr64, [[STATEPOINT1:%[0-9]+]]:gr64, [[STATEPOINT2:%[0-9]+]]:gr64, [[STATEPOINT3:%[0-9]+]]:gr64 = STATEPOINT 2, 5, 5, undef %35:gr64, $rdi, $esi, $edx, undef $rcx, $r8d, 2, 0, 2, 0, 2, 85, 2, 0, 2, 2, 2, 0, 2, 43, 2, 0, 2, 2, 2, 0, 2, 7, 2, 0, 2, 7, 2, 0, 2, 10, 2, 1, 2, 10, 2, 0, 2, 4, 2, 1, 2, 7, 2, 0, 2, 7, 2, 0, 2, 0, [[STATEPOINT3]], 2, 7, 2, 0, 2, 0, [[STATEPOINT3]], 2, 10, 2, 5, 2, 12, 2, 0, 2, 3, 2, 1, 2, 0, [[STATEPOINT3]], 2, 0, [[STATEPOINT3]], 2, 7, 2, 0, 2, 0, [[STATEPOINT3]], 2, 2, 2, 11, 2, 4, 2, 0, 2, 1, 2, 0, 2, 7, 2, 0, 2, 2, 2, 15, 2, 7, 2, 0, 2, 2, 2, 0, 2, 7, 2, 0, 2, 7, 2, 0, 2, 10, 2, 21, 2, 63, 2, 0, 2, 9, 2, 1, 2, 0, [[STATEPOINT2]], 2, 0, [[STATEPOINT1]], 2, 7, 2, 0, 2, 7, 2, 0, 2, 0, [[STATEPOINT]], 2, 3, 1, 4, %stack.0, 0, 2, 3, 2, 4278124286, 2, 3, 1, 4, %stack.1, 0, 2, 7, 2, 0, 2, 0, [[STATEPOINT]], 2, 4, [[STATEPOINT]](tied-def 0), [[STATEPOINT1]](tied-def 1), [[STATEPOINT2]](tied-def 2), [[STATEPOINT3]](tied-def 3), 2, 0, 2, 4, 0, 0, 1, 1, 2, 2, 3, 3, csr_64, implicit-def $rsp, implicit-def $ssp :: (volatile load store (s32) on %stack.0), (volatile load store (s32) on %stack.1)
 241   ; CHECK:   ADJCALLSTACKUP64 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
 242   ; CHECK:   CMP32rr %65.sub_32bit, undef %37:gr32, implicit-def $eflags
 243   ; CHECK:   JCC_1 %bb.4, 13, implicit killed $eflags
 244   ; CHECK: bb.2:
 245   ; CHECK:   successors: %bb.3(0x80000000)
 246   ; CHECK:   [[COPY:%[0-9]+]]:gr64 = COPY [[STATEPOINT3]]
 247   ; CHECK:   MOV64mr %stack.2, 1, $noreg, 0, $noreg, [[COPY]] :: (store (s64) into %stack.2)
 248   ; CHECK:   [[DEF1:%[0-9]+]]:gr64 = IMPLICIT_DEF
 249   ; CHECK:   [[COPY1:%[0-9]+]]:gr32 = COPY [[LEA64_32r]]
 250   ; CHECK: bb.3.bb21:
 251   ; CHECK:   successors: %bb.1(0x80000000)
 252   ; CHECK:   JMP_1 %bb.1
 253   ; CHECK: bb.4.bb28:
 254   ; CHECK:   successors: %bb.5(0x80000000), %bb.6(0x00000000)
 255   ; CHECK:   MOV32mr %stack.0, 1, $noreg, 0, $noreg, [[LEA64_32r]] :: (store (s32) into %stack.0)
 256   ; CHECK:   EH_LABEL <mcsymbol .Ltmp0>
 257   ; CHECK:   ADJCALLSTACKDOWN64 0, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
 258   ; CHECK:   $ecx = MOV32r0 implicit-def dead $eflags
 259   ; CHECK:   [[COPY4:%[0-9]+]]:gr32 = COPY [[LEA64_32r]]
 260   ; CHECK:   [[STATEPOINT2]]:gr64, [[STATEPOINT3]]:gr64, [[STATEPOINT]]:gr64, dead [[STATEPOINT1]]:gr64 = STATEPOINT 1, 16, 5, undef %47:gr64, undef $edi, undef $rsi, undef $rdx, $ecx, undef $r8d, 2, 0, 2, 0, 2, 99, 2, 0, 2, 2, 2, 0, 2, 43, 2, 0, 2, 2, 2, 0, 2, 7, 2, 0, 2, 7, 2, 0, 2, 10, 2, 1, 2, 10, 2, 0, 2, 4, 2, 1, 2, 7, 2, 0, 2, 7, 2, 0, 2, 0, [[STATEPOINT3]], 2, 7, 2, 0, 2, 0, [[STATEPOINT3]], 2, 10, 2, 5, 2, 12, 2, 0, 2, 3, 2, 1, 2, 0, [[STATEPOINT3]], 2, 0, [[STATEPOINT3]], 2, 7, 2, 0, 2, 0, [[STATEPOINT3]], 2, 2, 2, 11, 2, 4, 2, 0, 2, 1, 2, 0, 2, 7, 2, 0, 2, 2, 2, 15, 2, 7, 2, 0, 2, 2, 2, 0, 2, 7, 2, 0, 2, 7, 2, 0, 2, 10, 2, 21, 2, 96, 2, 0, 2, 9, 2, 1, 2, 0, [[STATEPOINT2]], 2, 0, [[STATEPOINT1]], 2, 7, 2, 0, 2, 7, 2, 0, 2, 0, [[STATEPOINT]], 2, 3, 1, 4, %stack.0, 0, 2, 3, 2, 4278124286, 2, 7, 2, 0, 2, 7, 2, 0, 2, 0, [[STATEPOINT]], 2, 8, 2, 12, 2, 34, 2, 0, 2, 3, 2, 1, 2, 0, [[STATEPOINT2]], 2, 0, 2, 4278124286, 2, 7, 2, 0, 2, 0, 2, 4278124286, 2, 5, [[STATEPOINT2]](tied-def 0), [[STATEPOINT3]](tied-def 1), [[STATEPOINT]](tied-def 2), [[STATEPOINT1]](tied-def 3), 2, 4278124286, 2, 0, 2, 5, 0, 0, 1, 1, 2, 2, 3, 3, 4, 4, csr_64, implicit-def $rsp, implicit-def $ssp :: (volatile load store (s32) on %stack.0)
 261   ; CHECK:   ADJCALLSTACKUP64 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
 262   ; CHECK:   EH_LABEL <mcsymbol .Ltmp1>
 263   ; CHECK:   JMP_1 %bb.5
 264   ; CHECK: bb.5.bb30:
 265   ; CHECK:   successors: %bb.3(0x80000000)
 266   ; CHECK:   [[COPY2:%[0-9]+]]:gr64 = COPY [[STATEPOINT3]]
 267   ; CHECK:   MOV64mr %stack.2, 1, $noreg, 0, $noreg, [[COPY2]] :: (store (s64) into %stack.2)
 268   ; CHECK:   [[COPY3:%[0-9]+]]:gr64 = COPY [[STATEPOINT2]]
 269   ; CHECK:   [[ADD64ri8_:%[0-9]+]]:gr64 = nuw ADD64ri8 [[ADD64ri8_]], 28, implicit-def dead $eflags
 270   ; CHECK:   ADJCALLSTACKDOWN64 0, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
 271   ; CHECK:   CALL64pcrel32 target-flags(x86-plt) @barney, csr_64, implicit $rsp, implicit $ssp, implicit-def $rsp, implicit-def $ssp
 272   ; CHECK:   [[COPY3:%[0-9]+]]:gr64 = COPY [[ADD64ri8_]]
 273   ; CHECK:   ADJCALLSTACKUP64 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
 274   ; CHECK:   [[DEF:%[0-9]+]]:gr64 = IMPLICIT_DEF
 275   ; CHECK:   [[DEF1:%[0-9]+]]:gr64 = IMPLICIT_DEF
 276   ; CHECK:   JMP_1 %bb.3
 277   ; CHECK: bb.6.bb35 (landing-pad):
 278   ; CHECK:   liveins: $rax, $rdx
 279   ; CHECK:   EH_LABEL <mcsymbol .Ltmp2>
 280   ; CHECK:   ADJCALLSTACKDOWN64 0, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
 281   ; CHECK:   $edi = MOV32ri 3
 282   ; CHECK:   dead [[STATEPOINT3]]:gr64, dead [[DEF]]:gr64 = STATEPOINT 2882400000, 0, 1, target-flags(x86-plt) @wombat, $edi, 2, 0, 2, 2, 2, 97, 2, 0, 2, 2, 2, 0, 2, 43, 2, 0, 2, 2, 2, 0, 2, 7, 2, 0, 2, 7, 2, 0, 2, 10, 2, 1, 2, 10, 2, 0, 2, 4, 2, 1, 2, 7, 2, 0, 2, 7, 2, 0, 2, 0, [[STATEPOINT3]], 2, 7, 2, 0, 2, 0, [[STATEPOINT3]], 2, 10, 2, 5, 2, 12, 2, 0, 2, 3, 2, 1, 2, 0, [[STATEPOINT3]], 2, 0, [[STATEPOINT3]], 2, 7, 2, 0, 2, 0, [[STATEPOINT3]], 2, 2, 2, 11, 2, 4, 2, 0, 2, 1, 2, 0, 2, 7, 2, 0, 2, 2, 2, 15, 2, 7, 2, 0, 2, 2, 2, 0, 2, 7, 2, 0, 2, 7, 2, 0, 2, 10, 2, 21, 2, 96, 2, 0, 2, 9, 2, 1, 2, 0, 2, 4278124286, 2, 0, 2, 4278124286, 2, 7, 2, 0, 2, 7, 2, 0, 2, 0, [[DEF]], 2, 3, [[COPY4]], 2, 3, 2, 4278124286, 2, 7, 2, 0, 2, 7, 2, 0, 2, 0, [[DEF]], 2, 0, 2, 12, 2, 51, 2, 0, 2, 3, 2, 0, 2, 7, 2, 0, 2, 7, 2, 0, 2, 7, 2, 0, 2, 3, [[STATEPOINT3]](tied-def 0), 2, 4278124286, [[DEF]](tied-def 1), 2, 0, 2, 3, 0, 0, 1, 1, 2, 2, csr_64, implicit-def $rsp, implicit-def $ssp
 283   ; CHECK:   ADJCALLSTACKUP64 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
 284   bb.0.bb:
 285     successors: %bb.1(0x80000000)
 286
 287     ADJCALLSTACKDOWN64 0, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
 288     %22:gr32 = MOV32r0 implicit-def dead $eflags
 289     %21:gr64 = SUBREG_TO_REG 0, %22, %subreg.sub_32bit
 290     $rdi = COPY %21
 291     STATEPOINT 2, 5, 2, undef %24:gr64, killed $rdi, undef $rsi, 2, 0, 2, 0, 2, 37, 2, 0, 2, 2, 2, 0, 2, 43, 2, 0, 2, 2, 2, 0, 2, 7, 2, 0, 2, 7, 2, 0, 2, 10, 2, 1, 2, 6, 2, 0, 2, 4, 2, 1, 2, 0, 2, 0, 2, 7, 2, 0, 2, 0, 2, 0, 2, 7, 2, 0, 2, 0, 2, 0, 2, 2, 2, 4, 2, 5, 2, 0, 2, 2, 2, 0, 2, 7, 2, 0, 2, 7, 2, 0, 2, 1, 2, 0, 2, 0, 2, 1, 0, 0, csr_64, implicit-def $rsp, implicit-def $ssp
 292     ADJCALLSTACKUP64 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
 293     %54:gr64 = IMPLICIT_DEF
 294     %55:gr64 = IMPLICIT_DEF
 295     %56:gr64 = IMPLICIT_DEF
 296     %57:gr64 = IMPLICIT_DEF
 297     %58:gr64 = COPY killed %21
 298     %59:gr32 = COPY %22
 299
 300   bb.1.bb1:
 301     successors: %bb.6(0x40000000), %bb.3(0x40000000)
 302
 303     %5:gr32 = COPY killed %59
 304     %4:gr64 = COPY killed %58
 305     %3:gr64 = COPY killed %57
 306     %2:gr64 = COPY killed %56
 307     %1:gr64 = COPY killed %55
 308     %0:gr64 = COPY killed %54
 309     %30:gr32 = MOV32rm undef %31:gr64, 1, $noreg, 0, $noreg :: (load unordered (s32) from `i32 addrspace(1)* undef`, align 8, addrspace 1)
 310     %32:gr32 = MOV32rm killed %0, 1, $noreg, 0, $noreg :: (load unordered (s32) from %ir.tmp2, addrspace 1)
 311     %33:gr32 = COPY killed %30
 312     %33:gr32 = SUB32rr %33, %32, implicit-def dead $eflags
 313     undef %65.sub_32bit:gr64 = COPY %33
 314     undef %66.sub_32bit:gr64_nosp = COPY %5
 315     %6:gr32 = LEA64_32r killed %65, 1, killed %66, 0, $noreg
 316     MOV32mr %stack.0, 1, $noreg, 0, $noreg, %5 :: (store (s32) into %stack.0)
 317     MOV32mr %stack.1, 1, $noreg, 0, $noreg, %33 :: (store (s32) into %stack.1)
 318     ADJCALLSTACKDOWN64 0, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
 319     $rdi = COPY %2
 320     $esi = COPY killed %5
 321     $edx = COPY %6
 322     $r8d = COPY killed %32
 323     %26:gr64 = COPY killed %2
 324     %28:gr64 = COPY killed %4
 325     %25:gr64 = COPY killed %1
 326     %27:gr64 = COPY killed %3
 327     %25:gr64, %26:gr64, %27:gr64, %28:gr64 = STATEPOINT 2, 5, 5, undef %35:gr64, killed $rdi, killed $esi, killed $edx, undef $rcx, killed $r8d, 2, 0, 2, 0, 2, 85, 2, 0, 2, 2, 2, 0, 2, 43, 2, 0, 2, 2, 2, 0, 2, 7, 2, 0, 2, 7, 2, 0, 2, 10, 2, 1, 2, 10, 2, 0, 2, 4, 2, 1, 2, 7, 2, 0, 2, 7, 2, 0, 2, 0, %28, 2, 7, 2, 0, 2, 0, %28, 2, 10, 2, 5, 2, 12, 2, 0, 2, 3, 2, 1, 2, 0, %28, 2, 0, %28, 2, 7, 2, 0, 2, 0, %28, 2, 2, 2, 11, 2, 4, 2, 0, 2, 1, 2, 0, 2, 7, 2, 0, 2, 2, 2, 15, 2, 7, 2, 0, 2, 2, 2, 0, 2, 7, 2, 0, 2, 7, 2, 0, 2, 10, 2, 21, 2, 63, 2, 0, 2, 9, 2, 1, 2, 0, %27, 2, 0, %26, 2, 7, 2, 0, 2, 7, 2, 0, 2, 0, %25, 2, 3, 1, 4, %stack.0, 0, 2, 3, 2, 4278124286, 2, 3, 1, 4, %stack.1, 0, 2, 7, 2, 0, 2, 0, %25, 2, 4, %25(tied-def 0), %26(tied-def 1), %27(tied-def 2), %28(tied-def 3), 2, 0, 2, 4, 0, 0, 1, 1, 2, 2, 3, 3, csr_64, implicit-def $rsp, implicit-def $ssp :: (volatile load store (s32) on %stack.0), (volatile load store (s32) on %stack.1)
 328     ADJCALLSTACKUP64 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
 329     CMP32rr killed %33, undef %37:gr32, implicit-def $eflags
 330     JCC_1 %bb.3, 13, implicit killed $eflags
 331
 332   bb.6:
 333     successors: %bb.2(0x80000000)
 334
 335     %60:gr64 = IMPLICIT_DEF
 336     %61:gr64 = COPY killed %25
 337     %62:gr64 = COPY killed %26
 338     %63:gr64 = COPY killed %27
 339     %64:gr64 = COPY killed %28
 340
 341   bb.2.bb21:
 342     successors: %bb.1(0x80000000)
 343
 344     %15:gr64 = COPY killed %64
 345     %14:gr64 = COPY killed %63
 346     %13:gr64 = COPY killed %62
 347     %12:gr64 = COPY killed %61
 348     %11:gr64 = COPY killed %60
 349     %54:gr64 = COPY killed %11
 350     %55:gr64 = COPY killed %12
 351     %56:gr64 = COPY killed %13
 352     %57:gr64 = COPY killed %14
 353     %58:gr64 = COPY killed %15
 354     %59:gr32 = COPY killed %6
 355     JMP_1 %bb.1
 356
 357   bb.3.bb28:
 358     successors: %bb.4(0x80000000), %bb.5(0x00000000)
 359
 360     MOV32mr %stack.0, 1, $noreg, 0, $noreg, %6 :: (store (s32) into %stack.0)
 361     EH_LABEL <mcsymbol .Ltmp0>
 362     ADJCALLSTACKDOWN64 0, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
 363     $ecx = COPY %22
 364     %46:gr64 = COPY killed %26
 365     %39:gr64 = COPY killed %28
 366     %40:gr64 = COPY killed %25
 367     %38:gr64 = COPY killed %27
 368     %38:gr64, %39:gr64, %40:gr64, dead %46:gr64 = STATEPOINT 1, 16, 5, undef %47:gr64, undef $edi, undef $rsi, undef $rdx, killed $ecx, undef $r8d, 2, 0, 2, 0, 2, 99, 2, 0, 2, 2, 2, 0, 2, 43, 2, 0, 2, 2, 2, 0, 2, 7, 2, 0, 2, 7, 2, 0, 2, 10, 2, 1, 2, 10, 2, 0, 2, 4, 2, 1, 2, 7, 2, 0, 2, 7, 2, 0, 2, 0, %39, 2, 7, 2, 0, 2, 0, %39, 2, 10, 2, 5, 2, 12, 2, 0, 2, 3, 2, 1, 2, 0, %39, 2, 0, %39, 2, 7, 2, 0, 2, 0, %39, 2, 2, 2, 11, 2, 4, 2, 0, 2, 1, 2, 0, 2, 7, 2, 0, 2, 2, 2, 15, 2, 7, 2, 0, 2, 2, 2, 0, 2, 7, 2, 0, 2, 7, 2, 0, 2, 10, 2, 21, 2, 96, 2, 0, 2, 9, 2, 1, 2, 0, %38, 2, 0, %46, 2, 7, 2, 0, 2, 7, 2, 0, 2, 0, %40, 2, 3, 1, 4, %stack.0, 0, 2, 3, 2, 4278124286, 2, 7, 2, 0, 2, 7, 2, 0, 2, 0, %40, 2, 8, 2, 12, 2, 34, 2, 0, 2, 3, 2, 1, 2, 0, %38, 2, 0, 2, 4278124286, 2, 7, 2, 0, 2, 0, 2, 4278124286, 2, 5, %38(tied-def 0), %39(tied-def 1), %40(tied-def 2), %46(tied-def 3), 2, 4278124286, 2, 0, 2, 5, 0, 0, 1, 1, 2, 2, 3, 3, 4, 4, csr_64, implicit-def $rsp, implicit-def $ssp :: (volatile load store (s32) on %stack.0)
 369     ADJCALLSTACKUP64 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
 370     EH_LABEL <mcsymbol .Ltmp1>
 371     JMP_1 %bb.4
 372
 373   bb.4.bb30:
 374     successors: %bb.2(0x80000000)
 375
 376     %16:gr64 = COPY killed %39
 377     %17:gr64 = COPY %38
 378     %18:gr64 = COPY killed %38
 379     %18:gr64 = nuw ADD64ri8 %18, 28, implicit-def dead $eflags
 380     ADJCALLSTACKDOWN64 0, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
 381     CALL64pcrel32 target-flags(x86-plt) @barney, csr_64, implicit $rsp, implicit $ssp, implicit-def $rsp, implicit-def $ssp
 382     ADJCALLSTACKUP64 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
 383     %60:gr64 = COPY killed %18
 384     %61:gr64 = IMPLICIT_DEF
 385     %62:gr64 = IMPLICIT_DEF
 386     %63:gr64 = COPY killed %17
 387     %64:gr64 = COPY killed %16
 388     JMP_1 %bb.2
 389
 390   bb.5.bb35 (landing-pad):
 391     liveins: $rax, $rdx
 392
 393     EH_LABEL <mcsymbol .Ltmp2>
 394     ADJCALLSTACKDOWN64 0, 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
 395     %50:gr32 = MOV32ri 3
 396     $edi = COPY killed %50
 397     %52:gr64 = COPY killed %40
 398     %51:gr64 = COPY killed %39
 399     dead %51:gr64, dead %52:gr64 = STATEPOINT 2882400000, 0, 1, target-flags(x86-plt) @wombat, killed $edi, 2, 0, 2, 2, 2, 97, 2, 0, 2, 2, 2, 0, 2, 43, 2, 0, 2, 2, 2, 0, 2, 7, 2, 0, 2, 7, 2, 0, 2, 10, 2, 1, 2, 10, 2, 0, 2, 4, 2, 1, 2, 7, 2, 0, 2, 7, 2, 0, 2, 0, %51, 2, 7, 2, 0, 2, 0, %51, 2, 10, 2, 5, 2, 12, 2, 0, 2, 3, 2, 1, 2, 0, %51, 2, 0, %51, 2, 7, 2, 0, 2, 0, %51, 2, 2, 2, 11, 2, 4, 2, 0, 2, 1, 2, 0, 2, 7, 2, 0, 2, 2, 2, 15, 2, 7, 2, 0, 2, 2, 2, 0, 2, 7, 2, 0, 2, 7, 2, 0, 2, 10, 2, 21, 2, 96, 2, 0, 2, 9, 2, 1, 2, 0, 2, 4278124286, 2, 0, 2, 4278124286, 2, 7, 2, 0, 2, 7, 2, 0, 2, 0, %52, 2, 3, killed %6, 2, 3, 2, 4278124286, 2, 7, 2, 0, 2, 7, 2, 0, 2, 0, %52, 2, 0, 2, 12, 2, 51, 2, 0, 2, 3, 2, 0, 2, 7, 2, 0, 2, 7, 2, 0, 2, 7, 2, 0, 2, 3, %51(tied-def 0), 2, 4278124286, %52(tied-def 1), 2, 0, 2, 3, 0, 0, 1, 1, 2, 2, csr_64, implicit-def $rsp, implicit-def $ssp
 400     ADJCALLSTACKUP64 0, 0, implicit-def dead $rsp, implicit-def dead $eflags, implicit-def dead $ssp, implicit $rsp, implicit $ssp
 401
 402 ...