68 lines · plain
1# NOTE: Assertions have been autogenerated by utils/update_givaluetracking_test_checks.py UTC_ARGS: --version 52# RUN: llc -mtriple aarch64 -mattr=+sve -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:0000000000001010 SignBits:1210 ; CHECK-NEXT: %1:_ KnownBits:00000000000000000000000000001010 SignBits:2811 %0:_(s16) = G_CONSTANT i16 1012 %1:_(s32) = G_ZEXT %0(s16)13...14---15name: ScalarVar16body: |17 bb.0:18 ; CHECK-LABEL: name: @ScalarVar19 ; CHECK-NEXT: %0:_ KnownBits:???????????????? SignBits:120 ; CHECK-NEXT: %1:_ KnownBits:0000000000000000???????????????? SignBits:1621 %0:_(s16) = COPY $h022 %1:_(s32) = G_ZEXT %0(s16)23...24---25name: VectorCst26body: |27 bb.0:28 ; CHECK-LABEL: name: @VectorCst29 ; CHECK-NEXT: %0:_ KnownBits:0000000000001010 SignBits:1230 ; CHECK-NEXT: %1:_ KnownBits:0000000000001010 SignBits:1231 ; CHECK-NEXT: %2:_ KnownBits:00000000000000000000000000001010 SignBits:2832 %0:_(s16) = G_CONSTANT i16 1033 %1:_(<4 x s16>) = G_BUILD_VECTOR %0, %0, %0, %034 %2:_(<4 x s32>) = G_ZEXT %1(<4 x s16>)35...36---37name: VectorVar38body: |39 bb.0:40 ; CHECK-LABEL: name: @VectorVar41 ; CHECK-NEXT: %0:_ KnownBits:???????????????? SignBits:142 ; CHECK-NEXT: %1:_ KnownBits:0000000000000000???????????????? SignBits:1643 %0:_(<4 x s16>) = COPY $d044 %1:_(<4 x s32>) = G_ZEXT %0(<4 x s16>)45...46---47name: ScalableCst48body: |49 bb.0:50 ; CHECK-LABEL: name: @ScalableCst51 ; CHECK-NEXT: %0:_ KnownBits:0000000000001010 SignBits:1252 ; CHECK-NEXT: %1:_ KnownBits:0000000000001010 SignBits:153 ; CHECK-NEXT: %2:_ KnownBits:00000000000000000000000000001010 SignBits:2854 %0:_(s16) = G_CONSTANT i16 1055 %1:_(<vscale x 4 x s16>) = G_SPLAT_VECTOR %056 %2:_(<vscale x 4 x s32>) = G_ZEXT %1(<vscale x 4 x s16>)57...58---59name: ScalableVar60body: |61 bb.0:62 ; CHECK-LABEL: name: @ScalableVar63 ; CHECK-NEXT: %0:_ KnownBits:???????????????? SignBits:164 ; CHECK-NEXT: %1:_ KnownBits:0000000000000000???????????????? SignBits:1665 %0:_(<vscale x 4 x s16>) = COPY $z066 %1:_(<vscale x 4 x s32>) = G_ZEXT %0(<vscale x 4 x s16>)67...68