1 ; RUN: llc < %s -march=arm | FileCheck %s --check-prefix=ARM
2 ; RUN: llc < %s -march=arm -mattr=+thumb2 | FileCheck %s --check-prefix=ARMT2
3 ; RUN: llc < %s -march=thumb -mattr=+thumb2 | FileCheck %s --check-prefix=THUMB2
5 define i32 @t1(i32 %c) nounwind readnone {
8 ; ARM: mov [[R1:r[0-9]+]], #101
9 ; ARM: orr [[R1b:r[0-9]+]], [[R1]], #256
10 ; ARM: movgt {{r[0-1]}}, #123
13 ; ARMT2: movw [[R:r[0-1]]], #357
14 ; ARMT2: movwgt [[R]], #123
17 ; THUMB2: movw [[R:r[0-1]]], #357
18 ; THUMB2: movgt [[R]], #123
20 %0 = icmp sgt i32 %c, 1
21 %1 = select i1 %0, i32 123, i32 357
25 define i32 @t2(i32 %c) nounwind readnone {
28 ; ARM: mov [[R:r[0-9]+]], #101
29 ; ARM: orr [[R]], [[R]], #256
30 ; ARM: movle [[R]], #123
33 ; ARMT2: mov [[R:r[0-1]]], #123
34 ; ARMT2: movwgt [[R]], #357
37 ; THUMB2: mov{{(s|\.w)}} [[R:r[0-1]]], #123
38 ; THUMB2: movwgt [[R]], #357
40 %0 = icmp sgt i32 %c, 1
41 %1 = select i1 %0, i32 357, i32 123
45 define i32 @t3(i32 %a) nounwind readnone {
48 ; ARM: mov [[R:r[0-1]]], #0
49 ; ARM: moveq [[R]], #1
52 ; ARMT2: mov [[R:r[0-1]]], #0
53 ; ARMT2: movweq [[R]], #1
56 ; THUMB2: mov{{(s|\.w)}} [[R:r[0-1]]], #0
57 ; THUMB2: moveq [[R]], #1
58 %0 = icmp eq i32 %a, 160
59 %1 = zext i1 %0 to i32
63 define i32 @t4(i32 %a, i32 %b, i32 %x) nounwind {
70 ; ARMT2: movwlt [[R0:r[0-9]+]], #65365
71 ; ARMT2: movtlt [[R0]], #65365
74 ; THUMB2: mvnlt [[R0:r[0-9]+]], #11141290
75 %0 = icmp slt i32 %a, %b
76 %1 = select i1 %0, i32 4283826005, i32 %x
81 define i32 @t5(i32 %a) nounwind {
93 ; THUMB2: movne r0, #0
94 %cmp = icmp eq i32 %a, 1
95 %conv = zext i1 %cmp to i32
99 define i32 @t6(i32 %a) nounwind {
110 ; THUMB2: movne r0, #1
111 %tobool = icmp ne i32 %a, 0
112 %lnot.ext = zext i1 %tobool to i32