| ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py |
| ; RUN: llc < %s -mtriple=x86_64-apple-darwin10 -verify-machineinstrs | FileCheck %s --check-prefix=SDAG-X64 |
| ; RUN: llc < %s -mtriple=x86_64-apple-darwin10 -verify-machineinstrs -mattr=+avx512f | FileCheck %s --check-prefix=SDAG-X64 |
| ; RUN: llc < %s -fast-isel -fast-isel-abort=1 -mtriple=x86_64-apple-darwin10 -verify-machineinstrs | FileCheck %s --check-prefix=FAST-X64 |
| ; RUN: llc < %s -fast-isel -fast-isel-abort=1 -mtriple=x86_64-apple-darwin10 -verify-machineinstrs -mattr=+avx512f | FileCheck %s --check-prefix=FAST-X64 |
| ; RUN: llc < %s -global-isel -global-isel-abort=1 -mtriple=x86_64-apple-darwin10 -verify-machineinstrs | FileCheck %s --check-prefix=GISEL-X64 |
| ; RUN: llc < %s -global-isel -global-isel-abort=1 -mtriple=x86_64-apple-darwin10 -verify-machineinstrs -mattr=+avx512f | FileCheck %s --check-prefix=GISEL-X64 |
| |
| ; RUN: llc < %s -mtriple=i686-apple-darwin10 -verify-machineinstrs | FileCheck %s --check-prefix=SDAG-X86 |
| ; RUN: llc < %s -mtriple=i686-apple-darwin10 -verify-machineinstrs -mattr=+cmov | FileCheck %s --check-prefix=SDAG-X86-CMOV |
| ; RUN: llc < %s -fast-isel -fast-isel-abort=1 -mtriple=i686-apple-darwin10 -verify-machineinstrs | FileCheck %s --check-prefix=FAST-X86 |
| ; RUN: llc < %s -fast-isel -fast-isel-abort=1 -mtriple=i686-apple-darwin10 -verify-machineinstrs -mattr=+cmov | FileCheck %s --check-prefix=FAST-X86-CMOV |
| ; RUN: llc < %s -global-isel -global-isel-abort=1 -mtriple=i686-apple-darwin10 -verify-machineinstrs | FileCheck %s --check-prefix=GISEL-X86 |
| ; RUN: llc < %s -global-isel -global-isel-abort=1 -mtriple=i686-apple-darwin10 -verify-machineinstrs -mattr=+cmov | FileCheck %s --check-prefix=GISEL-X86-CMOV |
| |
| ; RUN: llc < %s -fast-isel -fast-isel-abort=1 -mtriple=x86_64-apple-darwin10 -verify-machineinstrs -mattr=+ndd | FileCheck %s --check-prefix=NDD |
| |
| ; Test conditional move for the supported types (i16, i32, and i32) and |
| ; conditon input (argument or cmp). |
| ; When cmov is not available (i8 type or X86), the branch is expected. |
| |
| define zeroext i8 @select_cmov_i8(i1 zeroext %cond, i8 zeroext %a, i8 zeroext %b) { |
| ; SDAG-X64-LABEL: select_cmov_i8: |
| ; SDAG-X64: ## %bb.0: |
| ; SDAG-X64-NEXT: movl %esi, %eax |
| ; SDAG-X64-NEXT: testl %edi, %edi |
| ; SDAG-X64-NEXT: cmovel %edx, %eax |
| ; SDAG-X64-NEXT: retq |
| ; |
| ; FAST-X64-LABEL: select_cmov_i8: |
| ; FAST-X64: ## %bb.0: |
| ; FAST-X64-NEXT: testb $1, %dil |
| ; FAST-X64-NEXT: jne LBB0_2 |
| ; FAST-X64-NEXT: ## %bb.1: |
| ; FAST-X64-NEXT: movl %edx, %esi |
| ; FAST-X64-NEXT: LBB0_2: |
| ; FAST-X64-NEXT: movzbl %sil, %eax |
| ; FAST-X64-NEXT: retq |
| ; |
| ; GISEL-X64-LABEL: select_cmov_i8: |
| ; GISEL-X64: ## %bb.0: |
| ; GISEL-X64-NEXT: movl %edx, %eax |
| ; GISEL-X64-NEXT: testl %edi, %edi |
| ; GISEL-X64-NEXT: cmovnew %si, %ax |
| ; GISEL-X64-NEXT: ## kill: def $al killed $al killed $eax |
| ; GISEL-X64-NEXT: retq |
| ; |
| ; SDAG-X86-LABEL: select_cmov_i8: |
| ; SDAG-X86: ## %bb.0: |
| ; SDAG-X86-NEXT: cmpb $0, {{[0-9]+}}(%esp) |
| ; SDAG-X86-NEXT: jne LBB0_1 |
| ; SDAG-X86-NEXT: ## %bb.2: |
| ; SDAG-X86-NEXT: leal {{[0-9]+}}(%esp), %eax |
| ; SDAG-X86-NEXT: movzbl (%eax), %eax |
| ; SDAG-X86-NEXT: retl |
| ; SDAG-X86-NEXT: LBB0_1: |
| ; SDAG-X86-NEXT: leal {{[0-9]+}}(%esp), %eax |
| ; SDAG-X86-NEXT: movzbl (%eax), %eax |
| ; SDAG-X86-NEXT: retl |
| ; |
| ; SDAG-X86-CMOV-LABEL: select_cmov_i8: |
| ; SDAG-X86-CMOV: ## %bb.0: |
| ; SDAG-X86-CMOV-NEXT: cmpb $0, {{[0-9]+}}(%esp) |
| ; SDAG-X86-CMOV-NEXT: leal {{[0-9]+}}(%esp), %eax |
| ; SDAG-X86-CMOV-NEXT: leal {{[0-9]+}}(%esp), %ecx |
| ; SDAG-X86-CMOV-NEXT: cmovnel %eax, %ecx |
| ; SDAG-X86-CMOV-NEXT: movzbl (%ecx), %eax |
| ; SDAG-X86-CMOV-NEXT: retl |
| ; |
| ; FAST-X86-LABEL: select_cmov_i8: |
| ; FAST-X86: ## %bb.0: |
| ; FAST-X86-NEXT: testb $1, {{[0-9]+}}(%esp) |
| ; FAST-X86-NEXT: jne LBB0_1 |
| ; FAST-X86-NEXT: ## %bb.2: |
| ; FAST-X86-NEXT: movzbl {{[0-9]+}}(%esp), %eax |
| ; FAST-X86-NEXT: movzbl %al, %eax |
| ; FAST-X86-NEXT: retl |
| ; FAST-X86-NEXT: LBB0_1: |
| ; FAST-X86-NEXT: movzbl {{[0-9]+}}(%esp), %eax |
| ; FAST-X86-NEXT: movzbl %al, %eax |
| ; FAST-X86-NEXT: retl |
| ; |
| ; FAST-X86-CMOV-LABEL: select_cmov_i8: |
| ; FAST-X86-CMOV: ## %bb.0: |
| ; FAST-X86-CMOV-NEXT: testb $1, {{[0-9]+}}(%esp) |
| ; FAST-X86-CMOV-NEXT: jne LBB0_1 |
| ; FAST-X86-CMOV-NEXT: ## %bb.2: |
| ; FAST-X86-CMOV-NEXT: movzbl {{[0-9]+}}(%esp), %eax |
| ; FAST-X86-CMOV-NEXT: movzbl %al, %eax |
| ; FAST-X86-CMOV-NEXT: retl |
| ; FAST-X86-CMOV-NEXT: LBB0_1: |
| ; FAST-X86-CMOV-NEXT: movzbl {{[0-9]+}}(%esp), %eax |
| ; FAST-X86-CMOV-NEXT: movzbl %al, %eax |
| ; FAST-X86-CMOV-NEXT: retl |
| ; |
| ; GISEL-X86-LABEL: select_cmov_i8: |
| ; GISEL-X86: ## %bb.0: |
| ; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; GISEL-X86-NEXT: testl %eax, %eax |
| ; GISEL-X86-NEXT: je LBB0_1 |
| ; GISEL-X86-NEXT: ## %bb.2: |
| ; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; GISEL-X86-NEXT: ## kill: def $al killed $al killed $eax |
| ; GISEL-X86-NEXT: retl |
| ; GISEL-X86-NEXT: LBB0_1: |
| ; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; GISEL-X86-NEXT: ## kill: def $al killed $al killed $eax |
| ; GISEL-X86-NEXT: retl |
| ; |
| ; GISEL-X86-CMOV-LABEL: select_cmov_i8: |
| ; GISEL-X86-CMOV: ## %bb.0: |
| ; GISEL-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %ecx |
| ; GISEL-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %edx |
| ; GISEL-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; GISEL-X86-CMOV-NEXT: testl %ecx, %ecx |
| ; GISEL-X86-CMOV-NEXT: cmovnew %dx, %ax |
| ; GISEL-X86-CMOV-NEXT: ## kill: def $al killed $al killed $eax |
| ; GISEL-X86-CMOV-NEXT: retl |
| ; |
| ; NDD-LABEL: select_cmov_i8: |
| ; NDD: ## %bb.0: |
| ; NDD-NEXT: testb $1, %dil |
| ; NDD-NEXT: jne LBB0_2 |
| ; NDD-NEXT: ## %bb.1: |
| ; NDD-NEXT: movl %edx, %esi |
| ; NDD-NEXT: LBB0_2: |
| ; NDD-NEXT: movzbl %sil, %eax |
| ; NDD-NEXT: retq |
| %1 = select i1 %cond, i8 %a, i8 %b |
| ret i8 %1 |
| } |
| |
| define zeroext i16 @select_cmov_i16(i1 zeroext %cond, i16 zeroext %a, i16 zeroext %b) { |
| ; SDAG-X64-LABEL: select_cmov_i16: |
| ; SDAG-X64: ## %bb.0: |
| ; SDAG-X64-NEXT: movl %esi, %eax |
| ; SDAG-X64-NEXT: testl %edi, %edi |
| ; SDAG-X64-NEXT: cmovel %edx, %eax |
| ; SDAG-X64-NEXT: retq |
| ; |
| ; FAST-X64-LABEL: select_cmov_i16: |
| ; FAST-X64: ## %bb.0: |
| ; FAST-X64-NEXT: testb $1, %dil |
| ; FAST-X64-NEXT: cmovew %dx, %si |
| ; FAST-X64-NEXT: movzwl %si, %eax |
| ; FAST-X64-NEXT: retq |
| ; |
| ; GISEL-X64-LABEL: select_cmov_i16: |
| ; GISEL-X64: ## %bb.0: |
| ; GISEL-X64-NEXT: movl %edx, %eax |
| ; GISEL-X64-NEXT: testl %edi, %edi |
| ; GISEL-X64-NEXT: cmovnew %si, %ax |
| ; GISEL-X64-NEXT: ## kill: def $ax killed $ax killed $eax |
| ; GISEL-X64-NEXT: retq |
| ; |
| ; SDAG-X86-LABEL: select_cmov_i16: |
| ; SDAG-X86: ## %bb.0: |
| ; SDAG-X86-NEXT: cmpb $0, {{[0-9]+}}(%esp) |
| ; SDAG-X86-NEXT: jne LBB1_1 |
| ; SDAG-X86-NEXT: ## %bb.2: |
| ; SDAG-X86-NEXT: leal {{[0-9]+}}(%esp), %eax |
| ; SDAG-X86-NEXT: movzwl (%eax), %eax |
| ; SDAG-X86-NEXT: retl |
| ; SDAG-X86-NEXT: LBB1_1: |
| ; SDAG-X86-NEXT: leal {{[0-9]+}}(%esp), %eax |
| ; SDAG-X86-NEXT: movzwl (%eax), %eax |
| ; SDAG-X86-NEXT: retl |
| ; |
| ; SDAG-X86-CMOV-LABEL: select_cmov_i16: |
| ; SDAG-X86-CMOV: ## %bb.0: |
| ; SDAG-X86-CMOV-NEXT: cmpb $0, {{[0-9]+}}(%esp) |
| ; SDAG-X86-CMOV-NEXT: leal {{[0-9]+}}(%esp), %eax |
| ; SDAG-X86-CMOV-NEXT: leal {{[0-9]+}}(%esp), %ecx |
| ; SDAG-X86-CMOV-NEXT: cmovnel %eax, %ecx |
| ; SDAG-X86-CMOV-NEXT: movzwl (%ecx), %eax |
| ; SDAG-X86-CMOV-NEXT: retl |
| ; |
| ; FAST-X86-LABEL: select_cmov_i16: |
| ; FAST-X86: ## %bb.0: |
| ; FAST-X86-NEXT: testb $1, {{[0-9]+}}(%esp) |
| ; FAST-X86-NEXT: jne LBB1_1 |
| ; FAST-X86-NEXT: ## %bb.2: |
| ; FAST-X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax |
| ; FAST-X86-NEXT: movzwl %ax, %eax |
| ; FAST-X86-NEXT: retl |
| ; FAST-X86-NEXT: LBB1_1: |
| ; FAST-X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax |
| ; FAST-X86-NEXT: movzwl %ax, %eax |
| ; FAST-X86-NEXT: retl |
| ; |
| ; FAST-X86-CMOV-LABEL: select_cmov_i16: |
| ; FAST-X86-CMOV: ## %bb.0: |
| ; FAST-X86-CMOV-NEXT: movzwl {{[0-9]+}}(%esp), %eax |
| ; FAST-X86-CMOV-NEXT: testb $1, {{[0-9]+}}(%esp) |
| ; FAST-X86-CMOV-NEXT: cmovew {{[0-9]+}}(%esp), %ax |
| ; FAST-X86-CMOV-NEXT: movzwl %ax, %eax |
| ; FAST-X86-CMOV-NEXT: retl |
| ; |
| ; GISEL-X86-LABEL: select_cmov_i16: |
| ; GISEL-X86: ## %bb.0: |
| ; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; GISEL-X86-NEXT: testl %eax, %eax |
| ; GISEL-X86-NEXT: je LBB1_1 |
| ; GISEL-X86-NEXT: ## %bb.2: |
| ; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; GISEL-X86-NEXT: ## kill: def $ax killed $ax killed $eax |
| ; GISEL-X86-NEXT: retl |
| ; GISEL-X86-NEXT: LBB1_1: |
| ; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; GISEL-X86-NEXT: ## kill: def $ax killed $ax killed $eax |
| ; GISEL-X86-NEXT: retl |
| ; |
| ; GISEL-X86-CMOV-LABEL: select_cmov_i16: |
| ; GISEL-X86-CMOV: ## %bb.0: |
| ; GISEL-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %ecx |
| ; GISEL-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %edx |
| ; GISEL-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; GISEL-X86-CMOV-NEXT: testl %ecx, %ecx |
| ; GISEL-X86-CMOV-NEXT: cmovnew %dx, %ax |
| ; GISEL-X86-CMOV-NEXT: ## kill: def $ax killed $ax killed $eax |
| ; GISEL-X86-CMOV-NEXT: retl |
| ; |
| ; NDD-LABEL: select_cmov_i16: |
| ; NDD: ## %bb.0: |
| ; NDD-NEXT: testb $1, %dil |
| ; NDD-NEXT: cmovnew %si, %dx, %ax |
| ; NDD-NEXT: movzwl %ax, %eax |
| ; NDD-NEXT: retq |
| %1 = select i1 %cond, i16 %a, i16 %b |
| ret i16 %1 |
| } |
| |
| define zeroext i16 @select_cmp_cmov_i16(i16 zeroext %a, i16 zeroext %b) { |
| ; SDAG-X64-LABEL: select_cmp_cmov_i16: |
| ; SDAG-X64: ## %bb.0: |
| ; SDAG-X64-NEXT: movl %esi, %eax |
| ; SDAG-X64-NEXT: cmpw %ax, %di |
| ; SDAG-X64-NEXT: cmovbl %edi, %eax |
| ; SDAG-X64-NEXT: retq |
| ; |
| ; FAST-X64-LABEL: select_cmp_cmov_i16: |
| ; FAST-X64: ## %bb.0: |
| ; FAST-X64-NEXT: cmpw %si, %di |
| ; FAST-X64-NEXT: cmovbw %di, %si |
| ; FAST-X64-NEXT: movzwl %si, %eax |
| ; FAST-X64-NEXT: retq |
| ; |
| ; GISEL-X64-LABEL: select_cmp_cmov_i16: |
| ; GISEL-X64: ## %bb.0: |
| ; GISEL-X64-NEXT: movl %edi, %eax |
| ; GISEL-X64-NEXT: xorl %ecx, %ecx |
| ; GISEL-X64-NEXT: cmpw %si, %ax |
| ; GISEL-X64-NEXT: setb %cl |
| ; GISEL-X64-NEXT: andl $1, %ecx |
| ; GISEL-X64-NEXT: cmovew %si, %ax |
| ; GISEL-X64-NEXT: ## kill: def $ax killed $ax killed $eax |
| ; GISEL-X64-NEXT: retq |
| ; |
| ; SDAG-X86-LABEL: select_cmp_cmov_i16: |
| ; SDAG-X86: ## %bb.0: |
| ; SDAG-X86-NEXT: movl {{[0-9]+}}(%esp), %ecx |
| ; SDAG-X86-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; SDAG-X86-NEXT: cmpw %cx, %ax |
| ; SDAG-X86-NEXT: jb LBB2_2 |
| ; SDAG-X86-NEXT: ## %bb.1: |
| ; SDAG-X86-NEXT: movl %ecx, %eax |
| ; SDAG-X86-NEXT: LBB2_2: |
| ; SDAG-X86-NEXT: movzwl %ax, %eax |
| ; SDAG-X86-NEXT: retl |
| ; |
| ; SDAG-X86-CMOV-LABEL: select_cmp_cmov_i16: |
| ; SDAG-X86-CMOV: ## %bb.0: |
| ; SDAG-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; SDAG-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %ecx |
| ; SDAG-X86-CMOV-NEXT: cmpw %ax, %cx |
| ; SDAG-X86-CMOV-NEXT: cmovbl %ecx, %eax |
| ; SDAG-X86-CMOV-NEXT: movzwl %ax, %eax |
| ; SDAG-X86-CMOV-NEXT: retl |
| ; |
| ; FAST-X86-LABEL: select_cmp_cmov_i16: |
| ; FAST-X86: ## %bb.0: |
| ; FAST-X86-NEXT: movzwl {{[0-9]+}}(%esp), %ecx |
| ; FAST-X86-NEXT: movzwl {{[0-9]+}}(%esp), %eax |
| ; FAST-X86-NEXT: cmpw %cx, %ax |
| ; FAST-X86-NEXT: jb LBB2_2 |
| ; FAST-X86-NEXT: ## %bb.1: |
| ; FAST-X86-NEXT: movl %ecx, %eax |
| ; FAST-X86-NEXT: LBB2_2: |
| ; FAST-X86-NEXT: movzwl %ax, %eax |
| ; FAST-X86-NEXT: retl |
| ; |
| ; FAST-X86-CMOV-LABEL: select_cmp_cmov_i16: |
| ; FAST-X86-CMOV: ## %bb.0: |
| ; FAST-X86-CMOV-NEXT: movzwl {{[0-9]+}}(%esp), %eax |
| ; FAST-X86-CMOV-NEXT: movzwl {{[0-9]+}}(%esp), %ecx |
| ; FAST-X86-CMOV-NEXT: cmpw %ax, %cx |
| ; FAST-X86-CMOV-NEXT: cmovbw %cx, %ax |
| ; FAST-X86-CMOV-NEXT: movzwl %ax, %eax |
| ; FAST-X86-CMOV-NEXT: retl |
| ; |
| ; GISEL-X86-LABEL: select_cmp_cmov_i16: |
| ; GISEL-X86: ## %bb.0: |
| ; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %ecx |
| ; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; GISEL-X86-NEXT: xorl %edx, %edx |
| ; GISEL-X86-NEXT: cmpw %ax, %cx |
| ; GISEL-X86-NEXT: setb %dl |
| ; GISEL-X86-NEXT: andl $1, %edx |
| ; GISEL-X86-NEXT: je LBB2_2 |
| ; GISEL-X86-NEXT: ## %bb.1: |
| ; GISEL-X86-NEXT: movl %ecx, %eax |
| ; GISEL-X86-NEXT: LBB2_2: |
| ; GISEL-X86-NEXT: ## kill: def $ax killed $ax killed $eax |
| ; GISEL-X86-NEXT: retl |
| ; |
| ; GISEL-X86-CMOV-LABEL: select_cmp_cmov_i16: |
| ; GISEL-X86-CMOV: ## %bb.0: |
| ; GISEL-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; GISEL-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %ecx |
| ; GISEL-X86-CMOV-NEXT: xorl %edx, %edx |
| ; GISEL-X86-CMOV-NEXT: cmpw %cx, %ax |
| ; GISEL-X86-CMOV-NEXT: setb %dl |
| ; GISEL-X86-CMOV-NEXT: andl $1, %edx |
| ; GISEL-X86-CMOV-NEXT: cmovew %cx, %ax |
| ; GISEL-X86-CMOV-NEXT: ## kill: def $ax killed $ax killed $eax |
| ; GISEL-X86-CMOV-NEXT: retl |
| ; |
| ; NDD-LABEL: select_cmp_cmov_i16: |
| ; NDD: ## %bb.0: |
| ; NDD-NEXT: cmpw %si, %di |
| ; NDD-NEXT: cmovbw %di, %si, %ax |
| ; NDD-NEXT: movzwl %ax, %eax |
| ; NDD-NEXT: retq |
| %1 = icmp ult i16 %a, %b |
| %2 = select i1 %1, i16 %a, i16 %b |
| ret i16 %2 |
| } |
| |
| define i32 @select_cmov_i32(i1 zeroext %cond, i32 %a, i32 %b) { |
| ; SDAG-X64-LABEL: select_cmov_i32: |
| ; SDAG-X64: ## %bb.0: |
| ; SDAG-X64-NEXT: movl %esi, %eax |
| ; SDAG-X64-NEXT: testl %edi, %edi |
| ; SDAG-X64-NEXT: cmovel %edx, %eax |
| ; SDAG-X64-NEXT: retq |
| ; |
| ; FAST-X64-LABEL: select_cmov_i32: |
| ; FAST-X64: ## %bb.0: |
| ; FAST-X64-NEXT: movl %esi, %eax |
| ; FAST-X64-NEXT: testb $1, %dil |
| ; FAST-X64-NEXT: cmovel %edx, %eax |
| ; FAST-X64-NEXT: retq |
| ; |
| ; GISEL-X64-LABEL: select_cmov_i32: |
| ; GISEL-X64: ## %bb.0: |
| ; GISEL-X64-NEXT: movl %edx, %eax |
| ; GISEL-X64-NEXT: testl %edi, %edi |
| ; GISEL-X64-NEXT: cmovnel %esi, %eax |
| ; GISEL-X64-NEXT: retq |
| ; |
| ; SDAG-X86-LABEL: select_cmov_i32: |
| ; SDAG-X86: ## %bb.0: |
| ; SDAG-X86-NEXT: cmpb $0, {{[0-9]+}}(%esp) |
| ; SDAG-X86-NEXT: jne LBB3_1 |
| ; SDAG-X86-NEXT: ## %bb.2: |
| ; SDAG-X86-NEXT: leal {{[0-9]+}}(%esp), %eax |
| ; SDAG-X86-NEXT: movl (%eax), %eax |
| ; SDAG-X86-NEXT: retl |
| ; SDAG-X86-NEXT: LBB3_1: |
| ; SDAG-X86-NEXT: leal {{[0-9]+}}(%esp), %eax |
| ; SDAG-X86-NEXT: movl (%eax), %eax |
| ; SDAG-X86-NEXT: retl |
| ; |
| ; SDAG-X86-CMOV-LABEL: select_cmov_i32: |
| ; SDAG-X86-CMOV: ## %bb.0: |
| ; SDAG-X86-CMOV-NEXT: cmpb $0, {{[0-9]+}}(%esp) |
| ; SDAG-X86-CMOV-NEXT: leal {{[0-9]+}}(%esp), %eax |
| ; SDAG-X86-CMOV-NEXT: leal {{[0-9]+}}(%esp), %ecx |
| ; SDAG-X86-CMOV-NEXT: cmovnel %eax, %ecx |
| ; SDAG-X86-CMOV-NEXT: movl (%ecx), %eax |
| ; SDAG-X86-CMOV-NEXT: retl |
| ; |
| ; FAST-X86-LABEL: select_cmov_i32: |
| ; FAST-X86: ## %bb.0: |
| ; FAST-X86-NEXT: testb $1, {{[0-9]+}}(%esp) |
| ; FAST-X86-NEXT: jne LBB3_1 |
| ; FAST-X86-NEXT: ## %bb.2: |
| ; FAST-X86-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; FAST-X86-NEXT: retl |
| ; FAST-X86-NEXT: LBB3_1: |
| ; FAST-X86-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; FAST-X86-NEXT: retl |
| ; |
| ; FAST-X86-CMOV-LABEL: select_cmov_i32: |
| ; FAST-X86-CMOV: ## %bb.0: |
| ; FAST-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; FAST-X86-CMOV-NEXT: testb $1, {{[0-9]+}}(%esp) |
| ; FAST-X86-CMOV-NEXT: cmovel {{[0-9]+}}(%esp), %eax |
| ; FAST-X86-CMOV-NEXT: retl |
| ; |
| ; GISEL-X86-LABEL: select_cmov_i32: |
| ; GISEL-X86: ## %bb.0: |
| ; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; GISEL-X86-NEXT: testl %eax, %eax |
| ; GISEL-X86-NEXT: je LBB3_1 |
| ; GISEL-X86-NEXT: ## %bb.2: |
| ; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; GISEL-X86-NEXT: retl |
| ; GISEL-X86-NEXT: LBB3_1: |
| ; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; GISEL-X86-NEXT: retl |
| ; |
| ; GISEL-X86-CMOV-LABEL: select_cmov_i32: |
| ; GISEL-X86-CMOV: ## %bb.0: |
| ; GISEL-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %ecx |
| ; GISEL-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; GISEL-X86-CMOV-NEXT: testl %ecx, %ecx |
| ; GISEL-X86-CMOV-NEXT: cmovnel {{[0-9]+}}(%esp), %eax |
| ; GISEL-X86-CMOV-NEXT: retl |
| ; |
| ; NDD-LABEL: select_cmov_i32: |
| ; NDD: ## %bb.0: |
| ; NDD-NEXT: testb $1, %dil |
| ; NDD-NEXT: cmovnel %esi, %edx, %eax |
| ; NDD-NEXT: retq |
| %1 = select i1 %cond, i32 %a, i32 %b |
| ret i32 %1 |
| } |
| |
| define i32 @select_cmp_cmov_i32(i32 %a, i32 %b) { |
| ; SDAG-X64-LABEL: select_cmp_cmov_i32: |
| ; SDAG-X64: ## %bb.0: |
| ; SDAG-X64-NEXT: movl %esi, %eax |
| ; SDAG-X64-NEXT: cmpl %esi, %edi |
| ; SDAG-X64-NEXT: cmovbl %edi, %eax |
| ; SDAG-X64-NEXT: retq |
| ; |
| ; FAST-X64-LABEL: select_cmp_cmov_i32: |
| ; FAST-X64: ## %bb.0: |
| ; FAST-X64-NEXT: movl %esi, %eax |
| ; FAST-X64-NEXT: cmpl %esi, %edi |
| ; FAST-X64-NEXT: cmovbl %edi, %eax |
| ; FAST-X64-NEXT: retq |
| ; |
| ; GISEL-X64-LABEL: select_cmp_cmov_i32: |
| ; GISEL-X64: ## %bb.0: |
| ; GISEL-X64-NEXT: movl %edi, %eax |
| ; GISEL-X64-NEXT: xorl %ecx, %ecx |
| ; GISEL-X64-NEXT: cmpl %esi, %edi |
| ; GISEL-X64-NEXT: setb %cl |
| ; GISEL-X64-NEXT: andl $1, %ecx |
| ; GISEL-X64-NEXT: cmovel %esi, %eax |
| ; GISEL-X64-NEXT: retq |
| ; |
| ; SDAG-X86-LABEL: select_cmp_cmov_i32: |
| ; SDAG-X86: ## %bb.0: |
| ; SDAG-X86-NEXT: movl {{[0-9]+}}(%esp), %ecx |
| ; SDAG-X86-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; SDAG-X86-NEXT: cmpl %ecx, %eax |
| ; SDAG-X86-NEXT: jb LBB4_2 |
| ; SDAG-X86-NEXT: ## %bb.1: |
| ; SDAG-X86-NEXT: movl %ecx, %eax |
| ; SDAG-X86-NEXT: LBB4_2: |
| ; SDAG-X86-NEXT: retl |
| ; |
| ; SDAG-X86-CMOV-LABEL: select_cmp_cmov_i32: |
| ; SDAG-X86-CMOV: ## %bb.0: |
| ; SDAG-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; SDAG-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %ecx |
| ; SDAG-X86-CMOV-NEXT: cmpl %eax, %ecx |
| ; SDAG-X86-CMOV-NEXT: cmovbl %ecx, %eax |
| ; SDAG-X86-CMOV-NEXT: retl |
| ; |
| ; FAST-X86-LABEL: select_cmp_cmov_i32: |
| ; FAST-X86: ## %bb.0: |
| ; FAST-X86-NEXT: movl {{[0-9]+}}(%esp), %ecx |
| ; FAST-X86-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; FAST-X86-NEXT: cmpl %ecx, %eax |
| ; FAST-X86-NEXT: jb LBB4_2 |
| ; FAST-X86-NEXT: ## %bb.1: |
| ; FAST-X86-NEXT: movl %ecx, %eax |
| ; FAST-X86-NEXT: LBB4_2: |
| ; FAST-X86-NEXT: retl |
| ; |
| ; FAST-X86-CMOV-LABEL: select_cmp_cmov_i32: |
| ; FAST-X86-CMOV: ## %bb.0: |
| ; FAST-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; FAST-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %ecx |
| ; FAST-X86-CMOV-NEXT: cmpl %eax, %ecx |
| ; FAST-X86-CMOV-NEXT: cmovbl %ecx, %eax |
| ; FAST-X86-CMOV-NEXT: retl |
| ; |
| ; GISEL-X86-LABEL: select_cmp_cmov_i32: |
| ; GISEL-X86: ## %bb.0: |
| ; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %ecx |
| ; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; GISEL-X86-NEXT: xorl %edx, %edx |
| ; GISEL-X86-NEXT: cmpl %eax, %ecx |
| ; GISEL-X86-NEXT: setb %dl |
| ; GISEL-X86-NEXT: andl $1, %edx |
| ; GISEL-X86-NEXT: je LBB4_2 |
| ; GISEL-X86-NEXT: ## %bb.1: |
| ; GISEL-X86-NEXT: movl %ecx, %eax |
| ; GISEL-X86-NEXT: LBB4_2: |
| ; GISEL-X86-NEXT: retl |
| ; |
| ; GISEL-X86-CMOV-LABEL: select_cmp_cmov_i32: |
| ; GISEL-X86-CMOV: ## %bb.0: |
| ; GISEL-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; GISEL-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %ecx |
| ; GISEL-X86-CMOV-NEXT: xorl %edx, %edx |
| ; GISEL-X86-CMOV-NEXT: cmpl %ecx, %eax |
| ; GISEL-X86-CMOV-NEXT: setb %dl |
| ; GISEL-X86-CMOV-NEXT: andl $1, %edx |
| ; GISEL-X86-CMOV-NEXT: cmovel %ecx, %eax |
| ; GISEL-X86-CMOV-NEXT: retl |
| ; |
| ; NDD-LABEL: select_cmp_cmov_i32: |
| ; NDD: ## %bb.0: |
| ; NDD-NEXT: cmpl %esi, %edi |
| ; NDD-NEXT: cmovbl %edi, %esi, %eax |
| ; NDD-NEXT: retq |
| %1 = icmp ult i32 %a, %b |
| %2 = select i1 %1, i32 %a, i32 %b |
| ret i32 %2 |
| } |
| |
| define i64 @select_cmov_i64(i1 zeroext %cond, i64 %a, i64 %b) { |
| ; SDAG-X64-LABEL: select_cmov_i64: |
| ; SDAG-X64: ## %bb.0: |
| ; SDAG-X64-NEXT: movq %rsi, %rax |
| ; SDAG-X64-NEXT: testl %edi, %edi |
| ; SDAG-X64-NEXT: cmoveq %rdx, %rax |
| ; SDAG-X64-NEXT: retq |
| ; |
| ; FAST-X64-LABEL: select_cmov_i64: |
| ; FAST-X64: ## %bb.0: |
| ; FAST-X64-NEXT: movq %rsi, %rax |
| ; FAST-X64-NEXT: testb $1, %dil |
| ; FAST-X64-NEXT: cmoveq %rdx, %rax |
| ; FAST-X64-NEXT: retq |
| ; |
| ; GISEL-X64-LABEL: select_cmov_i64: |
| ; GISEL-X64: ## %bb.0: |
| ; GISEL-X64-NEXT: movq %rdx, %rax |
| ; GISEL-X64-NEXT: testl %edi, %edi |
| ; GISEL-X64-NEXT: cmovneq %rsi, %rax |
| ; GISEL-X64-NEXT: retq |
| ; |
| ; SDAG-X86-LABEL: select_cmov_i64: |
| ; SDAG-X86: ## %bb.0: |
| ; SDAG-X86-NEXT: cmpb $0, {{[0-9]+}}(%esp) |
| ; SDAG-X86-NEXT: jne LBB5_1 |
| ; SDAG-X86-NEXT: ## %bb.2: |
| ; SDAG-X86-NEXT: leal {{[0-9]+}}(%esp), %ecx |
| ; SDAG-X86-NEXT: jmp LBB5_3 |
| ; SDAG-X86-NEXT: LBB5_1: |
| ; SDAG-X86-NEXT: leal {{[0-9]+}}(%esp), %ecx |
| ; SDAG-X86-NEXT: LBB5_3: |
| ; SDAG-X86-NEXT: movl (%ecx), %eax |
| ; SDAG-X86-NEXT: movl 4(%ecx), %edx |
| ; SDAG-X86-NEXT: retl |
| ; |
| ; SDAG-X86-CMOV-LABEL: select_cmov_i64: |
| ; SDAG-X86-CMOV: ## %bb.0: |
| ; SDAG-X86-CMOV-NEXT: cmpb $0, {{[0-9]+}}(%esp) |
| ; SDAG-X86-CMOV-NEXT: leal {{[0-9]+}}(%esp), %eax |
| ; SDAG-X86-CMOV-NEXT: leal {{[0-9]+}}(%esp), %ecx |
| ; SDAG-X86-CMOV-NEXT: cmovnel %eax, %ecx |
| ; SDAG-X86-CMOV-NEXT: movl (%ecx), %eax |
| ; SDAG-X86-CMOV-NEXT: movl 4(%ecx), %edx |
| ; SDAG-X86-CMOV-NEXT: retl |
| ; |
| ; FAST-X86-LABEL: select_cmov_i64: |
| ; FAST-X86: ## %bb.0: |
| ; FAST-X86-NEXT: cmpb $0, {{[0-9]+}}(%esp) |
| ; FAST-X86-NEXT: jne LBB5_1 |
| ; FAST-X86-NEXT: ## %bb.2: |
| ; FAST-X86-NEXT: movl {{[0-9]+}}(%esp), %edx |
| ; FAST-X86-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; FAST-X86-NEXT: retl |
| ; FAST-X86-NEXT: LBB5_1: |
| ; FAST-X86-NEXT: movl {{[0-9]+}}(%esp), %edx |
| ; FAST-X86-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; FAST-X86-NEXT: retl |
| ; |
| ; FAST-X86-CMOV-LABEL: select_cmov_i64: |
| ; FAST-X86-CMOV: ## %bb.0: |
| ; FAST-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %edx |
| ; FAST-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; FAST-X86-CMOV-NEXT: cmpb $0, {{[0-9]+}}(%esp) |
| ; FAST-X86-CMOV-NEXT: cmovel {{[0-9]+}}(%esp), %eax |
| ; FAST-X86-CMOV-NEXT: cmovel {{[0-9]+}}(%esp), %edx |
| ; FAST-X86-CMOV-NEXT: retl |
| ; |
| ; GISEL-X86-LABEL: select_cmov_i64: |
| ; GISEL-X86: ## %bb.0: |
| ; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %ecx |
| ; GISEL-X86-NEXT: testl %ecx, %ecx |
| ; GISEL-X86-NEXT: je LBB5_1 |
| ; GISEL-X86-NEXT: ## %bb.2: |
| ; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; GISEL-X86-NEXT: testl %ecx, %ecx |
| ; GISEL-X86-NEXT: jne LBB5_5 |
| ; GISEL-X86-NEXT: LBB5_4: |
| ; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %edx |
| ; GISEL-X86-NEXT: retl |
| ; GISEL-X86-NEXT: LBB5_1: |
| ; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; GISEL-X86-NEXT: testl %ecx, %ecx |
| ; GISEL-X86-NEXT: je LBB5_4 |
| ; GISEL-X86-NEXT: LBB5_5: |
| ; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %edx |
| ; GISEL-X86-NEXT: retl |
| ; |
| ; GISEL-X86-CMOV-LABEL: select_cmov_i64: |
| ; GISEL-X86-CMOV: ## %bb.0: |
| ; GISEL-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %ecx |
| ; GISEL-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; GISEL-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %edx |
| ; GISEL-X86-CMOV-NEXT: testl %ecx, %ecx |
| ; GISEL-X86-CMOV-NEXT: cmovnel {{[0-9]+}}(%esp), %eax |
| ; GISEL-X86-CMOV-NEXT: cmovnel {{[0-9]+}}(%esp), %edx |
| ; GISEL-X86-CMOV-NEXT: retl |
| ; |
| ; NDD-LABEL: select_cmov_i64: |
| ; NDD: ## %bb.0: |
| ; NDD-NEXT: testb $1, %dil |
| ; NDD-NEXT: cmovneq %rsi, %rdx, %rax |
| ; NDD-NEXT: retq |
| %1 = select i1 %cond, i64 %a, i64 %b |
| ret i64 %1 |
| } |
| |
| define i64 @select_cmp_cmov_i64(i64 %a, i64 %b) nounwind { |
| ; SDAG-X64-LABEL: select_cmp_cmov_i64: |
| ; SDAG-X64: ## %bb.0: |
| ; SDAG-X64-NEXT: movq %rsi, %rax |
| ; SDAG-X64-NEXT: cmpq %rsi, %rdi |
| ; SDAG-X64-NEXT: cmovbq %rdi, %rax |
| ; SDAG-X64-NEXT: retq |
| ; |
| ; FAST-X64-LABEL: select_cmp_cmov_i64: |
| ; FAST-X64: ## %bb.0: |
| ; FAST-X64-NEXT: movq %rsi, %rax |
| ; FAST-X64-NEXT: cmpq %rsi, %rdi |
| ; FAST-X64-NEXT: cmovbq %rdi, %rax |
| ; FAST-X64-NEXT: retq |
| ; |
| ; GISEL-X64-LABEL: select_cmp_cmov_i64: |
| ; GISEL-X64: ## %bb.0: |
| ; GISEL-X64-NEXT: movq %rdi, %rax |
| ; GISEL-X64-NEXT: xorl %ecx, %ecx |
| ; GISEL-X64-NEXT: cmpq %rsi, %rdi |
| ; GISEL-X64-NEXT: setb %cl |
| ; GISEL-X64-NEXT: andl $1, %ecx |
| ; GISEL-X64-NEXT: cmoveq %rsi, %rax |
| ; GISEL-X64-NEXT: retq |
| ; |
| ; SDAG-X86-LABEL: select_cmp_cmov_i64: |
| ; SDAG-X86: ## %bb.0: |
| ; SDAG-X86-NEXT: pushl %edi |
| ; SDAG-X86-NEXT: pushl %esi |
| ; SDAG-X86-NEXT: movl {{[0-9]+}}(%esp), %ecx |
| ; SDAG-X86-NEXT: movl {{[0-9]+}}(%esp), %esi |
| ; SDAG-X86-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; SDAG-X86-NEXT: movl {{[0-9]+}}(%esp), %edx |
| ; SDAG-X86-NEXT: cmpl %ecx, %eax |
| ; SDAG-X86-NEXT: movl %edx, %edi |
| ; SDAG-X86-NEXT: sbbl %esi, %edi |
| ; SDAG-X86-NEXT: jb LBB6_2 |
| ; SDAG-X86-NEXT: ## %bb.1: |
| ; SDAG-X86-NEXT: movl %ecx, %eax |
| ; SDAG-X86-NEXT: movl %esi, %edx |
| ; SDAG-X86-NEXT: LBB6_2: |
| ; SDAG-X86-NEXT: popl %esi |
| ; SDAG-X86-NEXT: popl %edi |
| ; SDAG-X86-NEXT: retl |
| ; |
| ; SDAG-X86-CMOV-LABEL: select_cmp_cmov_i64: |
| ; SDAG-X86-CMOV: ## %bb.0: |
| ; SDAG-X86-CMOV-NEXT: pushl %edi |
| ; SDAG-X86-CMOV-NEXT: pushl %esi |
| ; SDAG-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; SDAG-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %edx |
| ; SDAG-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %ecx |
| ; SDAG-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %esi |
| ; SDAG-X86-CMOV-NEXT: cmpl %eax, %ecx |
| ; SDAG-X86-CMOV-NEXT: movl %esi, %edi |
| ; SDAG-X86-CMOV-NEXT: sbbl %edx, %edi |
| ; SDAG-X86-CMOV-NEXT: cmovbl %ecx, %eax |
| ; SDAG-X86-CMOV-NEXT: cmovbl %esi, %edx |
| ; SDAG-X86-CMOV-NEXT: popl %esi |
| ; SDAG-X86-CMOV-NEXT: popl %edi |
| ; SDAG-X86-CMOV-NEXT: retl |
| ; |
| ; FAST-X86-LABEL: select_cmp_cmov_i64: |
| ; FAST-X86: ## %bb.0: |
| ; FAST-X86-NEXT: pushl %edi |
| ; FAST-X86-NEXT: pushl %esi |
| ; FAST-X86-NEXT: movl {{[0-9]+}}(%esp), %ecx |
| ; FAST-X86-NEXT: movl {{[0-9]+}}(%esp), %esi |
| ; FAST-X86-NEXT: movl {{[0-9]+}}(%esp), %edx |
| ; FAST-X86-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; FAST-X86-NEXT: cmpl %esi, %eax |
| ; FAST-X86-NEXT: movl %edx, %edi |
| ; FAST-X86-NEXT: sbbl %ecx, %edi |
| ; FAST-X86-NEXT: jb LBB6_2 |
| ; FAST-X86-NEXT: ## %bb.1: |
| ; FAST-X86-NEXT: movl %esi, %eax |
| ; FAST-X86-NEXT: movl %ecx, %edx |
| ; FAST-X86-NEXT: LBB6_2: |
| ; FAST-X86-NEXT: popl %esi |
| ; FAST-X86-NEXT: popl %edi |
| ; FAST-X86-NEXT: retl |
| ; |
| ; FAST-X86-CMOV-LABEL: select_cmp_cmov_i64: |
| ; FAST-X86-CMOV: ## %bb.0: |
| ; FAST-X86-CMOV-NEXT: pushl %edi |
| ; FAST-X86-CMOV-NEXT: pushl %esi |
| ; FAST-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %edx |
| ; FAST-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; FAST-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %ecx |
| ; FAST-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %esi |
| ; FAST-X86-CMOV-NEXT: cmpl %eax, %esi |
| ; FAST-X86-CMOV-NEXT: movl %ecx, %edi |
| ; FAST-X86-CMOV-NEXT: sbbl %edx, %edi |
| ; FAST-X86-CMOV-NEXT: cmovbl %esi, %eax |
| ; FAST-X86-CMOV-NEXT: cmovbl %ecx, %edx |
| ; FAST-X86-CMOV-NEXT: popl %esi |
| ; FAST-X86-CMOV-NEXT: popl %edi |
| ; FAST-X86-CMOV-NEXT: retl |
| ; |
| ; GISEL-X86-LABEL: select_cmp_cmov_i64: |
| ; GISEL-X86: ## %bb.0: |
| ; GISEL-X86-NEXT: pushl %ebp |
| ; GISEL-X86-NEXT: pushl %ebx |
| ; GISEL-X86-NEXT: pushl %edi |
| ; GISEL-X86-NEXT: pushl %esi |
| ; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %esi |
| ; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %ebp |
| ; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %eax |
| ; GISEL-X86-NEXT: movl {{[0-9]+}}(%esp), %edx |
| ; GISEL-X86-NEXT: cmpl %eax, %esi |
| ; GISEL-X86-NEXT: setb %bl |
| ; GISEL-X86-NEXT: xorl %ecx, %ecx |
| ; GISEL-X86-NEXT: cmpl %edx, %ebp |
| ; GISEL-X86-NEXT: setb %bh |
| ; GISEL-X86-NEXT: sete %cl |
| ; GISEL-X86-NEXT: testl %ecx, %ecx |
| ; GISEL-X86-NEXT: je LBB6_2 |
| ; GISEL-X86-NEXT: ## %bb.1: |
| ; GISEL-X86-NEXT: movb %bl, %bh |
| ; GISEL-X86-NEXT: LBB6_2: |
| ; GISEL-X86-NEXT: movzbl %bh, %edi |
| ; GISEL-X86-NEXT: andl $1, %edi |
| ; GISEL-X86-NEXT: je LBB6_4 |
| ; GISEL-X86-NEXT: ## %bb.3: |
| ; GISEL-X86-NEXT: movl %esi, %eax |
| ; GISEL-X86-NEXT: LBB6_4: |
| ; GISEL-X86-NEXT: testl %edi, %edi |
| ; GISEL-X86-NEXT: je LBB6_6 |
| ; GISEL-X86-NEXT: ## %bb.5: |
| ; GISEL-X86-NEXT: movl %ebp, %edx |
| ; GISEL-X86-NEXT: LBB6_6: |
| ; GISEL-X86-NEXT: popl %esi |
| ; GISEL-X86-NEXT: popl %edi |
| ; GISEL-X86-NEXT: popl %ebx |
| ; GISEL-X86-NEXT: popl %ebp |
| ; GISEL-X86-NEXT: retl |
| ; |
| ; GISEL-X86-CMOV-LABEL: select_cmp_cmov_i64: |
| ; GISEL-X86-CMOV: ## %bb.0: |
| ; GISEL-X86-CMOV-NEXT: pushl %ebp |
| ; GISEL-X86-CMOV-NEXT: pushl %ebx |
| ; GISEL-X86-CMOV-NEXT: pushl %edi |
| ; GISEL-X86-CMOV-NEXT: pushl %esi |
| ; GISEL-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %ebp |
| ; GISEL-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %edx |
| ; GISEL-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %esi |
| ; GISEL-X86-CMOV-NEXT: movl {{[0-9]+}}(%esp), %edi |
| ; GISEL-X86-CMOV-NEXT: xorl %ecx, %ecx |
| ; GISEL-X86-CMOV-NEXT: cmpl %esi, %ebp |
| ; GISEL-X86-CMOV-NEXT: setb %cl |
| ; GISEL-X86-CMOV-NEXT: xorl %ebx, %ebx |
| ; GISEL-X86-CMOV-NEXT: xorl %eax, %eax |
| ; GISEL-X86-CMOV-NEXT: cmpl %edi, %edx |
| ; GISEL-X86-CMOV-NEXT: setb %bl |
| ; GISEL-X86-CMOV-NEXT: sete %al |
| ; GISEL-X86-CMOV-NEXT: testl %eax, %eax |
| ; GISEL-X86-CMOV-NEXT: cmovnew %cx, %bx |
| ; GISEL-X86-CMOV-NEXT: andl $1, %ebx |
| ; GISEL-X86-CMOV-NEXT: cmovel %esi, %ebp |
| ; GISEL-X86-CMOV-NEXT: cmovel %edi, %edx |
| ; GISEL-X86-CMOV-NEXT: movl %ebp, %eax |
| ; GISEL-X86-CMOV-NEXT: popl %esi |
| ; GISEL-X86-CMOV-NEXT: popl %edi |
| ; GISEL-X86-CMOV-NEXT: popl %ebx |
| ; GISEL-X86-CMOV-NEXT: popl %ebp |
| ; GISEL-X86-CMOV-NEXT: retl |
| ; |
| ; NDD-LABEL: select_cmp_cmov_i64: |
| ; NDD: ## %bb.0: |
| ; NDD-NEXT: cmpq %rsi, %rdi |
| ; NDD-NEXT: cmovbq %rdi, %rsi, %rax |
| ; NDD-NEXT: retq |
| %1 = icmp ult i64 %a, %b |
| %2 = select i1 %1, i64 %a, i64 %b |
| ret i64 %2 |
| } |
| |