llvm/test/CodeGen/X86/conditional-tailcall-samedest.mir

   1 # RUN: llc -run-pass=branch-folder %s -o - | FileCheck %s
   2
   3 # PR33980
   4
   5 # Don't form conditional tail calls when the original conditional branch has
   6 # the same true and false destination. Otherwise, when we remove the tail call
   7 # successor we will also remove the fallthrough successor from the CFG.
   8
   9 # CHECK: body:             |
  10 # CHECK:   bb.0.entry:
  11 # CHECK:     successors: %bb.1(0x40000000)
  12 # CHECK:     liveins: $edi
  13 # CHECK:     CMP32ri8 killed $edi, 2, implicit-def $eflags
  14 # CHECK:     TCRETURNdi64cc @mergeable_conditional_tailcall
  15
  16 # This was the unconditional branch to a dead MBB that we left behind before
  17 # this bug was fixed.
  18 # CHECK-NOT: JMP_1 %bb.-1
  19
  20 --- |
  21   ; ModuleID = 't.ll'
  22   source_filename = "t.ll"
  23   target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
  24   target triple = "x86_64--linux"
  25
  26   @static_local_guard = external global i64, align 8
  27
  28   ; Function Attrs: optsize
  29   define void @f(i32 %arg) #0 {
  30   entry:
  31     switch i32 %arg, label %sw.epilog [
  32       i32 0, label %sw.bb
  33       i32 1, label %sw.bb
  34       i32 2, label %sw.bb2
  35     ]
  36
  37   sw.bb:                                            ; preds = %entry, %entry
  38     %tmp = load atomic i8, i8* bitcast (i64* @static_local_guard to i8*) acquire, align 8
  39     %guard.uninitialized.i = icmp eq i8 %tmp, 0
  40     br i1 %guard.uninitialized.i, label %init.check.i, label %return, !prof !0
  41
  42   init.check.i:                                     ; preds = %sw.bb
  43     tail call void @initialize_static_local(i64* nonnull @static_local_guard)
  44     ret void
  45
  46   sw.bb2:                                           ; preds = %entry
  47     tail call void @mergeable_conditional_tailcall()
  48     ret void
  49
  50   sw.epilog:                                        ; preds = %entry
  51     tail call void @mergeable_conditional_tailcall()
  52     ret void
  53
  54   return:                                           ; preds = %sw.bb
  55     ret void
  56   }
  57
  58   declare void @mergeable_conditional_tailcall()
  59
  60   declare void @initialize_static_local(i64*)
  61
  62   ; Function Attrs: nounwind
  63   declare void @llvm.stackprotector(i8*, i8**) #1
  64
  65   attributes #0 = { optsize }
  66   attributes #1 = { nounwind }
  67
  68   !0 = !{!"branch_weights", i32 1, i32 1048575}
  69
  70 ...
  71 ---
  72 name:            f
  73 alignment:       1
  74 exposesReturnsTwice: false
  75 legalized:       false
  76 regBankSelected: false
  77 selected:        false
  78 tracksRegLiveness: true
  79 registers:
  80 liveins:
  81   - { reg: '$edi', virtual-reg: '' }
  82 frameInfo:
  83   isFrameAddressTaken: false
  84   isReturnAddressTaken: false
  85   hasStackMap:     false
  86   hasPatchPoint:   false
  87   stackSize:       0
  88   offsetAdjustment: 0
  89   maxAlignment:    0
  90   adjustsStack:    false
  91   hasCalls:        false
  92   stackProtector:  ''
  93   maxCallFrameSize: 0
  94   hasOpaqueSPAdjustment: false
  95   hasVAStart:      false
  96   hasMustTailInVarArgFunc: false
  97   savePoint:       ''
  98   restorePoint:    ''
  99 fixedStack:
 100 stack:
 101 constants:
 102 body:             |
 103   bb.0.entry:
 104     successors: %bb.2(0x40000000), %bb.1(0x40000000)
 105     liveins: $edi
 106
 107     CMP32ri8 killed $edi, 2, implicit-def $eflags
 108     JCC_1 %bb.2, 2, implicit $eflags
 109     JMP_1 %bb.1
 110
 111   bb.1.entry:
 112     successors: %bb.4(0x40000000), %bb.5(0x40000000)
 113     liveins: $eflags
 114
 115     JCC_1 %bb.4, 4, implicit killed $eflags
 116     JMP_1 %bb.5
 117
 118   bb.2.sw.bb:
 119     successors: %bb.3(0x00000800), %bb.6(0x7ffff800)
 120
 121     $al = MOV8rm $rip, 1, $noreg, @static_local_guard, $noreg :: (volatile load acquire (s8) from `i8* bitcast (i64* @static_local_guard to i8*)`, align 8)
 122     TEST8rr killed $al, $al, implicit-def $eflags
 123     JCC_1 %bb.6, 5, implicit killed $eflags
 124     JMP_1 %bb.3
 125
 126   bb.3.init.check.i:
 127     dead $edi = MOV32ri @static_local_guard, implicit-def $rdi
 128     TCRETURNdi64 @initialize_static_local, 0, csr_64, implicit $rsp, implicit $rdi
 129
 130   bb.4.sw.bb2:
 131     TCRETURNdi64 @mergeable_conditional_tailcall, 0, csr_64, implicit $rsp
 132
 133   bb.5.sw.epilog:
 134     TCRETURNdi64 @mergeable_conditional_tailcall, 0, csr_64, implicit $rsp
 135
 136   bb.6.return:
 137     RET 0
 138
 139 ...