356 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py2# RUN: llc -O0 -mtriple=mipsel-linux-gnu -run-pass=legalizer -verify-machineinstrs %s -o - | FileCheck %s -check-prefixes=MIPS323--- |4 5 define void @add_i32() {entry: ret void}6 define void @add_i8_sext() {entry: ret void}7 define void @add_i8_zext() {entry: ret void}8 define void @add_i8_aext() {entry: ret void}9 define void @add_i16_sext() {entry: ret void}10 define void @add_i16_zext() {entry: ret void}11 define void @add_i16_aext() {entry: ret void}12 define void @add_i64() {entry: ret void}13 define void @add_i128() {entry: ret void}14 define void @uadd_with_overflow(i32 %lhs, i32 %rhs, ptr %padd, ptr %pcarry_flag) { ret void }15 16...17---18name: add_i3219alignment: 420tracksRegLiveness: true21body: |22 bb.0.entry:23 liveins: $a0, $a124 25 ; MIPS32-LABEL: name: add_i3226 ; MIPS32: liveins: $a0, $a127 ; MIPS32-NEXT: {{ $}}28 ; MIPS32-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $a029 ; MIPS32-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $a130 ; MIPS32-NEXT: [[ADD:%[0-9]+]]:_(s32) = G_ADD [[COPY]], [[COPY1]]31 ; MIPS32-NEXT: $v0 = COPY [[ADD]](s32)32 ; MIPS32-NEXT: RetRA implicit $v033 %0:_(s32) = COPY $a034 %1:_(s32) = COPY $a135 %2:_(s32) = G_ADD %0, %136 $v0 = COPY %2(s32)37 RetRA implicit $v038 39...40---41name: add_i8_sext42alignment: 443tracksRegLiveness: true44body: |45 bb.1.entry:46 liveins: $a0, $a147 48 ; MIPS32-LABEL: name: add_i8_sext49 ; MIPS32: liveins: $a0, $a150 ; MIPS32-NEXT: {{ $}}51 ; MIPS32-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $a052 ; MIPS32-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $a153 ; MIPS32-NEXT: [[ADD:%[0-9]+]]:_(s32) = G_ADD [[COPY1]], [[COPY]]54 ; MIPS32-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 2455 ; MIPS32-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[ADD]], [[C]](s32)56 ; MIPS32-NEXT: [[ASHR:%[0-9]+]]:_(s32) = G_ASHR [[SHL]], [[C]](s32)57 ; MIPS32-NEXT: $v0 = COPY [[ASHR]](s32)58 ; MIPS32-NEXT: RetRA implicit $v059 %2:_(s32) = COPY $a060 %0:_(s8) = G_TRUNC %2(s32)61 %3:_(s32) = COPY $a162 %1:_(s8) = G_TRUNC %3(s32)63 %4:_(s8) = G_ADD %1, %064 %5:_(s32) = G_SEXT %4(s8)65 $v0 = COPY %5(s32)66 RetRA implicit $v067 68...69---70name: add_i8_zext71alignment: 472tracksRegLiveness: true73body: |74 bb.1.entry:75 liveins: $a0, $a176 77 ; MIPS32-LABEL: name: add_i8_zext78 ; MIPS32: liveins: $a0, $a179 ; MIPS32-NEXT: {{ $}}80 ; MIPS32-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $a081 ; MIPS32-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $a182 ; MIPS32-NEXT: [[ADD:%[0-9]+]]:_(s32) = G_ADD [[COPY1]], [[COPY]]83 ; MIPS32-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 25584 ; MIPS32-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[ADD]], [[C]]85 ; MIPS32-NEXT: $v0 = COPY [[AND]](s32)86 ; MIPS32-NEXT: RetRA implicit $v087 %2:_(s32) = COPY $a088 %0:_(s8) = G_TRUNC %2(s32)89 %3:_(s32) = COPY $a190 %1:_(s8) = G_TRUNC %3(s32)91 %4:_(s8) = G_ADD %1, %092 %5:_(s32) = G_ZEXT %4(s8)93 $v0 = COPY %5(s32)94 RetRA implicit $v095 96...97---98name: add_i8_aext99alignment: 4100tracksRegLiveness: true101body: |102 bb.1.entry:103 liveins: $a0, $a1104 105 ; MIPS32-LABEL: name: add_i8_aext106 ; MIPS32: liveins: $a0, $a1107 ; MIPS32-NEXT: {{ $}}108 ; MIPS32-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $a0109 ; MIPS32-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $a1110 ; MIPS32-NEXT: [[ADD:%[0-9]+]]:_(s32) = G_ADD [[COPY1]], [[COPY]]111 ; MIPS32-NEXT: $v0 = COPY [[ADD]](s32)112 ; MIPS32-NEXT: RetRA implicit $v0113 %2:_(s32) = COPY $a0114 %0:_(s8) = G_TRUNC %2(s32)115 %3:_(s32) = COPY $a1116 %1:_(s8) = G_TRUNC %3(s32)117 %4:_(s8) = G_ADD %1, %0118 %5:_(s32) = G_ANYEXT %4(s8)119 $v0 = COPY %5(s32)120 RetRA implicit $v0121 122...123---124name: add_i16_sext125alignment: 4126tracksRegLiveness: true127body: |128 bb.1.entry:129 liveins: $a0, $a1130 131 ; MIPS32-LABEL: name: add_i16_sext132 ; MIPS32: liveins: $a0, $a1133 ; MIPS32-NEXT: {{ $}}134 ; MIPS32-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $a0135 ; MIPS32-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $a1136 ; MIPS32-NEXT: [[ADD:%[0-9]+]]:_(s32) = G_ADD [[COPY1]], [[COPY]]137 ; MIPS32-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 16138 ; MIPS32-NEXT: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[ADD]], [[C]](s32)139 ; MIPS32-NEXT: [[ASHR:%[0-9]+]]:_(s32) = G_ASHR [[SHL]], [[C]](s32)140 ; MIPS32-NEXT: $v0 = COPY [[ASHR]](s32)141 ; MIPS32-NEXT: RetRA implicit $v0142 %2:_(s32) = COPY $a0143 %0:_(s16) = G_TRUNC %2(s32)144 %3:_(s32) = COPY $a1145 %1:_(s16) = G_TRUNC %3(s32)146 %4:_(s16) = G_ADD %1, %0147 %5:_(s32) = G_SEXT %4(s16)148 $v0 = COPY %5(s32)149 RetRA implicit $v0150 151...152---153name: add_i16_zext154alignment: 4155tracksRegLiveness: true156body: |157 bb.1.entry:158 liveins: $a0, $a1159 160 ; MIPS32-LABEL: name: add_i16_zext161 ; MIPS32: liveins: $a0, $a1162 ; MIPS32-NEXT: {{ $}}163 ; MIPS32-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $a0164 ; MIPS32-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $a1165 ; MIPS32-NEXT: [[ADD:%[0-9]+]]:_(s32) = G_ADD [[COPY1]], [[COPY]]166 ; MIPS32-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 65535167 ; MIPS32-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[ADD]], [[C]]168 ; MIPS32-NEXT: $v0 = COPY [[AND]](s32)169 ; MIPS32-NEXT: RetRA implicit $v0170 %2:_(s32) = COPY $a0171 %0:_(s16) = G_TRUNC %2(s32)172 %3:_(s32) = COPY $a1173 %1:_(s16) = G_TRUNC %3(s32)174 %4:_(s16) = G_ADD %1, %0175 %5:_(s32) = G_ZEXT %4(s16)176 $v0 = COPY %5(s32)177 RetRA implicit $v0178 179...180---181name: add_i16_aext182alignment: 4183tracksRegLiveness: true184body: |185 bb.1.entry:186 liveins: $a0, $a1187 188 ; MIPS32-LABEL: name: add_i16_aext189 ; MIPS32: liveins: $a0, $a1190 ; MIPS32-NEXT: {{ $}}191 ; MIPS32-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $a0192 ; MIPS32-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $a1193 ; MIPS32-NEXT: [[ADD:%[0-9]+]]:_(s32) = G_ADD [[COPY1]], [[COPY]]194 ; MIPS32-NEXT: $v0 = COPY [[ADD]](s32)195 ; MIPS32-NEXT: RetRA implicit $v0196 %2:_(s32) = COPY $a0197 %0:_(s16) = G_TRUNC %2(s32)198 %3:_(s32) = COPY $a1199 %1:_(s16) = G_TRUNC %3(s32)200 %4:_(s16) = G_ADD %1, %0201 %5:_(s32) = G_ANYEXT %4(s16)202 $v0 = COPY %5(s32)203 RetRA implicit $v0204 205...206---207name: add_i64208alignment: 4209tracksRegLiveness: true210body: |211 bb.1.entry:212 liveins: $a0, $a1, $a2, $a3213 214 ; MIPS32-LABEL: name: add_i64215 ; MIPS32: liveins: $a0, $a1, $a2, $a3216 ; MIPS32-NEXT: {{ $}}217 ; MIPS32-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $a0218 ; MIPS32-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $a1219 ; MIPS32-NEXT: [[COPY2:%[0-9]+]]:_(s32) = COPY $a2220 ; MIPS32-NEXT: [[COPY3:%[0-9]+]]:_(s32) = COPY $a3221 ; MIPS32-NEXT: [[ADD:%[0-9]+]]:_(s32) = G_ADD [[COPY3]], [[COPY1]]222 ; MIPS32-NEXT: [[ICMP:%[0-9]+]]:_(s32) = G_ICMP intpred(ult), [[ADD]](s32), [[COPY1]]223 ; MIPS32-NEXT: [[COPY4:%[0-9]+]]:_(s32) = COPY [[ADD]](s32)224 ; MIPS32-NEXT: [[ADD1:%[0-9]+]]:_(s32) = G_ADD [[COPY2]], [[COPY]]225 ; MIPS32-NEXT: [[ADD2:%[0-9]+]]:_(s32) = G_ADD [[ADD1]], [[ICMP]]226 ; MIPS32-NEXT: [[COPY5:%[0-9]+]]:_(s32) = COPY [[ADD2]](s32)227 ; MIPS32-NEXT: $v0 = COPY [[COPY5]](s32)228 ; MIPS32-NEXT: $v1 = COPY [[COPY4]](s32)229 ; MIPS32-NEXT: RetRA implicit $v0, implicit $v1230 %2:_(s32) = COPY $a0231 %3:_(s32) = COPY $a1232 %0:_(s64) = G_MERGE_VALUES %3(s32), %2(s32)233 %4:_(s32) = COPY $a2234 %5:_(s32) = COPY $a3235 %1:_(s64) = G_MERGE_VALUES %5(s32), %4(s32)236 %6:_(s64) = G_ADD %1, %0237 %7:_(s32), %8:_(s32) = G_UNMERGE_VALUES %6(s64)238 $v0 = COPY %8(s32)239 $v1 = COPY %7(s32)240 RetRA implicit $v0, implicit $v1241 242...243---244name: add_i128245alignment: 4246tracksRegLiveness: true247fixedStack:248 - { id: 0, offset: 28, size: 4, alignment: 4, stack-id: default, isImmutable: true }249 - { id: 1, offset: 24, size: 4, alignment: 8, stack-id: default, isImmutable: true }250 - { id: 2, offset: 20, size: 4, alignment: 4, stack-id: default, isImmutable: true }251 - { id: 3, offset: 16, size: 4, alignment: 8, stack-id: default, isImmutable: true }252body: |253 bb.1.entry:254 liveins: $a0, $a1, $a2, $a3255 256 ; MIPS32-LABEL: name: add_i128257 ; MIPS32: liveins: $a0, $a1, $a2, $a3258 ; MIPS32-NEXT: {{ $}}259 ; MIPS32-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $a0260 ; MIPS32-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $a1261 ; MIPS32-NEXT: [[COPY2:%[0-9]+]]:_(s32) = COPY $a2262 ; MIPS32-NEXT: [[COPY3:%[0-9]+]]:_(s32) = COPY $a3263 ; MIPS32-NEXT: [[FRAME_INDEX:%[0-9]+]]:_(p0) = G_FRAME_INDEX %fixed-stack.0264 ; MIPS32-NEXT: [[LOAD:%[0-9]+]]:_(s32) = G_LOAD [[FRAME_INDEX]](p0) :: (load (s32) from %fixed-stack.0)265 ; MIPS32-NEXT: [[FRAME_INDEX1:%[0-9]+]]:_(p0) = G_FRAME_INDEX %fixed-stack.1266 ; MIPS32-NEXT: [[LOAD1:%[0-9]+]]:_(s32) = G_LOAD [[FRAME_INDEX1]](p0) :: (load (s32) from %fixed-stack.1)267 ; MIPS32-NEXT: [[FRAME_INDEX2:%[0-9]+]]:_(p0) = G_FRAME_INDEX %fixed-stack.2268 ; MIPS32-NEXT: [[LOAD2:%[0-9]+]]:_(s32) = G_LOAD [[FRAME_INDEX2]](p0) :: (load (s32) from %fixed-stack.2)269 ; MIPS32-NEXT: [[FRAME_INDEX3:%[0-9]+]]:_(p0) = G_FRAME_INDEX %fixed-stack.3270 ; MIPS32-NEXT: [[LOAD3:%[0-9]+]]:_(s32) = G_LOAD [[FRAME_INDEX3]](p0) :: (load (s32) from %fixed-stack.3)271 ; MIPS32-NEXT: [[ADD:%[0-9]+]]:_(s32) = G_ADD [[LOAD]], [[COPY]]272 ; MIPS32-NEXT: [[ICMP:%[0-9]+]]:_(s32) = G_ICMP intpred(ult), [[ADD]](s32), [[COPY]]273 ; MIPS32-NEXT: [[COPY4:%[0-9]+]]:_(s32) = COPY [[ADD]](s32)274 ; MIPS32-NEXT: [[ADD1:%[0-9]+]]:_(s32) = G_ADD [[LOAD1]], [[COPY1]]275 ; MIPS32-NEXT: [[ICMP1:%[0-9]+]]:_(s32) = G_ICMP intpred(ult), [[ADD1]](s32), [[LOAD1]]276 ; MIPS32-NEXT: [[ADD2:%[0-9]+]]:_(s32) = G_ADD [[ADD1]], [[ICMP]]277 ; MIPS32-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 0278 ; MIPS32-NEXT: [[ICMP2:%[0-9]+]]:_(s32) = G_ICMP intpred(eq), [[ADD2]](s32), [[C]]279 ; MIPS32-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[ICMP2]], [[ICMP]]280 ; MIPS32-NEXT: [[OR:%[0-9]+]]:_(s32) = G_OR [[ICMP1]], [[AND]]281 ; MIPS32-NEXT: [[COPY5:%[0-9]+]]:_(s32) = COPY [[ADD2]](s32)282 ; MIPS32-NEXT: [[ADD3:%[0-9]+]]:_(s32) = G_ADD [[LOAD2]], [[COPY2]]283 ; MIPS32-NEXT: [[ICMP3:%[0-9]+]]:_(s32) = G_ICMP intpred(ult), [[ADD3]](s32), [[LOAD2]]284 ; MIPS32-NEXT: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 1285 ; MIPS32-NEXT: [[AND1:%[0-9]+]]:_(s32) = G_AND [[OR]], [[C1]]286 ; MIPS32-NEXT: [[ADD4:%[0-9]+]]:_(s32) = G_ADD [[ADD3]], [[AND1]]287 ; MIPS32-NEXT: [[ICMP4:%[0-9]+]]:_(s32) = G_ICMP intpred(eq), [[ADD4]](s32), [[C]]288 ; MIPS32-NEXT: [[AND2:%[0-9]+]]:_(s32) = G_AND [[ICMP4]], [[OR]]289 ; MIPS32-NEXT: [[OR1:%[0-9]+]]:_(s32) = G_OR [[ICMP3]], [[AND2]]290 ; MIPS32-NEXT: [[COPY6:%[0-9]+]]:_(s32) = COPY [[ADD4]](s32)291 ; MIPS32-NEXT: [[ADD5:%[0-9]+]]:_(s32) = G_ADD [[LOAD3]], [[COPY3]]292 ; MIPS32-NEXT: [[AND3:%[0-9]+]]:_(s32) = G_AND [[OR1]], [[C1]]293 ; MIPS32-NEXT: [[ADD6:%[0-9]+]]:_(s32) = G_ADD [[ADD5]], [[AND3]]294 ; MIPS32-NEXT: [[COPY7:%[0-9]+]]:_(s32) = COPY [[ADD6]](s32)295 ; MIPS32-NEXT: $v0 = COPY [[COPY4]](s32)296 ; MIPS32-NEXT: $v1 = COPY [[COPY5]](s32)297 ; MIPS32-NEXT: $a0 = COPY [[COPY6]](s32)298 ; MIPS32-NEXT: $a1 = COPY [[COPY7]](s32)299 ; MIPS32-NEXT: RetRA implicit $v0, implicit $v1, implicit $a0, implicit $a1300 %2:_(s32) = COPY $a0301 %3:_(s32) = COPY $a1302 %4:_(s32) = COPY $a2303 %5:_(s32) = COPY $a3304 %0:_(s128) = G_MERGE_VALUES %2(s32), %3(s32), %4(s32), %5(s32)305 %10:_(p0) = G_FRAME_INDEX %fixed-stack.3306 %6:_(s32) = G_LOAD %10(p0) :: (load (s32) from %fixed-stack.3, align 4)307 %11:_(p0) = G_FRAME_INDEX %fixed-stack.2308 %7:_(s32) = G_LOAD %11(p0) :: (load (s32) from %fixed-stack.2, align 4)309 %12:_(p0) = G_FRAME_INDEX %fixed-stack.1310 %8:_(s32) = G_LOAD %12(p0) :: (load (s32) from %fixed-stack.1, align 4)311 %13:_(p0) = G_FRAME_INDEX %fixed-stack.0312 %9:_(s32) = G_LOAD %13(p0) :: (load (s32) from %fixed-stack.0, align 4)313 %1:_(s128) = G_MERGE_VALUES %6(s32), %7(s32), %8(s32), %9(s32)314 %14:_(s128) = G_ADD %1, %0315 %15:_(s32), %16:_(s32), %17:_(s32), %18:_(s32) = G_UNMERGE_VALUES %14(s128)316 $v0 = COPY %15(s32)317 $v1 = COPY %16(s32)318 $a0 = COPY %17(s32)319 $a1 = COPY %18(s32)320 RetRA implicit $v0, implicit $v1, implicit $a0, implicit $a1321 322...323---324name: uadd_with_overflow325alignment: 4326tracksRegLiveness: true327body: |328 bb.1 (%ir-block.0):329 liveins: $a0, $a1, $a2, $a3330 331 ; MIPS32-LABEL: name: uadd_with_overflow332 ; MIPS32: liveins: $a0, $a1, $a2, $a3333 ; MIPS32-NEXT: {{ $}}334 ; MIPS32-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $a0335 ; MIPS32-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $a1336 ; MIPS32-NEXT: [[COPY2:%[0-9]+]]:_(p0) = COPY $a2337 ; MIPS32-NEXT: [[COPY3:%[0-9]+]]:_(p0) = COPY $a3338 ; MIPS32-NEXT: [[ADD:%[0-9]+]]:_(s32) = G_ADD [[COPY]], [[COPY1]]339 ; MIPS32-NEXT: [[ICMP:%[0-9]+]]:_(s32) = G_ICMP intpred(ult), [[ADD]](s32), [[COPY1]]340 ; MIPS32-NEXT: [[COPY4:%[0-9]+]]:_(s32) = COPY [[ADD]](s32)341 ; MIPS32-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 1342 ; MIPS32-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[ICMP]], [[C]]343 ; MIPS32-NEXT: G_STORE [[AND]](s32), [[COPY3]](p0) :: (store (s8) into %ir.pcarry_flag)344 ; MIPS32-NEXT: G_STORE [[COPY4]](s32), [[COPY2]](p0) :: (store (s32) into %ir.padd)345 ; MIPS32-NEXT: RetRA346 %0:_(s32) = COPY $a0347 %1:_(s32) = COPY $a1348 %2:_(p0) = COPY $a2349 %3:_(p0) = COPY $a3350 %4:_(s32), %5:_(s1) = G_UADDO %0, %1351 G_STORE %5(s1), %3(p0) :: (store (s1) into %ir.pcarry_flag)352 G_STORE %4(s32), %2(p0) :: (store (s32) into %ir.padd)353 RetRA354 355...356