70 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 -filetype=null 2>&1 | FileCheck %s3 4---5name: no_knownbits6body: |7 bb.0:8 9 ; CHECK-LABEL: name: @no_knownbits10 ; CHECK-NEXT: %0:_ KnownBits:???????? SignBits:111 ; CHECK-NEXT: %1:_ KnownBits:???????? SignBits:112 ; CHECK-NEXT: %2:_ KnownBits:???????? SignBits:113 %0:_(<2 x s8>) = COPY $h014 %1:_(<2 x s8>) = COPY $h115 %2:_(<4 x s8>) = G_CONCAT_VECTORS %0, %116...17---18name: zext_concat19body: |20 bb.0:21 22 ; CHECK-LABEL: name: @zext_concat23 ; CHECK-NEXT: %0:_ KnownBits:???????? SignBits:124 ; CHECK-NEXT: %1:_ KnownBits:???????? SignBits:125 ; CHECK-NEXT: %zext0:_ KnownBits:00000000???????? SignBits:826 ; CHECK-NEXT: %zext1:_ KnownBits:00000000???????? SignBits:827 ; CHECK-NEXT: %res:_ KnownBits:00000000???????? SignBits:828 %0:_(<2 x s8>) = COPY $h029 %1:_(<2 x s8>) = COPY $h130 %zext0:_(<2 x s16>) = G_ZEXT %031 %zext1:_(<2 x s16>) = G_ZEXT %132 %res:_(<4 x s16>) = G_CONCAT_VECTORS %zext0, %zext133...34---35 36name: sext_concat37body: |38 bb.0:39 40 ; CHECK-LABEL: name: @sext_concat41 ; CHECK-NEXT: %0:_ KnownBits:???????? SignBits:142 ; CHECK-NEXT: %1:_ KnownBits:???????? SignBits:143 ; CHECK-NEXT: %sext0:_ KnownBits:???????????????? SignBits:944 ; CHECK-NEXT: %sext1:_ KnownBits:???????????????? SignBits:945 ; CHECK-NEXT: %res:_ KnownBits:???????????????? SignBits:946 %0:_(<2 x s8>) = COPY $h047 %1:_(<2 x s8>) = COPY $h148 %sext0:_(<2 x s16>) = G_SEXT %049 %sext1:_(<2 x s16>) = G_SEXT %150 %res:_(<4 x s16>) = G_CONCAT_VECTORS %sext0, %sext151...52---53 54name: mixed_ext55body: |56 bb.0:57 58 ; CHECK-LABEL: name: @mixed_ext59 ; CHECK-NEXT: %0:_ KnownBits:???????? SignBits:160 ; CHECK-NEXT: %1:_ KnownBits:???????? SignBits:161 ; CHECK-NEXT: %zext0:_ KnownBits:00000000???????? SignBits:862 ; CHECK-NEXT: %sext1:_ KnownBits:???????????????? SignBits:963 ; CHECK-NEXT: %res:_ KnownBits:???????????????? SignBits:864 %0:_(<2 x s8>) = COPY $h065 %1:_(<2 x s8>) = COPY $h166 %zext0:_(<2 x s16>) = G_ZEXT %067 %sext1:_(<2 x s16>) = G_SEXT %168 %res:_(<4 x s16>) = G_CONCAT_VECTORS %zext0, %sext169...70