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: const
body: |
bb.1:
; CHECK-LABEL: name: @const
; CHECK-NEXT: %0:_ KnownBits:00000011 SignBits:6
; CHECK-NEXT: %1:_ KnownBits:00001010 SignBits:4
; CHECK-NEXT: %2:_ KnownBits:0000?01? SignBits:4
%0:_(s8) = G_CONSTANT i8 3
%1:_(s8) = G_CONSTANT i8 10
%2:_(<2 x s8>) = G_BUILD_VECTOR %0, %1
...
---
name: const_lane1
body: |
bb.1:
; CHECK-LABEL: name: @const_lane1
; CHECK-NEXT: %0:_ KnownBits:00000011 SignBits:6
; CHECK-NEXT: %1:_ KnownBits:00001010 SignBits:4
; CHECK-NEXT: %2:_ KnownBits:0000?01? SignBits:4
; CHECK-NEXT: %idx:_ KnownBits:0000000000000000000000000000000000000000000000000000000000000001 SignBits:63
; CHECK-NEXT: %4:_ KnownBits:???????? SignBits:1
%0:_(s8) = G_CONSTANT i8 3
%1:_(s8) = G_CONSTANT i8 10
%2:_(<2 x s8>) = G_BUILD_VECTOR %0, %1
%idx:_(s64) = G_CONSTANT i64 1
%3:_(s8) = G_EXTRACT_VECTOR_ELT %2, %idx
...
---
name: sextsignbits
body: |
bb.1:
; CHECK-LABEL: name: @sextsignbits
; CHECK-NEXT: %0:_ KnownBits:???????? SignBits:1
; CHECK-NEXT: %1:_ KnownBits:???????????????? SignBits:1
; CHECK-NEXT: %2:_ KnownBits:???????????????????????????????? SignBits:25
; CHECK-NEXT: %3:_ KnownBits:???????????????????????????????? SignBits:17
; CHECK-NEXT: %4:_ KnownBits:???????????????????????????????? SignBits:17
%0:_(s8) = COPY $b0
%1:_(s16) = COPY $h1
%2:_(s32) = G_SEXT %0
%3:_(s32) = G_SEXT %1
%4:_(<2 x s32>) = G_BUILD_VECTOR %2, %3
...
---
name: sextsignbits_lane1
body: |
bb.1:
; CHECK-LABEL: name: @sextsignbits_lane1
; CHECK-NEXT: %0:_ KnownBits:???????? SignBits:1
; CHECK-NEXT: %1:_ KnownBits:???????????????? SignBits:1
; CHECK-NEXT: %2:_ KnownBits:???????????????????????????????? SignBits:25
; CHECK-NEXT: %3:_ KnownBits:???????????????????????????????? SignBits:17
; CHECK-NEXT: %4:_ KnownBits:???????????????????????????????? SignBits:17
; CHECK-NEXT: %idx:_ KnownBits:0000000000000000000000000000000000000000000000000000000000000001 SignBits:63
; CHECK-NEXT: %6:_ KnownBits:???????????????????????????????? SignBits:1
%0:_(s8) = COPY $b0
%1:_(s16) = COPY $h1
%2:_(s32) = G_SEXT %0
%3:_(s32) = G_SEXT %1
%4:_(<2 x s32>) = G_BUILD_VECTOR %2, %3
%idx:_(s64) = G_CONSTANT i64 1
%5:_(s32) = G_EXTRACT_VECTOR_ELT %4, %idx
...
|
