llvm/test/CodeGen/MIR/X86/successor-basic-blocks-weights.mir

   1 # RUN: llc -march=x86-64 -run-pass none -o - %s | FileCheck %s
   2 # This test ensures that the MIR parser parses basic block successors and
   3 # probabilities correctly.
   4
   5 --- |
   6
   7   define i32 @foo(i32 %a) {
   8   entry:
   9     %0 = icmp sle i32 %a, 10
  10     br i1 %0, label %less, label %exit
  11
  12   less:
  13     ret i32 0
  14
  15   exit:
  16     ret i32 %a
  17   }
  18
  19 ...
  20 ---
  21 name:            foo
  22 body: |
  23   ; CHECK-LABEL: bb.0.entry:
  24   ; CHECK:         successors: %bb.1(0x2a3d70a4), %bb.2(0x55c28f5c)
  25   ; CHECK-LABEL: bb.1.less:
  26   bb.0.entry:
  27     successors: %bb.1 (33), %bb.2(67)
  28     liveins: $edi
  29
  30     CMP32ri8 $edi, 10, implicit-def $eflags
  31     JCC_1 %bb.2, 15, implicit killed $eflags
  32
  33   bb.1.less:
  34     $eax = MOV32r0 implicit-def dead $eflags
  35     RET64 killed $eax
  36
  37   bb.2.exit:
  38     liveins: $edi
  39
  40     $eax = COPY killed $edi
  41     RET64 killed $eax
  42 ...