File: prelegalizer-combiner-sext_inreg-to-and.mir

package info (click to toggle)
llvm-toolchain-20 1%3A20.1.8-1
  • links: PTS, VCS
  • area: main
  • in suites: experimental
  • size: 2,111,696 kB
  • sloc: cpp: 7,438,781; ansic: 1,393,871; asm: 1,012,926; python: 241,771; f90: 86,635; objc: 75,411; lisp: 42,144; pascal: 17,286; sh: 8,596; ml: 5,082; perl: 4,730; makefile: 3,591; awk: 3,523; javascript: 2,251; xml: 892; fortran: 672
file content (111 lines) | stat: -rw-r--r-- 4,177 bytes parent folder | download | duplicates (16)
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
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
# RUN: llc -mtriple=amdgcn-amd-amdhsa -mcpu=gfx900 -run-pass=amdgpu-prelegalizer-combiner -verify-machineinstrs %s -o - | FileCheck %s

---
name:  sext_inreg_i32_8_and_neg255
legalized:       true
tracksRegLiveness: true
body:             |
  bb.0:
    liveins: $vgpr0_vgpr1

    ; CHECK-LABEL: name: sext_inreg_i32_8_and_neg255
    ; CHECK: liveins: $vgpr0_vgpr1
    ; CHECK-NEXT: {{  $}}
    ; CHECK-NEXT: %ptr:_(p1) = COPY $vgpr0_vgpr1
    ; CHECK-NEXT: %load:_(s32) = G_LOAD %ptr(p1) :: (volatile load (s32), addrspace 1)
    ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
    ; CHECK-NEXT: %inreg:_(s32) = G_AND %load, [[C]]
    ; CHECK-NEXT: $vgpr0 = COPY %inreg(s32)
    %ptr:_(p1) = COPY $vgpr0_vgpr1
    %load:_(s32) = G_LOAD %ptr :: (volatile load (s32), addrspace 1, align 4)
    %mask:_(s32) = G_CONSTANT i32 -255
    %and:_(s32) = G_AND %load, %mask
    %inreg:_(s32) = G_SEXT_INREG %and, 8
    $vgpr0 = COPY %inreg

...

---
name:  sext_inreg_i32_8_and_255
legalized:       true
tracksRegLiveness: true
body:             |
  bb.0:
    liveins: $vgpr0_vgpr1

    ; CHECK-LABEL: name: sext_inreg_i32_8_and_255
    ; CHECK: liveins: $vgpr0_vgpr1
    ; CHECK-NEXT: {{  $}}
    ; CHECK-NEXT: %ptr:_(p1) = COPY $vgpr0_vgpr1
    ; CHECK-NEXT: %load:_(s32) = G_LOAD %ptr(p1) :: (volatile load (s32), addrspace 1)
    ; CHECK-NEXT: %mask:_(s32) = G_CONSTANT i32 255
    ; CHECK-NEXT: %and:_(s32) = G_AND %load, %mask
    ; CHECK-NEXT: %inreg:_(s32) = G_SEXT_INREG %and, 8
    ; CHECK-NEXT: $vgpr0 = COPY %inreg(s32)
    %ptr:_(p1) = COPY $vgpr0_vgpr1
    %load:_(s32) = G_LOAD %ptr :: (volatile load (s32), addrspace 1, align 4)
    %mask:_(s32) = G_CONSTANT i32 255
    %and:_(s32) = G_AND %load, %mask
    %inreg:_(s32) = G_SEXT_INREG %and, 8
    $vgpr0 = COPY %inreg

...

---
name:  sext_inreg_v2i32_8_and_neg255
legalized:       true
tracksRegLiveness: true
body:             |
  bb.0:
    liveins: $vgpr0_vgpr1

    ; CHECK-LABEL: name: sext_inreg_v2i32_8_and_neg255
    ; CHECK: liveins: $vgpr0_vgpr1
    ; CHECK-NEXT: {{  $}}
    ; CHECK-NEXT: %ptr:_(p1) = COPY $vgpr0_vgpr1
    ; CHECK-NEXT: %load:_(<2 x s32>) = G_LOAD %ptr(p1) :: (volatile load (<2 x s32>), addrspace 1)
    ; CHECK-NEXT: %mask_elt:_(s32) = G_CONSTANT i32 -255
    ; CHECK-NEXT: %mask:_(<2 x s32>) = G_BUILD_VECTOR %mask_elt(s32), %mask_elt(s32)
    ; CHECK-NEXT: %and:_(<2 x s32>) = G_AND %load, %mask
    ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 255
    ; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s32>) = G_BUILD_VECTOR [[C]](s32), [[C]](s32)
    ; CHECK-NEXT: %inreg:_(<2 x s32>) = G_AND %and, [[BUILD_VECTOR]]
    ; CHECK-NEXT: $vgpr0_vgpr1 = COPY %inreg(<2 x s32>)
    %ptr:_(p1) = COPY $vgpr0_vgpr1
    %load:_(<2 x s32>) = G_LOAD %ptr :: (volatile load (<2 x s32>), addrspace 1, align 8)
    %mask_elt:_(s32) = G_CONSTANT i32 -255
    %mask:_(<2 x s32>) = G_BUILD_VECTOR %mask_elt, %mask_elt
    %and:_(<2 x s32>) = G_AND %load, %mask
    %inreg:_(<2 x s32>) = G_SEXT_INREG %and, 8
    $vgpr0_vgpr1 = COPY %inreg

...

---
name:  sext_inreg_v2i32_8_and_255
legalized:       true
tracksRegLiveness: true
body:             |
  bb.0:
    liveins: $vgpr0_vgpr1

    ; CHECK-LABEL: name: sext_inreg_v2i32_8_and_255
    ; CHECK: liveins: $vgpr0_vgpr1
    ; CHECK-NEXT: {{  $}}
    ; CHECK-NEXT: %ptr:_(p1) = COPY $vgpr0_vgpr1
    ; CHECK-NEXT: %load:_(<2 x s32>) = G_LOAD %ptr(p1) :: (volatile load (<2 x s32>), addrspace 1)
    ; CHECK-NEXT: %mask_elt:_(s32) = G_CONSTANT i32 255
    ; CHECK-NEXT: %mask:_(<2 x s32>) = G_BUILD_VECTOR %mask_elt(s32), %mask_elt(s32)
    ; CHECK-NEXT: %and:_(<2 x s32>) = G_AND %load, %mask
    ; CHECK-NEXT: %inreg:_(<2 x s32>) = G_SEXT_INREG %and, 8
    ; CHECK-NEXT: $vgpr0_vgpr1 = COPY %inreg(<2 x s32>)
    %ptr:_(p1) = COPY $vgpr0_vgpr1
    %load:_(<2 x s32>) = G_LOAD %ptr :: (volatile load (<2 x s32>), addrspace 1, align 8)
    %mask_elt:_(s32) = G_CONSTANT i32 255
    %mask:_(<2 x s32>) = G_BUILD_VECTOR %mask_elt, %mask_elt
    %and:_(<2 x s32>) = G_AND %load, %mask
    %inreg:_(<2 x s32>) = G_SEXT_INREG %and, 8
    $vgpr0_vgpr1 = COPY %inreg

...