1; RUN: llc < %s -mtriple=arm64-apple-darwin | FileCheck %s 2; Checks for conditional branch b.vs 3 4; Function Attrs: nounwind 5define i32 @add(i32, i32) { 6entry: 7 %2 = tail call { i32, i1 } @llvm.sadd.with.overflow.i32(i32 %0, i32 %1) 8 %3 = extractvalue { i32, i1 } %2, 1 9 br i1 %3, label %6, label %4 10 11; <label>:4 ; preds = %entry 12 %5 = extractvalue { i32, i1 } %2, 0 13 ret i32 %5 14 15; <label>:6 ; preds = %entry 16 tail call void @llvm.trap() 17 unreachable 18; CHECK: b.vs 19} 20 21%S64 = type <{ i64 }> 22%S32 = type <{ i32 }> 23%Sstruct = type <{ %S64, %S32 }> 24 25; Checks for compfail when optimizing csincr-cbz sequence 26 27define { i64, i1 } @foo(ptr , ptr , i1, i64) { 28entry: 29 %.sroa.0 = alloca i72, align 16 30 %4 = load i64, ptr %1, align 8 31 %.repeatedValue.value = getelementptr inbounds %Sstruct, ptr %1, i64 0, i32 1, i32 0 32 %5 = load i32, ptr %.repeatedValue.value, align 8 33 %6 = icmp eq i64 %4, 0 34 br label %7 35 36; <label>:7 ; preds = %entry 37 %.mask58 = and i32 %5, -2048 38 %8 = icmp eq i32 %.mask58, 55296 39 %.not134 = xor i1 %8, true 40 %9 = icmp eq i32 %5, 1114112 41 %or.cond135 = and i1 %9, %.not134 42 br i1 %or.cond135, label %10, label %.loopexit 43 44; <label>:10 ; preds = %7 45 %11 = and i32 %5, -2048 46 %12 = icmp eq i32 %11, 55296 47 br i1 %12, label %.loopexit, label %10 48 49 50.loopexit: ; preds = %.entry,%7,%10 51 tail call void @llvm.trap() 52 unreachable 53} 54 55; Function Attrs: nounwind readnone 56declare { i32, i1 } @llvm.sadd.with.overflow.i32(i32, i32) 57 58; Function Attrs: noreturn nounwind 59declare void @llvm.trap() 60