229 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py2# RUN: llc -mtriple=riscv64 -run-pass=legalizer %s -o - | FileCheck %s3 4---5name: uadde_i86body: |7 bb.1:8 liveins: $x10, $x11, $x129 10 ; CHECK-LABEL: name: uadde_i811 ; CHECK: liveins: $x10, $x11, $x1212 ; CHECK-NEXT: {{ $}}13 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $x1014 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY $x1115 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s64) = COPY $x1216 ; CHECK-NEXT: [[ADD:%[0-9]+]]:_(s64) = G_ADD [[COPY]], [[COPY1]]17 ; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 25518 ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s64) = G_AND [[ADD]], [[C]]19 ; CHECK-NEXT: [[AND1:%[0-9]+]]:_(s64) = G_AND [[COPY]], [[C]]20 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(s64) = G_ICMP intpred(ult), [[AND]](s64), [[AND1]]21 ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s64) = G_CONSTANT i64 122 ; CHECK-NEXT: [[AND2:%[0-9]+]]:_(s64) = G_AND [[COPY2]], [[C1]]23 ; CHECK-NEXT: [[ADD1:%[0-9]+]]:_(s64) = G_ADD [[ADD]], [[AND2]]24 ; CHECK-NEXT: [[C2:%[0-9]+]]:_(s64) = G_CONSTANT i64 025 ; CHECK-NEXT: [[AND3:%[0-9]+]]:_(s64) = G_AND [[ADD1]], [[C]]26 ; CHECK-NEXT: [[ICMP1:%[0-9]+]]:_(s64) = G_ICMP intpred(eq), [[AND3]](s64), [[C2]]27 ; CHECK-NEXT: [[AND4:%[0-9]+]]:_(s64) = G_AND [[ICMP1]], [[COPY2]]28 ; CHECK-NEXT: [[OR:%[0-9]+]]:_(s64) = G_OR [[ICMP]], [[AND4]]29 ; CHECK-NEXT: $x10 = COPY [[ADD1]](s64)30 ; CHECK-NEXT: $x11 = COPY [[OR]](s64)31 ; CHECK-NEXT: PseudoRET implicit $x10, implicit $x1132 %0:_(s64) = COPY $x1033 %1:_(s8) = G_TRUNC %0(s64)34 %2:_(s64) = COPY $x1135 %3:_(s8) = G_TRUNC %2(s64)36 %4:_(s64) = COPY $x1237 %5:_(s1) = G_TRUNC %4(s64)38 %6:_(s8), %7:_(s1) = G_UADDE %1, %3, %539 %8:_(s64) = G_ANYEXT %6(s8)40 %9:_(s64) = G_ANYEXT %7(s1)41 $x10 = COPY %8(s64)42 $x11 = COPY %9(s64)43 PseudoRET implicit $x10, implicit $x1144 45...46---47name: uadde_i1648body: |49 bb.1:50 liveins: $x10, $x11, $x1251 52 ; CHECK-LABEL: name: uadde_i1653 ; CHECK: liveins: $x10, $x11, $x1254 ; CHECK-NEXT: {{ $}}55 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $x1056 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY $x1157 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s64) = COPY $x1258 ; CHECK-NEXT: [[ADD:%[0-9]+]]:_(s64) = G_ADD [[COPY]], [[COPY1]]59 ; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 6553560 ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s64) = G_AND [[ADD]], [[C]]61 ; CHECK-NEXT: [[AND1:%[0-9]+]]:_(s64) = G_AND [[COPY]], [[C]]62 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(s64) = G_ICMP intpred(ult), [[AND]](s64), [[AND1]]63 ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s64) = G_CONSTANT i64 164 ; CHECK-NEXT: [[AND2:%[0-9]+]]:_(s64) = G_AND [[COPY2]], [[C1]]65 ; CHECK-NEXT: [[ADD1:%[0-9]+]]:_(s64) = G_ADD [[ADD]], [[AND2]]66 ; CHECK-NEXT: [[C2:%[0-9]+]]:_(s64) = G_CONSTANT i64 067 ; CHECK-NEXT: [[AND3:%[0-9]+]]:_(s64) = G_AND [[ADD1]], [[C]]68 ; CHECK-NEXT: [[ICMP1:%[0-9]+]]:_(s64) = G_ICMP intpred(eq), [[AND3]](s64), [[C2]]69 ; CHECK-NEXT: [[AND4:%[0-9]+]]:_(s64) = G_AND [[ICMP1]], [[COPY2]]70 ; CHECK-NEXT: [[OR:%[0-9]+]]:_(s64) = G_OR [[ICMP]], [[AND4]]71 ; CHECK-NEXT: $x10 = COPY [[ADD1]](s64)72 ; CHECK-NEXT: $x11 = COPY [[OR]](s64)73 ; CHECK-NEXT: PseudoRET implicit $x10, implicit $x1174 %0:_(s64) = COPY $x1075 %1:_(s16) = G_TRUNC %0(s64)76 %2:_(s64) = COPY $x1177 %3:_(s16) = G_TRUNC %2(s64)78 %4:_(s64) = COPY $x1279 %5:_(s1) = G_TRUNC %4(s64)80 %6:_(s16), %7:_(s1) = G_UADDE %1, %3, %581 %8:_(s64) = G_ANYEXT %6(s16)82 %9:_(s64) = G_ANYEXT %7(s1)83 $x10 = COPY %8(s64)84 $x11 = COPY %9(s64)85 PseudoRET implicit $x10, implicit $x1186 87...88---89name: uadde_i3290body: |91 bb.1:92 liveins: $x10, $x11, $x1293 94 ; CHECK-LABEL: name: uadde_i3295 ; CHECK: liveins: $x10, $x11, $x1296 ; CHECK-NEXT: {{ $}}97 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $x1098 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY $x1199 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s64) = COPY $x12100 ; CHECK-NEXT: [[ADD:%[0-9]+]]:_(s64) = G_ADD [[COPY]], [[COPY1]]101 ; CHECK-NEXT: [[SEXT_INREG:%[0-9]+]]:_(s64) = G_SEXT_INREG [[ADD]], 32102 ; CHECK-NEXT: [[SEXT_INREG1:%[0-9]+]]:_(s64) = G_SEXT_INREG [[COPY]], 32103 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(s64) = G_ICMP intpred(ult), [[SEXT_INREG]](s64), [[SEXT_INREG1]]104 ; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 1105 ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s64) = G_AND [[COPY2]], [[C]]106 ; CHECK-NEXT: [[ADD1:%[0-9]+]]:_(s64) = G_ADD [[SEXT_INREG]], [[AND]]107 ; CHECK-NEXT: [[SEXT_INREG2:%[0-9]+]]:_(s64) = G_SEXT_INREG [[ADD1]], 32108 ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s64) = G_CONSTANT i64 0109 ; CHECK-NEXT: [[ICMP1:%[0-9]+]]:_(s64) = G_ICMP intpred(eq), [[SEXT_INREG2]](s64), [[C1]]110 ; CHECK-NEXT: [[AND1:%[0-9]+]]:_(s64) = G_AND [[ICMP1]], [[COPY2]]111 ; CHECK-NEXT: [[OR:%[0-9]+]]:_(s64) = G_OR [[ICMP]], [[AND1]]112 ; CHECK-NEXT: $x10 = COPY [[SEXT_INREG2]](s64)113 ; CHECK-NEXT: $x11 = COPY [[OR]](s64)114 ; CHECK-NEXT: PseudoRET implicit $x10, implicit $x11115 %0:_(s64) = COPY $x10116 %1:_(s32) = G_TRUNC %0(s64)117 %2:_(s64) = COPY $x11118 %3:_(s32) = G_TRUNC %2(s64)119 %4:_(s64) = COPY $x12120 %5:_(s1) = G_TRUNC %4(s64)121 %6:_(s32), %7:_(s1) = G_UADDE %1, %3, %5122 %8:_(s64) = G_ANYEXT %6(s32)123 %9:_(s64) = G_ANYEXT %7(s1)124 $x10 = COPY %8(s64)125 $x11 = COPY %9(s64)126 PseudoRET implicit $x10, implicit $x11127 128...129---130name: uadde_i64131body: |132 bb.1:133 liveins: $x10, $x11, $x12134 135 ; CHECK-LABEL: name: uadde_i64136 ; CHECK: liveins: $x10, $x11, $x12137 ; CHECK-NEXT: {{ $}}138 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $x10139 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY $x11140 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s64) = COPY $x12141 ; CHECK-NEXT: [[ADD:%[0-9]+]]:_(s64) = G_ADD [[COPY]], [[COPY1]]142 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(s64) = G_ICMP intpred(ult), [[ADD]](s64), [[COPY]]143 ; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 1144 ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s64) = G_AND [[COPY2]], [[C]]145 ; CHECK-NEXT: [[ADD1:%[0-9]+]]:_(s64) = G_ADD [[ADD]], [[AND]]146 ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s64) = G_CONSTANT i64 0147 ; CHECK-NEXT: [[ICMP1:%[0-9]+]]:_(s64) = G_ICMP intpred(eq), [[ADD1]](s64), [[C1]]148 ; CHECK-NEXT: [[AND1:%[0-9]+]]:_(s64) = G_AND [[ICMP1]], [[COPY2]]149 ; CHECK-NEXT: [[OR:%[0-9]+]]:_(s64) = G_OR [[ICMP]], [[AND1]]150 ; CHECK-NEXT: [[COPY3:%[0-9]+]]:_(s64) = COPY [[ADD1]](s64)151 ; CHECK-NEXT: $x10 = COPY [[COPY3]](s64)152 ; CHECK-NEXT: $x11 = COPY [[OR]](s64)153 ; CHECK-NEXT: PseudoRET implicit $x10, implicit $x11154 %0:_(s64) = COPY $x10155 %1:_(s64) = COPY $x11156 %2:_(s64) = COPY $x12157 %3:_(s1) = G_TRUNC %2(s64)158 %4:_(s64), %5:_(s1) = G_UADDE %0, %1, %3159 %6:_(s64) = G_ANYEXT %5(s1)160 $x10 = COPY %4(s64)161 $x11 = COPY %6(s64)162 PseudoRET implicit $x10, implicit $x11163 164...165---166name: uadde_i128167body: |168 bb.1:169 liveins: $x10, $x11, $x12, $x13, $x14170 171 ; CHECK-LABEL: name: uadde_i128172 ; CHECK: liveins: $x10, $x11, $x12, $x13, $x14173 ; CHECK-NEXT: {{ $}}174 ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $x10175 ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY $x11176 ; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s64) = COPY $x12177 ; CHECK-NEXT: [[COPY3:%[0-9]+]]:_(s64) = COPY $x13178 ; CHECK-NEXT: [[COPY4:%[0-9]+]]:_(s64) = COPY $x14179 ; CHECK-NEXT: [[ADD:%[0-9]+]]:_(s64) = G_ADD [[COPY]], [[COPY2]]180 ; CHECK-NEXT: [[ICMP:%[0-9]+]]:_(s64) = G_ICMP intpred(ult), [[ADD]](s64), [[COPY2]]181 ; CHECK-NEXT: [[COPY5:%[0-9]+]]:_(s64) = COPY [[ADD]](s64)182 ; CHECK-NEXT: [[ADD1:%[0-9]+]]:_(s64) = G_ADD [[COPY1]], [[COPY3]]183 ; CHECK-NEXT: [[ADD2:%[0-9]+]]:_(s64) = G_ADD [[ADD1]], [[ICMP]]184 ; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 0185 ; CHECK-NEXT: [[COPY6:%[0-9]+]]:_(s64) = COPY [[ADD2]](s64)186 ; CHECK-NEXT: [[ICMP1:%[0-9]+]]:_(s64) = G_ICMP intpred(ult), [[COPY5]](s64), [[COPY]]187 ; CHECK-NEXT: [[ICMP2:%[0-9]+]]:_(s64) = G_ICMP intpred(ult), [[COPY6]](s64), [[COPY1]]188 ; CHECK-NEXT: [[ICMP3:%[0-9]+]]:_(s64) = G_ICMP intpred(eq), [[COPY6]](s64), [[COPY1]]189 ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s32) = G_TRUNC [[ICMP1]](s64)190 ; CHECK-NEXT: [[TRUNC1:%[0-9]+]]:_(s32) = G_TRUNC [[ICMP2]](s64)191 ; CHECK-NEXT: [[SELECT:%[0-9]+]]:_(s32) = G_SELECT [[ICMP3]](s64), [[TRUNC]], [[TRUNC1]]192 ; CHECK-NEXT: [[DEF:%[0-9]+]]:_(s64) = G_IMPLICIT_DEF193 ; CHECK-NEXT: [[C1:%[0-9]+]]:_(s64) = G_CONSTANT i64 1194 ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s64) = G_AND [[COPY4]], [[C1]]195 ; CHECK-NEXT: [[AND1:%[0-9]+]]:_(s64) = G_AND [[DEF]], [[C]]196 ; CHECK-NEXT: [[ADD3:%[0-9]+]]:_(s64) = G_ADD [[COPY5]], [[AND]]197 ; CHECK-NEXT: [[ICMP4:%[0-9]+]]:_(s64) = G_ICMP intpred(ult), [[ADD3]](s64), [[AND]]198 ; CHECK-NEXT: [[COPY7:%[0-9]+]]:_(s64) = COPY [[ADD3]](s64)199 ; CHECK-NEXT: [[ADD4:%[0-9]+]]:_(s64) = G_ADD [[COPY6]], [[AND1]]200 ; CHECK-NEXT: [[ADD5:%[0-9]+]]:_(s64) = G_ADD [[ADD4]], [[ICMP4]]201 ; CHECK-NEXT: [[COPY8:%[0-9]+]]:_(s64) = COPY [[ADD5]](s64)202 ; CHECK-NEXT: [[XOR:%[0-9]+]]:_(s64) = G_XOR [[COPY7]], [[C]]203 ; CHECK-NEXT: [[XOR1:%[0-9]+]]:_(s64) = G_XOR [[COPY8]], [[C]]204 ; CHECK-NEXT: [[OR:%[0-9]+]]:_(s64) = G_OR [[XOR]], [[XOR1]]205 ; CHECK-NEXT: [[ICMP5:%[0-9]+]]:_(s64) = G_ICMP intpred(eq), [[OR]](s64), [[C]]206 ; CHECK-NEXT: [[AND2:%[0-9]+]]:_(s64) = G_AND [[ICMP5]], [[COPY4]]207 ; CHECK-NEXT: [[ANYEXT:%[0-9]+]]:_(s64) = G_ANYEXT [[SELECT]](s32)208 ; CHECK-NEXT: [[OR1:%[0-9]+]]:_(s64) = G_OR [[ANYEXT]], [[AND2]]209 ; CHECK-NEXT: $x10 = COPY [[COPY7]](s64)210 ; CHECK-NEXT: $x11 = COPY [[COPY8]](s64)211 ; CHECK-NEXT: $x12 = COPY [[OR1]](s64)212 ; CHECK-NEXT: PseudoRET implicit $x10, implicit $x11, implicit $x12213 %0:_(s64) = COPY $x10214 %1:_(s64) = COPY $x11215 %2:_(s64) = COPY $x12216 %3:_(s64) = COPY $x13217 %4:_(s64) = COPY $x14218 %5:_(s128) = G_MERGE_VALUES %0, %1219 %6:_(s128) = G_MERGE_VALUES %2, %3220 %7:_(s1) = G_TRUNC %4(s64)221 %8:_(s128), %9:_(s1) = G_UADDE %5, %6, %7222 %10:_(s64), %11:_(s64) = G_UNMERGE_VALUES %8223 %12:_(s64) = G_ANYEXT %9(s1)224 $x10 = COPY %10(s64)225 $x11 = COPY %11(s64)226 $x12 = COPY %12(s64)227 PseudoRET implicit $x10, implicit $x11, implicit $x12228...229