llvm/test/CodeGen/X86/negative-stride-fptosi-user.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=x86_64-- | FileCheck %s
   3
   4 ; LSR previously eliminated the sitofp by introducing an induction
   5 ; variable which stepped by a bogus ((double)UINT32_C(-1)). It's theoretically
   6 ; possible to eliminate the sitofp using a proper -1.0 step though; this
   7 ; test should be changed if that is done.
   8
   9 define void @foo(i32 %N) nounwind {
  10 ; CHECK-LABEL: foo:
  11 ; CHECK:       # %bb.0: # %entry
  12 ; CHECK-NEXT:    pushq %rbp
  13 ; CHECK-NEXT:    pushq %rbx
  14 ; CHECK-NEXT:    pushq %rax
  15 ; CHECK-NEXT:    testl %edi, %edi
  16 ; CHECK-NEXT:    jns .LBB0_3
  17 ; CHECK-NEXT:  # %bb.1: # %bb.preheader
  18 ; CHECK-NEXT:    movl %edi, %ebx
  19 ; CHECK-NEXT:    xorl %ebp, %ebp
  20 ; CHECK-NEXT:    .p2align 4, 0x90
  21 ; CHECK-NEXT:  .LBB0_2: # %bb
  22 ; CHECK-NEXT:    # =>This Inner Loop Header: Depth=1
  23 ; CHECK-NEXT:    xorps %xmm0, %xmm0
  24 ; CHECK-NEXT:    cvtsi2sd %ebp, %xmm0
  25 ; CHECK-NEXT:    callq bar@PLT
  26 ; CHECK-NEXT:    decl %ebp
  27 ; CHECK-NEXT:    cmpl %ebp, %ebx
  28 ; CHECK-NEXT:    jne .LBB0_2
  29 ; CHECK-NEXT:  .LBB0_3: # %return
  30 ; CHECK-NEXT:    addq $8, %rsp
  31 ; CHECK-NEXT:    popq %rbx
  32 ; CHECK-NEXT:    popq %rbp
  33 ; CHECK-NEXT:    retq
  34 entry:
  35   %0 = icmp slt i32 %N, 0                         ; <i1> [#uses=1]
  36   br i1 %0, label %bb, label %return
  37
  38 bb:                                               ; preds = %bb, %entry
  39   %i.03 = phi i32 [ 0, %entry ], [ %2, %bb ]      ; <i32> [#uses=2]
  40   %1 = sitofp i32 %i.03 to double                  ; <double> [#uses=1]
  41   tail call void @bar(double %1) nounwind
  42   %2 = add nsw i32 %i.03, -1                       ; <i32> [#uses=2]
  43   %exitcond = icmp eq i32 %2, %N                  ; <i1> [#uses=1]
  44   br i1 %exitcond, label %return, label %bb
  45
  46 return:                                           ; preds = %bb, %entry
  47   ret void
  48 }
  49
  50 declare void @bar(double)