@@ -79,17 +79,16 @@ tracksRegLiveness: true
7979body : |
8080 bb.0:
8181 liveins: $x0
82-
8382 ; CHECK-LABEL: name: test_s318_and
8483 ; CHECK: liveins: $x0
8584 ; CHECK-NEXT: {{ $}}
86- ; CHECK-NEXT: [[DEF:%[0-9]+]]:_(s64 ) = G_IMPLICIT_DEF
85+ ; CHECK-NEXT: [[DEF:%[0-9]+]]:_(i64 ) = G_IMPLICIT_DEF
8786 ; CHECK-NEXT: %ptr:_(p0) = COPY $x0
88- ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s64 ) = G_AND [[DEF]], [[DEF]]
89- ; CHECK-NEXT: [[AND1:%[0-9]+]]:_(s64 ) = G_AND [[DEF]], [[DEF]]
90- ; CHECK-NEXT: [[AND2:%[0-9]+]]:_(s64 ) = G_AND [[DEF]], [[DEF]]
91- ; CHECK-NEXT: [[AND3:%[0-9]+]]:_(s64 ) = G_AND [[DEF]], [[DEF]]
92- ; CHECK-NEXT: [[AND4:%[0-9]+]]:_(s64 ) = G_AND [[DEF]], [[DEF]]
87+ ; CHECK-NEXT: [[AND:%[0-9]+]]:_(i64 ) = G_AND [[DEF]], [[DEF]]
88+ ; CHECK-NEXT: [[AND1:%[0-9]+]]:_(i64 ) = G_AND [[DEF]], [[DEF]]
89+ ; CHECK-NEXT: [[AND2:%[0-9]+]]:_(i64 ) = G_AND [[DEF]], [[DEF]]
90+ ; CHECK-NEXT: [[AND3:%[0-9]+]]:_(i64 ) = G_AND [[DEF]], [[DEF]]
91+ ; CHECK-NEXT: [[AND4:%[0-9]+]]:_(i64 ) = G_AND [[DEF]], [[DEF]]
9392 ; CHECK-NEXT: [[C:%[0-9]+]]:_(i64) = G_CONSTANT i64 -1
9493 ; CHECK-NEXT: [[C1:%[0-9]+]]:_(i64) = G_CONSTANT i64 4611686018427387903
9594 ; CHECK-NEXT: [[AND5:%[0-9]+]]:_(i64) = G_AND [[AND]], [[C]]
@@ -111,11 +110,11 @@ body: |
111110 ; CHECK-NEXT: [[PTR_ADD3:%[0-9]+]]:_(p0) = nuw inbounds G_PTR_ADD %ptr, [[C5]](i64)
112111 ; CHECK-NEXT: G_STORE [[AND9]](i64), [[PTR_ADD3]](p0) :: (store (i64) into unknown-address + 32, align 32)
113112 ; CHECK-NEXT: RET_ReallyLR implicit $x0
114- %a:_(s318 ) = G_IMPLICIT_DEF
115- %b:_(s318 ) = G_IMPLICIT_DEF
113+ %a:_(i318 ) = G_IMPLICIT_DEF
114+ %b:_(i318 ) = G_IMPLICIT_DEF
116115 %ptr:_(p0) = COPY $x0
117- %and:_(s318 ) = G_AND %a, %b
118- G_STORE %and(s318 ), %ptr(p0) :: (store (s318 ))
116+ %and:_(i318 ) = G_AND %a, %b
117+ G_STORE %and(i318 ), %ptr(p0) :: (store (i318 ))
119118 RET_ReallyLR implicit $x0
120119 ...
121120---
@@ -127,39 +126,32 @@ body: |
127126 ; CHECK-LABEL: name: test_s158_and
128127 ; CHECK: liveins: $x0
129128 ; CHECK-NEXT: {{ $}}
130- ; CHECK-NEXT: [[DEF:%[0-9]+]]:_(s64 ) = G_IMPLICIT_DEF
129+ ; CHECK-NEXT: [[DEF:%[0-9]+]]:_(i64 ) = G_IMPLICIT_DEF
131130 ; CHECK-NEXT: %ptr:_(p0) = COPY $x0
132- ; CHECK-NEXT: [[AND:%[0-9]+]]:_(s64) = G_AND [[DEF]], [[DEF]]
133- ; CHECK-NEXT: [[AND1:%[0-9]+]]:_(s64) = G_AND [[DEF]], [[DEF]]
134- ; CHECK-NEXT: [[AND2:%[0-9]+]]:_(s64) = G_AND [[DEF]], [[DEF]]
135- ; CHECK-NEXT: [[AND3:%[0-9]+]]:_(s64) = G_AND [[DEF]], [[DEF]]
136- ; CHECK-NEXT: [[AND4:%[0-9]+]]:_(s64) = G_AND [[DEF]], [[DEF]]
131+ ; CHECK-NEXT: [[AND:%[0-9]+]]:_(i64) = G_AND [[DEF]], [[DEF]]
132+ ; CHECK-NEXT: [[AND1:%[0-9]+]]:_(i64) = G_AND [[DEF]], [[DEF]]
133+ ; CHECK-NEXT: [[AND2:%[0-9]+]]:_(i64) = G_AND [[DEF]], [[DEF]]
137134 ; CHECK-NEXT: [[C:%[0-9]+]]:_(i64) = G_CONSTANT i64 -1
138- ; CHECK-NEXT: [[C1:%[0-9]+]]:_(i64) = G_CONSTANT i64 4611686018427387903
139- ; CHECK-NEXT: [[AND5:%[0-9]+]]:_(i64) = G_AND [[AND]], [[C]]
140- ; CHECK-NEXT: [[AND6:%[0-9]+]]:_(i64) = G_AND [[AND1]], [[C]]
141- ; CHECK-NEXT: [[AND7:%[0-9]+]]:_(i64) = G_AND [[AND2]], [[C]]
142- ; CHECK-NEXT: [[AND8:%[0-9]+]]:_(i64) = G_AND [[AND3]], [[C]]
143- ; CHECK-NEXT: [[AND9:%[0-9]+]]:_(i64) = G_AND [[AND4]], [[C1]]
144- ; CHECK-NEXT: G_STORE [[AND5]](i64), %ptr(p0) :: (store (i64), align 64)
135+ ; CHECK-NEXT: [[C1:%[0-9]+]]:_(i64) = G_CONSTANT i64 1073741823
136+ ; CHECK-NEXT: [[AND3:%[0-9]+]]:_(i64) = G_AND [[AND]], [[C]]
137+ ; CHECK-NEXT: [[AND4:%[0-9]+]]:_(i64) = G_AND [[AND1]], [[C]]
138+ ; CHECK-NEXT: [[AND5:%[0-9]+]]:_(i64) = G_AND [[AND2]], [[C1]]
139+ ; CHECK-NEXT: [[COPY:%[0-9]+]]:_(i64) = COPY [[AND3]](i64)
140+ ; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(i64) = COPY [[AND4]](i64)
141+ ; CHECK-NEXT: [[EXTRACT:%[0-9]+]]:_(i32) = G_EXTRACT [[AND5]](i64), 0
142+ ; CHECK-NEXT: G_STORE [[COPY]](i64), %ptr(p0) :: (store (i64), align 32)
145143 ; CHECK-NEXT: [[C2:%[0-9]+]]:_(i64) = G_CONSTANT i64 8
146144 ; CHECK-NEXT: [[PTR_ADD:%[0-9]+]]:_(p0) = nuw inbounds G_PTR_ADD %ptr, [[C2]](i64)
147- ; CHECK-NEXT: G_STORE [[AND6 ]](i64), [[PTR_ADD]](p0) :: (store (i64) into unknown-address + 8)
145+ ; CHECK-NEXT: G_STORE [[COPY1 ]](i64), [[PTR_ADD]](p0) :: (store (i64) into unknown-address + 8)
148146 ; CHECK-NEXT: [[C3:%[0-9]+]]:_(i64) = G_CONSTANT i64 16
149147 ; CHECK-NEXT: [[PTR_ADD1:%[0-9]+]]:_(p0) = nuw inbounds G_PTR_ADD %ptr, [[C3]](i64)
150- ; CHECK-NEXT: G_STORE [[AND7]](i64), [[PTR_ADD1]](p0) :: (store (i64) into unknown-address + 16, align 16)
151- ; CHECK-NEXT: [[C4:%[0-9]+]]:_(i64) = G_CONSTANT i64 24
152- ; CHECK-NEXT: [[PTR_ADD2:%[0-9]+]]:_(p0) = nuw inbounds G_PTR_ADD %ptr, [[C4]](i64)
153- ; CHECK-NEXT: G_STORE [[AND8]](i64), [[PTR_ADD2]](p0) :: (store (i64) into unknown-address + 24)
154- ; CHECK-NEXT: [[C5:%[0-9]+]]:_(i64) = G_CONSTANT i64 32
155- ; CHECK-NEXT: [[PTR_ADD3:%[0-9]+]]:_(p0) = nuw inbounds G_PTR_ADD %ptr, [[C5]](i64)
156- ; CHECK-NEXT: G_STORE [[AND9]](i64), [[PTR_ADD3]](p0) :: (store (i64) into unknown-address + 32, align 32)
148+ ; CHECK-NEXT: G_STORE [[EXTRACT]](i32), [[PTR_ADD1]](p0) :: (store (i32) into unknown-address + 16, align 16)
157149 ; CHECK-NEXT: RET_ReallyLR implicit $x0
158- %a:_(s318 ) = G_IMPLICIT_DEF
159- %b:_(s318 ) = G_IMPLICIT_DEF
150+ %a:_(i158 ) = G_IMPLICIT_DEF
151+ %b:_(i158 ) = G_IMPLICIT_DEF
160152 %ptr:_(p0) = COPY $x0
161- %and:_(s318 ) = G_AND %a, %b
162- G_STORE %and(s318 ), %ptr(p0) :: (store (s318 ))
153+ %and:_(i158 ) = G_AND %a, %b
154+ G_STORE %and(i158 ), %ptr(p0) :: (store (i158 ))
163155 RET_ReallyLR implicit $x0
164156
165157 ...
0 commit comments