llvm/test/CodeGen/X86/statepoint-cmp-sunk-past-statepoint.ll

   1 ; RUN: llc -max-registers-for-gc-values=256 -verify-machineinstrs -stop-after twoaddressinstruction < %s | FileCheck --check-prefixes CHECK,CHECK-LV %s
   2 ; RUN: llc -max-registers-for-gc-values=256 -verify-machineinstrs -stop-after twoaddressinstruction -early-live-intervals < %s | FileCheck --check-prefixes CHECK,CHECK-LIS %s
   3
   4 target datalayout = "e-m:e-p270:32:32-p271:32:32-p272:64:64-i64:64-f80:128-n8:16:32:64-S128-ni:1-p2:32:8:8:32-ni:2"
   5 target triple = "x86_64-unknown-linux-gnu"
   6
   7 declare void @foo() gc "statepoint-example"
   8 declare void @bar(i8 addrspace(1)*) gc "statepoint-example"
   9
  10 declare i32* @fake_personality_function()
  11
  12 ; Simplest possible test demonstrating the problem
  13
  14 ; CHECK-LABEL: name: test
  15 ; CHECK:  bb.0
  16 ; CHECK-LV:     %0:gr64 = COPY killed $rdi
  17 ; CHECK-LIS:    %0:gr64 = COPY $rdi
  18 ; CHECK:        %1:gr64 = COPY %0
  19 ; CHECK:        %1:gr64 = STATEPOINT 2, 5, 0, undef %2:gr64, 2, 0, 2, 0, 2, 0, 2, 1, %1(tied-def 0), 2, 0, 2, 1, 0, 0
  20 ; CHECK-LV:     TEST64rr killed %0, %0, implicit-def $eflags
  21 ; CHECK-LIS:    TEST64rr %0, %0, implicit-def $eflags
  22 ; CHECK:        JCC_1 %bb.2, 4, implicit killed $eflags
  23 ; CHECK:        JMP_1 %bb.1
  24 ; CHECK:      bb.1
  25 ; CHECK-LV:     $rdi = COPY killed %1
  26 ; CHECK-LV:     STATEPOINT 2, 5, 1, undef %3:gr64, killed $rdi, 2, 0, 2, 0, 2, 0, 2, 0, 2, 0, 2, 0
  27 ; CHECK-LIS:    $rdi = COPY %1
  28 ; CHECK-LIS:    STATEPOINT 2, 5, 1, undef %3:gr64, $rdi, 2, 0, 2, 0, 2, 0, 2, 0, 2, 0, 2, 0
  29 ; CHECK:        RET 0
  30 ; CHECK:      bb.2
  31 ; CHECK:        RET 0
  32 define void @test(i8 addrspace(1)* %a)  gc "statepoint-example" {
  33 entry:
  34   %not7 = icmp eq i8 addrspace(1)* %a, null
  35   %statepoint_token1745 = call token (i64, i32, void ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 2, i32 5, void ()* nonnull elementtype(void ()) @foo, i32 0, i32 0, i32 0, i32 0) [ "deopt"(), "gc-live"(i8 addrspace(1)* %a) ]
  36   br i1 %not7, label %zero, label %not_zero
  37
  38 not_zero:
  39   %a.relocated = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %statepoint_token1745, i32 0, i32 0) ; (%a, %a)
  40   %statepoint_token1752 = call token (i64, i32, void (i8 addrspace(1)*)*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_isVoidp1i8f(i64 2, i32 5, void (i8 addrspace(1)*)* nonnull elementtype(void (i8 addrspace(1)*)) @bar, i32 1, i32 0, i8 addrspace(1)* %a.relocated, i32 0, i32 0) [ "deopt"(), "gc-live"() ]
  41   ret void
  42
  43 zero:
  44   ret void
  45 }
  46
  47 ; A bit more complex test, where both registers are used in same successor BB
  48
  49 ; CHECK-LABEL: name: test2
  50 ; CHECK:  bb.2
  51 ; CHECK:        %1:gr64 = STATEPOINT 2882400000, 0, 0, undef %11:gr64, 2, 0, 2, 0, 2, 0, 2, 1, %1(tied-def 0), 2, 0, 2, 1, 0, 0, csr_64
  52 ; CHECK:        %10:gr64 = COPY %1
  53 ; CHECK:        %10:gr64 = STATEPOINT 2882400000, 0, 0, undef %13:gr64, 2, 0, 2, 0, 2, 0, 2, 1, %10(tied-def 0), 2, 0, 2, 1, 0, 0, csr_64
  54 ; CHECK:        JMP_1 %bb.3
  55 ; CHECK:      bb.3
  56 ; CHECK:        %18:gr8 = COPY %17.sub_8bit
  57 ; CHECK-LV:     TEST8rr killed %18, %18, implicit-def $eflags
  58 ; CHECK-LIS:    TEST8rr %18, %18, implicit-def $eflags
  59 ; CHECK:        JCC_1 %bb.5, 5, implicit killed $eflags
  60 ; CHECK:        JMP_1 %bb.4
  61 ; CHECK:      bb.4
  62 ; CHECK:      bb.5
  63 ; CHECK:        %3:gr64 = COPY %10
  64 ; CHECK:        %4:gr64 = COPY killed %10
  65 ; CHECK:        %4:gr64 = nuw ADD64ri32 %4, 8, implicit-def dead $eflags
  66 ; CHECK:        TEST64rr killed %1, %1, implicit-def $eflags
  67 ; CHECK:        JCC_1 %bb.1, 5, implicit killed $eflags
  68 ; CHECK:        JMP_1 %bb.6
  69 define void @test2(i8 addrspace(1)* %this, i32 %0, i32 addrspace(1)* %p0, i8 addrspace(1)* %p1) gc "statepoint-example" personality i32* ()* @fake_personality_function {
  70 preheader:
  71   br label %loop.head
  72
  73 loop.head:
  74   %phi1 = phi i32 addrspace(1)* [ %p0, %preheader ], [ %addr.i.i46797.remat64523, %tail ]
  75   %v1 = phi i8 addrspace(1)* [ %p1, %preheader ], [ %v3, %tail ]
  76   %not3= icmp ne i32 addrspace(1)* %phi1, null
  77   br i1 %not3, label %BB1, label %BB3
  78
  79 BB3:
  80   %token1 = call token (i64, i32, i8 addrspace(1)* ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_p1i8f(i64 2882400000, i32 0, i8 addrspace(1)* ()* elementtype(i8 addrspace(1)* ()) undef, i32 0, i32 0, i32 0, i32 0) [ "deopt"(), "gc-live"(i8 addrspace(1)* %v1) ]
  81   %v2 = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %token1, i32 0, i32 0) ; (%v1, %v1)
  82   %cond = icmp eq i8 addrspace(1)* null, %v2
  83   %token2 = invoke token (i64, i32, i8 addrspace(1)* ()*, i32, i32, ...) @llvm.experimental.gc.statepoint.p0f_p1i8f(i64 2882400000, i32 0, i8 addrspace(1)* ()* elementtype(i8 addrspace(1)* ()) undef, i32 0, i32 0, i32 0, i32 0) [ "deopt"(), "gc-live"(i8 addrspace(1)* %v2, i32 addrspace(1)* %phi1) ]
  84           to label %BB2 unwind label %BB6
  85
  86 BB2:
  87   %v3 = call coldcc i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token %token2, i32 0, i32 0) ; (%v2, %v2)
  88   %.remat64522 = getelementptr inbounds i8, i8 addrspace(1)* %v3, i64 8
  89   %addr.i.i46797.remat64523 = bitcast i8 addrspace(1)* %.remat64522 to i32 addrspace(1)*
  90   br i1 undef, label %BB4, label %tail
  91
  92 BB4:
  93   %dummy = ptrtoint i64* undef to i64
  94   br label %tail
  95
  96 tail:
  97   br i1 %cond, label %BB1, label %loop.head
  98
  99 BB1:
 100   ret void
 101
 102 BB6:
 103   %lpad.split-lp = landingpad token
 104           cleanup
 105   ret void
 106
 107 }
 108
 109
 110 declare i8 addrspace(1)* @llvm.experimental.gc.relocate.p1i8(token, i32 immarg, i32 immarg) #5
 111 declare token @llvm.experimental.gc.statepoint.p0f_p1i8f(i64 immarg, i32 immarg, i8 addrspace(1)* ()*, i32 immarg, i32 immarg, ...)
 112 declare token @llvm.experimental.gc.statepoint.p0f_isVoidf(i64 immarg, i32 immarg, void ()*, i32 immarg, i32 immarg, ...)
 113 declare token @llvm.experimental.gc.statepoint.p0f_isVoidp1i8f(i64 immarg, i32 immarg, void (i8 addrspace(1)*)*, i32 immarg, i32 immarg, ...)