1; RUN: llc < %s -march=arm -mattr=+v6t2 | FileCheck %s
2
3; 4278190095 = 0xff00000f
4define i32 @f1(i32 %a) {
5; CHECK-LABEL: f1:
6; CHECK: bfc
7    %tmp = and i32 %a, 4278190095
8    ret i32 %tmp
9}
10
11; 4286578688 = 0xff800000
12define i32 @f2(i32 %a) {
13; CHECK-LABEL: f2:
14; CHECK: bfc
15    %tmp = and i32 %a, 4286578688
16    ret i32 %tmp
17}
18
19; 4095 = 0x00000fff
20define i32 @f3(i32 %a) {
21; CHECK-LABEL: f3:
22; CHECK: bfc
23    %tmp = and i32 %a, 4095
24    ret i32 %tmp
25}
26