151 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -mtriple=i686-linux-gnu %s -o - | FileCheck %s3 4define i32 @branch_eq(i64 %a, i64 %b) {5; CHECK-LABEL: branch_eq:6; CHECK: # %bb.0: # %entry7; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax8; CHECK-NEXT: movl {{[0-9]+}}(%esp), %ecx9; CHECK-NEXT: xorl {{[0-9]+}}(%esp), %ecx10; CHECK-NEXT: xorl {{[0-9]+}}(%esp), %eax11; CHECK-NEXT: orl %ecx, %eax12; CHECK-NEXT: jne .LBB0_213; CHECK-NEXT: # %bb.1: # %bb114; CHECK-NEXT: movl $1, %eax15; CHECK-NEXT: retl16; CHECK-NEXT: .LBB0_2: # %bb217; CHECK-NEXT: movl $2, %eax18; CHECK-NEXT: retl19entry:20 %cmp = icmp eq i64 %a, %b21 br i1 %cmp, label %bb1, label %bb222bb1:23 ret i32 124bb2:25 ret i32 226}27 28define i32 @branch_slt(i64 %a, i64 %b) {29; CHECK-LABEL: branch_slt:30; CHECK: # %bb.0: # %entry31; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax32; CHECK-NEXT: movl {{[0-9]+}}(%esp), %ecx33; CHECK-NEXT: cmpl {{[0-9]+}}(%esp), %eax34; CHECK-NEXT: sbbl {{[0-9]+}}(%esp), %ecx35; CHECK-NEXT: jge .LBB1_236; CHECK-NEXT: # %bb.1: # %bb137; CHECK-NEXT: movl $1, %eax38; CHECK-NEXT: retl39; CHECK-NEXT: .LBB1_2: # %bb240; CHECK-NEXT: movl $2, %eax41; CHECK-NEXT: retl42entry:43 %cmp = icmp slt i64 %a, %b44 br i1 %cmp, label %bb1, label %bb245bb1:46 ret i32 147bb2:48 ret i32 249}50 51define i32 @branch_ule(i64 %a, i64 %b) {52; CHECK-LABEL: branch_ule:53; CHECK: # %bb.0: # %entry54; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax55; CHECK-NEXT: movl {{[0-9]+}}(%esp), %ecx56; CHECK-NEXT: cmpl {{[0-9]+}}(%esp), %eax57; CHECK-NEXT: sbbl {{[0-9]+}}(%esp), %ecx58; CHECK-NEXT: jb .LBB2_259; CHECK-NEXT: # %bb.1: # %bb160; CHECK-NEXT: movl $1, %eax61; CHECK-NEXT: retl62; CHECK-NEXT: .LBB2_2: # %bb263; CHECK-NEXT: movl $2, %eax64; CHECK-NEXT: retl65entry:66 %cmp = icmp ule i64 %a, %b67 br i1 %cmp, label %bb1, label %bb268bb1:69 ret i32 170bb2:71 ret i32 272}73 74define i32 @set_gt(i64 %a, i64 %b) {75; CHECK-LABEL: set_gt:76; CHECK: # %bb.0: # %entry77; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax78; CHECK-NEXT: movl {{[0-9]+}}(%esp), %ecx79; CHECK-NEXT: cmpl {{[0-9]+}}(%esp), %eax80; CHECK-NEXT: sbbl {{[0-9]+}}(%esp), %ecx81; CHECK-NEXT: setl %al82; CHECK-NEXT: movzbl %al, %eax83; CHECK-NEXT: retl84entry:85 %cmp = icmp sgt i64 %a, %b86 %res = select i1 %cmp, i32 1, i32 087 ret i32 %res88}89 90define i32 @test_wide(i128 %a, i128 %b) {91; CHECK-LABEL: test_wide:92; CHECK: # %bb.0: # %entry93; CHECK-NEXT: pushl %esi94; CHECK-NEXT: .cfi_def_cfa_offset 895; CHECK-NEXT: subl $8, %esp96; CHECK-NEXT: .cfi_def_cfa_offset 1697; CHECK-NEXT: .cfi_offset %esi, -898; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax99; CHECK-NEXT: movl {{[0-9]+}}(%esp), %ecx100; CHECK-NEXT: movl {{[0-9]+}}(%esp), %edx101; CHECK-NEXT: movl {{[0-9]+}}(%esp), %esi102; CHECK-NEXT: cmpl {{[0-9]+}}(%esp), %edx103; CHECK-NEXT: sbbl {{[0-9]+}}(%esp), %esi104; CHECK-NEXT: sbbl {{[0-9]+}}(%esp), %ecx105; CHECK-NEXT: sbbl {{[0-9]+}}(%esp), %eax106; CHECK-NEXT: jge .LBB4_3107; CHECK-NEXT: # %bb.1: # %bb1108; CHECK-NEXT: movl $1, %eax109; CHECK-NEXT: jmp .LBB4_2110; CHECK-NEXT: .LBB4_3: # %bb2111; CHECK-NEXT: movl $2, %eax112; CHECK-NEXT: .LBB4_2: # %bb1113; CHECK-NEXT: addl $8, %esp114; CHECK-NEXT: .cfi_def_cfa_offset 8115; CHECK-NEXT: popl %esi116; CHECK-NEXT: .cfi_def_cfa_offset 4117; CHECK-NEXT: retl118entry:119 %cmp = icmp slt i128 %a, %b120 br i1 %cmp, label %bb1, label %bb2121bb1:122 ret i32 1123bb2:124 ret i32 2125}126 127; The comparison of the low bits will be folded to a CARRY_FALSE node. Make128; sure the code can handle that.129define i32 @test_carry_false(i64 %a, i64 %b) {130; CHECK-LABEL: test_carry_false:131; CHECK: # %bb.0: # %entry132; CHECK-NEXT: movl {{[0-9]+}}(%esp), %eax133; CHECK-NEXT: cmpl {{[0-9]+}}(%esp), %eax134; CHECK-NEXT: jge .LBB5_2135; CHECK-NEXT: # %bb.1: # %bb1136; CHECK-NEXT: movl $1, %eax137; CHECK-NEXT: retl138; CHECK-NEXT: .LBB5_2: # %bb2139; CHECK-NEXT: movl $2, %eax140; CHECK-NEXT: retl141entry:142 %x = and i64 %a, -4294967296 ;0xffffffff00000000143 %y = and i64 %b, -4294967296144 %cmp = icmp slt i64 %x, %y145 br i1 %cmp, label %bb1, label %bb2146bb1:147 ret i32 1148bb2:149 ret i32 2150}151