1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
2; RUN: llc < %s -mtriple=x86_64-apple-macosx10.15.0 -O0 | FileCheck %s
3
4define i32 @a() {
5; CHECK-LABEL: a:
6; CHECK:       ## %bb.0: ## %entry
7; CHECK-NEXT:    pushq %rax
8; CHECK-NEXT:    .cfi_def_cfa_offset 16
9; CHECK-NEXT:    xorl %eax, %eax
10; CHECK-NEXT:    ## kill: def $al killed $al killed $eax
11; CHECK-NEXT:    callq _b
12; CHECK-NEXT:    cvtsi2sd %eax, %xmm0
13; CHECK-NEXT:    movq _calloc@GOTPCREL(%rip), %rax
14; CHECK-NEXT:    subq $-1, %rax
15; CHECK-NEXT:    setne %al
16; CHECK-NEXT:    movzbl %al, %eax
17; CHECK-NEXT:    movl %eax, %ecx
18; CHECK-NEXT:    leaq {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %rax
19; CHECK-NEXT:    movsd {{.*#+}} xmm1 = mem[0],zero
20; CHECK-NEXT:    ucomisd %xmm1, %xmm0
21; CHECK-NEXT:    setae %al
22; CHECK-NEXT:    movzbl %al, %eax
23; CHECK-NEXT:    movl %eax, %ecx
24; CHECK-NEXT:    leaq {{\.?LCPI[0-9]+_[0-9]+}}(%rip), %rax
25; CHECK-NEXT:    movsd {{.*#+}} xmm0 = mem[0],zero
26; CHECK-NEXT:    cvttsd2si %xmm0, %eax
27; CHECK-NEXT:    popq %rcx
28; CHECK-NEXT:    retq
29entry:
30  %call = call i32 (...) @b()
31  %conv = sitofp i32 %call to double
32  %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
33  %cond = select i1 %cmp, double 1.000000e+00, double 3.140000e+00
34  %conv2 = fptosi double %cond to i32
35  ret i32 %conv2
36}
37
38declare i8* @calloc(i64, i64)
39
40declare i32 @b(...)
41