forked from OSchip/llvm-project
[AArch64][GlobalISel] Widen G_BUILD_VECTOR source & dest element types to s8.
This commit is contained in:
Amara Emerson
parent
56cd2f93e0
commit
1c0e8a98e4
|
|
@ -633,6 +633,7 @@ AArch64LegalizerInfo::AArch64LegalizerInfo(const AArch64Subtarget &ST)
|
|||
{v2s64, s64}})
|
||||
.clampNumElements(0, v4s32, v4s32)
|
||||
.clampNumElements(0, v2s64, v2s64)
|
||||
.minScalarOrElt(0, s8)
|
||||
.minScalarSameAs(1, 0);
|
||||
|
||||
getActionDefinitionsBuilder(G_BUILD_VECTOR_TRUNC).lower();
|
||||
|
|
|
|||
|
|
@ -8,12 +8,12 @@ body: |
|
|||
liveins: $w0, $w1, $w2, $w3
|
||||
; CHECK-LABEL: name: legal_v4s32
|
||||
; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
|
||||
; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
|
||||
; CHECK: [[COPY2:%[0-9]+]]:_(s32) = COPY $w2
|
||||
; CHECK: [[COPY3:%[0-9]+]]:_(s32) = COPY $w3
|
||||
; CHECK: [[BUILD_VECTOR:%[0-9]+]]:_(<4 x s32>) = G_BUILD_VECTOR [[COPY]](s32), [[COPY1]](s32), [[COPY2]](s32), [[COPY3]](s32)
|
||||
; CHECK: $q0 = COPY [[BUILD_VECTOR]](<4 x s32>)
|
||||
; CHECK: RET_ReallyLR
|
||||
; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s32) = COPY $w1
|
||||
; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s32) = COPY $w2
|
||||
; CHECK-NEXT: [[COPY3:%[0-9]+]]:_(s32) = COPY $w3
|
||||
; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<4 x s32>) = G_BUILD_VECTOR [[COPY]](s32), [[COPY1]](s32), [[COPY2]](s32), [[COPY3]](s32)
|
||||
; CHECK-NEXT: $q0 = COPY [[BUILD_VECTOR]](<4 x s32>)
|
||||
; CHECK-NEXT: RET_ReallyLR
|
||||
%0:_(s32) = COPY $w0
|
||||
%1:_(s32) = COPY $w1
|
||||
%2:_(s32) = COPY $w2
|
||||
|
|
@ -29,10 +29,10 @@ body: |
|
|||
liveins: $x0, $x1
|
||||
; CHECK-LABEL: name: legal_v2s64
|
||||
; CHECK: [[COPY:%[0-9]+]]:_(s64) = COPY $x0
|
||||
; CHECK: [[COPY1:%[0-9]+]]:_(s64) = COPY $x1
|
||||
; CHECK: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s64>) = G_BUILD_VECTOR [[COPY]](s64), [[COPY1]](s64)
|
||||
; CHECK: $q0 = COPY [[BUILD_VECTOR]](<2 x s64>)
|
||||
; CHECK: RET_ReallyLR
|
||||
; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s64) = COPY $x1
|
||||
; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s64>) = G_BUILD_VECTOR [[COPY]](s64), [[COPY1]](s64)
|
||||
; CHECK-NEXT: $q0 = COPY [[BUILD_VECTOR]](<2 x s64>)
|
||||
; CHECK-NEXT: RET_ReallyLR
|
||||
%0:_(s64) = COPY $x0
|
||||
%1:_(s64) = COPY $x1
|
||||
%2:_(<2 x s64>) = G_BUILD_VECTOR %0(s64), %1(s64)
|
||||
|
|
@ -46,10 +46,10 @@ body: |
|
|||
liveins: $x0, $x1
|
||||
; CHECK-LABEL: name: legal_v2p0
|
||||
; CHECK: [[COPY:%[0-9]+]]:_(p0) = COPY $x0
|
||||
; CHECK: [[COPY1:%[0-9]+]]:_(p0) = COPY $x1
|
||||
; CHECK: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x p0>) = G_BUILD_VECTOR [[COPY]](p0), [[COPY1]](p0)
|
||||
; CHECK: $q0 = COPY [[BUILD_VECTOR]](<2 x p0>)
|
||||
; CHECK: RET_ReallyLR
|
||||
; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(p0) = COPY $x1
|
||||
; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x p0>) = G_BUILD_VECTOR [[COPY]](p0), [[COPY1]](p0)
|
||||
; CHECK-NEXT: $q0 = COPY [[BUILD_VECTOR]](<2 x p0>)
|
||||
; CHECK-NEXT: RET_ReallyLR
|
||||
%0:_(p0) = COPY $x0
|
||||
%1:_(p0) = COPY $x1
|
||||
%2:_(<2 x p0>) = G_BUILD_VECTOR %0(p0), %1(p0)
|
||||
|
|
@ -62,10 +62,10 @@ body: |
|
|||
bb.0:
|
||||
; CHECK-LABEL: name: legal_v16s8
|
||||
; CHECK: [[DEF:%[0-9]+]]:_(s8) = G_IMPLICIT_DEF
|
||||
; CHECK: [[DEF1:%[0-9]+]]:_(s8) = G_IMPLICIT_DEF
|
||||
; CHECK: [[BUILD_VECTOR:%[0-9]+]]:_(<16 x s8>) = G_BUILD_VECTOR [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8)
|
||||
; CHECK: $q0 = COPY [[BUILD_VECTOR]](<16 x s8>)
|
||||
; CHECK: RET_ReallyLR
|
||||
; CHECK-NEXT: [[DEF1:%[0-9]+]]:_(s8) = G_IMPLICIT_DEF
|
||||
; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<16 x s8>) = G_BUILD_VECTOR [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8)
|
||||
; CHECK-NEXT: $q0 = COPY [[BUILD_VECTOR]](<16 x s8>)
|
||||
; CHECK-NEXT: RET_ReallyLR
|
||||
%0:_(s8) = G_IMPLICIT_DEF
|
||||
%1:_(s8) = G_IMPLICIT_DEF
|
||||
%2:_(<16 x s8>) = G_BUILD_VECTOR %0(s8), %1(s8), %0(s8), %1(s8), %0(s8), %1(s8), %0(s8), %1(s8), %0(s8), %1(s8), %0(s8), %1(s8), %0(s8), %1(s8), %0(s8), %1(s8)
|
||||
|
|
@ -78,13 +78,44 @@ body: |
|
|||
bb.0:
|
||||
; CHECK-LABEL: name: legal_v8s8
|
||||
; CHECK: [[DEF:%[0-9]+]]:_(s8) = G_IMPLICIT_DEF
|
||||
; CHECK: [[DEF1:%[0-9]+]]:_(s8) = G_IMPLICIT_DEF
|
||||
; CHECK: [[BUILD_VECTOR:%[0-9]+]]:_(<8 x s8>) = G_BUILD_VECTOR [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8)
|
||||
; CHECK: $d0 = COPY [[BUILD_VECTOR]](<8 x s8>)
|
||||
; CHECK: RET_ReallyLR
|
||||
; CHECK-NEXT: [[DEF1:%[0-9]+]]:_(s8) = G_IMPLICIT_DEF
|
||||
; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<8 x s8>) = G_BUILD_VECTOR [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8), [[DEF]](s8), [[DEF1]](s8)
|
||||
; CHECK-NEXT: $d0 = COPY [[BUILD_VECTOR]](<8 x s8>)
|
||||
; CHECK-NEXT: RET_ReallyLR
|
||||
%0:_(s8) = G_IMPLICIT_DEF
|
||||
%1:_(s8) = G_IMPLICIT_DEF
|
||||
%2:_(<8 x s8>) = G_BUILD_VECTOR %0(s8), %1(s8), %0(s8), %1(s8), %0(s8), %1(s8), %0(s8), %1(s8)
|
||||
$d0 = COPY %2(<8 x s8>)
|
||||
RET_ReallyLR
|
||||
...
|
||||
---
|
||||
name: widen_v16s1
|
||||
body: |
|
||||
bb.0:
|
||||
; CHECK-LABEL: name: widen_v16s1
|
||||
; CHECK: [[DEF:%[0-9]+]]:_(s8) = G_IMPLICIT_DEF
|
||||
; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s8) = COPY [[DEF]](s8)
|
||||
; CHECK-NEXT: [[COPY1:%[0-9]+]]:_(s8) = COPY [[DEF]](s8)
|
||||
; CHECK-NEXT: [[COPY2:%[0-9]+]]:_(s8) = COPY [[DEF]](s8)
|
||||
; CHECK-NEXT: [[COPY3:%[0-9]+]]:_(s8) = COPY [[DEF]](s8)
|
||||
; CHECK-NEXT: [[COPY4:%[0-9]+]]:_(s8) = COPY [[DEF]](s8)
|
||||
; CHECK-NEXT: [[COPY5:%[0-9]+]]:_(s8) = COPY [[DEF]](s8)
|
||||
; CHECK-NEXT: [[COPY6:%[0-9]+]]:_(s8) = COPY [[DEF]](s8)
|
||||
; CHECK-NEXT: [[COPY7:%[0-9]+]]:_(s8) = COPY [[DEF]](s8)
|
||||
; CHECK-NEXT: [[COPY8:%[0-9]+]]:_(s8) = COPY [[DEF]](s8)
|
||||
; CHECK-NEXT: [[COPY9:%[0-9]+]]:_(s8) = COPY [[DEF]](s8)
|
||||
; CHECK-NEXT: [[COPY10:%[0-9]+]]:_(s8) = COPY [[DEF]](s8)
|
||||
; CHECK-NEXT: [[COPY11:%[0-9]+]]:_(s8) = COPY [[DEF]](s8)
|
||||
; CHECK-NEXT: [[COPY12:%[0-9]+]]:_(s8) = COPY [[DEF]](s8)
|
||||
; CHECK-NEXT: [[COPY13:%[0-9]+]]:_(s8) = COPY [[DEF]](s8)
|
||||
; CHECK-NEXT: [[COPY14:%[0-9]+]]:_(s8) = COPY [[DEF]](s8)
|
||||
; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<16 x s8>) = G_BUILD_VECTOR [[COPY]](s8), [[COPY1]](s8), [[COPY2]](s8), [[COPY3]](s8), [[COPY4]](s8), [[COPY5]](s8), [[COPY6]](s8), [[COPY7]](s8), [[COPY8]](s8), [[COPY9]](s8), [[COPY10]](s8), [[COPY11]](s8), [[COPY12]](s8), [[COPY13]](s8), [[COPY14]](s8), [[DEF]](s8)
|
||||
; CHECK-NEXT: $q0 = COPY [[BUILD_VECTOR]](<16 x s8>)
|
||||
; CHECK-NEXT: RET_ReallyLR
|
||||
%0:_(s1) = G_IMPLICIT_DEF
|
||||
%1:_(s1) = G_IMPLICIT_DEF
|
||||
%2:_(<16 x s1>) = G_BUILD_VECTOR %0(s1), %1(s1), %0(s1), %1(s1), %0(s1), %1(s1), %0(s1), %1(s1), %0(s1), %1(s1), %0(s1), %1(s1), %0(s1), %1(s1), %0(s1), %1(s1)
|
||||
%w:_(<16 x s8>) = G_ANYEXT %2
|
||||
$q0 = COPY %w(<16 x s8>)
|
||||
RET_ReallyLR
|
||||
...
|
||||
|
|
|
|||
|
|
@ -38,8 +38,8 @@ body: |
|
|||
liveins: $w0
|
||||
; CHECK-LABEL: name: test_sitofp_s32_s32
|
||||
; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
|
||||
; CHECK: [[SITOFP:%[0-9]+]]:_(s32) = G_SITOFP [[COPY]](s32)
|
||||
; CHECK: $w0 = COPY [[SITOFP]](s32)
|
||||
; CHECK-NEXT: [[SITOFP:%[0-9]+]]:_(s32) = G_SITOFP [[COPY]](s32)
|
||||
; CHECK-NEXT: $w0 = COPY [[SITOFP]](s32)
|
||||
%0:_(s32) = COPY $w0
|
||||
%1:_(s32) = G_SITOFP %0
|
||||
$w0 = COPY %1
|
||||
|
|
@ -52,8 +52,8 @@ body: |
|
|||
liveins: $w0
|
||||
; CHECK-LABEL: name: test_uitofp_s32_s32
|
||||
; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
|
||||
; CHECK: [[UITOFP:%[0-9]+]]:_(s32) = G_UITOFP [[COPY]](s32)
|
||||
; CHECK: $w0 = COPY [[UITOFP]](s32)
|
||||
; CHECK-NEXT: [[UITOFP:%[0-9]+]]:_(s32) = G_UITOFP [[COPY]](s32)
|
||||
; CHECK-NEXT: $w0 = COPY [[UITOFP]](s32)
|
||||
%0:_(s32) = COPY $w0
|
||||
%1:_(s32) = G_UITOFP %0
|
||||
$w0 = COPY %1
|
||||
|
|
@ -66,8 +66,8 @@ body: |
|
|||
liveins: $x0
|
||||
; CHECK-LABEL: name: test_sitofp_s32_s64
|
||||
; CHECK: [[COPY:%[0-9]+]]:_(s64) = COPY $x0
|
||||
; CHECK: [[SITOFP:%[0-9]+]]:_(s32) = G_SITOFP [[COPY]](s64)
|
||||
; CHECK: $w0 = COPY [[SITOFP]](s32)
|
||||
; CHECK-NEXT: [[SITOFP:%[0-9]+]]:_(s32) = G_SITOFP [[COPY]](s64)
|
||||
; CHECK-NEXT: $w0 = COPY [[SITOFP]](s32)
|
||||
%0:_(s64) = COPY $x0
|
||||
%1:_(s32) = G_SITOFP %0
|
||||
$w0 = COPY %1
|
||||
|
|
@ -80,8 +80,8 @@ body: |
|
|||
liveins: $x0
|
||||
; CHECK-LABEL: name: test_uitofp_s32_s64
|
||||
; CHECK: [[COPY:%[0-9]+]]:_(s64) = COPY $x0
|
||||
; CHECK: [[UITOFP:%[0-9]+]]:_(s32) = G_UITOFP [[COPY]](s64)
|
||||
; CHECK: $w0 = COPY [[UITOFP]](s32)
|
||||
; CHECK-NEXT: [[UITOFP:%[0-9]+]]:_(s32) = G_UITOFP [[COPY]](s64)
|
||||
; CHECK-NEXT: $w0 = COPY [[UITOFP]](s32)
|
||||
%0:_(s64) = COPY $x0
|
||||
%1:_(s32) = G_UITOFP %0
|
||||
$w0 = COPY %1
|
||||
|
|
@ -94,8 +94,8 @@ body: |
|
|||
liveins: $w0
|
||||
; CHECK-LABEL: name: test_sitofp_s64_s32
|
||||
; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
|
||||
; CHECK: [[SITOFP:%[0-9]+]]:_(s64) = G_SITOFP [[COPY]](s32)
|
||||
; CHECK: $x0 = COPY [[SITOFP]](s64)
|
||||
; CHECK-NEXT: [[SITOFP:%[0-9]+]]:_(s64) = G_SITOFP [[COPY]](s32)
|
||||
; CHECK-NEXT: $x0 = COPY [[SITOFP]](s64)
|
||||
%0:_(s32) = COPY $w0
|
||||
%1:_(s64) = G_SITOFP %0
|
||||
$x0 = COPY %1
|
||||
|
|
@ -108,8 +108,8 @@ body: |
|
|||
liveins: $w0
|
||||
; CHECK-LABEL: name: test_uitofp_s64_s32
|
||||
; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
|
||||
; CHECK: [[UITOFP:%[0-9]+]]:_(s64) = G_UITOFP [[COPY]](s32)
|
||||
; CHECK: $x0 = COPY [[UITOFP]](s64)
|
||||
; CHECK-NEXT: [[UITOFP:%[0-9]+]]:_(s64) = G_UITOFP [[COPY]](s32)
|
||||
; CHECK-NEXT: $x0 = COPY [[UITOFP]](s64)
|
||||
%0:_(s32) = COPY $w0
|
||||
%1:_(s64) = G_UITOFP %0
|
||||
$x0 = COPY %1
|
||||
|
|
@ -122,8 +122,8 @@ body: |
|
|||
liveins: $x0
|
||||
; CHECK-LABEL: name: test_sitofp_s64_s64
|
||||
; CHECK: [[COPY:%[0-9]+]]:_(s64) = COPY $x0
|
||||
; CHECK: [[SITOFP:%[0-9]+]]:_(s64) = G_SITOFP [[COPY]](s64)
|
||||
; CHECK: $x0 = COPY [[SITOFP]](s64)
|
||||
; CHECK-NEXT: [[SITOFP:%[0-9]+]]:_(s64) = G_SITOFP [[COPY]](s64)
|
||||
; CHECK-NEXT: $x0 = COPY [[SITOFP]](s64)
|
||||
%0:_(s64) = COPY $x0
|
||||
%1:_(s64) = G_SITOFP %0
|
||||
$x0 = COPY %1
|
||||
|
|
@ -136,8 +136,8 @@ body: |
|
|||
liveins: $x0
|
||||
; CHECK-LABEL: name: test_uitofp_s64_s64
|
||||
; CHECK: [[COPY:%[0-9]+]]:_(s64) = COPY $x0
|
||||
; CHECK: [[UITOFP:%[0-9]+]]:_(s64) = G_UITOFP [[COPY]](s64)
|
||||
; CHECK: $x0 = COPY [[UITOFP]](s64)
|
||||
; CHECK-NEXT: [[UITOFP:%[0-9]+]]:_(s64) = G_UITOFP [[COPY]](s64)
|
||||
; CHECK-NEXT: $x0 = COPY [[UITOFP]](s64)
|
||||
%0:_(s64) = COPY $x0
|
||||
%1:_(s64) = G_UITOFP %0
|
||||
$x0 = COPY %1
|
||||
|
|
@ -151,9 +151,9 @@ body: |
|
|||
liveins: $w0
|
||||
; CHECK-LABEL: name: test_sitofp_s32_s1
|
||||
; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
|
||||
; CHECK: [[SEXT_INREG:%[0-9]+]]:_(s32) = G_SEXT_INREG [[COPY]], 1
|
||||
; CHECK: [[SITOFP:%[0-9]+]]:_(s32) = G_SITOFP [[SEXT_INREG]](s32)
|
||||
; CHECK: $w0 = COPY [[SITOFP]](s32)
|
||||
; CHECK-NEXT: [[SEXT_INREG:%[0-9]+]]:_(s32) = G_SEXT_INREG [[COPY]], 1
|
||||
; CHECK-NEXT: [[SITOFP:%[0-9]+]]:_(s32) = G_SITOFP [[SEXT_INREG]](s32)
|
||||
; CHECK-NEXT: $w0 = COPY [[SITOFP]](s32)
|
||||
%0:_(s32) = COPY $w0
|
||||
%1:_(s1) = G_TRUNC %0
|
||||
%2:_(s32) = G_SITOFP %1
|
||||
|
|
@ -167,10 +167,10 @@ body: |
|
|||
liveins: $w0
|
||||
; CHECK-LABEL: name: test_uitofp_s32_s1
|
||||
; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
|
||||
; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
|
||||
; CHECK: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY]], [[C]]
|
||||
; CHECK: [[UITOFP:%[0-9]+]]:_(s32) = G_UITOFP [[AND]](s32)
|
||||
; CHECK: $w0 = COPY [[UITOFP]](s32)
|
||||
; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
|
||||
; CHECK-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY]], [[C]]
|
||||
; CHECK-NEXT: [[UITOFP:%[0-9]+]]:_(s32) = G_UITOFP [[AND]](s32)
|
||||
; CHECK-NEXT: $w0 = COPY [[UITOFP]](s32)
|
||||
%0:_(s32) = COPY $w0
|
||||
%1:_(s1) = G_TRUNC %0
|
||||
%2:_(s32) = G_UITOFP %1
|
||||
|
|
@ -184,9 +184,9 @@ body: |
|
|||
liveins: $w0
|
||||
; CHECK-LABEL: name: test_sitofp_s64_s8
|
||||
; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
|
||||
; CHECK: [[SEXT_INREG:%[0-9]+]]:_(s32) = G_SEXT_INREG [[COPY]], 8
|
||||
; CHECK: [[SITOFP:%[0-9]+]]:_(s64) = G_SITOFP [[SEXT_INREG]](s32)
|
||||
; CHECK: $x0 = COPY [[SITOFP]](s64)
|
||||
; CHECK-NEXT: [[SEXT_INREG:%[0-9]+]]:_(s32) = G_SEXT_INREG [[COPY]], 8
|
||||
; CHECK-NEXT: [[SITOFP:%[0-9]+]]:_(s64) = G_SITOFP [[SEXT_INREG]](s32)
|
||||
; CHECK-NEXT: $x0 = COPY [[SITOFP]](s64)
|
||||
%0:_(s32) = COPY $w0
|
||||
%1:_(s8) = G_TRUNC %0
|
||||
%2:_(s64) = G_SITOFP %1
|
||||
|
|
@ -200,10 +200,10 @@ body: |
|
|||
liveins: $w0
|
||||
; CHECK-LABEL: name: test_uitofp_s64_s8
|
||||
; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
|
||||
; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 255
|
||||
; CHECK: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY]], [[C]]
|
||||
; CHECK: [[UITOFP:%[0-9]+]]:_(s64) = G_UITOFP [[AND]](s32)
|
||||
; CHECK: $x0 = COPY [[UITOFP]](s64)
|
||||
; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 255
|
||||
; CHECK-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY]], [[C]]
|
||||
; CHECK-NEXT: [[UITOFP:%[0-9]+]]:_(s64) = G_UITOFP [[AND]](s32)
|
||||
; CHECK-NEXT: $x0 = COPY [[UITOFP]](s64)
|
||||
%0:_(s32) = COPY $w0
|
||||
%1:_(s8) = G_TRUNC %0
|
||||
%2:_(s64) = G_UITOFP %1
|
||||
|
|
@ -217,8 +217,8 @@ body: |
|
|||
liveins: $q0
|
||||
; CHECK-LABEL: name: test_sitofp_v4s32
|
||||
; CHECK: [[COPY:%[0-9]+]]:_(<4 x s32>) = COPY $q0
|
||||
; CHECK: [[SITOFP:%[0-9]+]]:_(<4 x s32>) = G_SITOFP [[SITOFP]](<4 x s32>)
|
||||
; CHECK: $q0 = COPY [[SITOFP]](<4 x s32>)
|
||||
; CHECK-NEXT: [[SITOFP:%[0-9]+]]:_(<4 x s32>) = G_SITOFP [[SITOFP]](<4 x s32>)
|
||||
; CHECK-NEXT: $q0 = COPY [[SITOFP]](<4 x s32>)
|
||||
%0:_(<4 x s32>) = COPY $q0
|
||||
%1:_(<4 x s32>) = G_SITOFP %1
|
||||
$q0 = COPY %1
|
||||
|
|
@ -231,8 +231,8 @@ body: |
|
|||
liveins: $q0
|
||||
; CHECK-LABEL: name: test_uitofp_v4s32
|
||||
; CHECK: [[COPY:%[0-9]+]]:_(<4 x s32>) = COPY $q0
|
||||
; CHECK: [[UITOFP:%[0-9]+]]:_(<4 x s32>) = G_UITOFP [[UITOFP]](<4 x s32>)
|
||||
; CHECK: $q0 = COPY [[UITOFP]](<4 x s32>)
|
||||
; CHECK-NEXT: [[UITOFP:%[0-9]+]]:_(<4 x s32>) = G_UITOFP [[UITOFP]](<4 x s32>)
|
||||
; CHECK-NEXT: $q0 = COPY [[UITOFP]](<4 x s32>)
|
||||
%0:_(<4 x s32>) = COPY $q0
|
||||
%1:_(<4 x s32>) = G_UITOFP %1
|
||||
$q0 = COPY %1
|
||||
|
|
@ -244,11 +244,15 @@ body: |
|
|||
bb.0:
|
||||
liveins: $q0
|
||||
; CHECK-LABEL: name: test_uitofp_v2s64_v2i1
|
||||
; CHECK: [[DEF:%[0-9]+]]:_(s1) = G_IMPLICIT_DEF
|
||||
; CHECK: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s1>) = G_BUILD_VECTOR [[DEF]](s1), [[DEF]](s1)
|
||||
; CHECK: [[ZEXT:%[0-9]+]]:_(<2 x s64>) = G_ZEXT [[BUILD_VECTOR]](<2 x s1>)
|
||||
; CHECK: [[UITOFP:%[0-9]+]]:_(<2 x s64>) = G_UITOFP [[ZEXT]](<2 x s64>)
|
||||
; CHECK: $q0 = COPY [[UITOFP]](<2 x s64>)
|
||||
; CHECK: [[DEF:%[0-9]+]]:_(s8) = G_IMPLICIT_DEF
|
||||
; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s8) = COPY [[DEF]](s8)
|
||||
; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s8>) = G_BUILD_VECTOR [[COPY]](s8), [[DEF]](s8)
|
||||
; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 1
|
||||
; CHECK-NEXT: [[BUILD_VECTOR1:%[0-9]+]]:_(<2 x s64>) = G_BUILD_VECTOR [[C]](s64), [[C]](s64)
|
||||
; CHECK-NEXT: [[ANYEXT:%[0-9]+]]:_(<2 x s64>) = G_ANYEXT [[BUILD_VECTOR]](<2 x s8>)
|
||||
; CHECK-NEXT: [[AND:%[0-9]+]]:_(<2 x s64>) = G_AND [[ANYEXT]], [[BUILD_VECTOR1]]
|
||||
; CHECK-NEXT: [[UITOFP:%[0-9]+]]:_(<2 x s64>) = G_UITOFP [[AND]](<2 x s64>)
|
||||
; CHECK-NEXT: $q0 = COPY [[UITOFP]](<2 x s64>)
|
||||
%0:_(<2 x s1>) = G_IMPLICIT_DEF
|
||||
%1:_(<2 x s64>) = G_UITOFP %0
|
||||
$q0 = COPY %1
|
||||
|
|
@ -260,11 +264,16 @@ body: |
|
|||
bb.0:
|
||||
liveins: $q0
|
||||
; CHECK-LABEL: name: test_sitofp_v2s64_v2i1
|
||||
; CHECK: [[DEF:%[0-9]+]]:_(s1) = G_IMPLICIT_DEF
|
||||
; CHECK: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s1>) = G_BUILD_VECTOR [[DEF]](s1), [[DEF]](s1)
|
||||
; CHECK: [[SEXT:%[0-9]+]]:_(<2 x s64>) = G_SEXT [[BUILD_VECTOR]](<2 x s1>)
|
||||
; CHECK: [[SITOFP:%[0-9]+]]:_(<2 x s64>) = G_SITOFP [[SEXT]](<2 x s64>)
|
||||
; CHECK: $q0 = COPY [[SITOFP]](<2 x s64>)
|
||||
; CHECK: [[DEF:%[0-9]+]]:_(s8) = G_IMPLICIT_DEF
|
||||
; CHECK-NEXT: [[COPY:%[0-9]+]]:_(s8) = COPY [[DEF]](s8)
|
||||
; CHECK-NEXT: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s8>) = G_BUILD_VECTOR [[COPY]](s8), [[DEF]](s8)
|
||||
; CHECK-NEXT: [[ANYEXT:%[0-9]+]]:_(<2 x s64>) = G_ANYEXT [[BUILD_VECTOR]](<2 x s8>)
|
||||
; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 63
|
||||
; CHECK-NEXT: [[BUILD_VECTOR1:%[0-9]+]]:_(<2 x s64>) = G_BUILD_VECTOR [[C]](s64), [[C]](s64)
|
||||
; CHECK-NEXT: [[SHL:%[0-9]+]]:_(<2 x s64>) = G_SHL [[ANYEXT]], [[BUILD_VECTOR1]](<2 x s64>)
|
||||
; CHECK-NEXT: [[ASHR:%[0-9]+]]:_(<2 x s64>) = G_ASHR [[SHL]], [[BUILD_VECTOR1]](<2 x s64>)
|
||||
; CHECK-NEXT: [[SITOFP:%[0-9]+]]:_(<2 x s64>) = G_SITOFP [[ASHR]](<2 x s64>)
|
||||
; CHECK-NEXT: $q0 = COPY [[SITOFP]](<2 x s64>)
|
||||
%0:_(<2 x s1>) = G_IMPLICIT_DEF
|
||||
%1:_(<2 x s64>) = G_SITOFP %0
|
||||
$q0 = COPY %1
|
||||
|
|
@ -277,9 +286,9 @@ body: |
|
|||
liveins: $w0
|
||||
; CHECK-LABEL: name: test_sitofp_s32_s16
|
||||
; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
|
||||
; CHECK: [[SEXT_INREG:%[0-9]+]]:_(s32) = G_SEXT_INREG [[COPY]], 16
|
||||
; CHECK: [[SITOFP:%[0-9]+]]:_(s32) = G_SITOFP [[SEXT_INREG]](s32)
|
||||
; CHECK: $w0 = COPY [[SITOFP]](s32)
|
||||
; CHECK-NEXT: [[SEXT_INREG:%[0-9]+]]:_(s32) = G_SEXT_INREG [[COPY]], 16
|
||||
; CHECK-NEXT: [[SITOFP:%[0-9]+]]:_(s32) = G_SITOFP [[SEXT_INREG]](s32)
|
||||
; CHECK-NEXT: $w0 = COPY [[SITOFP]](s32)
|
||||
%0:_(s32) = COPY $w0
|
||||
%1:_(s16) = G_TRUNC %0
|
||||
%2:_(s32) = G_SITOFP %1
|
||||
|
|
@ -293,10 +302,10 @@ body: |
|
|||
liveins: $w0
|
||||
; CHECK-LABEL: name: test_uitofp_s32_s16
|
||||
; CHECK: [[COPY:%[0-9]+]]:_(s32) = COPY $w0
|
||||
; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 65535
|
||||
; CHECK: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY]], [[C]]
|
||||
; CHECK: [[UITOFP:%[0-9]+]]:_(s32) = G_UITOFP [[AND]](s32)
|
||||
; CHECK: $w0 = COPY [[UITOFP]](s32)
|
||||
; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 65535
|
||||
; CHECK-NEXT: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY]], [[C]]
|
||||
; CHECK-NEXT: [[UITOFP:%[0-9]+]]:_(s32) = G_UITOFP [[AND]](s32)
|
||||
; CHECK-NEXT: $w0 = COPY [[UITOFP]](s32)
|
||||
%0:_(s32) = COPY $w0
|
||||
%1:_(s16) = G_TRUNC %0
|
||||
%2:_(s32) = G_UITOFP %1
|
||||
|
|
|
|||
Loading…
Reference in New Issue