| Matt Arsenault | 4c53717 | 2014-03-31 18:21:18 +0000 | [diff] [blame] | 1 | ; RUN: llc -march=r600 -mcpu=SI -verify-machineinstrs < %s | FileCheck -check-prefix=SI -check-prefix=FUNC %s |
| Tom Stellard | a0150cb | 2014-04-03 20:19:29 +0000 | [diff] [blame] | 2 | ; RUN: llc -march=r600 -mcpu=redwood -show-mc-encoding -verify-machineinstrs < %s | FileCheck -check-prefix=EG -check-prefix=FUNC %s |
| Matt Arsenault | 4c53717 | 2014-03-31 18:21:18 +0000 | [diff] [blame] | 3 | |
| 4 | declare i32 @llvm.AMDGPU.bfe.i32(i32, i32, i32) nounwind readnone |
| 5 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 6 | ; FUNC-LABEL: {{^}}bfe_i32_arg_arg_arg: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 7 | ; SI: v_bfe_i32 |
| Matt Arsenault | 4c53717 | 2014-03-31 18:21:18 +0000 | [diff] [blame] | 8 | ; EG: BFE_INT |
| Tom Stellard | a0150cb | 2014-04-03 20:19:29 +0000 | [diff] [blame] | 9 | ; EG: encoding: [{{[x0-9a-f]+,[x0-9a-f]+,[x0-9a-f]+,[x0-9a-f]+,[x0-9a-f]+}},0xac |
| Matt Arsenault | 4c53717 | 2014-03-31 18:21:18 +0000 | [diff] [blame] | 10 | define void @bfe_i32_arg_arg_arg(i32 addrspace(1)* %out, i32 %src0, i32 %src1, i32 %src2) nounwind { |
| 11 | %bfe_i32 = call i32 @llvm.AMDGPU.bfe.i32(i32 %src0, i32 %src1, i32 %src1) nounwind readnone |
| 12 | store i32 %bfe_i32, i32 addrspace(1)* %out, align 4 |
| 13 | ret void |
| 14 | } |
| 15 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 16 | ; FUNC-LABEL: {{^}}bfe_i32_arg_arg_imm: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 17 | ; SI: v_bfe_i32 |
| Matt Arsenault | 4c53717 | 2014-03-31 18:21:18 +0000 | [diff] [blame] | 18 | ; EG: BFE_INT |
| 19 | define void @bfe_i32_arg_arg_imm(i32 addrspace(1)* %out, i32 %src0, i32 %src1) nounwind { |
| 20 | %bfe_i32 = call i32 @llvm.AMDGPU.bfe.i32(i32 %src0, i32 %src1, i32 123) nounwind readnone |
| 21 | store i32 %bfe_i32, i32 addrspace(1)* %out, align 4 |
| 22 | ret void |
| 23 | } |
| 24 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 25 | ; FUNC-LABEL: {{^}}bfe_i32_arg_imm_arg: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 26 | ; SI: v_bfe_i32 |
| Matt Arsenault | 4c53717 | 2014-03-31 18:21:18 +0000 | [diff] [blame] | 27 | ; EG: BFE_INT |
| 28 | define void @bfe_i32_arg_imm_arg(i32 addrspace(1)* %out, i32 %src0, i32 %src2) nounwind { |
| 29 | %bfe_i32 = call i32 @llvm.AMDGPU.bfe.i32(i32 %src0, i32 123, i32 %src2) nounwind readnone |
| 30 | store i32 %bfe_i32, i32 addrspace(1)* %out, align 4 |
| 31 | ret void |
| 32 | } |
| 33 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 34 | ; FUNC-LABEL: {{^}}bfe_i32_imm_arg_arg: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 35 | ; SI: v_bfe_i32 |
| Matt Arsenault | 4c53717 | 2014-03-31 18:21:18 +0000 | [diff] [blame] | 36 | ; EG: BFE_INT |
| 37 | define void @bfe_i32_imm_arg_arg(i32 addrspace(1)* %out, i32 %src1, i32 %src2) nounwind { |
| 38 | %bfe_i32 = call i32 @llvm.AMDGPU.bfe.i32(i32 123, i32 %src1, i32 %src2) nounwind readnone |
| 39 | store i32 %bfe_i32, i32 addrspace(1)* %out, align 4 |
| 40 | ret void |
| 41 | } |
| Matt Arsenault | 4b0402e | 2014-05-13 23:45:50 +0000 | [diff] [blame] | 42 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 43 | ; FUNC-LABEL: {{^}}v_bfe_print_arg: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 44 | ; SI: v_bfe_i32 v{{[0-9]+}}, v{{[0-9]+}}, 2, 8 |
| Matt Arsenault | 4b0402e | 2014-05-13 23:45:50 +0000 | [diff] [blame] | 45 | define void @v_bfe_print_arg(i32 addrspace(1)* %out, i32 addrspace(1)* %src0) nounwind { |
| 46 | %load = load i32 addrspace(1)* %src0, align 4 |
| 47 | %bfe_i32 = call i32 @llvm.AMDGPU.bfe.i32(i32 %load, i32 2, i32 8) nounwind readnone |
| 48 | store i32 %bfe_i32, i32 addrspace(1)* %out, align 4 |
| 49 | ret void |
| 50 | } |
| Matt Arsenault | 5565f65e | 2014-05-22 18:09:07 +0000 | [diff] [blame] | 51 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 52 | ; FUNC-LABEL: {{^}}bfe_i32_arg_0_width_reg_offset: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 53 | ; SI-NOT: {{[^@]}}bfe |
| 54 | ; SI: s_endpgm |
| Matt Arsenault | 5565f65e | 2014-05-22 18:09:07 +0000 | [diff] [blame] | 55 | ; EG-NOT: BFE |
| 56 | define void @bfe_i32_arg_0_width_reg_offset(i32 addrspace(1)* %out, i32 %src0, i32 %src1) nounwind { |
| 57 | %bfe_u32 = call i32 @llvm.AMDGPU.bfe.i32(i32 %src0, i32 %src1, i32 0) nounwind readnone |
| 58 | store i32 %bfe_u32, i32 addrspace(1)* %out, align 4 |
| 59 | ret void |
| 60 | } |
| 61 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 62 | ; FUNC-LABEL: {{^}}bfe_i32_arg_0_width_imm_offset: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 63 | ; SI-NOT: {{[^@]}}bfe |
| 64 | ; SI: s_endpgm |
| Matt Arsenault | 5565f65e | 2014-05-22 18:09:07 +0000 | [diff] [blame] | 65 | ; EG-NOT: BFE |
| 66 | define void @bfe_i32_arg_0_width_imm_offset(i32 addrspace(1)* %out, i32 %src0, i32 %src1) nounwind { |
| 67 | %bfe_u32 = call i32 @llvm.AMDGPU.bfe.i32(i32 %src0, i32 8, i32 0) nounwind readnone |
| 68 | store i32 %bfe_u32, i32 addrspace(1)* %out, align 4 |
| 69 | ret void |
| 70 | } |
| 71 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 72 | ; FUNC-LABEL: {{^}}bfe_i32_test_6: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 73 | ; SI: v_lshlrev_b32_e32 v{{[0-9]+}}, 31, v{{[0-9]+}} |
| 74 | ; SI: v_ashrrev_i32_e32 v{{[0-9]+}}, 1, v{{[0-9]+}} |
| 75 | ; SI: s_endpgm |
| Matt Arsenault | 05e96f4 | 2014-05-22 18:09:12 +0000 | [diff] [blame] | 76 | define void @bfe_i32_test_6(i32 addrspace(1)* %out, i32 addrspace(1)* %in) nounwind { |
| 77 | %x = load i32 addrspace(1)* %in, align 4 |
| 78 | %shl = shl i32 %x, 31 |
| 79 | %bfe = call i32 @llvm.AMDGPU.bfe.i32(i32 %shl, i32 1, i32 31) |
| 80 | store i32 %bfe, i32 addrspace(1)* %out, align 4 |
| 81 | ret void |
| 82 | } |
| 83 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 84 | ; FUNC-LABEL: {{^}}bfe_i32_test_7: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 85 | ; SI-NOT: shl |
| 86 | ; SI-NOT: {{[^@]}}bfe |
| 87 | ; SI: v_mov_b32_e32 [[VREG:v[0-9]+]], 0 |
| 88 | ; SI: buffer_store_dword [[VREG]], |
| 89 | ; SI: s_endpgm |
| Matt Arsenault | 05e96f4 | 2014-05-22 18:09:12 +0000 | [diff] [blame] | 90 | define void @bfe_i32_test_7(i32 addrspace(1)* %out, i32 addrspace(1)* %in) nounwind { |
| 91 | %x = load i32 addrspace(1)* %in, align 4 |
| 92 | %shl = shl i32 %x, 31 |
| 93 | %bfe = call i32 @llvm.AMDGPU.bfe.i32(i32 %shl, i32 0, i32 31) |
| 94 | store i32 %bfe, i32 addrspace(1)* %out, align 4 |
| 95 | ret void |
| 96 | } |
| 97 | |
| 98 | ; FIXME: The shifts should be 1 BFE |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 99 | ; FUNC-LABEL: {{^}}bfe_i32_test_8: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 100 | ; SI: buffer_load_dword |
| 101 | ; SI: v_bfe_i32 v{{[0-9]+}}, v{{[0-9]+}}, 0, 1 |
| 102 | ; SI: s_endpgm |
| Matt Arsenault | 05e96f4 | 2014-05-22 18:09:12 +0000 | [diff] [blame] | 103 | define void @bfe_i32_test_8(i32 addrspace(1)* %out, i32 addrspace(1)* %in) nounwind { |
| 104 | %x = load i32 addrspace(1)* %in, align 4 |
| 105 | %shl = shl i32 %x, 31 |
| 106 | %bfe = call i32 @llvm.AMDGPU.bfe.i32(i32 %shl, i32 31, i32 1) |
| 107 | store i32 %bfe, i32 addrspace(1)* %out, align 4 |
| 108 | ret void |
| 109 | } |
| 110 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 111 | ; FUNC-LABEL: {{^}}bfe_i32_test_9: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 112 | ; SI-NOT: {{[^@]}}bfe |
| 113 | ; SI: v_ashrrev_i32_e32 v{{[0-9]+}}, 31, v{{[0-9]+}} |
| 114 | ; SI-NOT: {{[^@]}}bfe |
| 115 | ; SI: s_endpgm |
| Matt Arsenault | 05e96f4 | 2014-05-22 18:09:12 +0000 | [diff] [blame] | 116 | define void @bfe_i32_test_9(i32 addrspace(1)* %out, i32 addrspace(1)* %in) nounwind { |
| 117 | %x = load i32 addrspace(1)* %in, align 4 |
| 118 | %bfe = call i32 @llvm.AMDGPU.bfe.i32(i32 %x, i32 31, i32 1) |
| 119 | store i32 %bfe, i32 addrspace(1)* %out, align 4 |
| 120 | ret void |
| 121 | } |
| 122 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 123 | ; FUNC-LABEL: {{^}}bfe_i32_test_10: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 124 | ; SI-NOT: {{[^@]}}bfe |
| 125 | ; SI: v_ashrrev_i32_e32 v{{[0-9]+}}, 1, v{{[0-9]+}} |
| 126 | ; SI-NOT: {{[^@]}}bfe |
| 127 | ; SI: s_endpgm |
| Matt Arsenault | 05e96f4 | 2014-05-22 18:09:12 +0000 | [diff] [blame] | 128 | define void @bfe_i32_test_10(i32 addrspace(1)* %out, i32 addrspace(1)* %in) nounwind { |
| 129 | %x = load i32 addrspace(1)* %in, align 4 |
| 130 | %bfe = call i32 @llvm.AMDGPU.bfe.i32(i32 %x, i32 1, i32 31) |
| 131 | store i32 %bfe, i32 addrspace(1)* %out, align 4 |
| 132 | ret void |
| 133 | } |
| 134 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 135 | ; FUNC-LABEL: {{^}}bfe_i32_test_11: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 136 | ; SI-NOT: {{[^@]}}bfe |
| 137 | ; SI: v_ashrrev_i32_e32 v{{[0-9]+}}, 8, v{{[0-9]+}} |
| 138 | ; SI-NOT: {{[^@]}}bfe |
| 139 | ; SI: s_endpgm |
| Matt Arsenault | 05e96f4 | 2014-05-22 18:09:12 +0000 | [diff] [blame] | 140 | define void @bfe_i32_test_11(i32 addrspace(1)* %out, i32 addrspace(1)* %in) nounwind { |
| 141 | %x = load i32 addrspace(1)* %in, align 4 |
| 142 | %bfe = call i32 @llvm.AMDGPU.bfe.i32(i32 %x, i32 8, i32 24) |
| 143 | store i32 %bfe, i32 addrspace(1)* %out, align 4 |
| 144 | ret void |
| 145 | } |
| 146 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 147 | ; FUNC-LABEL: {{^}}bfe_i32_test_12: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 148 | ; SI-NOT: {{[^@]}}bfe |
| 149 | ; SI: v_ashrrev_i32_e32 v{{[0-9]+}}, 24, v{{[0-9]+}} |
| 150 | ; SI-NOT: {{[^@]}}bfe |
| 151 | ; SI: s_endpgm |
| Matt Arsenault | 05e96f4 | 2014-05-22 18:09:12 +0000 | [diff] [blame] | 152 | define void @bfe_i32_test_12(i32 addrspace(1)* %out, i32 addrspace(1)* %in) nounwind { |
| 153 | %x = load i32 addrspace(1)* %in, align 4 |
| 154 | %bfe = call i32 @llvm.AMDGPU.bfe.i32(i32 %x, i32 24, i32 8) |
| 155 | store i32 %bfe, i32 addrspace(1)* %out, align 4 |
| 156 | ret void |
| 157 | } |
| 158 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 159 | ; FUNC-LABEL: {{^}}bfe_i32_test_13: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 160 | ; SI: v_ashrrev_i32_e32 {{v[0-9]+}}, 31, {{v[0-9]+}} |
| 161 | ; SI-NOT: {{[^@]}}bfe |
| 162 | ; SI: s_endpgm |
| Matt Arsenault | 05e96f4 | 2014-05-22 18:09:12 +0000 | [diff] [blame] | 163 | define void @bfe_i32_test_13(i32 addrspace(1)* %out, i32 addrspace(1)* %in) nounwind { |
| 164 | %x = load i32 addrspace(1)* %in, align 4 |
| 165 | %shl = ashr i32 %x, 31 |
| 166 | %bfe = call i32 @llvm.AMDGPU.bfe.i32(i32 %shl, i32 31, i32 1) |
| 167 | store i32 %bfe, i32 addrspace(1)* %out, align 4 ret void |
| 168 | } |
| 169 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 170 | ; FUNC-LABEL: {{^}}bfe_i32_test_14: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 171 | ; SI-NOT: lshr |
| 172 | ; SI-NOT: {{[^@]}}bfe |
| 173 | ; SI: s_endpgm |
| Matt Arsenault | 05e96f4 | 2014-05-22 18:09:12 +0000 | [diff] [blame] | 174 | define void @bfe_i32_test_14(i32 addrspace(1)* %out, i32 addrspace(1)* %in) nounwind { |
| 175 | %x = load i32 addrspace(1)* %in, align 4 |
| 176 | %shl = lshr i32 %x, 31 |
| 177 | %bfe = call i32 @llvm.AMDGPU.bfe.i32(i32 %shl, i32 31, i32 1) |
| 178 | store i32 %bfe, i32 addrspace(1)* %out, align 4 ret void |
| 179 | } |
| 180 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 181 | ; FUNC-LABEL: {{^}}bfe_i32_constant_fold_test_0: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 182 | ; SI-NOT: {{[^@]}}bfe |
| 183 | ; SI: v_mov_b32_e32 [[VREG:v[0-9]+]], 0 |
| 184 | ; SI: buffer_store_dword [[VREG]], |
| 185 | ; SI: s_endpgm |
| Matt Arsenault | 5565f65e | 2014-05-22 18:09:07 +0000 | [diff] [blame] | 186 | ; EG-NOT: BFE |
| 187 | define void @bfe_i32_constant_fold_test_0(i32 addrspace(1)* %out) nounwind { |
| 188 | %bfe_i32 = call i32 @llvm.AMDGPU.bfe.i32(i32 0, i32 0, i32 0) nounwind readnone |
| 189 | store i32 %bfe_i32, i32 addrspace(1)* %out, align 4 |
| 190 | ret void |
| 191 | } |
| 192 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 193 | ; FUNC-LABEL: {{^}}bfe_i32_constant_fold_test_1: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 194 | ; SI-NOT: {{[^@]}}bfe |
| 195 | ; SI: v_mov_b32_e32 [[VREG:v[0-9]+]], 0 |
| 196 | ; SI: buffer_store_dword [[VREG]], |
| 197 | ; SI: s_endpgm |
| Matt Arsenault | 5565f65e | 2014-05-22 18:09:07 +0000 | [diff] [blame] | 198 | ; EG-NOT: BFE |
| 199 | define void @bfe_i32_constant_fold_test_1(i32 addrspace(1)* %out) nounwind { |
| 200 | %bfe_i32 = call i32 @llvm.AMDGPU.bfe.i32(i32 12334, i32 0, i32 0) nounwind readnone |
| 201 | store i32 %bfe_i32, i32 addrspace(1)* %out, align 4 |
| 202 | ret void |
| 203 | } |
| 204 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 205 | ; FUNC-LABEL: {{^}}bfe_i32_constant_fold_test_2: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 206 | ; SI-NOT: {{[^@]}}bfe |
| 207 | ; SI: v_mov_b32_e32 [[VREG:v[0-9]+]], 0 |
| 208 | ; SI: buffer_store_dword [[VREG]], |
| 209 | ; SI: s_endpgm |
| Matt Arsenault | 5565f65e | 2014-05-22 18:09:07 +0000 | [diff] [blame] | 210 | ; EG-NOT: BFE |
| 211 | define void @bfe_i32_constant_fold_test_2(i32 addrspace(1)* %out) nounwind { |
| 212 | %bfe_i32 = call i32 @llvm.AMDGPU.bfe.i32(i32 0, i32 0, i32 1) nounwind readnone |
| 213 | store i32 %bfe_i32, i32 addrspace(1)* %out, align 4 |
| 214 | ret void |
| 215 | } |
| 216 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 217 | ; FUNC-LABEL: {{^}}bfe_i32_constant_fold_test_3: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 218 | ; SI-NOT: {{[^@]}}bfe |
| 219 | ; SI: v_mov_b32_e32 [[VREG:v[0-9]+]], -1 |
| 220 | ; SI: buffer_store_dword [[VREG]], |
| 221 | ; SI: s_endpgm |
| Matt Arsenault | 5565f65e | 2014-05-22 18:09:07 +0000 | [diff] [blame] | 222 | ; EG-NOT: BFE |
| 223 | define void @bfe_i32_constant_fold_test_3(i32 addrspace(1)* %out) nounwind { |
| 224 | %bfe_i32 = call i32 @llvm.AMDGPU.bfe.i32(i32 1, i32 0, i32 1) nounwind readnone |
| 225 | store i32 %bfe_i32, i32 addrspace(1)* %out, align 4 |
| 226 | ret void |
| 227 | } |
| 228 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 229 | ; FUNC-LABEL: {{^}}bfe_i32_constant_fold_test_4: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 230 | ; SI-NOT: {{[^@]}}bfe |
| 231 | ; SI: v_mov_b32_e32 [[VREG:v[0-9]+]], -1 |
| 232 | ; SI: buffer_store_dword [[VREG]], |
| 233 | ; SI: s_endpgm |
| Matt Arsenault | 5565f65e | 2014-05-22 18:09:07 +0000 | [diff] [blame] | 234 | ; EG-NOT: BFE |
| 235 | define void @bfe_i32_constant_fold_test_4(i32 addrspace(1)* %out) nounwind { |
| 236 | %bfe_i32 = call i32 @llvm.AMDGPU.bfe.i32(i32 4294967295, i32 0, i32 1) nounwind readnone |
| 237 | store i32 %bfe_i32, i32 addrspace(1)* %out, align 4 |
| 238 | ret void |
| 239 | } |
| 240 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 241 | ; FUNC-LABEL: {{^}}bfe_i32_constant_fold_test_5: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 242 | ; SI-NOT: {{[^@]}}bfe |
| 243 | ; SI: v_mov_b32_e32 [[VREG:v[0-9]+]], -1 |
| 244 | ; SI: buffer_store_dword [[VREG]], |
| 245 | ; SI: s_endpgm |
| Matt Arsenault | 5565f65e | 2014-05-22 18:09:07 +0000 | [diff] [blame] | 246 | ; EG-NOT: BFE |
| 247 | define void @bfe_i32_constant_fold_test_5(i32 addrspace(1)* %out) nounwind { |
| 248 | %bfe_i32 = call i32 @llvm.AMDGPU.bfe.i32(i32 128, i32 7, i32 1) nounwind readnone |
| 249 | store i32 %bfe_i32, i32 addrspace(1)* %out, align 4 |
| 250 | ret void |
| 251 | } |
| 252 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 253 | ; FUNC-LABEL: {{^}}bfe_i32_constant_fold_test_6: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 254 | ; SI-NOT: {{[^@]}}bfe |
| 255 | ; SI: v_mov_b32_e32 [[VREG:v[0-9]+]], 0xffffff80 |
| 256 | ; SI: buffer_store_dword [[VREG]], |
| 257 | ; SI: s_endpgm |
| Matt Arsenault | 5565f65e | 2014-05-22 18:09:07 +0000 | [diff] [blame] | 258 | ; EG-NOT: BFE |
| 259 | define void @bfe_i32_constant_fold_test_6(i32 addrspace(1)* %out) nounwind { |
| 260 | %bfe_i32 = call i32 @llvm.AMDGPU.bfe.i32(i32 128, i32 0, i32 8) nounwind readnone |
| 261 | store i32 %bfe_i32, i32 addrspace(1)* %out, align 4 |
| 262 | ret void |
| 263 | } |
| 264 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 265 | ; FUNC-LABEL: {{^}}bfe_i32_constant_fold_test_7: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 266 | ; SI-NOT: {{[^@]}}bfe |
| 267 | ; SI: v_mov_b32_e32 [[VREG:v[0-9]+]], 0x7f |
| 268 | ; SI: buffer_store_dword [[VREG]], |
| 269 | ; SI: s_endpgm |
| Matt Arsenault | 5565f65e | 2014-05-22 18:09:07 +0000 | [diff] [blame] | 270 | ; EG-NOT: BFE |
| 271 | define void @bfe_i32_constant_fold_test_7(i32 addrspace(1)* %out) nounwind { |
| 272 | %bfe_i32 = call i32 @llvm.AMDGPU.bfe.i32(i32 127, i32 0, i32 8) nounwind readnone |
| 273 | store i32 %bfe_i32, i32 addrspace(1)* %out, align 4 |
| 274 | ret void |
| 275 | } |
| 276 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 277 | ; FUNC-LABEL: {{^}}bfe_i32_constant_fold_test_8: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 278 | ; SI-NOT: {{[^@]}}bfe |
| 279 | ; SI: v_mov_b32_e32 [[VREG:v[0-9]+]], 1 |
| 280 | ; SI: buffer_store_dword [[VREG]], |
| 281 | ; SI: s_endpgm |
| Matt Arsenault | 5565f65e | 2014-05-22 18:09:07 +0000 | [diff] [blame] | 282 | ; EG-NOT: BFE |
| 283 | define void @bfe_i32_constant_fold_test_8(i32 addrspace(1)* %out) nounwind { |
| 284 | %bfe_i32 = call i32 @llvm.AMDGPU.bfe.i32(i32 127, i32 6, i32 8) nounwind readnone |
| 285 | store i32 %bfe_i32, i32 addrspace(1)* %out, align 4 |
| 286 | ret void |
| 287 | } |
| 288 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 289 | ; FUNC-LABEL: {{^}}bfe_i32_constant_fold_test_9: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 290 | ; SI-NOT: {{[^@]}}bfe |
| 291 | ; SI: v_mov_b32_e32 [[VREG:v[0-9]+]], 1 |
| 292 | ; SI: buffer_store_dword [[VREG]], |
| 293 | ; SI: s_endpgm |
| Matt Arsenault | 5565f65e | 2014-05-22 18:09:07 +0000 | [diff] [blame] | 294 | ; EG-NOT: BFE |
| 295 | define void @bfe_i32_constant_fold_test_9(i32 addrspace(1)* %out) nounwind { |
| 296 | %bfe_i32 = call i32 @llvm.AMDGPU.bfe.i32(i32 65536, i32 16, i32 8) nounwind readnone |
| 297 | store i32 %bfe_i32, i32 addrspace(1)* %out, align 4 |
| 298 | ret void |
| 299 | } |
| 300 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 301 | ; FUNC-LABEL: {{^}}bfe_i32_constant_fold_test_10: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 302 | ; SI-NOT: {{[^@]}}bfe |
| 303 | ; SI: v_mov_b32_e32 [[VREG:v[0-9]+]], 0 |
| 304 | ; SI: buffer_store_dword [[VREG]], |
| 305 | ; SI: s_endpgm |
| Matt Arsenault | 5565f65e | 2014-05-22 18:09:07 +0000 | [diff] [blame] | 306 | ; EG-NOT: BFE |
| 307 | define void @bfe_i32_constant_fold_test_10(i32 addrspace(1)* %out) nounwind { |
| 308 | %bfe_i32 = call i32 @llvm.AMDGPU.bfe.i32(i32 65535, i32 16, i32 16) nounwind readnone |
| 309 | store i32 %bfe_i32, i32 addrspace(1)* %out, align 4 |
| 310 | ret void |
| 311 | } |
| 312 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 313 | ; FUNC-LABEL: {{^}}bfe_i32_constant_fold_test_11: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 314 | ; SI-NOT: {{[^@]}}bfe |
| 315 | ; SI: v_mov_b32_e32 [[VREG:v[0-9]+]], -6 |
| 316 | ; SI: buffer_store_dword [[VREG]], |
| 317 | ; SI: s_endpgm |
| Matt Arsenault | 5565f65e | 2014-05-22 18:09:07 +0000 | [diff] [blame] | 318 | ; EG-NOT: BFE |
| 319 | define void @bfe_i32_constant_fold_test_11(i32 addrspace(1)* %out) nounwind { |
| 320 | %bfe_i32 = call i32 @llvm.AMDGPU.bfe.i32(i32 160, i32 4, i32 4) nounwind readnone |
| 321 | store i32 %bfe_i32, i32 addrspace(1)* %out, align 4 |
| 322 | ret void |
| 323 | } |
| 324 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 325 | ; FUNC-LABEL: {{^}}bfe_i32_constant_fold_test_12: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 326 | ; SI-NOT: {{[^@]}}bfe |
| 327 | ; SI: v_mov_b32_e32 [[VREG:v[0-9]+]], 0 |
| 328 | ; SI: buffer_store_dword [[VREG]], |
| 329 | ; SI: s_endpgm |
| Matt Arsenault | 5565f65e | 2014-05-22 18:09:07 +0000 | [diff] [blame] | 330 | ; EG-NOT: BFE |
| 331 | define void @bfe_i32_constant_fold_test_12(i32 addrspace(1)* %out) nounwind { |
| 332 | %bfe_i32 = call i32 @llvm.AMDGPU.bfe.i32(i32 160, i32 31, i32 1) nounwind readnone |
| 333 | store i32 %bfe_i32, i32 addrspace(1)* %out, align 4 |
| 334 | ret void |
| 335 | } |
| 336 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 337 | ; FUNC-LABEL: {{^}}bfe_i32_constant_fold_test_13: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 338 | ; SI-NOT: {{[^@]}}bfe |
| 339 | ; SI: v_mov_b32_e32 [[VREG:v[0-9]+]], 1 |
| 340 | ; SI: buffer_store_dword [[VREG]], |
| 341 | ; SI: s_endpgm |
| Matt Arsenault | 5565f65e | 2014-05-22 18:09:07 +0000 | [diff] [blame] | 342 | ; EG-NOT: BFE |
| 343 | define void @bfe_i32_constant_fold_test_13(i32 addrspace(1)* %out) nounwind { |
| 344 | %bfe_i32 = call i32 @llvm.AMDGPU.bfe.i32(i32 131070, i32 16, i32 16) nounwind readnone |
| 345 | store i32 %bfe_i32, i32 addrspace(1)* %out, align 4 |
| 346 | ret void |
| 347 | } |
| 348 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 349 | ; FUNC-LABEL: {{^}}bfe_i32_constant_fold_test_14: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 350 | ; SI-NOT: {{[^@]}}bfe |
| 351 | ; SI: v_mov_b32_e32 [[VREG:v[0-9]+]], 40 |
| 352 | ; SI: buffer_store_dword [[VREG]], |
| 353 | ; SI: s_endpgm |
| Matt Arsenault | 5565f65e | 2014-05-22 18:09:07 +0000 | [diff] [blame] | 354 | ; EG-NOT: BFE |
| 355 | define void @bfe_i32_constant_fold_test_14(i32 addrspace(1)* %out) nounwind { |
| 356 | %bfe_i32 = call i32 @llvm.AMDGPU.bfe.i32(i32 160, i32 2, i32 30) nounwind readnone |
| 357 | store i32 %bfe_i32, i32 addrspace(1)* %out, align 4 |
| 358 | ret void |
| 359 | } |
| 360 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 361 | ; FUNC-LABEL: {{^}}bfe_i32_constant_fold_test_15: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 362 | ; SI-NOT: {{[^@]}}bfe |
| 363 | ; SI: v_mov_b32_e32 [[VREG:v[0-9]+]], 10 |
| 364 | ; SI: buffer_store_dword [[VREG]], |
| 365 | ; SI: s_endpgm |
| Matt Arsenault | 5565f65e | 2014-05-22 18:09:07 +0000 | [diff] [blame] | 366 | ; EG-NOT: BFE |
| 367 | define void @bfe_i32_constant_fold_test_15(i32 addrspace(1)* %out) nounwind { |
| 368 | %bfe_i32 = call i32 @llvm.AMDGPU.bfe.i32(i32 160, i32 4, i32 28) nounwind readnone |
| 369 | store i32 %bfe_i32, i32 addrspace(1)* %out, align 4 |
| 370 | ret void |
| 371 | } |
| 372 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 373 | ; FUNC-LABEL: {{^}}bfe_i32_constant_fold_test_16: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 374 | ; SI-NOT: {{[^@]}}bfe |
| 375 | ; SI: v_mov_b32_e32 [[VREG:v[0-9]+]], -1 |
| 376 | ; SI: buffer_store_dword [[VREG]], |
| 377 | ; SI: s_endpgm |
| Matt Arsenault | 46cbc43 | 2014-09-19 00:42:06 +0000 | [diff] [blame] | 378 | ; EG-NOT: BFE |
| Matt Arsenault | 5565f65e | 2014-05-22 18:09:07 +0000 | [diff] [blame] | 379 | define void @bfe_i32_constant_fold_test_16(i32 addrspace(1)* %out) nounwind { |
| 380 | %bfe_i32 = call i32 @llvm.AMDGPU.bfe.i32(i32 4294967295, i32 1, i32 7) nounwind readnone |
| 381 | store i32 %bfe_i32, i32 addrspace(1)* %out, align 4 |
| 382 | ret void |
| 383 | } |
| 384 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 385 | ; FUNC-LABEL: {{^}}bfe_i32_constant_fold_test_17: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 386 | ; SI-NOT: {{[^@]}}bfe |
| 387 | ; SI: v_mov_b32_e32 [[VREG:v[0-9]+]], 0x7f |
| 388 | ; SI: buffer_store_dword [[VREG]], |
| 389 | ; SI: s_endpgm |
| Matt Arsenault | 5565f65e | 2014-05-22 18:09:07 +0000 | [diff] [blame] | 390 | ; EG-NOT: BFE |
| 391 | define void @bfe_i32_constant_fold_test_17(i32 addrspace(1)* %out) nounwind { |
| 392 | %bfe_i32 = call i32 @llvm.AMDGPU.bfe.i32(i32 255, i32 1, i32 31) nounwind readnone |
| 393 | store i32 %bfe_i32, i32 addrspace(1)* %out, align 4 |
| 394 | ret void |
| 395 | } |
| 396 | |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 397 | ; FUNC-LABEL: {{^}}bfe_i32_constant_fold_test_18: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 398 | ; SI-NOT: {{[^@]}}bfe |
| 399 | ; SI: v_mov_b32_e32 [[VREG:v[0-9]+]], 0 |
| 400 | ; SI: buffer_store_dword [[VREG]], |
| 401 | ; SI: s_endpgm |
| Matt Arsenault | 5565f65e | 2014-05-22 18:09:07 +0000 | [diff] [blame] | 402 | ; EG-NOT: BFE |
| 403 | define void @bfe_i32_constant_fold_test_18(i32 addrspace(1)* %out) nounwind { |
| 404 | %bfe_i32 = call i32 @llvm.AMDGPU.bfe.i32(i32 255, i32 31, i32 1) nounwind readnone |
| 405 | store i32 %bfe_i32, i32 addrspace(1)* %out, align 4 |
| 406 | ret void |
| 407 | } |
| Matt Arsenault | 05e96f4 | 2014-05-22 18:09:12 +0000 | [diff] [blame] | 408 | |
| 409 | ; XXX - This should really be a single BFE, but the sext_inreg of the |
| 410 | ; extended type i24 is never custom lowered. |
| Tom Stellard | 79243d9 | 2014-10-01 17:15:17 +0000 | [diff] [blame] | 411 | ; FUNC-LABEL: {{^}}bfe_sext_in_reg_i24: |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 412 | ; SI: buffer_load_dword [[LOAD:v[0-9]+]], |
| 413 | ; SI: v_lshlrev_b32_e32 {{v[0-9]+}}, 8, {{v[0-9]+}} |
| 414 | ; SI: v_ashrrev_i32_e32 {{v[0-9]+}}, 8, {{v[0-9]+}} |
| 415 | ; XSI: v_bfe_i32 [[BFE:v[0-9]+]], [[LOAD]], 0, 8 |
| Matt Arsenault | 05e96f4 | 2014-05-22 18:09:12 +0000 | [diff] [blame] | 416 | ; XSI-NOT: SHL |
| 417 | ; XSI-NOT: SHR |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 418 | ; XSI: buffer_store_dword [[BFE]], |
| Matt Arsenault | 05e96f4 | 2014-05-22 18:09:12 +0000 | [diff] [blame] | 419 | define void @bfe_sext_in_reg_i24(i32 addrspace(1)* %out, i32 addrspace(1)* %in) nounwind { |
| 420 | %x = load i32 addrspace(1)* %in, align 4 |
| 421 | %bfe = call i32 @llvm.AMDGPU.bfe.i32(i32 %x, i32 0, i32 24) |
| 422 | %shl = shl i32 %bfe, 8 |
| 423 | %ashr = ashr i32 %shl, 8 |
| 424 | store i32 %ashr, i32 addrspace(1)* %out, align 4 |
| 425 | ret void |
| 426 | } |
| Matt Arsenault | a3fe7c6 | 2014-10-16 20:07:40 +0000 | [diff] [blame] | 427 | |
| 428 | ; FUNC-LABEL: @simplify_demanded_bfe_sdiv |
| Tom Stellard | 326d6ec | 2014-11-05 14:50:53 +0000 | [diff] [blame^] | 429 | ; SI: buffer_load_dword [[LOAD:v[0-9]+]] |
| 430 | ; SI: v_bfe_i32 [[BFE:v[0-9]+]], [[LOAD]], 1, 16 |
| 431 | ; SI: v_lshrrev_b32_e32 [[TMP0:v[0-9]+]], 31, [[BFE]] |
| 432 | ; SI: v_add_i32_e32 [[TMP1:v[0-9]+]], [[TMP0]], [[BFE]] |
| 433 | ; SI: v_ashrrev_i32_e32 [[TMP2:v[0-9]+]], 1, [[TMP1]] |
| 434 | ; SI: buffer_store_dword [[TMP2]] |
| Matt Arsenault | a3fe7c6 | 2014-10-16 20:07:40 +0000 | [diff] [blame] | 435 | define void @simplify_demanded_bfe_sdiv(i32 addrspace(1)* %out, i32 addrspace(1)* %in) nounwind { |
| 436 | %src = load i32 addrspace(1)* %in, align 4 |
| 437 | %bfe = call i32 @llvm.AMDGPU.bfe.i32(i32 %src, i32 1, i32 16) nounwind readnone |
| 438 | %div = sdiv i32 %bfe, 2 |
| 439 | store i32 %div, i32 addrspace(1)* %out, align 4 |
| 440 | ret void |
| 441 | } |