234 lines · plain
1# RUN: llc -mtriple=s390x-linux-gnu -mcpu=z14 -start-before=greedy %s -o - \2# RUN: | FileCheck %s3#4# Test folding of a memory operand into logical compare with an immediate.5 6--- |7 define i32 @fun0(ptr %src, i32 %arg) { ret i32 0 }8 define i64 @fun1(ptr %src, i64 %arg) { ret i64 0 }9 define i32 @fun2(ptr %src, i32 %arg) { ret i32 0 }10 define i64 @fun3(ptr %src, i64 %arg) { ret i64 0 }11...12 13 14# CHECK-LABEL: fun0:15# CHECK: mvhi 160(%r15), 0 # 4-byte Folded Spill16# CHECK: mvc 160(4,%r15), 0(%r2) # 4-byte Folded Spill17# CHECK-LABEL: .LBB0_2:18# CHECK: clfhsi 160(%r15), 2 # 4-byte Folded Reload19---20name: fun021alignment: 1622tracksRegLiveness: true23registers:24 - { id: 0, class: grx32bit }25 - { id: 1, class: grx32bit }26 - { id: 2, class: addr64bit }27 - { id: 3, class: gr32bit }28 - { id: 4, class: grx32bit }29 - { id: 5, class: grx32bit }30 - { id: 6, class: gr32bit }31 - { id: 7, class: gr32bit }32 - { id: 8, class: grx32bit }33liveins:34 - { reg: '$r2d', virtual-reg: '%2' }35 - { reg: '$r3l', virtual-reg: '%3' }36frameInfo:37 maxAlignment: 138 hasOpaqueSPAdjustment: true39machineFunctionInfo: {}40body: |41 bb.0:42 successors: %bb.1(0x30000000), %bb.2(0x50000000)43 liveins: $r2d, $r3l44 45 %3:gr32bit = COPY $r3l46 %2:addr64bit = COPY $r2d47 %6:gr32bit = LHIMux 048 CHIMux %3, 0, implicit-def $cc49 %8:grx32bit = LHIMux 050 BRC 14, 6, %bb.2, implicit killed $cc51 J %bb.152 53 bb.1:54 %8:grx32bit = LMux %2, 0, $noreg :: (load (s32) from %ir.src)55 INLINEASM &"", 1, 12, implicit-def dead early-clobber $r0d, 12, implicit-def dead early-clobber $r1d, 12, implicit-def dead early-clobber $r2d, 12, implicit-def dead early-clobber $r3d, 12, implicit-def dead early-clobber $r4d, 12, implicit-def dead early-clobber $r5d, 12, implicit-def dead early-clobber $r6d, 12, implicit-def dead early-clobber $r7d, 12, implicit-def dead early-clobber $r8d, 12, implicit-def dead early-clobber $r9d, 12, implicit-def dead early-clobber $r10d, 12, implicit-def dead early-clobber $r11d, 12, implicit-def dead early-clobber $r12d, 12, implicit-def dead early-clobber $r13d, 12, implicit-def dead early-clobber $r14d, 12, implicit-def early-clobber $r15d56 57 bb.2:58 INLINEASM &"", 1, 12, implicit-def dead early-clobber $r0d, 12, implicit-def dead early-clobber $r1d, 12, implicit-def dead early-clobber $r2d, 12, implicit-def dead early-clobber $r3d, 12, implicit-def dead early-clobber $r4d, 12, implicit-def dead early-clobber $r5d, 12, implicit-def dead early-clobber $r6d, 12, implicit-def dead early-clobber $r7d, 12, implicit-def dead early-clobber $r8d, 12, implicit-def dead early-clobber $r9d, 12, implicit-def dead early-clobber $r10d, 12, implicit-def dead early-clobber $r11d, 12, implicit-def dead early-clobber $r12d, 12, implicit-def dead early-clobber $r13d, 12, implicit-def dead early-clobber $r14d, 12, implicit-def early-clobber $r15d59 CLFIMux %8, 2, implicit-def $cc60 %6:gr32bit = LOCHIMux %6, 1, 14, 6, implicit killed $cc61 %7:gr32bit = NRK %3, %6, implicit-def dead $cc62 $r2l = COPY %763 Return implicit $r2l64 65...66 67 68# CHECK-LABEL: fun1:69# CHECK: mvghi 160(%r15), 0 # 8-byte Folded Spill70# CHECK: mvc 160(8,%r15), 0(%r2) # 8-byte Folded Spill71# CHECK-LABEL: .LBB1_2:72# CHECK: clghsi 160(%r15), 2 # 8-byte Folded Reload73---74name: fun175alignment: 1676tracksRegLiveness: true77registers:78 - { id: 0, class: gr64bit }79 - { id: 1, class: gr64bit }80 - { id: 2, class: addr64bit }81 - { id: 3, class: gr64bit }82 - { id: 4, class: gr64bit }83 - { id: 5, class: gr64bit }84 - { id: 6, class: gr64bit }85 - { id: 7, class: gr64bit }86 - { id: 8, class: gr64bit }87liveins:88 - { reg: '$r2d', virtual-reg: '%2' }89 - { reg: '$r3d', virtual-reg: '%3' }90frameInfo:91 maxAlignment: 192 hasOpaqueSPAdjustment: true93machineFunctionInfo: {}94body: |95 bb.0:96 successors: %bb.1(0x30000000), %bb.2(0x50000000)97 liveins: $r2d, $r3d98 99 %3:gr64bit = COPY $r3d100 %2:addr64bit = COPY $r2d101 %6:gr64bit = LGHI 0102 CGHI %3, 0, implicit-def $cc103 %8:gr64bit = LGHI 0104 BRC 14, 6, %bb.2, implicit killed $cc105 J %bb.1106 107 bb.1:108 %8:gr64bit = LG %2, 0, $noreg :: (load (s64) from %ir.src)109 INLINEASM &"", 1, 12, implicit-def dead early-clobber $r0d, 12, implicit-def dead early-clobber $r1d, 12, implicit-def dead early-clobber $r2d, 12, implicit-def dead early-clobber $r3d, 12, implicit-def dead early-clobber $r4d, 12, implicit-def dead early-clobber $r5d, 12, implicit-def dead early-clobber $r6d, 12, implicit-def dead early-clobber $r7d, 12, implicit-def dead early-clobber $r8d, 12, implicit-def dead early-clobber $r9d, 12, implicit-def dead early-clobber $r10d, 12, implicit-def dead early-clobber $r11d, 12, implicit-def dead early-clobber $r12d, 12, implicit-def dead early-clobber $r13d, 12, implicit-def dead early-clobber $r14d, 12, implicit-def early-clobber $r15d110 111 bb.2:112 INLINEASM &"", 1, 12, implicit-def dead early-clobber $r0d, 12, implicit-def dead early-clobber $r1d, 12, implicit-def dead early-clobber $r2d, 12, implicit-def dead early-clobber $r3d, 12, implicit-def dead early-clobber $r4d, 12, implicit-def dead early-clobber $r5d, 12, implicit-def dead early-clobber $r6d, 12, implicit-def dead early-clobber $r7d, 12, implicit-def dead early-clobber $r8d, 12, implicit-def dead early-clobber $r9d, 12, implicit-def dead early-clobber $r10d, 12, implicit-def dead early-clobber $r11d, 12, implicit-def dead early-clobber $r12d, 12, implicit-def dead early-clobber $r13d, 12, implicit-def dead early-clobber $r14d, 12, implicit-def early-clobber $r15d113 CLGFI %8, 2, implicit-def $cc114 %6:gr64bit = LOCGHI %6, 1, 14, 6, implicit killed $cc115 %7:gr64bit = NGRK %3, %6, implicit-def dead $cc116 $r2d = COPY %7117 Return implicit $r2d118 119...120 121 122# 17-bit immediate can not be folded123 124# CHECK-LABEL: fun2:125# CHECK: mvhi 160(%r15), 0 # 4-byte Folded Spill126# CHECK: mvc 160(4,%r15), 0(%r2) # 4-byte Folded Spill127# CHECK-LABEL: .LBB2_2:128# CHECK: l %r0, 160(%r15) # 4-byte Reload129# CHECK: clfi %r0, 65536130---131name: fun2132alignment: 16133tracksRegLiveness: true134registers:135 - { id: 0, class: grx32bit }136 - { id: 1, class: grx32bit }137 - { id: 2, class: addr64bit }138 - { id: 3, class: gr32bit }139 - { id: 4, class: grx32bit }140 - { id: 5, class: grx32bit }141 - { id: 6, class: gr32bit }142 - { id: 7, class: gr32bit }143 - { id: 8, class: grx32bit }144liveins:145 - { reg: '$r2d', virtual-reg: '%2' }146 - { reg: '$r3l', virtual-reg: '%3' }147frameInfo:148 maxAlignment: 1149 hasOpaqueSPAdjustment: true150machineFunctionInfo: {}151body: |152 bb.0:153 successors: %bb.1(0x30000000), %bb.2(0x50000000)154 liveins: $r2d, $r3l155 156 %3:gr32bit = COPY $r3l157 %2:addr64bit = COPY $r2d158 %6:gr32bit = LHIMux 0159 CHIMux %3, 0, implicit-def $cc160 %8:grx32bit = LHIMux 0161 BRC 14, 6, %bb.2, implicit killed $cc162 J %bb.1163 164 bb.1:165 %8:grx32bit = LMux %2, 0, $noreg :: (load (s32) from %ir.src)166 INLINEASM &"", 1, 12, implicit-def dead early-clobber $r0d, 12, implicit-def dead early-clobber $r1d, 12, implicit-def dead early-clobber $r2d, 12, implicit-def dead early-clobber $r3d, 12, implicit-def dead early-clobber $r4d, 12, implicit-def dead early-clobber $r5d, 12, implicit-def dead early-clobber $r6d, 12, implicit-def dead early-clobber $r7d, 12, implicit-def dead early-clobber $r8d, 12, implicit-def dead early-clobber $r9d, 12, implicit-def dead early-clobber $r10d, 12, implicit-def dead early-clobber $r11d, 12, implicit-def dead early-clobber $r12d, 12, implicit-def dead early-clobber $r13d, 12, implicit-def dead early-clobber $r14d, 12, implicit-def early-clobber $r15d167 168 bb.2:169 INLINEASM &"", 1, 12, implicit-def dead early-clobber $r0d, 12, implicit-def dead early-clobber $r1d, 12, implicit-def dead early-clobber $r2d, 12, implicit-def dead early-clobber $r3d, 12, implicit-def dead early-clobber $r4d, 12, implicit-def dead early-clobber $r5d, 12, implicit-def dead early-clobber $r6d, 12, implicit-def dead early-clobber $r7d, 12, implicit-def dead early-clobber $r8d, 12, implicit-def dead early-clobber $r9d, 12, implicit-def dead early-clobber $r10d, 12, implicit-def dead early-clobber $r11d, 12, implicit-def dead early-clobber $r12d, 12, implicit-def dead early-clobber $r13d, 12, implicit-def dead early-clobber $r14d, 12, implicit-def early-clobber $r15d170 CLFIMux %8, 65536, implicit-def $cc171 %6:gr32bit = LOCHIMux %6, 1, 14, 6, implicit killed $cc172 %7:gr32bit = NRK %3, %6, implicit-def dead $cc173 $r2l = COPY %7174 Return implicit $r2l175 176...177 178 179# 17-bit immediate can not be folded180 181# CHECK-LABEL: fun3:182# CHECK: mvghi 160(%r15), 0 # 8-byte Folded Spill183# CHECK: mvc 160(8,%r15), 0(%r2) # 8-byte Folded Spill184# CHECK-LABEL: .LBB3_2:185# CHECK: lg %r0, 160(%r15) # 8-byte Reload186# CHECK: clgfi %r0, 65536187---188name: fun3189alignment: 16190tracksRegLiveness: true191registers:192 - { id: 0, class: gr64bit }193 - { id: 1, class: gr64bit }194 - { id: 2, class: addr64bit }195 - { id: 3, class: gr64bit }196 - { id: 4, class: gr64bit }197 - { id: 5, class: gr64bit }198 - { id: 6, class: gr64bit }199 - { id: 7, class: gr64bit }200 - { id: 8, class: gr64bit }201liveins:202 - { reg: '$r2d', virtual-reg: '%2' }203 - { reg: '$r3d', virtual-reg: '%3' }204frameInfo:205 maxAlignment: 1206 hasOpaqueSPAdjustment: true207machineFunctionInfo: {}208body: |209 bb.0:210 successors: %bb.1(0x30000000), %bb.2(0x50000000)211 liveins: $r2d, $r3d212 213 %3:gr64bit = COPY $r3d214 %2:addr64bit = COPY $r2d215 %6:gr64bit = LGHI 0216 CGHI %3, 0, implicit-def $cc217 %8:gr64bit = LGHI 0218 BRC 14, 6, %bb.2, implicit killed $cc219 J %bb.1220 221 bb.1:222 %8:gr64bit = LG %2, 0, $noreg :: (load (s64) from %ir.src)223 INLINEASM &"", 1, 12, implicit-def dead early-clobber $r0d, 12, implicit-def dead early-clobber $r1d, 12, implicit-def dead early-clobber $r2d, 12, implicit-def dead early-clobber $r3d, 12, implicit-def dead early-clobber $r4d, 12, implicit-def dead early-clobber $r5d, 12, implicit-def dead early-clobber $r6d, 12, implicit-def dead early-clobber $r7d, 12, implicit-def dead early-clobber $r8d, 12, implicit-def dead early-clobber $r9d, 12, implicit-def dead early-clobber $r10d, 12, implicit-def dead early-clobber $r11d, 12, implicit-def dead early-clobber $r12d, 12, implicit-def dead early-clobber $r13d, 12, implicit-def dead early-clobber $r14d, 12, implicit-def early-clobber $r15d224 225 bb.2:226 INLINEASM &"", 1, 12, implicit-def dead early-clobber $r0d, 12, implicit-def dead early-clobber $r1d, 12, implicit-def dead early-clobber $r2d, 12, implicit-def dead early-clobber $r3d, 12, implicit-def dead early-clobber $r4d, 12, implicit-def dead early-clobber $r5d, 12, implicit-def dead early-clobber $r6d, 12, implicit-def dead early-clobber $r7d, 12, implicit-def dead early-clobber $r8d, 12, implicit-def dead early-clobber $r9d, 12, implicit-def dead early-clobber $r10d, 12, implicit-def dead early-clobber $r11d, 12, implicit-def dead early-clobber $r12d, 12, implicit-def dead early-clobber $r13d, 12, implicit-def dead early-clobber $r14d, 12, implicit-def early-clobber $r15d227 CLGFI %8, 65536, implicit-def $cc228 %6:gr64bit = LOCGHI %6, 1, 14, 6, implicit killed $cc229 %7:gr64bit = NGRK %3, %6, implicit-def dead $cc230 $r2d = COPY %7231 Return implicit $r2d232 233...234