1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
# NOTE: Assertions have been autogenerated by utils/update_givaluetracking_test_checks.py UTC_ARGS: --version 5
# RUN: llc -mtriple aarch64 -mattr=+sve -passes="print<gisel-value-tracking>" %s -o - 2>&1 | FileCheck %s
---
name: Scalable
body: |
bb.1:
; CHECK-LABEL: name: @Scalable
; CHECK-NEXT: %0:_ KnownBits:0000000000001010 SignBits:12
; CHECK-NEXT: %1:_ KnownBits:0000000000001010 SignBits:12
%0:_(s16) = G_CONSTANT i16 10
%1:_(<vscale x 8 x s16>) = G_SPLAT_VECTOR %0(s16)
...
---
name: Scalable_trunc
body: |
bb.1:
; CHECK-LABEL: name: @Scalable_trunc
; CHECK-NEXT: %0:_ KnownBits:00000000000000000000000000001010 SignBits:28
; CHECK-NEXT: %1:_ KnownBits:0000000000001010 SignBits:12
%0:_(s32) = G_CONSTANT i32 10
%1:_(<vscale x 8 x s16>) = G_SPLAT_VECTOR %0(s32)
...
---
name: Scalable_signbits
body: |
bb.1:
; CHECK-LABEL: name: @Scalable_signbits
; CHECK-NEXT: %0:_ KnownBits:???????????????? SignBits:1
; CHECK-NEXT: %1:_ KnownBits:???????????????????????????????? SignBits:17
; CHECK-NEXT: %2:_ KnownBits:???????????????????????????????? SignBits:17
%0:_(s16) = COPY $h0
%1:_(s32) = G_SEXT %0(s16)
%2:_(<vscale x 4 x s32>) = G_SPLAT_VECTOR %1(s32)
...
|
