110 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:10000000 SignBits:110 ; CHECK-NEXT: %1:_ KnownBits:00000011 SignBits:611 ; CHECK-NEXT: %2:_ KnownBits:11110000 SignBits:412 %0:_(s8) = G_CONSTANT i8 12813 %1:_(s8) = G_CONSTANT i8 314 %2:_(s8) = G_ASHR %0, %115...16---17name: CstBig18body: |19 bb.1:20 ; CHECK-LABEL: name: @CstBig21 ; CHECK-NEXT: %0:_ KnownBits:11111000 SignBits:522 ; CHECK-NEXT: %1:_ KnownBits:00000110 SignBits:523 ; CHECK-NEXT: %2:_ KnownBits:11111111 SignBits:824 %0:_(s8) = G_CONSTANT i8 24825 %1:_(s8) = G_CONSTANT i8 626 %2:_(s8) = G_ASHR %0, %127...28---29name: ScalarVar30body: |31 bb.1:32 ; CHECK-LABEL: name: @ScalarVar33 ; CHECK-NEXT: %0:_ KnownBits:???????? SignBits:134 ; CHECK-NEXT: %1:_ KnownBits:???????? SignBits:135 ; CHECK-NEXT: %2:_ KnownBits:???????? SignBits:136 %0:_(s8) = COPY $b037 %1:_(s8) = COPY $b138 %2:_(s8) = G_ASHR %0, %139...40---41name: ScalarCst42body: |43 bb.1:44 ; CHECK-LABEL: name: @ScalarCst45 ; CHECK-NEXT: %0:_ KnownBits:???????? SignBits:146 ; CHECK-NEXT: %1:_ KnownBits:00000011 SignBits:647 ; CHECK-NEXT: %2:_ KnownBits:???????? SignBits:448 %0:_(s8) = COPY $b049 %1:_(s8) = G_CONSTANT i8 350 %2:_(s8) = G_ASHR %0, %151...52---53name: VectorVar54body: |55 bb.1:56 ; CHECK-LABEL: name: @VectorVar57 ; CHECK-NEXT: %0:_ KnownBits:???????????????? SignBits:158 ; CHECK-NEXT: %1:_ KnownBits:???????????????? SignBits:159 ; CHECK-NEXT: %2:_ KnownBits:???????????????? SignBits:160 %0:_(<4 x s16>) = COPY $d061 %1:_(<4 x s16>) = COPY $d162 %2:_(<4 x s16>) = G_ASHR %0, %163...64---65name: VectorCst66body: |67 bb.1:68 ; CHECK-LABEL: name: @VectorCst69 ; CHECK-NEXT: %0:_ KnownBits:???????????????? SignBits:170 ; CHECK-NEXT: %1:_ KnownBits:0000000000000011 SignBits:1471 ; CHECK-NEXT: %2:_ KnownBits:0000000000000011 SignBits:1472 ; CHECK-NEXT: %3:_ KnownBits:???????????????? SignBits:473 %0:_(<4 x s16>) = COPY $d074 %1:_(s16) = G_CONSTANT i16 375 %2:_(<4 x s16>) = G_BUILD_VECTOR %1, %1, %1, %176 %3:_(<4 x s16>) = G_ASHR %0, %277...78---79name: VectorCst3680body: |81 bb.1:82 ; CHECK-LABEL: name: @VectorCst3683 ; CHECK-NEXT: %0:_ KnownBits:???????????????? SignBits:184 ; CHECK-NEXT: %1:_ KnownBits:0000000000000011 SignBits:1485 ; CHECK-NEXT: %2:_ KnownBits:0000000000000110 SignBits:1386 ; CHECK-NEXT: %3:_ KnownBits:0000000000000?1? SignBits:1387 ; CHECK-NEXT: %4:_ KnownBits:???????????????? SignBits:488 %0:_(<4 x s16>) = COPY $d089 %1:_(s16) = G_CONSTANT i16 390 %2:_(s16) = G_CONSTANT i16 691 %3:_(<4 x s16>) = G_BUILD_VECTOR %1, %2, %2, %192 %4:_(<4 x s16>) = G_ASHR %0, %393...94---95name: VectorCst3unknown96body: |97 bb.1:98 ; CHECK-LABEL: name: @VectorCst3unknown99 ; CHECK-NEXT: %0:_ KnownBits:???????????????? SignBits:1100 ; CHECK-NEXT: %1:_ KnownBits:???????????????? SignBits:1101 ; CHECK-NEXT: %2:_ KnownBits:0000000000000011 SignBits:14102 ; CHECK-NEXT: %3:_ KnownBits:???????????????? SignBits:1103 ; CHECK-NEXT: %4:_ KnownBits:???????????????? SignBits:1104 %0:_(<4 x s16>) = COPY $d0105 %1:_(s16) = COPY $h0106 %2:_(s16) = G_CONSTANT i16 3107 %3:_(<4 x s16>) = G_BUILD_VECTOR %1, %2, %2, %1108 %4:_(<4 x s16>) = G_ASHR %0, %3109...110