46 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: Scalar6body: |7 bb.1:8 ; CHECK-LABEL: name: @Scalar9 ; CHECK-NEXT: %copy_x0:_ KnownBits:???????????????? SignBits:110 ; CHECK-NEXT: %maskf:_ KnownBits:0000000000001111 SignBits:1211 ; CHECK-NEXT: %x0_x1:_ KnownBits:0000000000001111 SignBits:1212 ; CHECK-NEXT: %and:_ KnownBits:000000000000???? SignBits:1213 ; CHECK-NEXT: %x0_0:_ KnownBits:000000000000???? SignBits:1214 ; CHECK-NEXT: %x0_1:_ KnownBits:000000000000???? SignBits:1215 ; CHECK-NEXT: %result:_ KnownBits:000000000000???? SignBits:1216 %copy_x0:_(<2 x s16>) = COPY $w017 %maskf:_(s16) = G_CONSTANT i16 1518 %x0_x1:_(<2 x s16>) = G_BUILD_VECTOR %maskf, %maskf19 %and:_(<2 x s16>) = G_AND %copy_x0, %x0_x120 %x0_0:_(s16), %x0_1:_(s16) = G_UNMERGE_VALUES %and21 %result:_(s16) = COPY %x0_022...23---24name: Vector25body: |26 bb.1:27 ; CHECK-LABEL: name: @Vector28 ; CHECK-NEXT: %copy_x0:_ KnownBits:???????? SignBits:129 ; CHECK-NEXT: %maskff:_ KnownBits:11111111 SignBits:830 ; CHECK-NEXT: %maskf:_ KnownBits:00001111 SignBits:431 ; CHECK-NEXT: %x0_x1:_ KnownBits:????1111 SignBits:432 ; CHECK-NEXT: %and:_ KnownBits:???????? SignBits:133 ; CHECK-NEXT: %x0_0:_ KnownBits:0000???? SignBits:434 ; CHECK-NEXT: %x0_1:_ KnownBits:???????? SignBits:135 ; CHECK-NEXT: %result1:_ KnownBits:0000???? SignBits:436 ; CHECK-NEXT: %result2:_ KnownBits:???????? SignBits:137 %copy_x0:_(<4 x s8>) = COPY $w038 %maskff:_(s8) = G_CONSTANT i8 25539 %maskf:_(s8) = G_CONSTANT i8 1540 %x0_x1:_(<4 x s8>) = G_BUILD_VECTOR %maskf, %maskf, %maskff, %maskff41 %and:_(<4 x s8>) = G_AND %copy_x0, %x0_x142 %x0_0:_(<2 x s8>), %x0_1:_(<2 x s8>) = G_UNMERGE_VALUES %and43 %result1:_(<2 x s8>) = COPY %x0_044 %result2:_(<2 x s8>) = COPY %x0_145...46