; NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
; RUN: llc -O0 -mtriple=aarch64-apple-ios -global-isel -stop-after=irtranslator -verify-machineinstrs %s -o - | FileCheck %s
;
; Make sure that we don't duplicate successors/predecessors when translating
; indirectbr instructions with duplicate block labels.

define void @foo() {
  ; CHECK-LABEL: name: foo
  ; CHECK: bb.1 (%ir-block.0):
  ; CHECK:   successors: %bb.2(0x2aaaaaaa), %bb.4(0x2aaaaaaa), %bb.3(0x2aaaaaaa)
  ; CHECK:   [[DEF:%[0-9]+]]:_(p0) = G_IMPLICIT_DEF
  ; CHECK:   G_BRINDIRECT [[DEF]](p0)
  ; CHECK: bb.2 (%ir-block.1):
  ; CHECK:   successors:
  ; CHECK: bb.3 (%ir-block.2):
  ; CHECK:   successors:
  ; CHECK: bb.4 (%ir-block.3):
  ; CHECK:   RET_ReallyLR
  indirectbr i8* undef, [label %1, label %3, label %2, label %3, label %3]
1:
  unreachable
2:
  unreachable
3:
  ret void
}