llvm/test/CodeGen/X86/pr53990-incorrect-machine-sink.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
   2 ; RUN: llc -mtriple=x86_64-- < %s | FileCheck %s
   3
   4 declare void @clobber()
   5
   6 define void @test(i1 %c, ptr %p, ptr noalias %p2) nounwind {
   7 ; CHECK-LABEL: test:
   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, %rbx
  13 ; CHECK-NEXT:    movl %edi, %r14d
  14 ; CHECK-NEXT:    movq (%rsi), %rbp
  15 ; CHECK-NEXT:    xorl %eax, %eax
  16 ; CHECK-NEXT:    jmpq *.LJTI0_0(,%rax,8)
  17 ; CHECK-NEXT:  .LBB0_1: # %split.3
  18 ; CHECK-NEXT:    testb $1, %r14b
  19 ; CHECK-NEXT:    je .LBB0_3
  20 ; CHECK-NEXT:  # %bb.2: # %clobber
  21 ; CHECK-NEXT:    callq clobber@PLT
  22 ; CHECK-NEXT:  .LBB0_3: # %sink
  23 ; CHECK-NEXT:    movq %rbp, (%rbx)
  24 ; CHECK-NEXT:  .LBB0_4: # %latch
  25 ; CHECK-NEXT:    # =>This Inner Loop Header: Depth=1
  26 ; CHECK-NEXT:    xorl %eax, %eax
  27 ; CHECK-NEXT:    jmpq *.LJTI0_0(,%rax,8)
  28 entry:
  29   %val = load i64, ptr %p, align 8
  30   br label %loop
  31
  32 loop:
  33   switch i8 undef, label %unreachable [
  34     i8 0, label %latch
  35     i8 1, label %split.1
  36     i8 2, label %split.2
  37     i8 3, label %split.3
  38   ]
  39
  40 unreachable:
  41   unreachable
  42
  43 split.3:
  44   br i1 %c, label %clobber, label %sink
  45
  46 split.1:
  47   br label %latch
  48
  49 split.2:
  50   br label %latch
  51
  52 clobber:
  53   call void @clobber()
  54   br label %sink
  55
  56 sink:
  57   store i64 %val, ptr %p2, align 8
  58   br label %latch
  59
  60 latch:
  61   %phi = phi i64 [ 0, %sink ], [ 0, %split.2 ], [ 1, %split.1 ], [ 0, %loop ]
  62   %phi.live = add i64 %phi, 0
  63   br label %loop
  64 }