Matt Arsenault | 8d1052f | 2016-04-21 18:03:06 +0000 | [diff] [blame] | 1 | ; RUN: llc -march=amdgcn -verify-machineinstrs < %s | FileCheck -check-prefix=GCN %s |
| 2 | |
| 3 | ; Extract the high bit of the 1st quarter |
| 4 | ; GCN-LABEL: {{^}}v_uextract_bit_31_i128: |
| 5 | ; GCN: buffer_load_dword [[VAL:v[0-9]+]], v{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, 0 addr64{{$}} |
| 6 | |
Matt Arsenault | 8d1052f | 2016-04-21 18:03:06 +0000 | [diff] [blame] | 7 | ; GCN: v_mov_b32_e32 v[[ZERO1:[0-9]+]], 0{{$}} |
Tom Stellard | cb6ba62 | 2016-04-30 00:23:06 +0000 | [diff] [blame^] | 8 | ; GCN: v_mov_b32_e32 v[[ZERO0:[0-9]+]], 0{{$}} |
Matt Arsenault | 8d1052f | 2016-04-21 18:03:06 +0000 | [diff] [blame] | 9 | ; GCN: v_mov_b32_e32 v[[ZERO2:[0-9]+]], 0{{$}} |
| 10 | ; GCN-DAG: v_lshrrev_b32_e32 v[[SHIFT:[0-9]+]], 31, [[VAL]] |
| 11 | |
| 12 | ; GCN-DAG: buffer_store_dwordx2 v{{\[}}[[ZERO1]]:[[ZERO2]]{{\]}}, v{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, 0 addr64 offset:8{{$}} |
| 13 | ; GCN-DAG: buffer_store_dwordx2 v{{\[}}[[SHIFT]]:[[ZERO0]]{{\]}}, v{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, 0 addr64{{$}} |
| 14 | ; GCN: s_endpgm |
| 15 | define void @v_uextract_bit_31_i128(i128 addrspace(1)* %out, i128 addrspace(1)* %in) #1 { |
| 16 | %id.x = tail call i32 @llvm.amdgcn.workitem.id.x() |
| 17 | %in.gep = getelementptr i128, i128 addrspace(1)* %in, i32 %id.x |
| 18 | %out.gep = getelementptr i128, i128 addrspace(1)* %out, i32 %id.x |
| 19 | %ld.64 = load i128, i128 addrspace(1)* %in.gep |
| 20 | %srl = lshr i128 %ld.64, 31 |
| 21 | %bit = and i128 %srl, 1 |
| 22 | store i128 %bit, i128 addrspace(1)* %out.gep |
| 23 | ret void |
| 24 | } |
| 25 | |
| 26 | ; Extract the high bit of the 2nd quarter |
| 27 | ; GCN-LABEL: {{^}}v_uextract_bit_63_i128: |
| 28 | ; GCN: buffer_load_dword [[VAL:v[0-9]+]], v{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, 0 addr64 offset:4{{$}} |
| 29 | |
Matt Arsenault | 8d1052f | 2016-04-21 18:03:06 +0000 | [diff] [blame] | 30 | ; GCN: v_mov_b32_e32 v[[ZERO1:[0-9]+]], 0{{$}} |
| 31 | ; GCN: v_mov_b32_e32 v[[ZERO2:[0-9]+]], 0{{$}} |
Tom Stellard | cb6ba62 | 2016-04-30 00:23:06 +0000 | [diff] [blame^] | 32 | ; GCN: v_mov_b32_e32 v[[ZERO0:[0-9]+]], 0{{$}} |
Matt Arsenault | 8d1052f | 2016-04-21 18:03:06 +0000 | [diff] [blame] | 33 | ; GCN-DAG: v_lshrrev_b32_e32 v[[SHIFT:[0-9]+]], 31, [[VAL]] |
| 34 | |
| 35 | ; GCN-DAG: buffer_store_dwordx2 v{{\[}}[[ZERO1]]:[[ZERO2]]{{\]}}, v{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, 0 addr64 offset:8{{$}} |
| 36 | ; GCN-DAG: buffer_store_dwordx2 v{{\[}}[[SHIFT]]:[[ZERO0]]{{\]}}, v{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, 0 addr64{{$}} |
| 37 | ; GCN: s_endpgm |
| 38 | define void @v_uextract_bit_63_i128(i128 addrspace(1)* %out, i128 addrspace(1)* %in) #1 { |
| 39 | %id.x = tail call i32 @llvm.amdgcn.workitem.id.x() |
| 40 | %in.gep = getelementptr i128, i128 addrspace(1)* %in, i32 %id.x |
| 41 | %out.gep = getelementptr i128, i128 addrspace(1)* %out, i32 %id.x |
| 42 | %ld.64 = load i128, i128 addrspace(1)* %in.gep |
| 43 | %srl = lshr i128 %ld.64, 63 |
| 44 | %bit = and i128 %srl, 1 |
| 45 | store i128 %bit, i128 addrspace(1)* %out.gep |
| 46 | ret void |
| 47 | } |
| 48 | |
| 49 | ; Extract the high bit of the 3rd quarter |
| 50 | ; GCN-LABEL: {{^}}v_uextract_bit_95_i128: |
| 51 | ; GCN: buffer_load_dword [[VAL:v[0-9]+]], v{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, 0 addr64 offset:8{{$}} |
| 52 | |
Matt Arsenault | 8d1052f | 2016-04-21 18:03:06 +0000 | [diff] [blame] | 53 | ; GCN: v_mov_b32_e32 v[[ZERO1:[0-9]+]], 0{{$}} |
| 54 | ; GCN: v_mov_b32_e32 v[[ZERO2:[0-9]+]], 0{{$}} |
Tom Stellard | cb6ba62 | 2016-04-30 00:23:06 +0000 | [diff] [blame^] | 55 | ; GCN: v_mov_b32_e32 v[[ZERO0:[0-9]+]], 0{{$}} |
Matt Arsenault | 8d1052f | 2016-04-21 18:03:06 +0000 | [diff] [blame] | 56 | ; GCN-DAG: v_lshrrev_b32_e32 v[[SHIFT:[0-9]+]], 31, [[VAL]] |
| 57 | |
| 58 | ; GCN-DAG: buffer_store_dwordx2 v{{\[}}[[ZERO1]]:[[ZERO2]]{{\]}}, v{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, 0 addr64 offset:8{{$}} |
| 59 | ; GCN-DAG: buffer_store_dwordx2 v{{\[}}[[SHIFT]]:[[ZERO0]]{{\]}}, v{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, 0 addr64{{$}} |
| 60 | ; GCN: s_endpgm |
| 61 | define void @v_uextract_bit_95_i128(i128 addrspace(1)* %out, i128 addrspace(1)* %in) #1 { |
| 62 | %id.x = tail call i32 @llvm.amdgcn.workitem.id.x() |
| 63 | %in.gep = getelementptr i128, i128 addrspace(1)* %in, i32 %id.x |
| 64 | %out.gep = getelementptr i128, i128 addrspace(1)* %out, i32 %id.x |
| 65 | %ld.64 = load i128, i128 addrspace(1)* %in.gep |
| 66 | %srl = lshr i128 %ld.64, 95 |
| 67 | %bit = and i128 %srl, 1 |
| 68 | store i128 %bit, i128 addrspace(1)* %out.gep |
| 69 | ret void |
| 70 | } |
| 71 | |
| 72 | ; Extract the high bit of the 4th quarter |
| 73 | ; GCN-LABEL: {{^}}v_uextract_bit_127_i128: |
| 74 | ; GCN: buffer_load_dword [[VAL:v[0-9]+]], v{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, 0 addr64 offset:12{{$}} |
| 75 | |
Matt Arsenault | 8d1052f | 2016-04-21 18:03:06 +0000 | [diff] [blame] | 76 | ; GCN: v_mov_b32_e32 v[[ZERO1:[0-9]+]], 0{{$}} |
| 77 | ; GCN: v_mov_b32_e32 v[[ZERO2:[0-9]+]], 0{{$}} |
Tom Stellard | cb6ba62 | 2016-04-30 00:23:06 +0000 | [diff] [blame^] | 78 | ; GCN: v_mov_b32_e32 v[[ZERO0:[0-9]+]], 0{{$}} |
Matt Arsenault | 8d1052f | 2016-04-21 18:03:06 +0000 | [diff] [blame] | 79 | ; GCN-DAG: v_lshrrev_b32_e32 v[[SHIFT:[0-9]+]], 31, [[VAL]] |
| 80 | |
| 81 | ; GCN-DAG: buffer_store_dwordx2 v{{\[}}[[ZERO1]]:[[ZERO2]]{{\]}}, v{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, 0 addr64 offset:8{{$}} |
| 82 | ; GCN-DAG: buffer_store_dwordx2 v{{\[}}[[SHIFT]]:[[ZERO0]]{{\]}}, v{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, 0 addr64{{$}} |
| 83 | ; GCN: s_endpgm |
| 84 | define void @v_uextract_bit_127_i128(i128 addrspace(1)* %out, i128 addrspace(1)* %in) #1 { |
| 85 | %id.x = tail call i32 @llvm.amdgcn.workitem.id.x() |
| 86 | %in.gep = getelementptr i128, i128 addrspace(1)* %in, i32 %id.x |
| 87 | %out.gep = getelementptr i128, i128 addrspace(1)* %out, i32 %id.x |
| 88 | %ld.64 = load i128, i128 addrspace(1)* %in.gep |
| 89 | %srl = lshr i128 %ld.64, 127 |
| 90 | %bit = and i128 %srl, 1 |
| 91 | store i128 %bit, i128 addrspace(1)* %out.gep |
| 92 | ret void |
| 93 | } |
| 94 | |
| 95 | ; Spans more than 2 dword boundaries |
| 96 | ; GCN-LABEL: {{^}}v_uextract_bit_34_100_i128: |
| 97 | ; GCN: buffer_load_dwordx2 v{{\[}}[[VAL2:[0-9]+]]:[[VAL3:[0-9]+]]{{\]}}, v{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, 0 addr64 offset:8{{$}} |
| 98 | ; GCN: buffer_load_dword v[[VAL1:[0-9]+]], v{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, 0 addr64 offset:4{{$}} |
| 99 | |
| 100 | ; GCN-DAG: v_lshl_b64 v{{\[}}[[SHLLO:[0-9]+]]:[[SHLHI:[0-9]+]]{{\]}}, v{{\[}}[[VAL2]]:[[VAL3]]{{\]}}, 30 |
| 101 | ; GCN-DAG: v_lshrrev_b32_e32 v[[ELT1PART:[0-9]+]], 2, v[[VAL1]] |
| 102 | ; GCN-DAG: v_bfe_u32 v[[ELT2PART:[0-9]+]], v[[VAL3]], 2, 2{{$}} |
| 103 | ; GCN-DAG: v_mov_b32_e32 v[[ZERO:[0-9]+]], 0{{$}} |
| 104 | ; GCN-DAG: v_or_b32_e32 v[[OR0:[0-9]+]], v[[SHLLO]], v[[ELT1PART]] |
| 105 | ; GCN-DAG: v_or_b32_e32 v[[OR1:[0-9]+]], 0, v[[SHLHI]]{{$}} |
| 106 | |
| 107 | ; GCN-DAG: buffer_store_dwordx2 v{{\[}}[[ELT2PART]]:[[ZERO]]{{\]}}, v{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, 0 addr64 offset:8{{$}} |
| 108 | ; GCN-DAG: buffer_store_dwordx2 v{{\[}}[[OR0]]:[[OR1]]{{\]}}, v{{\[[0-9]+:[0-9]+\]}}, s{{\[[0-9]+:[0-9]+\]}}, 0 addr64{{$}} |
| 109 | ; GCN: s_endpgm |
| 110 | define void @v_uextract_bit_34_100_i128(i128 addrspace(1)* %out, i128 addrspace(1)* %in) #1 { |
| 111 | %id.x = tail call i32 @llvm.amdgcn.workitem.id.x() |
| 112 | %in.gep = getelementptr i128, i128 addrspace(1)* %in, i32 %id.x |
| 113 | %out.gep = getelementptr i128, i128 addrspace(1)* %out, i32 %id.x |
| 114 | %ld.64 = load i128, i128 addrspace(1)* %in.gep |
| 115 | %srl = lshr i128 %ld.64, 34 |
| 116 | %bit = and i128 %srl, 73786976294838206463 |
| 117 | store i128 %bit, i128 addrspace(1)* %out.gep |
| 118 | ret void |
| 119 | } |
| 120 | |
| 121 | declare i32 @llvm.amdgcn.workitem.id.x() #0 |
| 122 | |
| 123 | attributes #0 = { nounwind readnone } |
| 124 | attributes #1 = { nounwind } |