68 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: ScalarConst6body: |7 bb.0:8 ; CHECK-LABEL: name: @ScalarConst9 ; CHECK-NEXT: %0:_ KnownBits:10101001100001110110010101000011 SignBits:110 ; CHECK-NEXT: %1:_ KnownBits:0110010101000011 SignBits:111 %0:_(s32) = G_CONSTANT i32 284422278712 %1:_(s16) = G_TRUNC %0(s32)13...14---15name: ScalarVar16body: |17 bb.0:18 ; CHECK-LABEL: name: @ScalarVar19 ; CHECK-NEXT: %0:_ KnownBits:???????????????????????????????? SignBits:120 ; CHECK-NEXT: %1:_ KnownBits:???????????????? SignBits:121 %0:_(s32) = COPY $w022 %1:_(s16) = G_TRUNC %0(s32)23...24---25name: VectorCst26body: |27 bb.0:28 ; CHECK-LABEL: name: @VectorCst29 ; CHECK-NEXT: %0:_ KnownBits:10101001100001110110010101000011 SignBits:130 ; CHECK-NEXT: %1:_ KnownBits:10101001100001110110010101000011 SignBits:131 ; CHECK-NEXT: %2:_ KnownBits:0110010101000011 SignBits:132 %0:_(s32) = G_CONSTANT i32 284422278733 %1:_(<4 x s32>) = G_BUILD_VECTOR %0, %0, %0, %034 %2:_(<4 x s16>) = G_TRUNC %1(<4 x s32>)35...36---37name: VectorVar38body: |39 bb.0:40 ; CHECK-LABEL: name: @VectorVar41 ; CHECK-NEXT: %0:_ KnownBits:???????????????????????????????? SignBits:142 ; CHECK-NEXT: %1:_ KnownBits:???????????????? SignBits:143 %0:_(<4 x s32>) = COPY $q044 %1:_(<4 x s16>) = G_TRUNC %0(<4 x s32>)45...46---47name: ScalableCst48body: |49 bb.0:50 ; CHECK-LABEL: name: @ScalableCst51 ; CHECK-NEXT: %0:_ KnownBits:10101001100001110110010101000011 SignBits:152 ; CHECK-NEXT: %1:_ KnownBits:10101001100001110110010101000011 SignBits:153 ; CHECK-NEXT: %2:_ KnownBits:0110010101000011 SignBits:154 %0:_(s32) = G_CONSTANT i32 284422278755 %1:_(<vscale x 4 x s32>) = G_SPLAT_VECTOR %056 %2:_(<vscale x 4 x s16>) = G_TRUNC %1(<vscale x 4 x s32>)57...58---59name: ScalableVar60body: |61 bb.0:62 ; CHECK-LABEL: name: @ScalableVar63 ; CHECK-NEXT: %0:_ KnownBits:???????????????????????????????? SignBits:164 ; CHECK-NEXT: %1:_ KnownBits:???????????????? SignBits:165 %0:_(<vscale x 4 x s32>) = COPY $z066 %1:_(<vscale x 4 x s16>) = G_TRUNC %0(<vscale x 4 x s32>)67...68