[llvm] 61ecfc6 - [TwoAddressInstruction] Pre-commit a test case for D110944

[Jay Foad via llvm-commits]

Author: Jay Foad
Date: 2021-10-01T20:57:57+01:00
New Revision: 61ecfc6f9dc56e994a133a78a8f32c403899d5c5

URL: https://github.com/llvm/llvm-project/commit/61ecfc6f9dc56e994a133a78a8f32c403899d5c5
DIFF: https://github.com/llvm/llvm-project/commit/61ecfc6f9dc56e994a133a78a8f32c403899d5c5.diff

LOG: [TwoAddressInstruction] Pre-commit a test case for D110944

Added: 
    llvm/test/CodeGen/AMDGPU/twoaddr-constrain.ll

Modified: 
    

Removed: 
    


################################################################################
diff  --git a/llvm/test/CodeGen/AMDGPU/twoaddr-constrain.ll b/llvm/test/CodeGen/AMDGPU/twoaddr-constrain.ll
new file mode 100644
index 0000000000000..a3b7951004140
--- /dev/null
+++ b/llvm/test/CodeGen/AMDGPU/twoaddr-constrain.ll
@@ -0,0 +1,29 @@
+; NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
+; RUN: llc -global-isel -march=amdgcn -mcpu=gfx900 -verify-machineinstrs -stop-after twoaddressinstruction < %s | FileCheck %s
+
+; FIXME: the operand "undef %16.sub0_sub1:sgpr_96" will fail machine
+; verification because sgpr_96 does not fully support sub0_sub1.
+define amdgpu_ps <3 x i32> @s_load_constant_v3i32_align4(<3 x i32> addrspace(4)* inreg %ptr) {
+  ; CHECK-LABEL: name: s_load_constant_v3i32_align4
+  ; CHECK: bb.0 (%ir-block.0):
+  ; CHECK-NEXT:   liveins: $sgpr0, $sgpr1
+  ; CHECK-NEXT: {{  $}}
+  ; CHECK-NEXT:   [[COPY:%[0-9]+]]:sreg_32 = COPY killed $sgpr0
+  ; CHECK-NEXT:   [[COPY1:%[0-9]+]]:sreg_32 = COPY killed $sgpr1
+  ; CHECK-NEXT:   undef %0.sub0:sreg_64 = COPY killed [[COPY]]
+  ; CHECK-NEXT:   %0.sub1:sreg_64 = COPY killed [[COPY1]]
+  ; CHECK-NEXT:   [[S_LOAD_DWORDX2_IMM:%[0-9]+]]:sreg_64_xexec = S_LOAD_DWORDX2_IMM %0, 0, 0 :: (load (<2 x s32>) from %ir.ptr, align 4, addrspace 4)
+  ; CHECK-NEXT:   [[S_LOAD_DWORD_IMM:%[0-9]+]]:sreg_32_xm0_xexec = S_LOAD_DWORD_IMM killed %0, 8, 0 :: (load (s32) from %ir.ptr + 8, addrspace 4)
+  ; CHECK-NEXT:   undef %16.sub0_sub1:sgpr_96 = COPY killed [[S_LOAD_DWORDX2_IMM]]
+  ; CHECK-NEXT:   [[COPY2:%[0-9]+]]:sgpr_96 = COPY killed %16
+  ; CHECK-NEXT:   [[COPY2]].sub2:sgpr_96 = COPY undef [[S_LOAD_DWORD_IMM]]
+  ; CHECK-NEXT:   [[COPY3:%[0-9]+]]:sreg_32 = COPY [[COPY2]].sub0
+  ; CHECK-NEXT:   $sgpr0 = COPY killed [[COPY3]]
+  ; CHECK-NEXT:   [[COPY4:%[0-9]+]]:sreg_32 = COPY killed [[COPY2]].sub1
+  ; CHECK-NEXT:   $sgpr1 = COPY killed [[COPY4]]
+  ; CHECK-NEXT:   [[COPY5:%[0-9]+]]:sreg_32 = COPY killed [[S_LOAD_DWORD_IMM]]
+  ; CHECK-NEXT:   $sgpr2 = COPY killed [[COPY5]]
+  ; CHECK-NEXT:   SI_RETURN_TO_EPILOG implicit killed $sgpr0, implicit killed $sgpr1, implicit killed $sgpr2
+  %load = load <3 x i32>, <3 x i32> addrspace(4)* %ptr, align 4
+  ret <3 x i32> %load
+}