|  | ; RUN: llc < %s -march=r600 -mcpu=redwood | FileCheck %s | 
|  |  | 
|  | ; CHECK: {{^}}bfe_def: | 
|  | ; CHECK: BFE_UINT | 
|  | define void @bfe_def(i32 addrspace(1)* %out, i32 %x) { | 
|  | entry: | 
|  | %0 = lshr i32 %x, 5 | 
|  | %1 = and i32 %0, 15 ; 0xf | 
|  | store i32 %1, i32 addrspace(1)* %out | 
|  | ret void | 
|  | } | 
|  |  | 
|  | ; This program could be implemented using a BFE_UINT instruction, however | 
|  | ; since the lshr constant + number of bits in the mask is >= 32, it can also be | 
|  | ; implmented with a LSHR instruction, which is better, because LSHR has less | 
|  | ; operands and requires less constants. | 
|  |  | 
|  | ; CHECK: {{^}}bfe_shift: | 
|  | ; CHECK-NOT: BFE_UINT | 
|  | define void @bfe_shift(i32 addrspace(1)* %out, i32 %x) { | 
|  | entry: | 
|  | %0 = lshr i32 %x, 16 | 
|  | %1 = and i32 %0, 65535 ; 0xffff | 
|  | store i32 %1, i32 addrspace(1)* %out | 
|  | ret void | 
|  | } |