[llvm] 9622960 - AMDGPU/GlobalISel: Use less artifical example to avoid abort=0
Matt Arsenault via llvm-commits
llvm-commits at lists.llvm.org
Mon Jun 15 04:42:04 PDT 2020
Author: Matt Arsenault
Date: 2020-06-15T07:37:15-04:00
New Revision: 96229606f964f7b32d233ea14767529fe807c48c
URL: https://github.com/llvm/llvm-project/commit/96229606f964f7b32d233ea14767529fe807c48c
DIFF: https://github.com/llvm/llvm-project/commit/96229606f964f7b32d233ea14767529fe807c48c.diff
LOG: AMDGPU/GlobalISel: Use less artifical example to avoid abort=0
These were failing due to an unlegalizable G_CONCAT_VECTORS due to
registers with types that are naturally illegal.
Added:
Modified:
llvm/test/CodeGen/AMDGPU/GlobalISel/legalize-bitcast.mir
Removed:
################################################################################
diff --git a/llvm/test/CodeGen/AMDGPU/GlobalISel/legalize-bitcast.mir b/llvm/test/CodeGen/AMDGPU/GlobalISel/legalize-bitcast.mir
index 8d41ab00e8a0..870ddb734b44 100644
--- a/llvm/test/CodeGen/AMDGPU/GlobalISel/legalize-bitcast.mir
+++ b/llvm/test/CodeGen/AMDGPU/GlobalISel/legalize-bitcast.mir
@@ -1,5 +1,5 @@
# NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
-# RUN: llc -mtriple=amdgcn-mesa-mesa3d -mcpu=fiji -run-pass=legalizer -global-isel-abort=0 %s -o - | FileCheck %s
+# RUN: llc -mtriple=amdgcn-mesa-mesa3d -mcpu=fiji -run-pass=legalizer %s -o - | FileCheck %s
---
name: test_bitcast_s32_to_v2s16
@@ -1556,25 +1556,43 @@ body: |
; CHECK: [[LSHR:%[0-9]+]]:_(s16) = G_LSHR [[ADD]], [[C]](s16)
; CHECK: [[ANYEXT:%[0-9]+]]:_(s32) = G_ANYEXT [[ADD]](s16)
; CHECK: [[ANYEXT1:%[0-9]+]]:_(s32) = G_ANYEXT [[LSHR]](s16)
- ; CHECK: [[BUILD_VECTOR:%[0-9]+]]:_(<2 x s32>) = G_BUILD_VECTOR [[ANYEXT]](s32), [[ANYEXT1]](s32)
- ; CHECK: [[TRUNC6:%[0-9]+]]:_(<2 x s8>) = G_TRUNC [[BUILD_VECTOR]](<2 x s32>)
; CHECK: [[LSHR1:%[0-9]+]]:_(s16) = G_LSHR [[ADD1]], [[C]](s16)
; CHECK: [[ANYEXT2:%[0-9]+]]:_(s32) = G_ANYEXT [[ADD1]](s16)
; CHECK: [[ANYEXT3:%[0-9]+]]:_(s32) = G_ANYEXT [[LSHR1]](s16)
- ; CHECK: [[BUILD_VECTOR1:%[0-9]+]]:_(<2 x s32>) = G_BUILD_VECTOR [[ANYEXT2]](s32), [[ANYEXT3]](s32)
- ; CHECK: [[TRUNC7:%[0-9]+]]:_(<2 x s8>) = G_TRUNC [[BUILD_VECTOR1]](<2 x s32>)
; CHECK: [[LSHR2:%[0-9]+]]:_(s16) = G_LSHR [[ADD2]], [[C]](s16)
; CHECK: [[ANYEXT4:%[0-9]+]]:_(s32) = G_ANYEXT [[ADD2]](s16)
; CHECK: [[ANYEXT5:%[0-9]+]]:_(s32) = G_ANYEXT [[LSHR2]](s16)
- ; CHECK: [[BUILD_VECTOR2:%[0-9]+]]:_(<2 x s32>) = G_BUILD_VECTOR [[ANYEXT4]](s32), [[ANYEXT5]](s32)
- ; CHECK: [[TRUNC8:%[0-9]+]]:_(<2 x s8>) = G_TRUNC [[BUILD_VECTOR2]](<2 x s32>)
- ; CHECK: [[CONCAT_VECTORS:%[0-9]+]]:_(<6 x s8>) = G_CONCAT_VECTORS [[TRUNC6]](<2 x s8>), [[TRUNC7]](<2 x s8>), [[TRUNC8]](<2 x s8>)
- ; CHECK: S_ENDPGM 0, implicit [[CONCAT_VECTORS]](<6 x s8>)
+ ; CHECK: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 65535
+ ; CHECK: [[COPY1:%[0-9]+]]:_(s32) = COPY [[ANYEXT]](s32)
+ ; CHECK: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY1]], [[C1]]
+ ; CHECK: [[COPY2:%[0-9]+]]:_(s32) = COPY [[ANYEXT1]](s32)
+ ; CHECK: [[AND1:%[0-9]+]]:_(s32) = G_AND [[COPY2]], [[C1]]
+ ; CHECK: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 16
+ ; CHECK: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[AND1]], [[C2]](s32)
+ ; CHECK: [[OR:%[0-9]+]]:_(s32) = G_OR [[AND]], [[SHL]]
+ ; CHECK: [[BITCAST:%[0-9]+]]:_(<2 x s16>) = G_BITCAST [[OR]](s32)
+ ; CHECK: [[COPY3:%[0-9]+]]:_(s32) = COPY [[ANYEXT2]](s32)
+ ; CHECK: [[AND2:%[0-9]+]]:_(s32) = G_AND [[COPY3]], [[C1]]
+ ; CHECK: [[COPY4:%[0-9]+]]:_(s32) = COPY [[ANYEXT3]](s32)
+ ; CHECK: [[AND3:%[0-9]+]]:_(s32) = G_AND [[COPY4]], [[C1]]
+ ; CHECK: [[SHL1:%[0-9]+]]:_(s32) = G_SHL [[AND3]], [[C2]](s32)
+ ; CHECK: [[OR1:%[0-9]+]]:_(s32) = G_OR [[AND2]], [[SHL1]]
+ ; CHECK: [[BITCAST1:%[0-9]+]]:_(<2 x s16>) = G_BITCAST [[OR1]](s32)
+ ; CHECK: [[COPY5:%[0-9]+]]:_(s32) = COPY [[ANYEXT4]](s32)
+ ; CHECK: [[AND4:%[0-9]+]]:_(s32) = G_AND [[COPY5]], [[C1]]
+ ; CHECK: [[COPY6:%[0-9]+]]:_(s32) = COPY [[ANYEXT5]](s32)
+ ; CHECK: [[AND5:%[0-9]+]]:_(s32) = G_AND [[COPY6]], [[C1]]
+ ; CHECK: [[SHL2:%[0-9]+]]:_(s32) = G_SHL [[AND5]], [[C2]](s32)
+ ; CHECK: [[OR2:%[0-9]+]]:_(s32) = G_OR [[AND4]], [[SHL2]]
+ ; CHECK: [[BITCAST2:%[0-9]+]]:_(<2 x s16>) = G_BITCAST [[OR2]](s32)
+ ; CHECK: [[CONCAT_VECTORS:%[0-9]+]]:_(<6 x s16>) = G_CONCAT_VECTORS [[BITCAST]](<2 x s16>), [[BITCAST1]](<2 x s16>), [[BITCAST2]](<2 x s16>)
+ ; CHECK: S_ENDPGM 0, implicit [[CONCAT_VECTORS]](<6 x s16>)
%0:_(<3 x s32>) = COPY $vgpr0_vgpr1_vgpr2
%1:_(<3 x s16>) = G_TRUNC %0
%2:_(<3 x s16>) = G_ADD %1, %1
%3:_(<6 x s8>) = G_BITCAST %2
- S_ENDPGM 0, implicit %3
+ %4:_(<6 x s16>) = G_ANYEXT %3
+ S_ENDPGM 0, implicit %4
...
---
@@ -2290,19 +2308,17 @@ body: |
; CHECK: [[ANYEXT2:%[0-9]+]]:_(s32) = G_ANYEXT [[LSHR4]](s16)
; CHECK: [[COPY4:%[0-9]+]]:_(s32) = COPY [[LSHR1]](s32)
; CHECK: [[ANYEXT3:%[0-9]+]]:_(s32) = G_ANYEXT [[LSHR5]](s16)
- ; CHECK: [[BUILD_VECTOR:%[0-9]+]]:_(<8 x s32>) = G_BUILD_VECTOR [[COPY1]](s32), [[ANYEXT]](s32), [[COPY2]](s32), [[ANYEXT1]](s32), [[COPY3]](s32), [[ANYEXT2]](s32), [[COPY4]](s32), [[ANYEXT3]](s32)
- ; CHECK: [[TRUNC4:%[0-9]+]]:_(<8 x s8>) = G_TRUNC [[BUILD_VECTOR]](<8 x s32>)
; CHECK: [[UV5:%[0-9]+]]:_(s32), [[UV6:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[UV1]](s64)
- ; CHECK: [[TRUNC5:%[0-9]+]]:_(s16) = G_TRUNC [[UV5]](s32)
+ ; CHECK: [[TRUNC4:%[0-9]+]]:_(s16) = G_TRUNC [[UV5]](s32)
; CHECK: [[LSHR6:%[0-9]+]]:_(s32) = G_LSHR [[UV5]], [[C]](s32)
- ; CHECK: [[TRUNC6:%[0-9]+]]:_(s16) = G_TRUNC [[LSHR6]](s32)
- ; CHECK: [[TRUNC7:%[0-9]+]]:_(s16) = G_TRUNC [[UV6]](s32)
+ ; CHECK: [[TRUNC5:%[0-9]+]]:_(s16) = G_TRUNC [[LSHR6]](s32)
+ ; CHECK: [[TRUNC6:%[0-9]+]]:_(s16) = G_TRUNC [[UV6]](s32)
; CHECK: [[LSHR7:%[0-9]+]]:_(s32) = G_LSHR [[UV6]], [[C]](s32)
- ; CHECK: [[TRUNC8:%[0-9]+]]:_(s16) = G_TRUNC [[LSHR7]](s32)
- ; CHECK: [[LSHR8:%[0-9]+]]:_(s16) = G_LSHR [[TRUNC5]], [[C1]](s16)
- ; CHECK: [[LSHR9:%[0-9]+]]:_(s16) = G_LSHR [[TRUNC6]], [[C1]](s16)
- ; CHECK: [[LSHR10:%[0-9]+]]:_(s16) = G_LSHR [[TRUNC7]], [[C1]](s16)
- ; CHECK: [[LSHR11:%[0-9]+]]:_(s16) = G_LSHR [[TRUNC8]], [[C1]](s16)
+ ; CHECK: [[TRUNC7:%[0-9]+]]:_(s16) = G_TRUNC [[LSHR7]](s32)
+ ; CHECK: [[LSHR8:%[0-9]+]]:_(s16) = G_LSHR [[TRUNC4]], [[C1]](s16)
+ ; CHECK: [[LSHR9:%[0-9]+]]:_(s16) = G_LSHR [[TRUNC5]], [[C1]](s16)
+ ; CHECK: [[LSHR10:%[0-9]+]]:_(s16) = G_LSHR [[TRUNC6]], [[C1]](s16)
+ ; CHECK: [[LSHR11:%[0-9]+]]:_(s16) = G_LSHR [[TRUNC7]], [[C1]](s16)
; CHECK: [[COPY5:%[0-9]+]]:_(s32) = COPY [[UV5]](s32)
; CHECK: [[ANYEXT4:%[0-9]+]]:_(s32) = G_ANYEXT [[LSHR8]](s16)
; CHECK: [[COPY6:%[0-9]+]]:_(s32) = COPY [[LSHR6]](s32)
@@ -2311,19 +2327,17 @@ body: |
; CHECK: [[ANYEXT6:%[0-9]+]]:_(s32) = G_ANYEXT [[LSHR10]](s16)
; CHECK: [[COPY8:%[0-9]+]]:_(s32) = COPY [[LSHR7]](s32)
; CHECK: [[ANYEXT7:%[0-9]+]]:_(s32) = G_ANYEXT [[LSHR11]](s16)
- ; CHECK: [[BUILD_VECTOR1:%[0-9]+]]:_(<8 x s32>) = G_BUILD_VECTOR [[COPY5]](s32), [[ANYEXT4]](s32), [[COPY6]](s32), [[ANYEXT5]](s32), [[COPY7]](s32), [[ANYEXT6]](s32), [[COPY8]](s32), [[ANYEXT7]](s32)
- ; CHECK: [[TRUNC9:%[0-9]+]]:_(<8 x s8>) = G_TRUNC [[BUILD_VECTOR1]](<8 x s32>)
; CHECK: [[UV7:%[0-9]+]]:_(s32), [[UV8:%[0-9]+]]:_(s32) = G_UNMERGE_VALUES [[UV2]](s64)
- ; CHECK: [[TRUNC10:%[0-9]+]]:_(s16) = G_TRUNC [[UV7]](s32)
+ ; CHECK: [[TRUNC8:%[0-9]+]]:_(s16) = G_TRUNC [[UV7]](s32)
; CHECK: [[LSHR12:%[0-9]+]]:_(s32) = G_LSHR [[UV7]], [[C]](s32)
- ; CHECK: [[TRUNC11:%[0-9]+]]:_(s16) = G_TRUNC [[LSHR12]](s32)
- ; CHECK: [[TRUNC12:%[0-9]+]]:_(s16) = G_TRUNC [[UV8]](s32)
+ ; CHECK: [[TRUNC9:%[0-9]+]]:_(s16) = G_TRUNC [[LSHR12]](s32)
+ ; CHECK: [[TRUNC10:%[0-9]+]]:_(s16) = G_TRUNC [[UV8]](s32)
; CHECK: [[LSHR13:%[0-9]+]]:_(s32) = G_LSHR [[UV8]], [[C]](s32)
- ; CHECK: [[TRUNC13:%[0-9]+]]:_(s16) = G_TRUNC [[LSHR13]](s32)
- ; CHECK: [[LSHR14:%[0-9]+]]:_(s16) = G_LSHR [[TRUNC10]], [[C1]](s16)
- ; CHECK: [[LSHR15:%[0-9]+]]:_(s16) = G_LSHR [[TRUNC11]], [[C1]](s16)
- ; CHECK: [[LSHR16:%[0-9]+]]:_(s16) = G_LSHR [[TRUNC12]], [[C1]](s16)
- ; CHECK: [[LSHR17:%[0-9]+]]:_(s16) = G_LSHR [[TRUNC13]], [[C1]](s16)
+ ; CHECK: [[TRUNC11:%[0-9]+]]:_(s16) = G_TRUNC [[LSHR13]](s32)
+ ; CHECK: [[LSHR14:%[0-9]+]]:_(s16) = G_LSHR [[TRUNC8]], [[C1]](s16)
+ ; CHECK: [[LSHR15:%[0-9]+]]:_(s16) = G_LSHR [[TRUNC9]], [[C1]](s16)
+ ; CHECK: [[LSHR16:%[0-9]+]]:_(s16) = G_LSHR [[TRUNC10]], [[C1]](s16)
+ ; CHECK: [[LSHR17:%[0-9]+]]:_(s16) = G_LSHR [[TRUNC11]], [[C1]](s16)
; CHECK: [[COPY9:%[0-9]+]]:_(s32) = COPY [[UV7]](s32)
; CHECK: [[ANYEXT8:%[0-9]+]]:_(s32) = G_ANYEXT [[LSHR14]](s16)
; CHECK: [[COPY10:%[0-9]+]]:_(s32) = COPY [[LSHR12]](s32)
@@ -2332,107 +2346,269 @@ body: |
; CHECK: [[ANYEXT10:%[0-9]+]]:_(s32) = G_ANYEXT [[LSHR16]](s16)
; CHECK: [[COPY12:%[0-9]+]]:_(s32) = COPY [[LSHR13]](s32)
; CHECK: [[ANYEXT11:%[0-9]+]]:_(s32) = G_ANYEXT [[LSHR17]](s16)
- ; CHECK: [[BUILD_VECTOR2:%[0-9]+]]:_(<8 x s32>) = G_BUILD_VECTOR [[COPY9]](s32), [[ANYEXT8]](s32), [[COPY10]](s32), [[ANYEXT9]](s32), [[COPY11]](s32), [[ANYEXT10]](s32), [[COPY12]](s32), [[ANYEXT11]](s32)
- ; CHECK: [[TRUNC14:%[0-9]+]]:_(<8 x s8>) = G_TRUNC [[BUILD_VECTOR2]](<8 x s32>)
- ; CHECK: [[CONCAT_VECTORS:%[0-9]+]]:_(<24 x s8>) = G_CONCAT_VECTORS [[TRUNC4]](<8 x s8>), [[TRUNC9]](<8 x s8>), [[TRUNC14]](<8 x s8>)
- ; CHECK: S_ENDPGM 0, implicit [[CONCAT_VECTORS]](<24 x s8>)
+ ; CHECK: [[C2:%[0-9]+]]:_(s32) = G_CONSTANT i32 65535
+ ; CHECK: [[COPY13:%[0-9]+]]:_(s32) = COPY [[COPY1]](s32)
+ ; CHECK: [[AND:%[0-9]+]]:_(s32) = G_AND [[COPY13]], [[C2]]
+ ; CHECK: [[COPY14:%[0-9]+]]:_(s32) = COPY [[ANYEXT]](s32)
+ ; CHECK: [[AND1:%[0-9]+]]:_(s32) = G_AND [[COPY14]], [[C2]]
+ ; CHECK: [[SHL:%[0-9]+]]:_(s32) = G_SHL [[AND1]], [[C]](s32)
+ ; CHECK: [[OR:%[0-9]+]]:_(s32) = G_OR [[AND]], [[SHL]]
+ ; CHECK: [[BITCAST:%[0-9]+]]:_(<2 x s16>) = G_BITCAST [[OR]](s32)
+ ; CHECK: [[COPY15:%[0-9]+]]:_(s32) = COPY [[COPY2]](s32)
+ ; CHECK: [[AND2:%[0-9]+]]:_(s32) = G_AND [[COPY15]], [[C2]]
+ ; CHECK: [[COPY16:%[0-9]+]]:_(s32) = COPY [[ANYEXT1]](s32)
+ ; CHECK: [[AND3:%[0-9]+]]:_(s32) = G_AND [[COPY16]], [[C2]]
+ ; CHECK: [[SHL1:%[0-9]+]]:_(s32) = G_SHL [[AND3]], [[C]](s32)
+ ; CHECK: [[OR1:%[0-9]+]]:_(s32) = G_OR [[AND2]], [[SHL1]]
+ ; CHECK: [[BITCAST1:%[0-9]+]]:_(<2 x s16>) = G_BITCAST [[OR1]](s32)
+ ; CHECK: [[COPY17:%[0-9]+]]:_(s32) = COPY [[COPY3]](s32)
+ ; CHECK: [[AND4:%[0-9]+]]:_(s32) = G_AND [[COPY17]], [[C2]]
+ ; CHECK: [[COPY18:%[0-9]+]]:_(s32) = COPY [[ANYEXT2]](s32)
+ ; CHECK: [[AND5:%[0-9]+]]:_(s32) = G_AND [[COPY18]], [[C2]]
+ ; CHECK: [[SHL2:%[0-9]+]]:_(s32) = G_SHL [[AND5]], [[C]](s32)
+ ; CHECK: [[OR2:%[0-9]+]]:_(s32) = G_OR [[AND4]], [[SHL2]]
+ ; CHECK: [[BITCAST2:%[0-9]+]]:_(<2 x s16>) = G_BITCAST [[OR2]](s32)
+ ; CHECK: [[COPY19:%[0-9]+]]:_(s32) = COPY [[COPY4]](s32)
+ ; CHECK: [[AND6:%[0-9]+]]:_(s32) = G_AND [[COPY19]], [[C2]]
+ ; CHECK: [[COPY20:%[0-9]+]]:_(s32) = COPY [[ANYEXT3]](s32)
+ ; CHECK: [[AND7:%[0-9]+]]:_(s32) = G_AND [[COPY20]], [[C2]]
+ ; CHECK: [[SHL3:%[0-9]+]]:_(s32) = G_SHL [[AND7]], [[C]](s32)
+ ; CHECK: [[OR3:%[0-9]+]]:_(s32) = G_OR [[AND6]], [[SHL3]]
+ ; CHECK: [[BITCAST3:%[0-9]+]]:_(<2 x s16>) = G_BITCAST [[OR3]](s32)
+ ; CHECK: [[COPY21:%[0-9]+]]:_(s32) = COPY [[COPY5]](s32)
+ ; CHECK: [[AND8:%[0-9]+]]:_(s32) = G_AND [[COPY21]], [[C2]]
+ ; CHECK: [[COPY22:%[0-9]+]]:_(s32) = COPY [[ANYEXT4]](s32)
+ ; CHECK: [[AND9:%[0-9]+]]:_(s32) = G_AND [[COPY22]], [[C2]]
+ ; CHECK: [[SHL4:%[0-9]+]]:_(s32) = G_SHL [[AND9]], [[C]](s32)
+ ; CHECK: [[OR4:%[0-9]+]]:_(s32) = G_OR [[AND8]], [[SHL4]]
+ ; CHECK: [[BITCAST4:%[0-9]+]]:_(<2 x s16>) = G_BITCAST [[OR4]](s32)
+ ; CHECK: [[COPY23:%[0-9]+]]:_(s32) = COPY [[COPY6]](s32)
+ ; CHECK: [[AND10:%[0-9]+]]:_(s32) = G_AND [[COPY23]], [[C2]]
+ ; CHECK: [[COPY24:%[0-9]+]]:_(s32) = COPY [[ANYEXT5]](s32)
+ ; CHECK: [[AND11:%[0-9]+]]:_(s32) = G_AND [[COPY24]], [[C2]]
+ ; CHECK: [[SHL5:%[0-9]+]]:_(s32) = G_SHL [[AND11]], [[C]](s32)
+ ; CHECK: [[OR5:%[0-9]+]]:_(s32) = G_OR [[AND10]], [[SHL5]]
+ ; CHECK: [[BITCAST5:%[0-9]+]]:_(<2 x s16>) = G_BITCAST [[OR5]](s32)
+ ; CHECK: [[COPY25:%[0-9]+]]:_(s32) = COPY [[COPY7]](s32)
+ ; CHECK: [[AND12:%[0-9]+]]:_(s32) = G_AND [[COPY25]], [[C2]]
+ ; CHECK: [[COPY26:%[0-9]+]]:_(s32) = COPY [[ANYEXT6]](s32)
+ ; CHECK: [[AND13:%[0-9]+]]:_(s32) = G_AND [[COPY26]], [[C2]]
+ ; CHECK: [[SHL6:%[0-9]+]]:_(s32) = G_SHL [[AND13]], [[C]](s32)
+ ; CHECK: [[OR6:%[0-9]+]]:_(s32) = G_OR [[AND12]], [[SHL6]]
+ ; CHECK: [[BITCAST6:%[0-9]+]]:_(<2 x s16>) = G_BITCAST [[OR6]](s32)
+ ; CHECK: [[COPY27:%[0-9]+]]:_(s32) = COPY [[COPY8]](s32)
+ ; CHECK: [[AND14:%[0-9]+]]:_(s32) = G_AND [[COPY27]], [[C2]]
+ ; CHECK: [[COPY28:%[0-9]+]]:_(s32) = COPY [[ANYEXT7]](s32)
+ ; CHECK: [[AND15:%[0-9]+]]:_(s32) = G_AND [[COPY28]], [[C2]]
+ ; CHECK: [[SHL7:%[0-9]+]]:_(s32) = G_SHL [[AND15]], [[C]](s32)
+ ; CHECK: [[OR7:%[0-9]+]]:_(s32) = G_OR [[AND14]], [[SHL7]]
+ ; CHECK: [[BITCAST7:%[0-9]+]]:_(<2 x s16>) = G_BITCAST [[OR7]](s32)
+ ; CHECK: [[COPY29:%[0-9]+]]:_(s32) = COPY [[COPY9]](s32)
+ ; CHECK: [[AND16:%[0-9]+]]:_(s32) = G_AND [[COPY29]], [[C2]]
+ ; CHECK: [[COPY30:%[0-9]+]]:_(s32) = COPY [[ANYEXT8]](s32)
+ ; CHECK: [[AND17:%[0-9]+]]:_(s32) = G_AND [[COPY30]], [[C2]]
+ ; CHECK: [[SHL8:%[0-9]+]]:_(s32) = G_SHL [[AND17]], [[C]](s32)
+ ; CHECK: [[OR8:%[0-9]+]]:_(s32) = G_OR [[AND16]], [[SHL8]]
+ ; CHECK: [[BITCAST8:%[0-9]+]]:_(<2 x s16>) = G_BITCAST [[OR8]](s32)
+ ; CHECK: [[COPY31:%[0-9]+]]:_(s32) = COPY [[COPY10]](s32)
+ ; CHECK: [[AND18:%[0-9]+]]:_(s32) = G_AND [[COPY31]], [[C2]]
+ ; CHECK: [[COPY32:%[0-9]+]]:_(s32) = COPY [[ANYEXT9]](s32)
+ ; CHECK: [[AND19:%[0-9]+]]:_(s32) = G_AND [[COPY32]], [[C2]]
+ ; CHECK: [[SHL9:%[0-9]+]]:_(s32) = G_SHL [[AND19]], [[C]](s32)
+ ; CHECK: [[OR9:%[0-9]+]]:_(s32) = G_OR [[AND18]], [[SHL9]]
+ ; CHECK: [[BITCAST9:%[0-9]+]]:_(<2 x s16>) = G_BITCAST [[OR9]](s32)
+ ; CHECK: [[COPY33:%[0-9]+]]:_(s32) = COPY [[COPY11]](s32)
+ ; CHECK: [[AND20:%[0-9]+]]:_(s32) = G_AND [[COPY33]], [[C2]]
+ ; CHECK: [[COPY34:%[0-9]+]]:_(s32) = COPY [[ANYEXT10]](s32)
+ ; CHECK: [[AND21:%[0-9]+]]:_(s32) = G_AND [[COPY34]], [[C2]]
+ ; CHECK: [[SHL10:%[0-9]+]]:_(s32) = G_SHL [[AND21]], [[C]](s32)
+ ; CHECK: [[OR10:%[0-9]+]]:_(s32) = G_OR [[AND20]], [[SHL10]]
+ ; CHECK: [[BITCAST10:%[0-9]+]]:_(<2 x s16>) = G_BITCAST [[OR10]](s32)
+ ; CHECK: [[COPY35:%[0-9]+]]:_(s32) = COPY [[COPY12]](s32)
+ ; CHECK: [[AND22:%[0-9]+]]:_(s32) = G_AND [[COPY35]], [[C2]]
+ ; CHECK: [[COPY36:%[0-9]+]]:_(s32) = COPY [[ANYEXT11]](s32)
+ ; CHECK: [[AND23:%[0-9]+]]:_(s32) = G_AND [[COPY36]], [[C2]]
+ ; CHECK: [[SHL11:%[0-9]+]]:_(s32) = G_SHL [[AND23]], [[C]](s32)
+ ; CHECK: [[OR11:%[0-9]+]]:_(s32) = G_OR [[AND22]], [[SHL11]]
+ ; CHECK: [[BITCAST11:%[0-9]+]]:_(<2 x s16>) = G_BITCAST [[OR11]](s32)
+ ; CHECK: [[CONCAT_VECTORS:%[0-9]+]]:_(<24 x s16>) = G_CONCAT_VECTORS [[BITCAST]](<2 x s16>), [[BITCAST1]](<2 x s16>), [[BITCAST2]](<2 x s16>), [[BITCAST3]](<2 x s16>), [[BITCAST4]](<2 x s16>), [[BITCAST5]](<2 x s16>), [[BITCAST6]](<2 x s16>), [[BITCAST7]](<2 x s16>), [[BITCAST8]](<2 x s16>), [[BITCAST9]](<2 x s16>), [[BITCAST10]](<2 x s16>), [[BITCAST11]](<2 x s16>)
+ ; CHECK: S_ENDPGM 0, implicit [[CONCAT_VECTORS]](<24 x s16>)
%0:_(<3 x s64>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5
%1:_(<24 x s8>) = G_BITCAST %0
- S_ENDPGM 0, implicit %1
+ %2:_(<24 x s16>) = G_ANYEXT %1
+ S_ENDPGM 0, implicit %2
...
---
name: test_bitcast_v24s8_to_v3s64
body: |
bb.0:
- liveins: $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5
+ liveins: $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5, $vgpr6_vgpr7_vgpr8_vgpr9_vgpr10_vgpr11
; CHECK-LABEL: name: test_bitcast_v24s8_to_v3s64
- ; CHECK: [[COPY:%[0-9]+]]:_(<24 x s8>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5
- ; CHECK: [[UV:%[0-9]+]]:_(<8 x s8>), [[UV1:%[0-9]+]]:_(<8 x s8>), [[UV2:%[0-9]+]]:_(<8 x s8>) = G_UNMERGE_VALUES [[COPY]](<24 x s8>)
- ; CHECK: [[UV3:%[0-9]+]]:_(s8), [[UV4:%[0-9]+]]:_(s8), [[UV5:%[0-9]+]]:_(s8), [[UV6:%[0-9]+]]:_(s8), [[UV7:%[0-9]+]]:_(s8), [[UV8:%[0-9]+]]:_(s8), [[UV9:%[0-9]+]]:_(s8), [[UV10:%[0-9]+]]:_(s8) = G_UNMERGE_VALUES [[UV]](<8 x s8>)
- ; CHECK: [[ZEXT:%[0-9]+]]:_(s16) = G_ZEXT [[UV3]](s8)
- ; CHECK: [[ZEXT1:%[0-9]+]]:_(s16) = G_ZEXT [[UV4]](s8)
- ; CHECK: [[C:%[0-9]+]]:_(s16) = G_CONSTANT i16 8
- ; CHECK: [[SHL:%[0-9]+]]:_(s16) = G_SHL [[ZEXT1]], [[C]](s16)
- ; CHECK: [[OR:%[0-9]+]]:_(s16) = G_OR [[ZEXT]], [[SHL]]
- ; CHECK: [[ZEXT2:%[0-9]+]]:_(s16) = G_ZEXT [[UV5]](s8)
- ; CHECK: [[ZEXT3:%[0-9]+]]:_(s16) = G_ZEXT [[UV6]](s8)
- ; CHECK: [[SHL1:%[0-9]+]]:_(s16) = G_SHL [[ZEXT3]], [[C]](s16)
- ; CHECK: [[OR1:%[0-9]+]]:_(s16) = G_OR [[ZEXT2]], [[SHL1]]
- ; CHECK: [[ZEXT4:%[0-9]+]]:_(s16) = G_ZEXT [[UV7]](s8)
- ; CHECK: [[ZEXT5:%[0-9]+]]:_(s16) = G_ZEXT [[UV8]](s8)
- ; CHECK: [[SHL2:%[0-9]+]]:_(s16) = G_SHL [[ZEXT5]], [[C]](s16)
- ; CHECK: [[OR2:%[0-9]+]]:_(s16) = G_OR [[ZEXT4]], [[SHL2]]
- ; CHECK: [[ZEXT6:%[0-9]+]]:_(s16) = G_ZEXT [[UV9]](s8)
- ; CHECK: [[ZEXT7:%[0-9]+]]:_(s16) = G_ZEXT [[UV10]](s8)
- ; CHECK: [[SHL3:%[0-9]+]]:_(s16) = G_SHL [[ZEXT7]], [[C]](s16)
- ; CHECK: [[OR3:%[0-9]+]]:_(s16) = G_OR [[ZEXT6]], [[SHL3]]
- ; CHECK: [[ZEXT8:%[0-9]+]]:_(s32) = G_ZEXT [[OR]](s16)
- ; CHECK: [[ZEXT9:%[0-9]+]]:_(s32) = G_ZEXT [[OR1]](s16)
- ; CHECK: [[C1:%[0-9]+]]:_(s32) = G_CONSTANT i32 16
- ; CHECK: [[SHL4:%[0-9]+]]:_(s32) = G_SHL [[ZEXT9]], [[C1]](s32)
- ; CHECK: [[OR4:%[0-9]+]]:_(s32) = G_OR [[ZEXT8]], [[SHL4]]
- ; CHECK: [[ZEXT10:%[0-9]+]]:_(s32) = G_ZEXT [[OR2]](s16)
- ; CHECK: [[ZEXT11:%[0-9]+]]:_(s32) = G_ZEXT [[OR3]](s16)
- ; CHECK: [[SHL5:%[0-9]+]]:_(s32) = G_SHL [[ZEXT11]], [[C1]](s32)
- ; CHECK: [[OR5:%[0-9]+]]:_(s32) = G_OR [[ZEXT10]], [[SHL5]]
+ ; CHECK: [[COPY:%[0-9]+]]:_(<12 x s16>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5
+ ; CHECK: [[COPY1:%[0-9]+]]:_(<12 x s16>) = COPY $vgpr6_vgpr7_vgpr8_vgpr9_vgpr10_vgpr11
+ ; CHECK: [[CONCAT_VECTORS:%[0-9]+]]:_(<24 x s16>) = G_CONCAT_VECTORS [[COPY]](<12 x s16>), [[COPY1]](<12 x s16>)
+ ; CHECK: [[UV:%[0-9]+]]:_(<8 x s16>), [[UV1:%[0-9]+]]:_(<8 x s16>), [[UV2:%[0-9]+]]:_(<8 x s16>) = G_UNMERGE_VALUES [[CONCAT_VECTORS]](<24 x s16>)
+ ; CHECK: [[UV3:%[0-9]+]]:_(<2 x s16>), [[UV4:%[0-9]+]]:_(<2 x s16>), [[UV5:%[0-9]+]]:_(<2 x s16>), [[UV6:%[0-9]+]]:_(<2 x s16>) = G_UNMERGE_VALUES [[UV]](<8 x s16>)
+ ; CHECK: [[BITCAST:%[0-9]+]]:_(s32) = G_BITCAST [[UV3]](<2 x s16>)
+ ; CHECK: [[TRUNC:%[0-9]+]]:_(s16) = G_TRUNC [[BITCAST]](s32)
+ ; CHECK: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 16
+ ; CHECK: [[LSHR:%[0-9]+]]:_(s32) = G_LSHR [[BITCAST]], [[C]](s32)
+ ; CHECK: [[TRUNC1:%[0-9]+]]:_(s16) = G_TRUNC [[LSHR]](s32)
+ ; CHECK: [[BITCAST1:%[0-9]+]]:_(s32) = G_BITCAST [[UV4]](<2 x s16>)
+ ; CHECK: [[TRUNC2:%[0-9]+]]:_(s16) = G_TRUNC [[BITCAST1]](s32)
+ ; CHECK: [[LSHR1:%[0-9]+]]:_(s32) = G_LSHR [[BITCAST1]], [[C]](s32)
+ ; CHECK: [[TRUNC3:%[0-9]+]]:_(s16) = G_TRUNC [[LSHR1]](s32)
+ ; CHECK: [[BITCAST2:%[0-9]+]]:_(s32) = G_BITCAST [[UV5]](<2 x s16>)
+ ; CHECK: [[TRUNC4:%[0-9]+]]:_(s16) = G_TRUNC [[BITCAST2]](s32)
+ ; CHECK: [[LSHR2:%[0-9]+]]:_(s32) = G_LSHR [[BITCAST2]], [[C]](s32)
+ ; CHECK: [[TRUNC5:%[0-9]+]]:_(s16) = G_TRUNC [[LSHR2]](s32)
+ ; CHECK: [[BITCAST3:%[0-9]+]]:_(s32) = G_BITCAST [[UV6]](<2 x s16>)
+ ; CHECK: [[TRUNC6:%[0-9]+]]:_(s16) = G_TRUNC [[BITCAST3]](s32)
+ ; CHECK: [[LSHR3:%[0-9]+]]:_(s32) = G_LSHR [[BITCAST3]], [[C]](s32)
+ ; CHECK: [[TRUNC7:%[0-9]+]]:_(s16) = G_TRUNC [[LSHR3]](s32)
+ ; CHECK: [[C1:%[0-9]+]]:_(s16) = G_CONSTANT i16 255
+ ; CHECK: [[COPY2:%[0-9]+]]:_(s16) = COPY [[TRUNC]](s16)
+ ; CHECK: [[AND:%[0-9]+]]:_(s16) = G_AND [[COPY2]], [[C1]]
+ ; CHECK: [[COPY3:%[0-9]+]]:_(s16) = COPY [[TRUNC1]](s16)
+ ; CHECK: [[AND1:%[0-9]+]]:_(s16) = G_AND [[COPY3]], [[C1]]
+ ; CHECK: [[C2:%[0-9]+]]:_(s16) = G_CONSTANT i16 8
+ ; CHECK: [[SHL:%[0-9]+]]:_(s16) = G_SHL [[AND1]], [[C2]](s16)
+ ; CHECK: [[OR:%[0-9]+]]:_(s16) = G_OR [[AND]], [[SHL]]
+ ; CHECK: [[COPY4:%[0-9]+]]:_(s16) = COPY [[TRUNC2]](s16)
+ ; CHECK: [[AND2:%[0-9]+]]:_(s16) = G_AND [[COPY4]], [[C1]]
+ ; CHECK: [[COPY5:%[0-9]+]]:_(s16) = COPY [[TRUNC3]](s16)
+ ; CHECK: [[AND3:%[0-9]+]]:_(s16) = G_AND [[COPY5]], [[C1]]
+ ; CHECK: [[SHL1:%[0-9]+]]:_(s16) = G_SHL [[AND3]], [[C2]](s16)
+ ; CHECK: [[OR1:%[0-9]+]]:_(s16) = G_OR [[AND2]], [[SHL1]]
+ ; CHECK: [[COPY6:%[0-9]+]]:_(s16) = COPY [[TRUNC4]](s16)
+ ; CHECK: [[AND4:%[0-9]+]]:_(s16) = G_AND [[COPY6]], [[C1]]
+ ; CHECK: [[COPY7:%[0-9]+]]:_(s16) = COPY [[TRUNC5]](s16)
+ ; CHECK: [[AND5:%[0-9]+]]:_(s16) = G_AND [[COPY7]], [[C1]]
+ ; CHECK: [[SHL2:%[0-9]+]]:_(s16) = G_SHL [[AND5]], [[C2]](s16)
+ ; CHECK: [[OR2:%[0-9]+]]:_(s16) = G_OR [[AND4]], [[SHL2]]
+ ; CHECK: [[COPY8:%[0-9]+]]:_(s16) = COPY [[TRUNC6]](s16)
+ ; CHECK: [[AND6:%[0-9]+]]:_(s16) = G_AND [[COPY8]], [[C1]]
+ ; CHECK: [[COPY9:%[0-9]+]]:_(s16) = COPY [[TRUNC7]](s16)
+ ; CHECK: [[AND7:%[0-9]+]]:_(s16) = G_AND [[COPY9]], [[C1]]
+ ; CHECK: [[SHL3:%[0-9]+]]:_(s16) = G_SHL [[AND7]], [[C2]](s16)
+ ; CHECK: [[OR3:%[0-9]+]]:_(s16) = G_OR [[AND6]], [[SHL3]]
+ ; CHECK: [[ZEXT:%[0-9]+]]:_(s32) = G_ZEXT [[OR]](s16)
+ ; CHECK: [[ZEXT1:%[0-9]+]]:_(s32) = G_ZEXT [[OR1]](s16)
+ ; CHECK: [[SHL4:%[0-9]+]]:_(s32) = G_SHL [[ZEXT1]], [[C]](s32)
+ ; CHECK: [[OR4:%[0-9]+]]:_(s32) = G_OR [[ZEXT]], [[SHL4]]
+ ; CHECK: [[ZEXT2:%[0-9]+]]:_(s32) = G_ZEXT [[OR2]](s16)
+ ; CHECK: [[ZEXT3:%[0-9]+]]:_(s32) = G_ZEXT [[OR3]](s16)
+ ; CHECK: [[SHL5:%[0-9]+]]:_(s32) = G_SHL [[ZEXT3]], [[C]](s32)
+ ; CHECK: [[OR5:%[0-9]+]]:_(s32) = G_OR [[ZEXT2]], [[SHL5]]
; CHECK: [[MV:%[0-9]+]]:_(s64) = G_MERGE_VALUES [[OR4]](s32), [[OR5]](s32)
- ; CHECK: [[UV11:%[0-9]+]]:_(s8), [[UV12:%[0-9]+]]:_(s8), [[UV13:%[0-9]+]]:_(s8), [[UV14:%[0-9]+]]:_(s8), [[UV15:%[0-9]+]]:_(s8), [[UV16:%[0-9]+]]:_(s8), [[UV17:%[0-9]+]]:_(s8), [[UV18:%[0-9]+]]:_(s8) = G_UNMERGE_VALUES [[UV1]](<8 x s8>)
- ; CHECK: [[ZEXT12:%[0-9]+]]:_(s16) = G_ZEXT [[UV11]](s8)
- ; CHECK: [[ZEXT13:%[0-9]+]]:_(s16) = G_ZEXT [[UV12]](s8)
- ; CHECK: [[SHL6:%[0-9]+]]:_(s16) = G_SHL [[ZEXT13]], [[C]](s16)
- ; CHECK: [[OR6:%[0-9]+]]:_(s16) = G_OR [[ZEXT12]], [[SHL6]]
- ; CHECK: [[ZEXT14:%[0-9]+]]:_(s16) = G_ZEXT [[UV13]](s8)
- ; CHECK: [[ZEXT15:%[0-9]+]]:_(s16) = G_ZEXT [[UV14]](s8)
- ; CHECK: [[SHL7:%[0-9]+]]:_(s16) = G_SHL [[ZEXT15]], [[C]](s16)
- ; CHECK: [[OR7:%[0-9]+]]:_(s16) = G_OR [[ZEXT14]], [[SHL7]]
- ; CHECK: [[ZEXT16:%[0-9]+]]:_(s16) = G_ZEXT [[UV15]](s8)
- ; CHECK: [[ZEXT17:%[0-9]+]]:_(s16) = G_ZEXT [[UV16]](s8)
- ; CHECK: [[SHL8:%[0-9]+]]:_(s16) = G_SHL [[ZEXT17]], [[C]](s16)
- ; CHECK: [[OR8:%[0-9]+]]:_(s16) = G_OR [[ZEXT16]], [[SHL8]]
- ; CHECK: [[ZEXT18:%[0-9]+]]:_(s16) = G_ZEXT [[UV17]](s8)
- ; CHECK: [[ZEXT19:%[0-9]+]]:_(s16) = G_ZEXT [[UV18]](s8)
- ; CHECK: [[SHL9:%[0-9]+]]:_(s16) = G_SHL [[ZEXT19]], [[C]](s16)
- ; CHECK: [[OR9:%[0-9]+]]:_(s16) = G_OR [[ZEXT18]], [[SHL9]]
- ; CHECK: [[ZEXT20:%[0-9]+]]:_(s32) = G_ZEXT [[OR6]](s16)
- ; CHECK: [[ZEXT21:%[0-9]+]]:_(s32) = G_ZEXT [[OR7]](s16)
- ; CHECK: [[SHL10:%[0-9]+]]:_(s32) = G_SHL [[ZEXT21]], [[C1]](s32)
- ; CHECK: [[OR10:%[0-9]+]]:_(s32) = G_OR [[ZEXT20]], [[SHL10]]
- ; CHECK: [[ZEXT22:%[0-9]+]]:_(s32) = G_ZEXT [[OR8]](s16)
- ; CHECK: [[ZEXT23:%[0-9]+]]:_(s32) = G_ZEXT [[OR9]](s16)
- ; CHECK: [[SHL11:%[0-9]+]]:_(s32) = G_SHL [[ZEXT23]], [[C1]](s32)
- ; CHECK: [[OR11:%[0-9]+]]:_(s32) = G_OR [[ZEXT22]], [[SHL11]]
+ ; CHECK: [[UV7:%[0-9]+]]:_(<2 x s16>), [[UV8:%[0-9]+]]:_(<2 x s16>), [[UV9:%[0-9]+]]:_(<2 x s16>), [[UV10:%[0-9]+]]:_(<2 x s16>) = G_UNMERGE_VALUES [[UV1]](<8 x s16>)
+ ; CHECK: [[BITCAST4:%[0-9]+]]:_(s32) = G_BITCAST [[UV7]](<2 x s16>)
+ ; CHECK: [[TRUNC8:%[0-9]+]]:_(s16) = G_TRUNC [[BITCAST4]](s32)
+ ; CHECK: [[LSHR4:%[0-9]+]]:_(s32) = G_LSHR [[BITCAST4]], [[C]](s32)
+ ; CHECK: [[TRUNC9:%[0-9]+]]:_(s16) = G_TRUNC [[LSHR4]](s32)
+ ; CHECK: [[BITCAST5:%[0-9]+]]:_(s32) = G_BITCAST [[UV8]](<2 x s16>)
+ ; CHECK: [[TRUNC10:%[0-9]+]]:_(s16) = G_TRUNC [[BITCAST5]](s32)
+ ; CHECK: [[LSHR5:%[0-9]+]]:_(s32) = G_LSHR [[BITCAST5]], [[C]](s32)
+ ; CHECK: [[TRUNC11:%[0-9]+]]:_(s16) = G_TRUNC [[LSHR5]](s32)
+ ; CHECK: [[BITCAST6:%[0-9]+]]:_(s32) = G_BITCAST [[UV9]](<2 x s16>)
+ ; CHECK: [[TRUNC12:%[0-9]+]]:_(s16) = G_TRUNC [[BITCAST6]](s32)
+ ; CHECK: [[LSHR6:%[0-9]+]]:_(s32) = G_LSHR [[BITCAST6]], [[C]](s32)
+ ; CHECK: [[TRUNC13:%[0-9]+]]:_(s16) = G_TRUNC [[LSHR6]](s32)
+ ; CHECK: [[BITCAST7:%[0-9]+]]:_(s32) = G_BITCAST [[UV10]](<2 x s16>)
+ ; CHECK: [[TRUNC14:%[0-9]+]]:_(s16) = G_TRUNC [[BITCAST7]](s32)
+ ; CHECK: [[LSHR7:%[0-9]+]]:_(s32) = G_LSHR [[BITCAST7]], [[C]](s32)
+ ; CHECK: [[TRUNC15:%[0-9]+]]:_(s16) = G_TRUNC [[LSHR7]](s32)
+ ; CHECK: [[COPY10:%[0-9]+]]:_(s16) = COPY [[TRUNC8]](s16)
+ ; CHECK: [[AND8:%[0-9]+]]:_(s16) = G_AND [[COPY10]], [[C1]]
+ ; CHECK: [[COPY11:%[0-9]+]]:_(s16) = COPY [[TRUNC9]](s16)
+ ; CHECK: [[AND9:%[0-9]+]]:_(s16) = G_AND [[COPY11]], [[C1]]
+ ; CHECK: [[SHL6:%[0-9]+]]:_(s16) = G_SHL [[AND9]], [[C2]](s16)
+ ; CHECK: [[OR6:%[0-9]+]]:_(s16) = G_OR [[AND8]], [[SHL6]]
+ ; CHECK: [[COPY12:%[0-9]+]]:_(s16) = COPY [[TRUNC10]](s16)
+ ; CHECK: [[AND10:%[0-9]+]]:_(s16) = G_AND [[COPY12]], [[C1]]
+ ; CHECK: [[COPY13:%[0-9]+]]:_(s16) = COPY [[TRUNC11]](s16)
+ ; CHECK: [[AND11:%[0-9]+]]:_(s16) = G_AND [[COPY13]], [[C1]]
+ ; CHECK: [[SHL7:%[0-9]+]]:_(s16) = G_SHL [[AND11]], [[C2]](s16)
+ ; CHECK: [[OR7:%[0-9]+]]:_(s16) = G_OR [[AND10]], [[SHL7]]
+ ; CHECK: [[COPY14:%[0-9]+]]:_(s16) = COPY [[TRUNC12]](s16)
+ ; CHECK: [[AND12:%[0-9]+]]:_(s16) = G_AND [[COPY14]], [[C1]]
+ ; CHECK: [[COPY15:%[0-9]+]]:_(s16) = COPY [[TRUNC13]](s16)
+ ; CHECK: [[AND13:%[0-9]+]]:_(s16) = G_AND [[COPY15]], [[C1]]
+ ; CHECK: [[SHL8:%[0-9]+]]:_(s16) = G_SHL [[AND13]], [[C2]](s16)
+ ; CHECK: [[OR8:%[0-9]+]]:_(s16) = G_OR [[AND12]], [[SHL8]]
+ ; CHECK: [[COPY16:%[0-9]+]]:_(s16) = COPY [[TRUNC14]](s16)
+ ; CHECK: [[AND14:%[0-9]+]]:_(s16) = G_AND [[COPY16]], [[C1]]
+ ; CHECK: [[COPY17:%[0-9]+]]:_(s16) = COPY [[TRUNC15]](s16)
+ ; CHECK: [[AND15:%[0-9]+]]:_(s16) = G_AND [[COPY17]], [[C1]]
+ ; CHECK: [[SHL9:%[0-9]+]]:_(s16) = G_SHL [[AND15]], [[C2]](s16)
+ ; CHECK: [[OR9:%[0-9]+]]:_(s16) = G_OR [[AND14]], [[SHL9]]
+ ; CHECK: [[ZEXT4:%[0-9]+]]:_(s32) = G_ZEXT [[OR6]](s16)
+ ; CHECK: [[ZEXT5:%[0-9]+]]:_(s32) = G_ZEXT [[OR7]](s16)
+ ; CHECK: [[SHL10:%[0-9]+]]:_(s32) = G_SHL [[ZEXT5]], [[C]](s32)
+ ; CHECK: [[OR10:%[0-9]+]]:_(s32) = G_OR [[ZEXT4]], [[SHL10]]
+ ; CHECK: [[ZEXT6:%[0-9]+]]:_(s32) = G_ZEXT [[OR8]](s16)
+ ; CHECK: [[ZEXT7:%[0-9]+]]:_(s32) = G_ZEXT [[OR9]](s16)
+ ; CHECK: [[SHL11:%[0-9]+]]:_(s32) = G_SHL [[ZEXT7]], [[C]](s32)
+ ; CHECK: [[OR11:%[0-9]+]]:_(s32) = G_OR [[ZEXT6]], [[SHL11]]
; CHECK: [[MV1:%[0-9]+]]:_(s64) = G_MERGE_VALUES [[OR10]](s32), [[OR11]](s32)
- ; CHECK: [[UV19:%[0-9]+]]:_(s8), [[UV20:%[0-9]+]]:_(s8), [[UV21:%[0-9]+]]:_(s8), [[UV22:%[0-9]+]]:_(s8), [[UV23:%[0-9]+]]:_(s8), [[UV24:%[0-9]+]]:_(s8), [[UV25:%[0-9]+]]:_(s8), [[UV26:%[0-9]+]]:_(s8) = G_UNMERGE_VALUES [[UV2]](<8 x s8>)
- ; CHECK: [[ZEXT24:%[0-9]+]]:_(s16) = G_ZEXT [[UV19]](s8)
- ; CHECK: [[ZEXT25:%[0-9]+]]:_(s16) = G_ZEXT [[UV20]](s8)
- ; CHECK: [[SHL12:%[0-9]+]]:_(s16) = G_SHL [[ZEXT25]], [[C]](s16)
- ; CHECK: [[OR12:%[0-9]+]]:_(s16) = G_OR [[ZEXT24]], [[SHL12]]
- ; CHECK: [[ZEXT26:%[0-9]+]]:_(s16) = G_ZEXT [[UV21]](s8)
- ; CHECK: [[ZEXT27:%[0-9]+]]:_(s16) = G_ZEXT [[UV22]](s8)
- ; CHECK: [[SHL13:%[0-9]+]]:_(s16) = G_SHL [[ZEXT27]], [[C]](s16)
- ; CHECK: [[OR13:%[0-9]+]]:_(s16) = G_OR [[ZEXT26]], [[SHL13]]
- ; CHECK: [[ZEXT28:%[0-9]+]]:_(s16) = G_ZEXT [[UV23]](s8)
- ; CHECK: [[ZEXT29:%[0-9]+]]:_(s16) = G_ZEXT [[UV24]](s8)
- ; CHECK: [[SHL14:%[0-9]+]]:_(s16) = G_SHL [[ZEXT29]], [[C]](s16)
- ; CHECK: [[OR14:%[0-9]+]]:_(s16) = G_OR [[ZEXT28]], [[SHL14]]
- ; CHECK: [[ZEXT30:%[0-9]+]]:_(s16) = G_ZEXT [[UV25]](s8)
- ; CHECK: [[ZEXT31:%[0-9]+]]:_(s16) = G_ZEXT [[UV26]](s8)
- ; CHECK: [[SHL15:%[0-9]+]]:_(s16) = G_SHL [[ZEXT31]], [[C]](s16)
- ; CHECK: [[OR15:%[0-9]+]]:_(s16) = G_OR [[ZEXT30]], [[SHL15]]
- ; CHECK: [[ZEXT32:%[0-9]+]]:_(s32) = G_ZEXT [[OR12]](s16)
- ; CHECK: [[ZEXT33:%[0-9]+]]:_(s32) = G_ZEXT [[OR13]](s16)
- ; CHECK: [[SHL16:%[0-9]+]]:_(s32) = G_SHL [[ZEXT33]], [[C1]](s32)
- ; CHECK: [[OR16:%[0-9]+]]:_(s32) = G_OR [[ZEXT32]], [[SHL16]]
- ; CHECK: [[ZEXT34:%[0-9]+]]:_(s32) = G_ZEXT [[OR14]](s16)
- ; CHECK: [[ZEXT35:%[0-9]+]]:_(s32) = G_ZEXT [[OR15]](s16)
- ; CHECK: [[SHL17:%[0-9]+]]:_(s32) = G_SHL [[ZEXT35]], [[C1]](s32)
- ; CHECK: [[OR17:%[0-9]+]]:_(s32) = G_OR [[ZEXT34]], [[SHL17]]
+ ; CHECK: [[UV11:%[0-9]+]]:_(<2 x s16>), [[UV12:%[0-9]+]]:_(<2 x s16>), [[UV13:%[0-9]+]]:_(<2 x s16>), [[UV14:%[0-9]+]]:_(<2 x s16>) = G_UNMERGE_VALUES [[UV2]](<8 x s16>)
+ ; CHECK: [[BITCAST8:%[0-9]+]]:_(s32) = G_BITCAST [[UV11]](<2 x s16>)
+ ; CHECK: [[TRUNC16:%[0-9]+]]:_(s16) = G_TRUNC [[BITCAST8]](s32)
+ ; CHECK: [[LSHR8:%[0-9]+]]:_(s32) = G_LSHR [[BITCAST8]], [[C]](s32)
+ ; CHECK: [[TRUNC17:%[0-9]+]]:_(s16) = G_TRUNC [[LSHR8]](s32)
+ ; CHECK: [[BITCAST9:%[0-9]+]]:_(s32) = G_BITCAST [[UV12]](<2 x s16>)
+ ; CHECK: [[TRUNC18:%[0-9]+]]:_(s16) = G_TRUNC [[BITCAST9]](s32)
+ ; CHECK: [[LSHR9:%[0-9]+]]:_(s32) = G_LSHR [[BITCAST9]], [[C]](s32)
+ ; CHECK: [[TRUNC19:%[0-9]+]]:_(s16) = G_TRUNC [[LSHR9]](s32)
+ ; CHECK: [[BITCAST10:%[0-9]+]]:_(s32) = G_BITCAST [[UV13]](<2 x s16>)
+ ; CHECK: [[TRUNC20:%[0-9]+]]:_(s16) = G_TRUNC [[BITCAST10]](s32)
+ ; CHECK: [[LSHR10:%[0-9]+]]:_(s32) = G_LSHR [[BITCAST10]], [[C]](s32)
+ ; CHECK: [[TRUNC21:%[0-9]+]]:_(s16) = G_TRUNC [[LSHR10]](s32)
+ ; CHECK: [[BITCAST11:%[0-9]+]]:_(s32) = G_BITCAST [[UV14]](<2 x s16>)
+ ; CHECK: [[TRUNC22:%[0-9]+]]:_(s16) = G_TRUNC [[BITCAST11]](s32)
+ ; CHECK: [[LSHR11:%[0-9]+]]:_(s32) = G_LSHR [[BITCAST11]], [[C]](s32)
+ ; CHECK: [[TRUNC23:%[0-9]+]]:_(s16) = G_TRUNC [[LSHR11]](s32)
+ ; CHECK: [[COPY18:%[0-9]+]]:_(s16) = COPY [[TRUNC16]](s16)
+ ; CHECK: [[AND16:%[0-9]+]]:_(s16) = G_AND [[COPY18]], [[C1]]
+ ; CHECK: [[COPY19:%[0-9]+]]:_(s16) = COPY [[TRUNC17]](s16)
+ ; CHECK: [[AND17:%[0-9]+]]:_(s16) = G_AND [[COPY19]], [[C1]]
+ ; CHECK: [[SHL12:%[0-9]+]]:_(s16) = G_SHL [[AND17]], [[C2]](s16)
+ ; CHECK: [[OR12:%[0-9]+]]:_(s16) = G_OR [[AND16]], [[SHL12]]
+ ; CHECK: [[COPY20:%[0-9]+]]:_(s16) = COPY [[TRUNC18]](s16)
+ ; CHECK: [[AND18:%[0-9]+]]:_(s16) = G_AND [[COPY20]], [[C1]]
+ ; CHECK: [[COPY21:%[0-9]+]]:_(s16) = COPY [[TRUNC19]](s16)
+ ; CHECK: [[AND19:%[0-9]+]]:_(s16) = G_AND [[COPY21]], [[C1]]
+ ; CHECK: [[SHL13:%[0-9]+]]:_(s16) = G_SHL [[AND19]], [[C2]](s16)
+ ; CHECK: [[OR13:%[0-9]+]]:_(s16) = G_OR [[AND18]], [[SHL13]]
+ ; CHECK: [[COPY22:%[0-9]+]]:_(s16) = COPY [[TRUNC20]](s16)
+ ; CHECK: [[AND20:%[0-9]+]]:_(s16) = G_AND [[COPY22]], [[C1]]
+ ; CHECK: [[COPY23:%[0-9]+]]:_(s16) = COPY [[TRUNC21]](s16)
+ ; CHECK: [[AND21:%[0-9]+]]:_(s16) = G_AND [[COPY23]], [[C1]]
+ ; CHECK: [[SHL14:%[0-9]+]]:_(s16) = G_SHL [[AND21]], [[C2]](s16)
+ ; CHECK: [[OR14:%[0-9]+]]:_(s16) = G_OR [[AND20]], [[SHL14]]
+ ; CHECK: [[COPY24:%[0-9]+]]:_(s16) = COPY [[TRUNC22]](s16)
+ ; CHECK: [[AND22:%[0-9]+]]:_(s16) = G_AND [[COPY24]], [[C1]]
+ ; CHECK: [[COPY25:%[0-9]+]]:_(s16) = COPY [[TRUNC23]](s16)
+ ; CHECK: [[AND23:%[0-9]+]]:_(s16) = G_AND [[COPY25]], [[C1]]
+ ; CHECK: [[SHL15:%[0-9]+]]:_(s16) = G_SHL [[AND23]], [[C2]](s16)
+ ; CHECK: [[OR15:%[0-9]+]]:_(s16) = G_OR [[AND22]], [[SHL15]]
+ ; CHECK: [[ZEXT8:%[0-9]+]]:_(s32) = G_ZEXT [[OR12]](s16)
+ ; CHECK: [[ZEXT9:%[0-9]+]]:_(s32) = G_ZEXT [[OR13]](s16)
+ ; CHECK: [[SHL16:%[0-9]+]]:_(s32) = G_SHL [[ZEXT9]], [[C]](s32)
+ ; CHECK: [[OR16:%[0-9]+]]:_(s32) = G_OR [[ZEXT8]], [[SHL16]]
+ ; CHECK: [[ZEXT10:%[0-9]+]]:_(s32) = G_ZEXT [[OR14]](s16)
+ ; CHECK: [[ZEXT11:%[0-9]+]]:_(s32) = G_ZEXT [[OR15]](s16)
+ ; CHECK: [[SHL17:%[0-9]+]]:_(s32) = G_SHL [[ZEXT11]], [[C]](s32)
+ ; CHECK: [[OR17:%[0-9]+]]:_(s32) = G_OR [[ZEXT10]], [[SHL17]]
; CHECK: [[MV2:%[0-9]+]]:_(s64) = G_MERGE_VALUES [[OR16]](s32), [[OR17]](s32)
; CHECK: [[BUILD_VECTOR:%[0-9]+]]:_(<3 x s64>) = G_BUILD_VECTOR [[MV]](s64), [[MV1]](s64), [[MV2]](s64)
; CHECK: S_ENDPGM 0, implicit [[BUILD_VECTOR]](<3 x s64>)
- %0:_(<24 x s8>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5
- %1:_(<3 x s64>) = G_BITCAST %0
- S_ENDPGM 0, implicit %1
+ %0:_(<12 x s16>) = COPY $vgpr0_vgpr1_vgpr2_vgpr3_vgpr4_vgpr5
+ %1:_(<12 x s16>) = COPY $vgpr6_vgpr7_vgpr8_vgpr9_vgpr10_vgpr11
+ %2:_(<24 x s16>) = G_CONCAT_VECTORS %0, %1
+ %3:_(<24 x s8>) = G_TRUNC %2
+ %4:_(<3 x s64>) = G_BITCAST %3
+ S_ENDPGM 0, implicit %4
...
More information about the llvm-commits
mailing list