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:00000000000000000000000001111000 SignBits:2510 ; CHECK-NEXT: %1:_ KnownBits:00000000000000000000000001111000 SignBits:2511 %0:_(s32) = G_CONSTANT i32 12012 %1:_(s32) = G_ASSERT_ZEXT %0(s32), 1613...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:_(s32) = COPY $w022 %1:_(s32) = G_ASSERT_ZEXT %0(s32), 1623...24---25name: VectorCst26body: |27 bb.0:28 ; CHECK-LABEL: name: @VectorCst29 ; CHECK-NEXT: %0:_ KnownBits:00000000000000000000000001111000 SignBits:2530 ; CHECK-NEXT: %1:_ KnownBits:00000000000000000000000001111000 SignBits:2531 ; CHECK-NEXT: %2:_ KnownBits:00000000000000000000000001111000 SignBits:2532 %0:_(s32) = G_CONSTANT i32 12033 %1:_(<4 x s32>) = G_BUILD_VECTOR %0, %0, %0, %034 %2:_(<4 x s32>) = G_ASSERT_ZEXT %1(<4 x s32>), 1635...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 s32>) = COPY $q044 %1:_(<4 x s32>) = G_ASSERT_ZEXT %0(<4 x s32>), 1645...46---47name: ScalableCst48body: |49 bb.0:50 ; CHECK-LABEL: name: @ScalableCst51 ; CHECK-NEXT: %0:_ KnownBits:00000000000000000000000001111000 SignBits:2552 ; CHECK-NEXT: %1:_ KnownBits:00000000000000000000000001111000 SignBits:2553 ; CHECK-NEXT: %2:_ KnownBits:00000000000000000000000001111000 SignBits:2554 %0:_(s32) = G_CONSTANT i32 12055 %1:_(<vscale x 4 x s32>) = G_SPLAT_VECTOR %056 %2:_(<vscale x 4 x s32>) = G_ASSERT_ZEXT %1(<vscale x 4 x s32>), 1657...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 s32>) = COPY $z066 %1:_(<vscale x 4 x s32>) = G_ASSERT_ZEXT %0(<vscale x 4 x s32>), 1667...68