11# NOTE: Assertions have been autogenerated by utils/update_givaluetracking_test_checks.py UTC_ARGS: --version 5
2- # RUN: llc -mtriple aarch64 -mattr=+sve -passes="print<gisel-value-tracking>" %s -o - 2>&1 | FileCheck %s
2+ # RUN: llc -mtriple aarch64 -mattr=+sve -passes="print<gisel-value-tracking>" %s -filetype=null 2>&1 | FileCheck %s
33
44---
55name : ScalarConst
66body : |
77 bb.0:
88 ; CHECK-LABEL: name: @ScalarConst
9- ; CHECK-NEXT: %0:_ KnownBits:10101001100001110110010101000011 SignBits:1
10- ; CHECK-NEXT: %1:_ KnownBits:00000000000000000110010101000011 SignBits:17
11- %0:_(s32) = G_CONSTANT i32 2844222787
9+ ; CHECK-NEXT: %0:_ KnownBits:00000000000000000000000001111000 SignBits:25
10+ ; CHECK-NEXT: %1:_ KnownBits:00000000000000000000000001111000 SignBits:25
11+ %0:_(s32) = G_CONSTANT i32 120
1212 %1:_(s32) = G_ASSERT_ZEXT %0(s32), 16
1313 ...
1414---
@@ -26,10 +26,10 @@ name: VectorCst
2626body : |
2727 bb.0:
2828 ; CHECK-LABEL: name: @VectorCst
29- ; CHECK-NEXT: %0:_ KnownBits:10101001100001110110010101000011 SignBits:1
30- ; CHECK-NEXT: %1:_ KnownBits:10101001100001110110010101000011 SignBits:1
31- ; CHECK-NEXT: %2:_ KnownBits:00000000000000000110010101000011 SignBits:17
32- %0:_(s32) = G_CONSTANT i32 2844222787
29+ ; CHECK-NEXT: %0:_ KnownBits:00000000000000000000000001111000 SignBits:25
30+ ; CHECK-NEXT: %1:_ KnownBits:00000000000000000000000001111000 SignBits:25
31+ ; CHECK-NEXT: %2:_ KnownBits:00000000000000000000000001111000 SignBits:25
32+ %0:_(s32) = G_CONSTANT i32 120
3333 %1:_(<4 x s32>) = G_BUILD_VECTOR %0, %0, %0, %0
3434 %2:_(<4 x s32>) = G_ASSERT_ZEXT %1(<4 x s32>), 16
3535 ...
@@ -48,10 +48,10 @@ name: ScalableCst
4848body : |
4949 bb.0:
5050 ; CHECK-LABEL: name: @ScalableCst
51- ; CHECK-NEXT: %0:_ KnownBits:10101001100001110110010101000011 SignBits:1
52- ; CHECK-NEXT: %1:_ KnownBits:???????????????????????????????? SignBits:1
53- ; CHECK-NEXT: %2:_ KnownBits:0000000000000000???????????????? SignBits:16
54- %0:_(s32) = G_CONSTANT i32 2844222787
51+ ; CHECK-NEXT: %0:_ KnownBits:00000000000000000000000001111000 SignBits:25
52+ ; CHECK-NEXT: %1:_ KnownBits:00000000000000000000000001111000 SignBits:25
53+ ; CHECK-NEXT: %2:_ KnownBits:00000000000000000000000001111000 SignBits:25
54+ %0:_(s32) = G_CONSTANT i32 120
5555 %1:_(<vscale x 4 x s32>) = G_SPLAT_VECTOR %0
5656 %2:_(<vscale x 4 x s32>) = G_ASSERT_ZEXT %1(<vscale x 4 x s32>), 16
5757 ...
0 commit comments