[llvm] [GlobalIsel] Pust cast through build vector (PR #104634)
Matt Arsenault via llvm-commits
llvm-commits at lists.llvm.org
Fri Aug 16 12:17:53 PDT 2024
================
@@ -129,3 +129,95 @@ body: |
%res:_(<2 x s64>) = G_SELECT %cond(<2 x s32>), %bv, %bv2
%small:_(<2 x s32>) = G_TRUNC %res(<2 x s64>)
$x0 = COPY %small(<2 x s32>)
+...
+---
+name: test_combine_trunc_build_vector
+legalized: true
+body: |
+ bb.1:
+ ; CHECK-PRE-LABEL: name: test_combine_trunc_build_vector
+ ; CHECK-PRE: %arg1:_(s64) = COPY $x0
+ ; CHECK-PRE-NEXT: %arg2:_(s64) = COPY $x0
+ ; CHECK-PRE-NEXT: [[TRUNC:%[0-9]+]]:_(s32) = G_TRUNC %arg1(s64)
+ ; CHECK-PRE-NEXT: [[TRUNC1:%[0-9]+]]:_(s32) = G_TRUNC %arg2(s64)
+ ; CHECK-PRE-NEXT: %small:_(<2 x s32>) = G_BUILD_VECTOR [[TRUNC]](s32), [[TRUNC1]](s32)
+ ; CHECK-PRE-NEXT: $x0 = COPY %small(<2 x s32>)
+ ;
+ ; CHECK-POST-LABEL: name: test_combine_trunc_build_vector
+ ; CHECK-POST: %arg1:_(s64) = COPY $x0
+ ; CHECK-POST-NEXT: %arg2:_(s64) = COPY $x0
+ ; CHECK-POST-NEXT: %bv:_(<2 x s64>) = G_BUILD_VECTOR %arg1(s64), %arg2(s64)
+ ; CHECK-POST-NEXT: %small:_(<2 x s32>) = G_TRUNC %bv(<2 x s64>)
+ ; CHECK-POST-NEXT: $x0 = COPY %small(<2 x s32>)
+ %arg1:_(s64) = COPY $x0
+ %arg2:_(s64) = COPY $x0
+ %bv:_(<2 x s64>) = G_BUILD_VECTOR %arg1(s64), %arg2(s64)
+ %small:_(<2 x s32>) = G_TRUNC %bv(<2 x s64>)
+ $x0 = COPY %small(<2 x s32>)
+...
+---
+name: test_combine_zext_build_vector
+legalized: true
+body: |
+ bb.1:
+ ; CHECK-PRE-LABEL: name: test_combine_zext_build_vector
+ ; CHECK-PRE: %arg1:_(s32) = COPY $w0
+ ; CHECK-PRE-NEXT: %arg2:_(s32) = COPY $w0
+ ; CHECK-PRE-NEXT: [[ZEXT:%[0-9]+]]:_(s64) = G_ZEXT %arg1(s32)
+ ; CHECK-PRE-NEXT: [[ZEXT1:%[0-9]+]]:_(s64) = G_ZEXT %arg2(s32)
+ ; CHECK-PRE-NEXT: %large:_(<2 x s64>) = G_BUILD_VECTOR [[ZEXT]](s64), [[ZEXT1]](s64)
+ ; CHECK-PRE-NEXT: $q0 = COPY %large(<2 x s64>)
+ ;
+ ; CHECK-POST-LABEL: name: test_combine_zext_build_vector
+ ; CHECK-POST: %arg1:_(s32) = COPY $w0
+ ; CHECK-POST-NEXT: %arg2:_(s32) = COPY $w0
+ ; CHECK-POST-NEXT: %bv:_(<2 x s32>) = G_BUILD_VECTOR %arg1(s32), %arg2(s32)
+ ; CHECK-POST-NEXT: %large:_(<2 x s64>) = G_ZEXT %bv(<2 x s32>)
+ ; CHECK-POST-NEXT: $q0 = COPY %large(<2 x s64>)
+ %arg1:_(s32) = COPY $w0
+ %arg2:_(s32) = COPY $w0
+ %bv:_(<2 x s32>) = G_BUILD_VECTOR %arg1(s32), %arg2(s32)
+ %large:_(<2 x s64>) = G_ZEXT %bv(<2 x s32>)
+ $q0 = COPY %large(<2 x s64>)
+...
+---
+name: test_combine_anyext_build_vector
+legalized: true
+body: |
+ bb.1:
+ ; CHECK-PRE-LABEL: name: test_combine_anyext_build_vector
+ ; CHECK-PRE: %arg1:_(s32) = COPY $w0
+ ; CHECK-PRE-NEXT: %arg2:_(s32) = COPY $w0
+ ; CHECK-PRE-NEXT: [[ANYEXT:%[0-9]+]]:_(s64) = G_ANYEXT %arg1(s32)
+ ; CHECK-PRE-NEXT: [[ANYEXT1:%[0-9]+]]:_(s64) = G_ANYEXT %arg2(s32)
+ ; CHECK-PRE-NEXT: %large:_(<2 x s64>) = G_BUILD_VECTOR [[ANYEXT]](s64), [[ANYEXT1]](s64)
+ ; CHECK-PRE-NEXT: $q0 = COPY %large(<2 x s64>)
+ ;
+ ; CHECK-POST-LABEL: name: test_combine_anyext_build_vector
+ ; CHECK-POST: %arg1:_(s32) = COPY $w0
+ ; CHECK-POST-NEXT: %arg2:_(s32) = COPY $w0
+ ; CHECK-POST-NEXT: %bv:_(<2 x s32>) = G_BUILD_VECTOR %arg1(s32), %arg2(s32)
+ ; CHECK-POST-NEXT: %large:_(<2 x s64>) = G_ANYEXT %bv(<2 x s32>)
+ ; CHECK-POST-NEXT: $q0 = COPY %large(<2 x s64>)
+ %arg1:_(s32) = COPY $w0
+ %arg2:_(s32) = COPY $w0
+ %bv:_(<2 x s32>) = G_BUILD_VECTOR %arg1(s32), %arg2(s32)
+ %large:_(<2 x s64>) = G_ANYEXT %bv(<2 x s32>)
+ $q0 = COPY %large(<2 x s64>)
+...
+---
+name: test_combine_sext_build_vector
+legalized: true
+body: |
+ bb.1:
+ ; CHECK-LABEL: name: test_combine_sext_build_vector
+ ; CHECK: %arg1:_(s32) = COPY $w0
+ ; CHECK-NEXT: %arg2:_(s32) = COPY $w0
+ ; CHECK-NEXT: %bv:_(<2 x s32>) = G_BUILD_VECTOR %arg1(s32), %arg2(s32)
+ ; CHECK-NEXT: %large:_(<2 x s64>) = G_SEXT %bv(<2 x s32>)
+ ; CHECK-NEXT: $q0 = COPY %large(<2 x s64>)
+ %arg1:_(s32) = COPY $w0
+ %arg2:_(s32) = COPY $w0
+ %bv:_(<2 x s32>) = G_BUILD_VECTOR %arg1(s32), %arg2(s32)
+ %large:_(<2 x s64>) = G_SEXT %bv(<2 x s32>)
+ $q0 = COPY %large(<2 x s64>)
----------------
arsenm wrote:
Negative check for the hasOneUse case? Legality would be nice too, but that's more labor
https://github.com/llvm/llvm-project/pull/104634
More information about the llvm-commits
mailing list