; RUN: llc -verify-machineinstrs < %s -mtriple=aarch64-none-linux-gnu | FileCheck %s

@var32 = global i32 0
@var64 = global i64 0

define void @foo() {
; CHECK: foo:

  %val1 = load volatile i32* @var32
  %tst1 = icmp eq i32 %val1, 0
  br i1 %tst1, label %end, label %test2
; CHECK: cbz {{w[0-9]+}}, .LBB

test2:
  %val2 = load volatile i32* @var32
  %tst2 = icmp ne i32 %val2, 0
  br i1 %tst2, label %end, label %test3
; CHECK: cbnz {{w[0-9]+}}, .LBB

test3:
  %val3 = load volatile i64* @var64
  %tst3 = icmp eq i64 %val3, 0
  br i1 %tst3, label %end, label %test4
; CHECK: cbz {{x[0-9]+}}, .LBB

test4:
  %val4 = load volatile i64* @var64
  %tst4 = icmp ne i64 %val4, 0
  br i1 %tst4, label %end, label %test5
; CHECK: cbnz {{x[0-9]+}}, .LBB

test5:
  store volatile i64 %val4, i64* @var64
  ret void

end:
  ret void
}