138 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_givaluetracking_test_checks.py UTC_ARGS: --version 62# RUN: llc -mtriple=aarch64 -passes='print<gisel-value-tracking>' -filetype=null %s 2>&1 | FileCheck %s3 4---5name: Cst6body: |7 bb.0:8 ; CHECK-LABEL: name: @Cst9 ; CHECK-NEXT: %0:_ KnownBits:00010011 SignBits:310 ; CHECK-NEXT: %1:_ KnownBits:11100000 SignBits:311 ; CHECK-NEXT: %2:_ KnownBits:11111101 SignBits:612 %0:_(s8) = G_CONSTANT i8 1913 %1:_(s8) = G_CONSTANT i8 22414 %2:_(s8) = G_SMULH %0, %115...16---17name: CstZero18body: |19 bb.0:20 ; CHECK-LABEL: name: @CstZero21 ; CHECK-NEXT: %0:_ KnownBits:11111111 SignBits:822 ; CHECK-NEXT: %1:_ KnownBits:00000000 SignBits:823 ; CHECK-NEXT: %2:_ KnownBits:00000000 SignBits:824 %0:_(s8) = G_CONSTANT i8 25525 %1:_(s8) = G_CONSTANT i8 026 %2:_(s8) = G_SMULH %0, %127...28---29name: ScalarVar30body: |31 bb.0: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_SMULH %0, %139...40---41name: ScalarZero42body: |43 bb.0:44 ; CHECK-LABEL: name: @ScalarZero45 ; CHECK-NEXT: %0:_ KnownBits:???????? SignBits:146 ; CHECK-NEXT: %1:_ KnownBits:00000000 SignBits:847 ; CHECK-NEXT: %2:_ KnownBits:00000000 SignBits:848 %0:_(s8) = COPY $b049 %1:_(s8) = G_CONSTANT i8 050 %2:_(s8) = G_SMULH %0, %151...52---53name: ScalarVarAbs54body: |55 bb.0:56 ; CHECK-LABEL: name: @ScalarVarAbs57 ; CHECK-NEXT: %0:_ KnownBits:???????? SignBits:158 ; CHECK-NEXT: %1:_ KnownBits:???????? SignBits:159 ; CHECK-NEXT: %2:_ KnownBits:???????????????? SignBits:960 ; CHECK-NEXT: %3:_ KnownBits:0000000000000001 SignBits:1561 ; CHECK-NEXT: %4:_ KnownBits:???????????????? SignBits:162 %0:_(s8) = COPY $b063 %1:_(s8) = G_ABS %064 %2:_(s16) = G_SEXT %165 %3:_(s16) = G_CONSTANT i16 166 %4:_(s16) = G_SMULH %2, %367...68---69name: SplatVecCst70body: |71 bb.0:72 ; CHECK-LABEL: name: @SplatVecCst73 ; CHECK-NEXT: %0:_ KnownBits:11111010 SignBits:574 ; CHECK-NEXT: %1:_ KnownBits:11111010 SignBits:575 ; CHECK-NEXT: %2:_ KnownBits:11111010 SignBits:576 ; CHECK-NEXT: %3:_ KnownBits:00000000 SignBits:877 %0:_(s8) = G_CONSTANT i8 25078 %1:_(<vscale x 16 x s8>) = G_SPLAT_VECTOR %0(s8)79 %2:_(<vscale x 16 x s8>) = G_SPLAT_VECTOR %0(s8)80 %3:_(<vscale x 16 x s8>) = G_SMULH %1, %281...82---83name: SplatVecPartScalar84body: |85 bb.0:86 ; CHECK-LABEL: name: @SplatVecPartScalar87 ; CHECK-NEXT: %0:_ KnownBits:11111010 SignBits:588 ; CHECK-NEXT: %1:_ KnownBits:11111010 SignBits:589 ; CHECK-NEXT: %2:_ KnownBits:???????? SignBits:190 ; CHECK-NEXT: %3:_ KnownBits:00001111 SignBits:491 ; CHECK-NEXT: %4:_ KnownBits:0000???? SignBits:492 ; CHECK-NEXT: %5:_ KnownBits:0000???? SignBits:493 ; CHECK-NEXT: %6:_ KnownBits:???????? SignBits:194 %0:_(s8) = G_CONSTANT i8 25095 %1:_(<vscale x 16 x s8>) = G_SPLAT_VECTOR %0(s8)96 %2:_(s8) = G_IMPLICIT_DEF97 %3:_(s8) = G_CONSTANT i8 1598 %4:_(s8) = G_AND %2, %399 %5:_(<vscale x 16 x s8>) = G_SPLAT_VECTOR %4(s8)100 %6:_(<vscale x 16 x s8>) = G_SMULH %1, %5101...102---103name: VecCst104body: |105 bb.0:106 ; CHECK-LABEL: name: @VecCst107 ; CHECK-NEXT: %0:_ KnownBits:00011001 SignBits:3108 ; CHECK-NEXT: %1:_ KnownBits:11100001 SignBits:3109 ; CHECK-NEXT: %2:_ KnownBits:?????001 SignBits:3110 ; CHECK-NEXT: %3:_ KnownBits:?????001 SignBits:3111 ; CHECK-NEXT: %4:_ KnownBits:???????? SignBits:1112 %0:_(s8) = G_CONSTANT i8 25113 %1:_(s8) = G_CONSTANT i8 225114 %2:_(<2 x s8>) = G_BUILD_VECTOR %0:_(s8), %1:_(s8)115 %3:_(<2 x s8>) = G_BUILD_VECTOR %0:_(s8), %1:_(s8)116 %4:_(<2 x s8>) = G_SMULH %2, %3117...118---119name: VecPartScalar120body: |121 bb.0:122 ; CHECK-LABEL: name: @VecPartScalar123 ; CHECK-NEXT: %0:_ KnownBits:11111010 SignBits:5124 ; CHECK-NEXT: %1:_ KnownBits:11111010 SignBits:5125 ; CHECK-NEXT: %2:_ KnownBits:???????? SignBits:1126 ; CHECK-NEXT: %3:_ KnownBits:00001111 SignBits:4127 ; CHECK-NEXT: %4:_ KnownBits:0000???? SignBits:4128 ; CHECK-NEXT: %5:_ KnownBits:0000???? SignBits:4129 ; CHECK-NEXT: %6:_ KnownBits:???????? SignBits:1130 %0:_(s8) = G_CONSTANT i8 250131 %1:_(<2 x s8>) = G_BUILD_VECTOR %0:_(s8), %0:_(s8)132 %2:_(s8) = G_IMPLICIT_DEF133 %3:_(s8) = G_CONSTANT i8 15134 %4:_(s8) = G_AND %2, %3135 %5:_(<2 x s8>) = G_BUILD_VECTOR %4:_(s8), %4:_(s8)136 %6:_(<2 x s8>) = G_SMULH %1, %5137...138