test/CodeGen/X86/pr23603.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc < %s -mtriple=x86_64-unknown-unknown | FileCheck %s
   3
   4 declare void @free_v()
   5
   6 define void @f(i32* %x, i32 %c32, i32* %y) nounwind {
   7 ; CHECK-LABEL: f:
   8 ; CHECK:       # %bb.0: # %entry
   9 ; CHECK-NEXT:    pushq %rbp
  10 ; CHECK-NEXT:    pushq %r14
  11 ; CHECK-NEXT:    pushq %rbx
  12 ; CHECK-NEXT:    movq %rdx, %r14
  13 ; CHECK-NEXT:    movl %esi, %ebp
  14 ; CHECK-NEXT:    movl (%rdi), %ebx
  15 ; CHECK-NEXT:    callq free_v
  16 ; CHECK-NEXT:    testl %ebp, %ebp
  17 ; CHECK-NEXT:    je .LBB0_2
  18 ; CHECK-NEXT:  # %bb.1: # %left
  19 ; CHECK-NEXT:    movl %ebx, (%r14)
  20 ; CHECK-NEXT:  .LBB0_2: # %merge
  21 ; CHECK-NEXT:    popq %rbx
  22 ; CHECK-NEXT:    popq %r14
  23 ; CHECK-NEXT:    popq %rbp
  24 ; CHECK-NEXT:    retq
  25  entry:
  26   %v = load i32, i32* %x, !invariant.load !0
  27   call void @free_v()
  28   %c = icmp ne i32 %c32, 0
  29   br i1 %c, label %left, label %merge
  30
  31  left:
  32   store i32 %v, i32* %y
  33   br label %merge
  34
  35  merge:
  36   ret void
  37 }
  38
  39 !0 = !{}