277 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:11100000 SignBits:311 ; CHECK-NEXT: %2:_ KnownBits:00100010 SignBits:212 %0:_(s8) = G_CONSTANT i8 213 %1:_(s8) = G_CONSTANT i8 22414 %2:_(s8) = G_SUB %0, %115...16---17name: CstZero18body: |19 bb.1:20 ; CHECK-LABEL: name: @CstZero21 ; CHECK-NEXT: %0:_ KnownBits:00000000 SignBits:822 ; CHECK-NEXT: %1:_ KnownBits:00000000 SignBits:823 ; CHECK-NEXT: %2:_ KnownBits:00000000 SignBits:824 %0:_(s8) = G_CONSTANT i8 025 %1:_(s8) = G_CONSTANT i8 026 %2:_(s8) = G_SUB %0, %127...28---29name: CstNegOne30body: |31 bb.1:32 ; CHECK-LABEL: name: @CstNegOne33 ; CHECK-NEXT: %0:_ KnownBits:00000000 SignBits:834 ; CHECK-NEXT: %1:_ KnownBits:00000001 SignBits:735 ; CHECK-NEXT: %2:_ KnownBits:11111111 SignBits:836 %0:_(s8) = G_CONSTANT i8 037 %1:_(s8) = G_CONSTANT i8 138 %2:_(s8) = G_SUB %0, %139...40---41name: CstNegFour42body: |43 bb.1:44 ; CHECK-LABEL: name: @CstNegFour45 ; CHECK-NEXT: %0:_ KnownBits:00000000 SignBits:846 ; CHECK-NEXT: %1:_ KnownBits:00000100 SignBits:547 ; CHECK-NEXT: %2:_ KnownBits:11111100 SignBits:648 %0:_(s8) = G_CONSTANT i8 049 %1:_(s8) = G_CONSTANT i8 450 %2:_(s8) = G_SUB %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:11011110 SignBits:260 %0:_(s8) = G_CONSTANT i8 22461 %1:_(s8) = G_CONSTANT i8 262 %2:_(s8) = G_SUB %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_SUB %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_SUB %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:00000000 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 0102 %4:_(s8) = G_SUB %3, %2103...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_SUB %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:???????? 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_SUB %2, %3131...132---133name: VectorCstZero134body: |135 bb.1:136 ; CHECK-LABEL: name: @VectorCstZero137 ; CHECK-NEXT: %0:_ KnownBits:0000000000000000 SignBits:16138 ; CHECK-NEXT: %1:_ KnownBits:0000000000000000 SignBits:16139 ; CHECK-NEXT: %2:_ KnownBits:0000000000000000 SignBits:16140 ; CHECK-NEXT: %3:_ KnownBits:0000000000000000 SignBits:16141 %0:_(s16) = G_CONSTANT i16 0142 %1:_(<4 x s16>) = G_BUILD_VECTOR %0, %0, %0, %0143 %2:_(<4 x s16>) = G_BUILD_VECTOR %0, %0, %0, %0144 %3:_(<4 x s16>) = G_SUB %1, %2145...146---147name: VectorCstNegOne148body: |149 bb.1:150 ; CHECK-LABEL: name: @VectorCstNegOne151 ; CHECK-NEXT: %0:_ KnownBits:0000000000000000 SignBits:16152 ; CHECK-NEXT: %1:_ KnownBits:0000000000000001 SignBits:15153 ; CHECK-NEXT: %2:_ KnownBits:0000000000000000 SignBits:16154 ; CHECK-NEXT: %3:_ KnownBits:0000000000000001 SignBits:15155 ; CHECK-NEXT: %4:_ KnownBits:1111111111111111 SignBits:16156 %0:_(s16) = G_CONSTANT i16 0157 %1:_(s16) = G_CONSTANT i16 1158 %2:_(<4 x s16>) = G_BUILD_VECTOR %0, %0, %0, %0159 %3:_(<4 x s16>) = G_BUILD_VECTOR %1, %1, %1, %1160 %4:_(<4 x s16>) = G_SUB %2, %3161...162---163name: VectorVar164body: |165 bb.1:166 ; CHECK-LABEL: name: @VectorVar167 ; CHECK-NEXT: %0:_ KnownBits:???????????????? SignBits:1168 ; CHECK-NEXT: %1:_ KnownBits:???????????????? SignBits:1169 ; CHECK-NEXT: %2:_ KnownBits:???????????????? SignBits:1170 %0:_(<4 x s16>) = COPY $d0171 %1:_(<4 x s16>) = COPY $d1172 %2:_(<4 x s16>) = G_SUB %0, %1173...174---175name: VectorRhsEarlyOut176body: |177 bb.1:178 ; CHECK-LABEL: name: @VectorRhsEarlyOut179 ; CHECK-NEXT: %0:_ KnownBits:???????????????? SignBits:1180 ; CHECK-NEXT: %1:_ KnownBits:0000000000000011 SignBits:14181 ; CHECK-NEXT: %2:_ KnownBits:0000000000000011 SignBits:14182 ; CHECK-NEXT: %3:_ KnownBits:???????????????? SignBits:1183 %0:_(<4 x s16>) = COPY $d0184 %1:_(s16) = G_CONSTANT i16 3185 %2:_(<4 x s16>) = G_BUILD_VECTOR %1, %1, %1, %1186 %3:_(<4 x s16>) = G_SUB %2, %0187...188---189name: VectorNonNegative190body: |191 bb.1:192 ; CHECK-LABEL: name: @VectorNonNegative193 ; CHECK-NEXT: %0:_ KnownBits:???????????????? SignBits:1194 ; CHECK-NEXT: %1:_ KnownBits:0000000011111111 SignBits:8195 ; CHECK-NEXT: %2:_ KnownBits:0000000011111111 SignBits:8196 ; CHECK-NEXT: %3:_ KnownBits:00000000???????? SignBits:8197 ; CHECK-NEXT: %4:_ KnownBits:0000000000000000 SignBits:16198 ; CHECK-NEXT: %5:_ KnownBits:0000000000000000 SignBits:16199 ; CHECK-NEXT: %6:_ KnownBits:???????????????? SignBits:8200 %0:_(<4 x s16>) = COPY $d0201 %1:_(s16) = G_CONSTANT i16 255202 %2:_(<4 x s16>) = G_BUILD_VECTOR %1, %1, %1, %1203 %3:_(<4 x s16>) = G_AND %0, %2204 %4:_(s16) = G_CONSTANT i16 0205 %5:_(<4 x s16>) = G_BUILD_VECTOR %4, %4, %4, %4206 %6:_(<4 x s16>) = G_SUB %5, %3207...208---209name: VectorLhsEarlyOut210body: |211 bb.1:212 ; CHECK-LABEL: name: @VectorLhsEarlyOut213 ; CHECK-NEXT: %0:_ KnownBits:???????????????? SignBits:1214 ; CHECK-NEXT: %1:_ KnownBits:0000000000000011 SignBits:14215 ; CHECK-NEXT: %2:_ KnownBits:0000000000000011 SignBits:14216 ; CHECK-NEXT: %3:_ KnownBits:???????????????? SignBits:1217 %0:_(<4 x s16>) = COPY $d0218 %1:_(s16) = G_CONSTANT i16 3219 %2:_(<4 x s16>) = G_BUILD_VECTOR %1, %1, %1, %1220 %3:_(<4 x s16>) = G_SUB %0, %2221...222---223name: VectorPartKnown224body: |225 bb.1:226 ; CHECK-LABEL: name: @VectorPartKnown227 ; CHECK-NEXT: %0:_ KnownBits:???????????????? SignBits:1228 ; CHECK-NEXT: %1:_ KnownBits:0000000011111111 SignBits:8229 ; CHECK-NEXT: %2:_ KnownBits:0000000011111111 SignBits:8230 ; CHECK-NEXT: %3:_ KnownBits:00000000???????? SignBits:8231 ; CHECK-NEXT: %4:_ KnownBits:0000000000101010 SignBits:10232 ; CHECK-NEXT: %5:_ KnownBits:0000000001001010 SignBits:9233 ; CHECK-NEXT: %6:_ KnownBits:000000000??01010 SignBits:9234 ; CHECK-NEXT: %7:_ KnownBits:???????????????? SignBits:7235 %0:_(<4 x s16>) = COPY $d0236 %1:_(s16) = G_CONSTANT i16 255237 %2:_(<4 x s16>) = G_BUILD_VECTOR %1, %1, %1, %1238 %3:_(<4 x s16>) = G_AND %0, %2239 %4:_(s16) = G_CONSTANT i16 42240 %5:_(s16) = G_CONSTANT i16 74241 %6:_(<4 x s16>) = G_BUILD_VECTOR %4, %5, %5, %4242 %7:_(<4 x s16>) = G_SUB %6, %3243...244---245name: VectorCst36246body: |247 bb.1:248 ; CHECK-LABEL: name: @VectorCst36249 ; CHECK-NEXT: %0:_ KnownBits:0000000000000011 SignBits:14250 ; CHECK-NEXT: %1:_ KnownBits:0000000000000110 SignBits:13251 ; CHECK-NEXT: %2:_ KnownBits:0000000000000?1? SignBits:13252 ; CHECK-NEXT: %3:_ KnownBits:0000000000000?1? SignBits:13253 ; CHECK-NEXT: %4:_ KnownBits:???????????????? SignBits:12254 %0:_(s16) = G_CONSTANT i16 3255 %1:_(s16) = G_CONSTANT i16 6256 %2:_(<4 x s16>) = G_BUILD_VECTOR %0, %1, %1, %0257 %3:_(<4 x s16>) = G_BUILD_VECTOR %0, %1, %1, %0258 %4:_(<4 x s16>) = G_SUB %2, %3259...260 261---262name: VectorCst3unknown263body: |264 bb.1:265 ; CHECK-LABEL: name: @VectorCst3unknown266 ; CHECK-NEXT: %0:_ KnownBits:???????????????? SignBits:1267 ; CHECK-NEXT: %1:_ KnownBits:???????????????? SignBits:1268 ; CHECK-NEXT: %2:_ KnownBits:0000000000000011 SignBits:14269 ; CHECK-NEXT: %3:_ KnownBits:???????????????? SignBits:1270 ; CHECK-NEXT: %4:_ KnownBits:???????????????? SignBits:1271 %0:_(<4 x s16>) = COPY $d0272 %1:_(s16) = COPY $h0273 %2:_(s16) = G_CONSTANT i16 3274 %3:_(<4 x s16>) = G_BUILD_VECTOR %1, %2, %2, %1275 %4:_(<4 x s16>) = G_SUB %0, %3276...277