279 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_givaluetracking_test_checks.py UTC_ARGS: --version 52# RUN: llc -mtriple=aarch64 -passes="print<gisel-value-tracking>" -filetype=null %s 2>&1 | FileCheck %s3 4---5name: Cst6body: |7 bb.1:8 ; CHECK-LABEL: name: @Cst9 ; CHECK-NEXT: %0:_ KnownBits:00000010 SignBits:610 ; CHECK-NEXT: %1:_ KnownBits:00011000 SignBits:311 ; CHECK-NEXT: %2:_ KnownBits:00011010 SignBits:312 %0:_(s8) = G_CONSTANT i8 213 %1:_(s8) = G_CONSTANT i8 2414 %2:_(s8) = G_ADD %0, %115...16---17name: CstZero18body: |19 bb.1:20 ; CHECK-LABEL: name: @CstZero21 ; CHECK-NEXT: %0:_ KnownBits:00000001 SignBits:722 ; CHECK-NEXT: %1:_ KnownBits:11111111 SignBits:823 ; CHECK-NEXT: %2:_ KnownBits:00000000 SignBits:824 %0:_(s8) = G_CONSTANT i8 125 %1:_(s8) = G_CONSTANT i8 25526 %2:_(s8) = G_ADD %0, %127...28---29name: CstNegOne30body: |31 bb.1:32 ; CHECK-LABEL: name: @CstNegOne33 ; CHECK-NEXT: %0:_ KnownBits:00000000 SignBits:834 ; CHECK-NEXT: %1:_ KnownBits:11111111 SignBits:835 ; CHECK-NEXT: %2:_ KnownBits:11111111 SignBits:836 %0:_(s8) = G_CONSTANT i8 037 %1:_(s8) = G_CONSTANT i8 25538 %2:_(s8) = G_ADD %0, %139...40---41name: CstSeven42body: |43 bb.1:44 ; CHECK-LABEL: name: @CstSeven45 ; CHECK-NEXT: %0:_ KnownBits:00001000 SignBits:446 ; CHECK-NEXT: %1:_ KnownBits:11111111 SignBits:847 ; CHECK-NEXT: %2:_ KnownBits:00000111 SignBits:548 %0:_(s8) = G_CONSTANT i8 849 %1:_(s8) = G_CONSTANT i8 25550 %2:_(s8) = G_ADD %0, %151...52---53name: CstNeg54body: |55 bb.1:56 ; CHECK-LABEL: name: @CstNeg57 ; CHECK-NEXT: %0:_ KnownBits:11100000 SignBits:358 ; CHECK-NEXT: %1:_ KnownBits:00000010 SignBits:659 ; CHECK-NEXT: %2:_ KnownBits:11100010 SignBits:360 %0:_(s8) = G_CONSTANT i8 22461 %1:_(s8) = G_CONSTANT i8 262 %2:_(s8) = G_ADD %0, %163...64---65name: ScalarVar66body: |67 bb.1:68 ; CHECK-LABEL: name: @ScalarVar69 ; CHECK-NEXT: %0:_ KnownBits:???????? SignBits:170 ; CHECK-NEXT: %1:_ KnownBits:???????? SignBits:171 ; CHECK-NEXT: %2:_ KnownBits:???????? SignBits:172 %0:_(s8) = COPY $b073 %1:_(s8) = COPY $b174 %2:_(s8) = G_ADD %0, %175...76---77name: ScalarRhsEarlyOut78body: |79 bb.1:80 ; CHECK-LABEL: name: @ScalarRhsEarlyOut81 ; CHECK-NEXT: %0:_ KnownBits:???????? SignBits:182 ; CHECK-NEXT: %1:_ KnownBits:00000011 SignBits:683 ; CHECK-NEXT: %2:_ KnownBits:???????? SignBits:184 %0:_(s8) = COPY $b085 %1:_(s8) = G_CONSTANT i8 386 %2:_(s8) = G_ADD %0, %187...88---89name: ScalarNonNegative90body: |91 bb.1:92 ; CHECK-LABEL: name: @ScalarNonNegative93 ; CHECK-NEXT: %0:_ KnownBits:???????? SignBits:194 ; CHECK-NEXT: %1:_ KnownBits:00001111 SignBits:495 ; CHECK-NEXT: %2:_ KnownBits:0000???? SignBits:496 ; CHECK-NEXT: %3:_ KnownBits:11111111 SignBits:897 ; CHECK-NEXT: %4:_ KnownBits:???????? SignBits:498 %0:_(s8) = COPY $b099 %1:_(s8) = G_CONSTANT i8 15100 %2:_(s8) = G_AND %0, %1101 %3:_(s8) = G_CONSTANT i8 255102 %4:_(s8) = G_ADD %2, %3103...104---105name: ScalarLhsEarlyOut106body: |107 bb.1:108 ; CHECK-LABEL: name: @ScalarLhsEarlyOut109 ; CHECK-NEXT: %0:_ KnownBits:???????? SignBits:1110 ; CHECK-NEXT: %1:_ KnownBits:00000011 SignBits:6111 ; CHECK-NEXT: %2:_ KnownBits:???????? SignBits:1112 %0:_(s8) = COPY $b0113 %1:_(s8) = G_CONSTANT i8 3114 %2:_(s8) = G_ADD %1, %0115...116---117name: ScalarPartKnown118body: |119 bb.1:120 ; CHECK-LABEL: name: @ScalarPartKnown121 ; CHECK-NEXT: %0:_ KnownBits:???????? SignBits:1122 ; CHECK-NEXT: %1:_ KnownBits:00001111 SignBits:4123 ; CHECK-NEXT: %2:_ KnownBits:0000???? SignBits:4124 ; CHECK-NEXT: %3:_ KnownBits:00000101 SignBits:5125 ; CHECK-NEXT: %4:_ KnownBits:000????? SignBits:3126 %0:_(s8) = COPY $b0127 %1:_(s8) = G_CONSTANT i8 15128 %2:_(s8) = G_AND %0, %1129 %3:_(s8) = G_CONSTANT i8 5130 %4:_(s8) = G_ADD %2, %3131...132---133name: VectorCstZero134body: |135 bb.1:136 ; CHECK-LABEL: name: @VectorCstZero137 ; CHECK-NEXT: %0:_ KnownBits:0000000000000001 SignBits:15138 ; CHECK-NEXT: %1:_ KnownBits:1111111111111111 SignBits:16139 ; CHECK-NEXT: %2:_ KnownBits:0000000000000001 SignBits:15140 ; CHECK-NEXT: %3:_ KnownBits:1111111111111111 SignBits:16141 ; CHECK-NEXT: %4:_ KnownBits:0000000000000000 SignBits:16142 %0:_(s16) = G_CONSTANT i16 1143 %1:_(s16) = G_CONSTANT i16 65535144 %2:_(<4 x s16>) = G_BUILD_VECTOR %0, %0, %0, %0145 %3:_(<4 x s16>) = G_BUILD_VECTOR %1, %1, %1, %1146 %4:_(<4 x s16>) = G_ADD %2, %3147...148---149name: VectorCstNegOne150body: |151 bb.1:152 ; CHECK-LABEL: name: @VectorCstNegOne153 ; CHECK-NEXT: %0:_ KnownBits:0000000000000000 SignBits:16154 ; CHECK-NEXT: %1:_ KnownBits:1111111111111111 SignBits:16155 ; CHECK-NEXT: %2:_ KnownBits:0000000000000000 SignBits:16156 ; CHECK-NEXT: %3:_ KnownBits:1111111111111111 SignBits:16157 ; CHECK-NEXT: %4:_ KnownBits:1111111111111111 SignBits:16158 %0:_(s16) = G_CONSTANT i16 0159 %1:_(s16) = G_CONSTANT i16 65535160 %2:_(<4 x s16>) = G_BUILD_VECTOR %0, %0, %0, %0161 %3:_(<4 x s16>) = G_BUILD_VECTOR %1, %1, %1, %1162 %4:_(<4 x s16>) = G_ADD %2, %3163...164---165name: VectorVar166body: |167 bb.1:168 ; CHECK-LABEL: name: @VectorVar169 ; CHECK-NEXT: %0:_ KnownBits:???????????????? SignBits:1170 ; CHECK-NEXT: %1:_ KnownBits:???????????????? SignBits:1171 ; CHECK-NEXT: %2:_ KnownBits:???????????????? SignBits:1172 %0:_(<4 x s16>) = COPY $d0173 %1:_(<4 x s16>) = COPY $d1174 %2:_(<4 x s16>) = G_ADD %0, %1175...176---177name: VectorRhsEarlyOut178body: |179 bb.1:180 ; CHECK-LABEL: name: @VectorRhsEarlyOut181 ; CHECK-NEXT: %0:_ KnownBits:???????????????? SignBits:1182 ; CHECK-NEXT: %1:_ KnownBits:0000000000000011 SignBits:14183 ; CHECK-NEXT: %2:_ KnownBits:0000000000000011 SignBits:14184 ; CHECK-NEXT: %3:_ KnownBits:???????????????? SignBits:1185 %0:_(<4 x s16>) = COPY $d0186 %1:_(s16) = G_CONSTANT i16 3187 %2:_(<4 x s16>) = G_BUILD_VECTOR %1, %1, %1, %1188 %3:_(<4 x s16>) = G_ADD %2, %0189...190---191name: VectorNonNegative192body: |193 bb.1:194 ; CHECK-LABEL: name: @VectorNonNegative195 ; CHECK-NEXT: %0:_ KnownBits:???????????????? SignBits:1196 ; CHECK-NEXT: %1:_ KnownBits:0000000011111111 SignBits:8197 ; CHECK-NEXT: %2:_ KnownBits:0000000011111111 SignBits:8198 ; CHECK-NEXT: %3:_ KnownBits:00000000???????? SignBits:8199 ; CHECK-NEXT: %4:_ KnownBits:1111111111111111 SignBits:16200 ; CHECK-NEXT: %5:_ KnownBits:1111111111111111 SignBits:16201 ; CHECK-NEXT: %6:_ KnownBits:???????????????? SignBits:8202 %0:_(<4 x s16>) = COPY $d0203 %1:_(s16) = G_CONSTANT i16 255204 %2:_(<4 x s16>) = G_BUILD_VECTOR %1, %1, %1, %1205 %3:_(<4 x s16>) = G_AND %0, %2206 %4:_(s16) = G_CONSTANT i16 65535207 %5:_(<4 x s16>) = G_BUILD_VECTOR %4, %4, %4, %4208 %6:_(<4 x s16>) = G_ADD %3, %5209...210---211name: VectorLhsEarlyOut212body: |213 bb.1:214 ; CHECK-LABEL: name: @VectorLhsEarlyOut215 ; CHECK-NEXT: %0:_ KnownBits:???????????????? SignBits:1216 ; CHECK-NEXT: %1:_ KnownBits:0000000000000011 SignBits:14217 ; CHECK-NEXT: %2:_ KnownBits:0000000000000011 SignBits:14218 ; CHECK-NEXT: %3:_ KnownBits:???????????????? SignBits:1219 %0:_(<4 x s16>) = COPY $d0220 %1:_(s16) = G_CONSTANT i16 3221 %2:_(<4 x s16>) = G_BUILD_VECTOR %1, %1, %1, %1222 %3:_(<4 x s16>) = G_ADD %0, %2223...224---225name: VectorPartKnown226body: |227 bb.1:228 ; CHECK-LABEL: name: @VectorPartKnown229 ; CHECK-NEXT: %0:_ KnownBits:???????????????? SignBits:1230 ; CHECK-NEXT: %1:_ KnownBits:0000000011111111 SignBits:8231 ; CHECK-NEXT: %2:_ KnownBits:0000000011111111 SignBits:8232 ; CHECK-NEXT: %3:_ KnownBits:00000000???????? SignBits:8233 ; CHECK-NEXT: %4:_ KnownBits:0000000000101010 SignBits:10234 ; CHECK-NEXT: %5:_ KnownBits:0000000001001010 SignBits:9235 ; CHECK-NEXT: %6:_ KnownBits:000000000??01010 SignBits:9236 ; CHECK-NEXT: %7:_ KnownBits:0000000????????? SignBits:7237 %0:_(<4 x s16>) = COPY $d0238 %1:_(s16) = G_CONSTANT i16 255239 %2:_(<4 x s16>) = G_BUILD_VECTOR %1, %1, %1, %1240 %3:_(<4 x s16>) = G_AND %0, %2241 %4:_(s16) = G_CONSTANT i16 42242 %5:_(s16) = G_CONSTANT i16 74243 %6:_(<4 x s16>) = G_BUILD_VECTOR %4, %5, %5, %4244 %7:_(<4 x s16>) = G_ADD %6, %3245...246---247name: VectorCst36248body: |249 bb.1:250 ; CHECK-LABEL: name: @VectorCst36251 ; CHECK-NEXT: %0:_ KnownBits:0000000000000011 SignBits:14252 ; CHECK-NEXT: %1:_ KnownBits:0000000000000110 SignBits:13253 ; CHECK-NEXT: %2:_ KnownBits:0000000000000?1? SignBits:13254 ; CHECK-NEXT: %3:_ KnownBits:0000000000000?1? SignBits:13255 ; CHECK-NEXT: %4:_ KnownBits:000000000000???? SignBits:12256 %0:_(s16) = G_CONSTANT i16 3257 %1:_(s16) = G_CONSTANT i16 6258 %2:_(<4 x s16>) = G_BUILD_VECTOR %0, %1, %1, %0259 %3:_(<4 x s16>) = G_BUILD_VECTOR %0, %1, %1, %0260 %4:_(<4 x s16>) = G_ADD %2, %3261...262 263---264name: VectorCst3unknown265body: |266 bb.1:267 ; CHECK-LABEL: name: @VectorCst3unknown268 ; CHECK-NEXT: %0:_ KnownBits:???????????????? SignBits:1269 ; CHECK-NEXT: %1:_ KnownBits:???????????????? SignBits:1270 ; CHECK-NEXT: %2:_ KnownBits:0000000000000011 SignBits:14271 ; CHECK-NEXT: %3:_ KnownBits:???????????????? SignBits:1272 ; CHECK-NEXT: %4:_ KnownBits:???????????????? SignBits:1273 %0:_(<4 x s16>) = COPY $d0274 %1:_(s16) = COPY $h0275 %2:_(s16) = G_CONSTANT i16 3276 %3:_(<4 x s16>) = G_BUILD_VECTOR %1, %2, %2, %1277 %4:_(<4 x s16>) = G_ADD %0, %3278...279