test/CodeGen/AArch64/branch-relax-cbz.ll

   1 ; RUN: llc -mtriple=aarch64-apple-darwin -aarch64-cbz-offset-bits=3 < %s | FileCheck %s
   2
   3 ; CHECK-LABEL: _split_block_no_fallthrough:
   4 ; CHECK: cmn x{{[0-9]+}}, #5
   5 ; CHECK-NEXT: b.le [[B2:LBB[0-9]+_[0-9]+]]
   6
   7 ; CHECK-NEXT: ; BB#1: ; %b3
   8 ; CHECK: ldr [[LOAD:w[0-9]+]]
   9 ; CHECK: cbz [[LOAD]], [[SKIP_LONG_B:LBB[0-9]+_[0-9]+]]
  10 ; CHECK-NEXT: b [[B8:LBB[0-9]+_[0-9]+]]
  11
  12 ; CHECK-NEXT: [[SKIP_LONG_B]]:
  13 ; CHECK-NEXT: b [[B7:LBB[0-9]+_[0-9]+]]
  14
  15 ; CHECK-NEXT: [[B2]]: ; %b2
  16 ; CHECK: mov w{{[0-9]+}}, #93
  17 ; CHECK: bl _extfunc
  18 ; CHECK: cbz w{{[0-9]+}}, [[B7]]
  19
  20 ; CHECK-NEXT: [[B8]]: ; %b8
  21 ; CHECK-NEXT: ret
  22
  23 ; CHECK-NEXT: [[B7]]: ; %b7
  24 ; CHECK: mov w{{[0-9]+}}, #13
  25 ; CHECK: b _extfunc
  26 define void @split_block_no_fallthrough(i64 %val) #0 {
  27 bb:
  28   %c0 = icmp sgt i64 %val, -5
  29   br i1 %c0, label %b3, label %b2
  30
  31 b2:
  32   %v0 = tail call i32 @extfunc(i32 93)
  33   %c1 = icmp eq i32 %v0, 0
  34   br i1 %c1, label %b7, label %b8
  35
  36 b3:
  37   %v1 = load volatile i32, i32* undef, align 4
  38   %c2 = icmp eq i32 %v1, 0
  39   br i1 %c2, label %b7, label %b8
  40
  41 b7:
  42   %tmp1 = tail call i32 @extfunc(i32 13)
  43   ret void
  44
  45 b8:
  46   ret void
  47 }
  48
  49 declare i32 @extfunc(i32) #0
  50
  51 attributes #0 = { nounwind }