1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc -mtriple=i686-linux-gnu %s -o - | FileCheck %s
3
4define i32 @branch_eq(i64 %a, i64 %b) {
5; CHECK-LABEL: branch_eq:
6; CHECK:       # BB#0: # %entry
7; CHECK-NEXT:    movl {{[0-9]+}}(%esp), %eax
8; CHECK-NEXT:    movl {{[0-9]+}}(%esp), %ecx
9; CHECK-NEXT:    xorl {{[0-9]+}}(%esp), %ecx
10; CHECK-NEXT:    xorl {{[0-9]+}}(%esp), %eax
11; CHECK-NEXT:    orl %ecx, %eax
12; CHECK-NEXT:    jne .LBB0_2
13; CHECK-NEXT:  # BB#1: # %bb1
14; CHECK-NEXT:    movl $1, %eax
15; CHECK-NEXT:    retl
16; CHECK-NEXT:  .LBB0_2: # %bb2
17; CHECK-NEXT:    movl $2, %eax
18; CHECK-NEXT:    retl
19entry:
20  %cmp = icmp eq i64 %a, %b
21	br i1 %cmp, label %bb1, label %bb2
22bb1:
23  ret i32 1
24bb2:
25  ret i32 2
26}
27
28define i32 @branch_slt(i64 %a, i64 %b) {
29; CHECK-LABEL: branch_slt:
30; CHECK:       # BB#0: # %entry
31; CHECK-NEXT:    movl {{[0-9]+}}(%esp), %eax
32; CHECK-NEXT:    movl {{[0-9]+}}(%esp), %ecx
33; CHECK-NEXT:    cmpl {{[0-9]+}}(%esp), %eax
34; CHECK-NEXT:    sbbl {{[0-9]+}}(%esp), %ecx
35; CHECK-NEXT:    jge .LBB1_2
36; CHECK-NEXT:  # BB#1: # %bb1
37; CHECK-NEXT:    movl $1, %eax
38; CHECK-NEXT:    retl
39; CHECK-NEXT:  .LBB1_2: # %bb2
40; CHECK-NEXT:    movl $2, %eax
41; CHECK-NEXT:    retl
42entry:
43  %cmp = icmp slt i64 %a, %b
44	br i1 %cmp, label %bb1, label %bb2
45bb1:
46  ret i32 1
47bb2:
48  ret i32 2
49}
50
51define i32 @branch_ule(i64 %a, i64 %b) {
52; CHECK-LABEL: branch_ule:
53; CHECK:       # BB#0: # %entry
54; CHECK-NEXT:    movl {{[0-9]+}}(%esp), %eax
55; CHECK-NEXT:    movl {{[0-9]+}}(%esp), %ecx
56; CHECK-NEXT:    cmpl {{[0-9]+}}(%esp), %eax
57; CHECK-NEXT:    sbbl {{[0-9]+}}(%esp), %ecx
58; CHECK-NEXT:    jb .LBB2_2
59; CHECK-NEXT:  # BB#1: # %bb1
60; CHECK-NEXT:    movl $1, %eax
61; CHECK-NEXT:    retl
62; CHECK-NEXT:  .LBB2_2: # %bb2
63; CHECK-NEXT:    movl $2, %eax
64; CHECK-NEXT:    retl
65entry:
66  %cmp = icmp ule i64 %a, %b
67	br i1 %cmp, label %bb1, label %bb2
68bb1:
69  ret i32 1
70bb2:
71  ret i32 2
72}
73
74define i32 @set_gt(i64 %a, i64 %b) {
75; CHECK-LABEL: set_gt:
76; CHECK:       # BB#0: # %entry
77; CHECK-NEXT:    movl {{[0-9]+}}(%esp), %eax
78; CHECK-NEXT:    movl {{[0-9]+}}(%esp), %ecx
79; CHECK-NEXT:    cmpl {{[0-9]+}}(%esp), %eax
80; CHECK-NEXT:    sbbl {{[0-9]+}}(%esp), %ecx
81; CHECK-NEXT:    setl %al
82; CHECK-NEXT:    movzbl %al, %eax
83; CHECK-NEXT:    retl
84entry:
85  %cmp = icmp sgt i64 %a, %b
86  %res = select i1 %cmp, i32 1, i32 0
87  ret i32 %res
88}
89
90define i32 @test_wide(i128 %a, i128 %b) {
91; CHECK-LABEL: test_wide:
92; CHECK:       # BB#0: # %entry
93; CHECK-NEXT:    pushl %esi
94; CHECK-NEXT:  .Lcfi0:
95; CHECK-NEXT:    .cfi_def_cfa_offset 8
96; CHECK-NEXT:  .Lcfi1:
97; CHECK-NEXT:    .cfi_offset %esi, -8
98; CHECK-NEXT:    movl {{[0-9]+}}(%esp), %eax
99; CHECK-NEXT:    movl {{[0-9]+}}(%esp), %ecx
100; CHECK-NEXT:    movl {{[0-9]+}}(%esp), %edx
101; CHECK-NEXT:    movl {{[0-9]+}}(%esp), %esi
102; CHECK-NEXT:    cmpl {{[0-9]+}}(%esp), %edx
103; CHECK-NEXT:    sbbl {{[0-9]+}}(%esp), %esi
104; CHECK-NEXT:    sbbl {{[0-9]+}}(%esp), %eax
105; CHECK-NEXT:    sbbl {{[0-9]+}}(%esp), %ecx
106; CHECK-NEXT:    jge .LBB4_2
107; CHECK-NEXT:  # BB#1: # %bb1
108; CHECK-NEXT:    movl $1, %eax
109; CHECK-NEXT:    popl %esi
110; CHECK-NEXT:    retl
111; CHECK-NEXT:  .LBB4_2: # %bb2
112; CHECK-NEXT:    movl $2, %eax
113; CHECK-NEXT:    popl %esi
114; CHECK-NEXT:    retl
115entry:
116  %cmp = icmp slt i128 %a, %b
117	br i1 %cmp, label %bb1, label %bb2
118bb1:
119  ret i32 1
120bb2:
121  ret i32 2
122}
123
124; The comparison of the low bits will be folded to a CARRY_FALSE node. Make
125; sure the code can handle that.
126define i32 @test_carry_false(i64 %a, i64 %b) {
127; CHECK-LABEL: test_carry_false:
128; CHECK:       # BB#0: # %entry
129; CHECK-NEXT:    movl {{[0-9]+}}(%esp), %eax
130; CHECK-NEXT:    cmpl {{[0-9]+}}(%esp), %eax
131; CHECK-NEXT:    jge .LBB5_2
132; CHECK-NEXT:  # BB#1: # %bb1
133; CHECK-NEXT:    movl $1, %eax
134; CHECK-NEXT:    retl
135; CHECK-NEXT:  .LBB5_2: # %bb2
136; CHECK-NEXT:    movl $2, %eax
137; CHECK-NEXT:    retl
138entry:
139  %x = and i64 %a, -4294967296 ;0xffffffff00000000
140  %y = and i64 %b, -4294967296
141  %cmp = icmp slt i64 %x, %y
142	br i1 %cmp, label %bb1, label %bb2
143bb1:
144  ret i32 1
145bb2:
146  ret i32 2
147}
148