243 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>" %s -o - 2>&1 | FileCheck %s3 4---5name: Cst6body: |7 bb.1:8 ; CHECK-LABEL: name: @Cst9 ; CHECK-NEXT: %0:_ KnownBits:11100000 SignBits:310 ; CHECK-NEXT: %1:_ KnownBits:00000010 SignBits:611 ; CHECK-NEXT: %2:_ KnownBits:10000000 SignBits:112 %0:_(s8) = G_CONSTANT i8 22413 %1:_(s8) = G_CONSTANT i8 214 %2:_(s8) = G_SHL %0, %115...16---17name: CstBig18body: |19 bb.1:20 ; CHECK-LABEL: name: @CstBig21 ; CHECK-NEXT: %0:_ KnownBits:11111001 SignBits:522 ; CHECK-NEXT: %1:_ KnownBits:00000110 SignBits:523 ; CHECK-NEXT: %2:_ KnownBits:01000000 SignBits:124 %0:_(s8) = G_CONSTANT i8 24925 %1:_(s8) = G_CONSTANT i8 626 %2:_(s8) = G_SHL %0, %127...28---29name: CstSext30body: |31 bb.1:32 ; CHECK-LABEL: name: @CstSext33 ; CHECK-NEXT: %0:_ KnownBits:10000001 SignBits:134 ; CHECK-NEXT: %1:_ KnownBits:00000100 SignBits:535 ; CHECK-NEXT: %2:_ KnownBits:11111000 SignBits:536 ; CHECK-NEXT: %3:_ KnownBits:00000011 SignBits:637 ; CHECK-NEXT: %4:_ KnownBits:11000000 SignBits:238 %0:_(s8) = G_CONSTANT i8 12939 %1:_(s8) = G_CONSTANT i8 440 %2:_(s8) = G_ASHR %0, %141 %3:_(s8) = G_CONSTANT i8 342 %4:_(s8) = G_SHL %2, %343...44---45name: CstSextBig46body: |47 bb.1:48 ; CHECK-LABEL: name: @CstSextBig49 ; CHECK-NEXT: %0:_ KnownBits:10000001 SignBits:150 ; CHECK-NEXT: %1:_ KnownBits:00000100 SignBits:551 ; CHECK-NEXT: %2:_ KnownBits:11111000 SignBits:552 ; CHECK-NEXT: %3:_ KnownBits:00000110 SignBits:553 ; CHECK-NEXT: %4:_ KnownBits:00000000 SignBits:854 %0:_(s8) = G_CONSTANT i8 12955 %1:_(s8) = G_CONSTANT i8 456 %2:_(s8) = G_ASHR %0, %157 %3:_(s8) = G_CONSTANT i8 658 %4:_(s8) = G_SHL %2, %359...60---61name: ScalarVar62body: |63 bb.1:64 ; CHECK-LABEL: name: @ScalarVar65 ; CHECK-NEXT: %0:_ KnownBits:???????? SignBits:166 ; CHECK-NEXT: %1:_ KnownBits:???????? SignBits:167 ; CHECK-NEXT: %2:_ KnownBits:???????? SignBits:168 %0:_(s8) = COPY $b069 %1:_(s8) = COPY $b170 %2:_(s8) = G_SHL %0, %171...72---73name: ScalarCst74body: |75 bb.1:76 ; CHECK-LABEL: name: @ScalarCst77 ; CHECK-NEXT: %0:_ KnownBits:???????? SignBits:178 ; CHECK-NEXT: %1:_ KnownBits:00000011 SignBits:679 ; CHECK-NEXT: %2:_ KnownBits:?????000 SignBits:180 %0:_(s8) = COPY $b081 %1:_(s8) = G_CONSTANT i8 382 %2:_(s8) = G_SHL %0, %183...84---85name: VectorVar86body: |87 bb.1:88 ; CHECK-LABEL: name: @VectorVar89 ; CHECK-NEXT: %0:_ KnownBits:???????????????? SignBits:190 ; CHECK-NEXT: %1:_ KnownBits:???????????????? SignBits:191 ; CHECK-NEXT: %2:_ KnownBits:???????????????? SignBits:192 %0:_(<4 x s16>) = COPY $d093 %1:_(<4 x s16>) = COPY $d194 %2:_(<4 x s16>) = G_SHL %0, %195...96---97name: VectorCst98body: |99 bb.1:100 ; CHECK-LABEL: name: @VectorCst101 ; CHECK-NEXT: %0:_ KnownBits:???????????????? SignBits:1102 ; CHECK-NEXT: %1:_ KnownBits:0000000000000011 SignBits:14103 ; CHECK-NEXT: %2:_ KnownBits:0000000000000011 SignBits:14104 ; CHECK-NEXT: %3:_ KnownBits:?????????????000 SignBits:1105 %0:_(<4 x s16>) = COPY $d0106 %1:_(s16) = G_CONSTANT i16 3107 %2:_(<4 x s16>) = G_BUILD_VECTOR %1, %1, %1, %1108 %3:_(<4 x s16>) = G_SHL %0, %2109...110---111name: VectorCst36112body: |113 bb.1:114 ; CHECK-LABEL: name: @VectorCst36115 ; CHECK-NEXT: %0:_ KnownBits:0000000000000011 SignBits:14116 ; CHECK-NEXT: %1:_ KnownBits:0000000000000110 SignBits:13117 ; CHECK-NEXT: %2:_ KnownBits:0000000000000?1? SignBits:13118 ; CHECK-NEXT: %3:_ KnownBits:0000000000000?1? SignBits:13119 ; CHECK-NEXT: %4:_ KnownBits:000000????????00 SignBits:7120 %0:_(s16) = G_CONSTANT i16 3121 %1:_(s16) = G_CONSTANT i16 6122 %2:_(<4 x s16>) = G_BUILD_VECTOR %0, %1, %1, %0123 %3:_(<4 x s16>) = G_BUILD_VECTOR %0, %1, %1, %0124 %4:_(<4 x s16>) = G_SHL %2, %3125...126 127---128name: VectorCst3unknown129body: |130 bb.1:131 ; CHECK-LABEL: name: @VectorCst3unknown132 ; CHECK-NEXT: %0:_ KnownBits:???????????????? SignBits:1133 ; CHECK-NEXT: %1:_ KnownBits:???????????????? SignBits:1134 ; CHECK-NEXT: %2:_ KnownBits:0000000000000011 SignBits:14135 ; CHECK-NEXT: %3:_ KnownBits:???????????????? SignBits:1136 ; CHECK-NEXT: %4:_ KnownBits:???????????????? SignBits:1137 %0:_(<4 x s16>) = COPY $d0138 %1:_(s16) = COPY $h0139 %2:_(s16) = G_CONSTANT i16 3140 %3:_(<4 x s16>) = G_BUILD_VECTOR %1, %2, %2, %1141 %4:_(<4 x s16>) = G_SHL %0, %3142...143---144name: VectorSext145body: |146 bb.1:147 ; CHECK-LABEL: name: @VectorSext148 ; CHECK-NEXT: %0:_ KnownBits:11101110 SignBits:3149 ; CHECK-NEXT: %1:_ KnownBits:1111111111101110 SignBits:11150 ; CHECK-NEXT: %2:_ KnownBits:1111111111101110 SignBits:11151 ; CHECK-NEXT: %3:_ KnownBits:0000000000000011 SignBits:14152 ; CHECK-NEXT: %4:_ KnownBits:0000000000000110 SignBits:13153 ; CHECK-NEXT: %5:_ KnownBits:0000000000000?1? SignBits:13154 ; CHECK-NEXT: %6:_ KnownBits:1111??11?????000 SignBits:5155 %0:_(s8) = G_CONSTANT i8 238156 %1:_(s16) = G_SEXT %0(s8)157 %2:_(<4 x s16>) = G_BUILD_VECTOR %1, %1, %1, %1158 %3:_(s16) = G_CONSTANT i16 3159 %4:_(s16) = G_CONSTANT i16 6160 %5:_(<4 x s16>) = G_BUILD_VECTOR %3, %4, %4, %3161 %6:_(<4 x s16>) = G_SHL %2, %5162...163---164name: VectorSextBig165body: |166 bb.1:167 ; CHECK-LABEL: name: @VectorSextBig168 ; CHECK-NEXT: %0:_ KnownBits:11101110 SignBits:3169 ; CHECK-NEXT: %1:_ KnownBits:1111111111101110 SignBits:11170 ; CHECK-NEXT: %2:_ KnownBits:1111111111101110 SignBits:11171 ; CHECK-NEXT: %3:_ KnownBits:0000000000001000 SignBits:12172 ; CHECK-NEXT: %4:_ KnownBits:0000000000001001 SignBits:12173 ; CHECK-NEXT: %5:_ KnownBits:000000000000100? SignBits:12174 ; CHECK-NEXT: %6:_ KnownBits:11??11?000000000 SignBits:2175 %0:_(s8) = G_CONSTANT i8 238176 %1:_(s16) = G_SEXT %0(s8)177 %2:_(<4 x s16>) = G_BUILD_VECTOR %1, %1, %1, %1178 %3:_(s16) = G_CONSTANT i16 8179 %4:_(s16) = G_CONSTANT i16 9180 %5:_(<4 x s16>) = G_BUILD_VECTOR %3, %4, %4, %3181 %6:_(<4 x s16>) = G_SHL %2, %5182...183---184name: SHLless185body: |186 bb.1:187 ; CHECK-LABEL: name: @SHLless188 ; CHECK-NEXT: %0:_ KnownBits:???????? SignBits:1189 ; CHECK-NEXT: %1:_ KnownBits:???????????????? SignBits:9190 ; CHECK-NEXT: %2:_ KnownBits:0000000000000011 SignBits:14191 ; CHECK-NEXT: %3:_ KnownBits:?????????????000 SignBits:6192 %0:_(s8) = COPY $b0193 %1:_(s16) = G_SEXT %0(s8)194 %2:_(s16) = G_CONSTANT i16 3195 %3:_(s16) = G_SHL %1, %2196...197---198name: SHLeq199body: |200 bb.1:201 ; CHECK-LABEL: name: @SHLeq202 ; CHECK-NEXT: %0:_ KnownBits:???????? SignBits:1203 ; CHECK-NEXT: %1:_ KnownBits:???????????????? SignBits:9204 ; CHECK-NEXT: %2:_ KnownBits:0000000000001000 SignBits:12205 ; CHECK-NEXT: %3:_ KnownBits:????????00000000 SignBits:1206 %0:_(s8) = COPY $b0207 %1:_(s16) = G_SEXT %0(s8)208 %2:_(s16) = G_CONSTANT i16 8209 %3:_(s16) = G_SHL %1, %2210...211---212name: SHLmore213body: |214 bb.1:215 ; CHECK-LABEL: name: @SHLmore216 ; CHECK-NEXT: %0:_ KnownBits:???????? SignBits:1217 ; CHECK-NEXT: %1:_ KnownBits:???????????????? SignBits:9218 ; CHECK-NEXT: %2:_ KnownBits:0000000000001101 SignBits:12219 ; CHECK-NEXT: %3:_ KnownBits:???0000000000000 SignBits:1220 %0:_(s8) = COPY $b0221 %1:_(s16) = G_SEXT %0(s8)222 %2:_(s16) = G_CONSTANT i16 13223 %3:_(s16) = G_SHL %1, %2224...225---226name: SignBitsThroughZext227body: |228 bb.1:229 ; CHECK-LABEL: name: @SignBitsThroughZext230 ; CHECK-NEXT: %0:_ KnownBits:???????? SignBits:1231 ; CHECK-NEXT: %1:_ KnownBits:0000000000000011 SignBits:14232 ; CHECK-NEXT: %2:_ KnownBits:???????? SignBits:4233 ; CHECK-NEXT: %3:_ KnownBits:00000000???????? SignBits:8234 ; CHECK-NEXT: %4:_ KnownBits:0000000000001000 SignBits:12235 ; CHECK-NEXT: %5:_ KnownBits:????????00000000 SignBits:4236 %0:_(s8) = COPY $b0237 %1:_(s16) = G_CONSTANT i16 3238 %2:_(s8) = G_ASHR %0, %1239 %3:_(s16) = G_ZEXT %2240 %4:_(s16) = G_CONSTANT i16 8241 %5:_(s16) = G_SHL %3, %4242...243