138 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py2# RUN: llc -O0 -run-pass=legalizer -global-isel-abort=1 %s -o - | FileCheck %s3 4--- |5 target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"6 target triple = "aarch64--"7 define void @test_combines_2() { ret void }8 define void @test_combines_3() { ret void }9 define void @test_combines_4() { ret void }10 define void @test_combines_5() { ret void }11 define void @test_combines_6() { ret void }12...13 14---15name: test_combines_216body: |17 bb.0:18 liveins: $w019 20 ; Here the types don't match.21 ; CHECK-LABEL: name: test_combines_222 ; CHECK: liveins: $w023 ; CHECK-NEXT: {{ $}}24 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w025 ; CHECK-NEXT: [[ADD:%[0-9]+]]:_(s32) = G_ADD [[COPY]], [[COPY]]26 ; CHECK-NEXT: [[MV:%[0-9]+]]:_(s64) = G_MERGE_VALUES [[COPY]](s32), [[ADD]](s32)27 ; CHECK-NEXT: $w0 = COPY [[COPY]](s32)28 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY [[MV]](s64)29 ; CHECK-NEXT: $x0 = COPY [[COPY1]](s64)30 %0:_(s32) = COPY $w031 32 %1:_(s32) = G_ADD %0, %033 %2:_(s64) = G_MERGE_VALUES %0, %134 %3:_(s1) = G_EXTRACT %2, 035 %5:_(s32) = G_ANYEXT %336 $w0 = COPY %537 %4:_(s64) = COPY %238 $x0 = COPY %439...40 41---42name: test_combines_343body: |44 bb.0:45 liveins: $w046 47 ; CHECK-LABEL: name: test_combines_348 ; CHECK: liveins: $w049 ; CHECK-NEXT: {{ $}}50 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w051 ; CHECK-NEXT: [[ADD:%[0-9]+]]:_(s32) = G_ADD [[COPY]], [[COPY]]52 ; CHECK-NEXT: [[ADD1:%[0-9]+]]:_(s32) = G_ADD [[COPY]], [[ADD]]53 ; CHECK-NEXT: $w0 = COPY [[ADD1]](s32)54 %0:_(s32) = COPY $w055 56 %1:_(s32) = G_ADD %0, %057 %2:_(s64) = G_MERGE_VALUES %0, %158 %3:_(s32), %4:_(s32) = G_UNMERGE_VALUES %259 %5:_(s32) = G_ADD %3, %460 $w0 = COPY %561...62 63---64name: test_combines_465body: |66 bb.0:67 liveins: $x068 69 ; CHECK-LABEL: name: test_combines_470 ; CHECK: liveins: $x071 ; CHECK-NEXT: {{ $}}72 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $x073 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY [[COPY]](s64)74 ; CHECK-NEXT: [[ADD:%[0-9]+]]:_(s64) = G_ADD [[COPY1]], [[COPY1]]75 ; CHECK-NEXT: $x0 = COPY [[ADD]](s64)76 %0:_(s64) = COPY $x077 78 %1:_(s128) = G_MERGE_VALUES %0, %079 %2:_(s64) = G_EXTRACT %1, 080 %3:_(s64) = G_ADD %2, %281 $x0 = COPY %382...83 84---85name: test_combines_586body: |87 bb.0:88 liveins: $w089 90 ; CHECK-LABEL: name: test_combines_591 ; CHECK: liveins: $w092 ; CHECK-NEXT: {{ $}}93 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w094 ; CHECK-NEXT: [[ADD:%[0-9]+]]:_(s32) = G_ADD [[COPY]], [[COPY]]95 ; CHECK-NEXT: [[ADD1:%[0-9]+]]:_(s32) = G_ADD [[COPY]], [[ADD]]96 ; CHECK-NEXT: $w0 = COPY [[ADD1]](s32)97 %0:_(s32) = COPY $w098 99 %1:_(s32) = G_ADD %0, %0100 %2:_(s64) = G_MERGE_VALUES %0, %1101 %6:_(s64) = COPY %2102 %7:_(s64) = COPY %6103 %8:_(s64) = COPY %7104 %3:_(s32), %4:_(s32) = G_UNMERGE_VALUES %8105 %5:_(s32) = G_ADD %3, %4106 $w0 = COPY %5107...108 109---110name: test_combines_6111body: |112 bb.0:113 liveins: $w0114 115 ; CHECK-LABEL: name: test_combines_6116 ; CHECK: liveins: $w0117 ; CHECK-NEXT: {{ $}}118 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $w0119 ; CHECK-NEXT: [[ADD:%[0-9]+]]:_(s32) = G_ADD [[COPY]], [[COPY]]120 ; CHECK-NEXT: [[MV:%[0-9]+]]:_(s64) = G_MERGE_VALUES [[COPY]](s32), [[ADD]](s32)121 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY [[MV]](s64)122 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s64) = COPY [[COPY1]](s64)123 ; CHECK-NEXT: [[ADD1:%[0-9]+]]:_(s32) = G_ADD [[COPY]], [[ADD]]124 ; CHECK-NEXT: $w0 = COPY [[ADD1]](s32)125 ; CHECK-NEXT: $x0 = COPY [[COPY2]](s64)126 %0:_(s32) = COPY $w0127 128 %1:_(s32) = G_ADD %0, %0129 %2:_(s64) = G_MERGE_VALUES %0, %1130 %6:_(s64) = COPY %2131 %7:_(s64) = COPY %6132 %8:_(s64) = COPY %7133 %3:_(s32), %4:_(s32) = G_UNMERGE_VALUES %8134 %5:_(s32) = G_ADD %3, %4135 $w0 = COPY %5136 $x0 = COPY %7137...138