1# REQUIRES: amdgpu-registered-target 2# RUN: llvm-reduce -abort-on-invalid-reduction -simplify-mir --delta-passes=instructions -mtriple=amdgcn-amd-amdhsa --test FileCheck --test-arg --check-prefix=CHECK-INTERESTINGNESS --test-arg %s --test-arg --input-file %s -o %t 2> %t.log 3# RUN: FileCheck --match-full-lines --check-prefix=RESULT %s < %t 4 5# CHECK-INTERESTINGNESS: G_LOAD 6# CHECK-INTERESTINGNESS: G_LOAD 7# CHECK-INTERESTINGNESS: G_LOAD 8# CHECK-INTERESTINGNESS: G_LOAD 9# CHECK-INTERESTINGNESS: G_STORE 10# CHECK-INTERESTINGNESS: G_STORE 11# CHECK-INTERESTINGNESS: G_STORE 12# CHECK-INTERESTINGNESS: G_LOAD 13# CHECK-INTERESTINGNESS: G_LOAD 14# CHECK-INTERESTINGNESS: G_LOAD 15# CHECK-INTERESTINGNESS: G_LOAD 16# CHECK-INTERESTINGNESS: G_STORE 17# CHECK-INTERESTINGNESS: G_STORE 18 19 20# RESULT: %{{[0-9]+}}:_(<2 x s16>) = G_LOAD %{{[0-9]+}}(p1) :: (load (<2 x s16>) from %ir.argptr0, align 32, addrspace 1) 21# RESULT: %{{[0-9]+}}:_(<2 x s32>) = G_LOAD %{{[0-9]+}}(p1) :: (load (<2 x s32>) from %ir.argptr1, addrspace 3) 22# RESULT: %{{[0-9]+}}:_(<2 x s32>) = G_LOAD %{{[0-9]+}}(p1) :: (load (<2 x s32>) from %ir.argptr1 + 8, addrspace 3) 23# RESULT: %{{[0-9]+}}:_(<2 x s32>) = G_LOAD %{{[0-9]+}}(p1) :: (load (<2 x s32>) from %ir.argptr1 + 12, align 4, basealign 8, addrspace 3) 24# RESULT: G_STORE %{{[0-9]+}}(<2 x s32>), %{{[0-9]+}}(p3) :: (store (<2 x s32>) into %fixed-stack.0, addrspace 5) 25# RESULT: G_STORE %{{[0-9]+}}(<2 x s32>), %{{[0-9]+}}(p3) :: (store (<2 x s32>) into %stack.0, addrspace 5) 26# RESULT: G_STORE %{{[0-9]+}}(p3), %{{[0-9]+}}(p3) :: (store (p3), addrspace 5) 27# RESULT: %{{[0-9]+}}:_(s32) = G_LOAD %{{[0-9]+}}(p0) :: (load (s32) from call-entry @foo, addrspace 4) 28# RESULT: %{{[0-9]+}}:_(s32) = G_LOAD %{{[0-9]+}}(p1) :: (load (s32) from constant-pool, addrspace 1) 29# RESULT: %{{[0-9]+}}:_(p1) = G_LOAD %{{[0-9]+}}(p0) :: (load (p1) from got, addrspace 4) 30# RESULT: %{{[0-9]+}}:_(p1) = G_LOAD %{{[0-9]+}}(p0) :: (load (p1) from jump-table, addrspace 4) 31# RESULT: G_STORE %{{[0-9]+}}(<3 x s32>), %{{[0-9]+}}(p5) :: (store (<3 x s32>) into stack, align 8, addrspace 5) 32# RESULT: G_STORE %{{[0-9]+}}(<3 x s32>), %{{[0-9]+}}(p5) :: (store (<3 x s32>) into stack + 12, align 4, basealign 8, addrspace 5) 33--- | 34 declare i32 @foo(i32) 35 36 define void @func(<2 x i16> addrspace(1)* %argptr0, <2 x i32> addrspace(3)* %argptr1) { 37 ret void 38 } 39 40... 41--- 42name: func 43tracksRegLiveness: true 44fixedStack: 45 - { id: 0, offset: 16, size: 8, alignment: 4 } 46stack: 47 - { id: 0, size: 4, alignment: 16 } 48body: | 49 bb.0: 50 S_WAITCNT 0 51 S_NOP 0 52 53 %0:_(p1) = G_IMPLICIT_DEF 54 %1:_(<2 x s16>) = G_LOAD %0 :: (load (<2 x s16>) from %ir.argptr0, align 32, addrspace 1) 55 %2:_(<2 x s32>) = G_ZEXT %1 56 %3:_(<2 x s32>) = G_LOAD %0 :: (load (<2 x s32>) from %ir.argptr1, addrspace 3) 57 %4:_(<2 x s32>) = G_LOAD %0 :: (load (<2 x s32>) from %ir.argptr1 + 8, addrspace 3) 58 %5:_(<2 x s32>) = G_LOAD %0 :: (load (<2 x s32>) from %ir.argptr1 + 12, addrspace 3) 59 %6:_(<2 x s32>) = G_ADD %2, %3 60 %7:_(<2 x s32>) = G_ADD %6, %4 61 %8:_(<2 x s32>) = G_ADD %7, %5 62 %9:_(p3) = G_IMPLICIT_DEF 63 G_STORE %8, %9 :: (store (<2 x s32>) into %fixed-stack.0, addrspace 5) 64 G_STORE %8, %9 :: (store (<2 x s32>) into %stack.0, addrspace 5) 65 66 ; Check address space, no value 67 G_STORE %9, %9 :: (store (p3), addrspace 5) 68 69 %10:_(p0) = G_IMPLICIT_DEF 70 %11:_(s32) = G_LOAD %10 :: (load (s32) from call-entry @foo, addrspace 4) 71 %12:_(s32) = G_LOAD %0 :: (load (s32) from constant-pool, addrspace 1) 72 73 %13:_(p1) = G_LOAD %10 :: (load (p1) from got, addrspace 4) 74 75 %14:_(p1) = G_LOAD %10 :: (load (p1) from jump-table, addrspace 4) 76 77 %15:_(<3 x s32>) = G_IMPLICIT_DEF 78 %16:_(p5) = G_IMPLICIT_DEF 79 G_STORE %15, %16 :: (store (<3 x s32>) into stack, align 8, addrspace 5) 80 G_STORE %15, %16 :: (store (<3 x s32>) into stack + 12, basealign 8, addrspace 5) 81 82 S_ENDPGM 0, implicit %10, implicit %12, implicit %13, implicit %14 83 84... 85