92 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 52; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+nf | FileCheck %s3; RUN: llc < %s -mtriple=x86_64-unknown-unknown -mattr=+nf -x86-enable-apx-for-relocation=true | FileCheck %s4 5define i32 @flag_copy_1(i32 %x, i32 %y, ptr %pz) nounwind {6; CHECK-LABEL: flag_copy_1:7; CHECK: # %bb.0:8; CHECK-NEXT: movq %rdx, %rcx9; CHECK-NEXT: movl %edi, %eax10; CHECK-NEXT: mull %esi11; CHECK-NEXT: movl (%rcx), %ecx12; CHECK-NEXT: {nf} addl %eax, %ecx13; CHECK-NEXT: cmovol %ecx, %eax14; CHECK-NEXT: retq15 %o = tail call { i32, i1 } @llvm.umul.with.overflow.i32(i32 %x, i32 %y)16 %v1 = extractvalue { i32, i1 } %o, 117 %v2 = extractvalue { i32, i1 } %o, 018 %z = load i32, ptr %pz19 %a = add i32 %v2, %z20 %r = select i1 %v1, i32 %a, i32 %v221 ret i32 %r22}23 24declare <2 x i128> @llvm.ssub.sat.v2i128(<2 x i128>, <2 x i128>)25 26define <2 x i128> @flag_copy_2(<2 x i128> %x, <2 x i128> %y) nounwind {27; CHECK-LABEL: flag_copy_2:28; CHECK: # %bb.0:29; CHECK-NEXT: movq %rdi, %rax30; CHECK-NEXT: subq {{[0-9]+}}(%rsp), %rcx31; CHECK-NEXT: sbbq {{[0-9]+}}(%rsp), %r832; CHECK-NEXT: movq %r8, %rdi33; CHECK-NEXT: {nf} sarq $63, %rdi34; CHECK-NEXT: cmovoq %rdi, %rcx35; CHECK-NEXT: movabsq $-9223372036854775808, %r10 # imm = 0x800000000000000036; CHECK-NEXT: {nf} xorq %r10, %rdi37; CHECK-NEXT: cmovnoq %r8, %rdi38; CHECK-NEXT: subq %r9, %rsi39; CHECK-NEXT: sbbq {{[0-9]+}}(%rsp), %rdx40; CHECK-NEXT: movq %rdx, %r841; CHECK-NEXT: {nf} sarq $63, %r842; CHECK-NEXT: cmovoq %r8, %rsi43; CHECK-NEXT: {nf} xorq %r10, %r844; CHECK-NEXT: cmovnoq %rdx, %r845; CHECK-NEXT: movq %rcx, 16(%rax)46; CHECK-NEXT: movq %rsi, (%rax)47; CHECK-NEXT: movq %rdi, 24(%rax)48; CHECK-NEXT: movq %r8, 8(%rax)49; CHECK-NEXT: retq50 %z = call <2 x i128> @llvm.ssub.sat.v2i128(<2 x i128> %x, <2 x i128> %y)51 ret <2 x i128> %z52}53 54; TODO: Remove the 2nd cmpl by using NF imul.55define void @flag_copy_3(i32 %x, i32 %y, ptr %pa, ptr %pb, ptr %pc) nounwind {56; CHECK-LABEL: flag_copy_3:57; CHECK: # %bb.0: # %entry58; CHECK-NEXT: # kill: def $esi killed $esi def $rsi59; CHECK-NEXT: cmpl $2, %edi60; CHECK-NEXT: jl .LBB2_261; CHECK-NEXT: # %bb.1: # %bb162; CHECK-NEXT: movl %edi, %eax63; CHECK-NEXT: imull %esi, %eax64; CHECK-NEXT: movl %eax, (%rdx)65; CHECK-NEXT: jmp .LBB2_366; CHECK-NEXT: .LBB2_2: # %bb267; CHECK-NEXT: leal -2(%rsi), %eax68; CHECK-NEXT: movl %eax, (%rcx)69; CHECK-NEXT: .LBB2_3: # %bb370; CHECK-NEXT: cmpl $2, %edi71; CHECK-NEXT: cmovgel %edi, %esi72; CHECK-NEXT: movl %esi, (%r8)73; CHECK-NEXT: retq74entry:75 %cmp = icmp sgt i32 %x, 176 br i1 %cmp, label %bb1, label %bb277bb1:78 %add = mul nuw nsw i32 %x, %y79 store i32 %add, ptr %pa80 br label %bb381 82bb2:83 %sub = sub nuw nsw i32 %y, 284 store i32 %sub, ptr %pb85 br label %bb386 87bb3:88 %s = select i1 %cmp, i32 %x, i32 %y89 store i32 %s, ptr %pc90 ret void91}92