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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
|
# NOTE: Assertions have been autogenerated by utils/update_givaluetracking_test_checks.py UTC_ARGS: --version 5
# RUN: llc -mtriple aarch64 -passes="print<gisel-value-tracking>" %s -filetype=null 2>&1 | FileCheck %s
---
name: ScalarConst
body: |
bb.0:
; CHECK-LABEL: name: @ScalarConst
; CHECK-NEXT: %0:_ KnownBits:10101001100001110110010101000011 SignBits:1
; CHECK-NEXT: %1:_ KnownBits:0110010101000011 SignBits:1
%0:_(s32) = G_CONSTANT i32 2844222787
%1:_(s16) = G_TRUNC %0(s32)
...
---
name: ScalarVar
body: |
bb.0:
; CHECK-LABEL: name: @ScalarVar
; CHECK-NEXT: %0:_ KnownBits:???????????????????????????????? SignBits:1
; CHECK-NEXT: %1:_ KnownBits:???????????????? SignBits:1
%0:_(s32) = COPY $w0
%1:_(s16) = G_TRUNC %0(s32)
...
---
name: VectorCst
body: |
bb.0:
; CHECK-LABEL: name: @VectorCst
; CHECK-NEXT: %0:_ KnownBits:10101001100001110110010101000011 SignBits:1
; CHECK-NEXT: %1:_ KnownBits:10101001100001110110010101000011 SignBits:1
; CHECK-NEXT: %2:_ KnownBits:0110010101000011 SignBits:1
%0:_(s32) = G_CONSTANT i32 2844222787
%1:_(<4 x s32>) = G_BUILD_VECTOR %0, %0, %0, %0
%2:_(<4 x s16>) = G_TRUNC %1(<4 x s32>)
...
---
name: VectorVar
body: |
bb.0:
; CHECK-LABEL: name: @VectorVar
; CHECK-NEXT: %0:_ KnownBits:???????????????????????????????? SignBits:1
; CHECK-NEXT: %1:_ KnownBits:???????????????? SignBits:1
%0:_(<4 x s32>) = COPY $q0
%1:_(<4 x s16>) = G_TRUNC %0(<4 x s32>)
...
---
name: ScalableCst
body: |
bb.0:
; CHECK-LABEL: name: @ScalableCst
; CHECK-NEXT: %0:_ KnownBits:10101001100001110110010101000011 SignBits:1
; CHECK-NEXT: %1:_ KnownBits:10101001100001110110010101000011 SignBits:1
; CHECK-NEXT: %2:_ KnownBits:0110010101000011 SignBits:1
%0:_(s32) = G_CONSTANT i32 2844222787
%1:_(<vscale x 4 x s32>) = G_SPLAT_VECTOR %0
%2:_(<vscale x 4 x s16>) = G_TRUNC %1(<vscale x 4 x s32>)
...
---
name: ScalableVar
body: |
bb.0:
; CHECK-LABEL: name: @ScalableVar
; CHECK-NEXT: %0:_ KnownBits:???????????????????????????????? SignBits:1
; CHECK-NEXT: %1:_ KnownBits:???????????????? SignBits:1
%0:_(<vscale x 4 x s32>) = COPY $z0
%1:_(<vscale x 4 x s16>) = G_TRUNC %0(<vscale x 4 x s32>)
...
|
