Page MenuHomePhabricator
Differential D129478 Diff 443847 llvm/test/CodeGen/X86/pr44749.ll

Changeset View

Standalone View

View Options

llvm/test/CodeGen/X86/pr44749.ll

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -mtriple=x86_64-apple-macosx10.15.0 -O0 | FileCheck %s ; RUN: llc < %s -mtriple=x86_64-apple-macosx10.15.0 -O0 | FileCheck %s
define i32 @a() { define i32 @a() {
; CHECK-LABEL: a: ; CHECK-LABEL: a:
; CHECK: ## %bb.0: ## %entry ; CHECK: ## %bb.0: ## %entry
; CHECK-NEXT: pushq %rax ; CHECK-NEXT: pushq %rax
; CHECK-NEXT: .cfi_def_cfa_offset 16 ; CHECK-NEXT: .cfi_def_cfa_offset 16
; CHECK-NEXT: xorl %eax, %eax ; CHECK-NEXT: xorl %eax, %eax
; CHECK-NEXT: ## kill: def $al killed $al killed $eax ; CHECK-NEXT: ## kill: def $al killed $al killed $eax
; CHECK-NEXT: callq _b ; CHECK-NEXT: callq _b
; CHECK-NEXT: cvtsi2sd %eax, %xmm0 ; CHECK-NEXT: cvtsi2sd %eax, %xmm1
; CHECK-NEXT: movq _calloc@GOTPCREL(%rip), %rax ; CHECK-NEXT: movq _calloc@GOTPCREL(%rip), %rax
; CHECK-NEXT: subq $-1, %rax ; CHECK-NEXT: subq $-1, %rax
; CHECK-NEXT: setne %al ; CHECK-NEXT: setne %al
; CHECK-NEXT: movzbl %al, %eax ; CHECK-NEXT: movzbl %al, %eax
; CHECK-NEXT: movl %eax, %ecx ; CHECK-NEXT: movl %eax, %ecx
; CHECK-NEXT: leaq {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %rax ; CHECK-NEXT: leaq {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %rax
; CHECK-NEXT: movsd {{.*#+}} xmm1 = mem[0],zero
; CHECK-NEXT: ucomisd %xmm1, %xmm0
; CHECK-NEXT: setae %al
; CHECK-NEXT: movzbl %al, %eax
; CHECK-NEXT: movl %eax, %ecx
; CHECK-NEXT: leaq {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %rax
; CHECK-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero ; CHECK-NEXT: movsd {{.*#+}} xmm0 = mem[0],zero
; CHECK-NEXT: movsd {{.*#+}} xmm3 = mem[0],zero
; CHECK-NEXT: movsd {{.*#+}} xmm2 = mem[0],zero
; CHECK-NEXT: cmplesd %xmm1, %xmm0
; CHECK-NEXT: movaps %xmm0, %xmm1
; CHECK-NEXT: andpd %xmm3, %xmm1
; CHECK-NEXT: andnpd %xmm2, %xmm0
; CHECK-NEXT: orpd %xmm1, %xmm0
; CHECK-NEXT: cvttsd2si %xmm0, %eax ; CHECK-NEXT: cvttsd2si %xmm0, %eax
; CHECK-NEXT: popq %rcx ; CHECK-NEXT: popq %rcx
; CHECK-NEXT: retq ; CHECK-NEXT: retq
entry: entry:
%call = call i32 (...) @b() %call = call i32 (...) @b()
%conv = sitofp i32 %call to double %conv = sitofp i32 %call to double
%cmp = fcmp ole double fsub (double sitofp (i32 select (i1 icmp ne (i8* (i64, i64)* bitcast (i8* getelementptr (i8, i8* bitcast (i8* (i64, i64)* @calloc to i8*), i64 1) to i8* (i64, i64)*), i8* (i64, i64)* null), i32 1, i32 0) to double), double 1.000000e+02), %conv %fsub = fsub double sitofp (i32 select (i1 icmp ne (i8* (i64, i64)* bitcast (i8* getelementptr (i8, i8* bitcast (i8* (i64, i64)* @calloc to i8*), i64 1) to i8* (i64, i64)*), i8* (i64, i64)* null), i32 1, i32 0) to double), 1.000000e+02
%cmp = fcmp ole double %fsub, %conv
%cond = select i1 %cmp, double 1.000000e+00, double 3.140000e+00 %cond = select i1 %cmp, double 1.000000e+00, double 3.140000e+00
%conv2 = fptosi double %cond to i32 %conv2 = fptosi double %cond to i32
ret i32 %conv2 ret i32 %conv2
} }
declare i8* @calloc(i64, i64) declare i8* @calloc(i64, i64)
declare i32 @b(...) declare i32 @b(...)