test/CodeGen/AArch64/GlobalISel/select-br.mir

   1 # RUN: llc -mtriple=aarch64-- -run-pass=instruction-select -verify-machineinstrs %s -o - | FileCheck %s
   2
   3 --- |
   4   target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
   5
   6   define void @unconditional_br() { ret void }
   7   define void @conditional_br() { ret void }
   8   define void @indirect_br() { ret void }
   9 ...
  10
  11 ---
  12 # CHECK-LABEL: name: unconditional_br
  13 name:            unconditional_br
  14 legalized:       true
  15 regBankSelected: true
  16
  17 # CHECK:  body:
  18 # CHECK:   bb.0:
  19 # CHECK:    successors: %bb.0
  20 # CHECK:    B %bb.0
  21 body:             |
  22   bb.0:
  23     successors: %bb.0
  24
  25     G_BR %bb.0
  26 ...
  27
  28 ---
  29 # CHECK-LABEL: name: conditional_br
  30 name:            conditional_br
  31 legalized:       true
  32 regBankSelected: true
  33
  34 registers:
  35   - { id: 0, class: gpr }
  36   - { id: 1, class: gpr }
  37
  38 # CHECK:  body:
  39 # CHECK:   bb.0:
  40 # CHECK:    TBNZW %1, 0, %bb.1
  41 # CHECK:    B %bb.0
  42 body:             |
  43   bb.0:
  44     successors: %bb.0, %bb.1
  45     %1(s32) = COPY $w0
  46     %0(s1) = G_TRUNC %1
  47     G_BRCOND %0(s1), %bb.1
  48     G_BR %bb.0
  49
  50   bb.1:
  51 ...
  52
  53 ---
  54 # CHECK-LABEL: name: indirect_br
  55 name:            indirect_br
  56 legalized:       true
  57 regBankSelected: true
  58
  59 registers:
  60   - { id: 0, class: gpr }
  61
  62 # CHECK:  body:
  63 # CHECK:   bb.0:
  64 # CHECK:    %0:gpr64 = COPY $x0
  65 # CHECK:    BR %0
  66 body:             |
  67   bb.0:
  68     successors: %bb.0, %bb.1
  69     %0(p0) = COPY $x0
  70     G_BRINDIRECT %0(p0)
  71
  72   bb.1:
  73 ...