1; RUN: llc < %s -march=nvptx -mcpu=sm_20 | FileCheck %s
2; RUN: %if ptxas %{ llc < %s -march=nvptx -mcpu=sm_20 | %ptxas-verify %}
3
4
5; CHECK: bfe0
6define i32 @bfe0(i32 %a) {
7; CHECK: bfe.u32 %r{{[0-9]+}}, %r{{[0-9]+}}, 4, 4
8; CHECK-NOT: shr
9; CHECK-NOT: and
10  %val0 = ashr i32 %a, 4
11  %val1 = and i32 %val0, 15
12  ret i32 %val1
13}
14
15; CHECK: bfe1
16define i32 @bfe1(i32 %a) {
17; CHECK: bfe.u32 %r{{[0-9]+}}, %r{{[0-9]+}}, 3, 3
18; CHECK-NOT: shr
19; CHECK-NOT: and
20  %val0 = ashr i32 %a, 3
21  %val1 = and i32 %val0, 7
22  ret i32 %val1
23}
24
25; CHECK: bfe2
26define i32 @bfe2(i32 %a) {
27; CHECK: bfe.u32 %r{{[0-9]+}}, %r{{[0-9]+}}, 5, 3
28; CHECK-NOT: shr
29; CHECK-NOT: and
30  %val0 = ashr i32 %a, 5
31  %val1 = and i32 %val0, 7
32  ret i32 %val1
33}
34