1 ; RUN: llc < %s -mtriple=arm64-apple-darwin | FileCheck %s 2 ; Checks for conditional branch b.vs 3 4 ; Function Attrs: nounwind 5 define i32 @add(i32, i32) { 6 entry: 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 27 define { i64, i1 } @foo(i64* , %Sstruct* , i1, i64) { 28 entry: 29 %.sroa.0 = alloca i72, align 16 30 %.count.value = getelementptr inbounds %Sstruct, %Sstruct* %1, i64 0, i32 0, i32 0 31 %4 = load i64, i64* %.count.value, align 8 32 %.repeatedValue.value = getelementptr inbounds %Sstruct, %Sstruct* %1, i64 0, i32 1, i32 0 33 %5 = load i32, i32* %.repeatedValue.value, align 8 34 %6 = icmp eq i64 %4, 0 35 br label %7 36 37 ; <label>:7 ; preds = %entry 38 %.mask58 = and i32 %5, -2048 39 %8 = icmp eq i32 %.mask58, 55296 40 %.not134 = xor i1 %8, true 41 %9 = icmp eq i32 %5, 1114112 42 %or.cond135 = and i1 %9, %.not134 43 br i1 %or.cond135, label %10, label %.loopexit 44 45 ; <label>:10 ; preds = %7 46 %11 = and i32 %5, -2048 47 %12 = icmp eq i32 %11, 55296 48 br i1 %12, label %.loopexit, label %10 49 50 51 .loopexit: ; preds = %.entry,%7,%10 52 tail call void @llvm.trap() 53 unreachable 54 } 55 56 ; Function Attrs: nounwind readnone 57 declare { i32, i1 } @llvm.sadd.with.overflow.i32(i32, i32) 58 59 ; Function Attrs: noreturn nounwind 60 declare void @llvm.trap() 61
