; RUN: llc < %s -mtriple=arm64-apple-darwin  | FileCheck %s
; Checks for conditional branch b.vs

; Function Attrs: nounwind
define i32 @add(i32, i32) {
entry:
  %2 = tail call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 %0, i32 %1)
  %3 = extractvalue { i32, i1 } %2, 1
  br i1 %3, label %6, label %4

; <label>:4                                       ; preds = %entry
  %5 = extractvalue { i32, i1 } %2, 0
  ret i32 %5

; <label>:6                                       ; preds = %entry
  tail call void @llvm.trap()
  unreachable
; CHECK: b.vs
}

%S64 = type <{ i64 }>
%S32 = type <{ i32 }>
%Sstruct = type <{ %S64, %S32 }>

; Checks for compfail when optimizing csincr-cbz sequence

define { i64, i1 } @foo(i64* , %Sstruct* , i1, i64) {
entry:
  %.sroa.0 = alloca i72, align 16
  %.count.value = getelementptr inbounds %Sstruct* %1, i64 0, i32 0, i32 0
  %4 = load i64* %.count.value, align 8
  %.repeatedValue.value = getelementptr inbounds %Sstruct* %1, i64 0, i32 1, i32 0
  %5 = load i32* %.repeatedValue.value, align 8
  %6 = icmp eq i64 %4, 0
  br label %7

; <label>:7                                      ; preds = %entry
  %.mask58 = and i32 %5, -2048
  %8 = icmp eq i32 %.mask58, 55296
  %.not134 = xor i1 %8, true
  %9 = icmp eq i32 %5, 1114112
  %or.cond135 = and i1 %9, %.not134
  br i1 %or.cond135, label %10, label %.loopexit

; <label>:10                                      ; preds = %7
  %11 = and i32 %5, -2048
  %12 = icmp eq i32 %11, 55296
  br i1 %12, label %.loopexit, label %10


.loopexit:                                        ; preds = %.entry,%7,%10
  tail call void @llvm.trap()
  unreachable
}

; Function Attrs: nounwind readnone
declare { i32, i1 } @llvm.sadd.with.overflow.i32(i32, i32)

; Function Attrs: noreturn nounwind
declare void @llvm.trap()