1; RUN: llc < %s -mtriple=x86_64-apple-darwin | FileCheck %s 2 3define void @redundant_add(i64 %n) { 4; Check that we don't create two additions for the sadd.with.overflow. 5; CHECK-LABEL: redundant_add 6; CHECK-NOT: leaq 7; CHECK-NOT: addq 8; CHECK: incq 9; CHECK-NEXT: jno 10entry: 11 br label %exit_check 12 13exit_check: 14 %i = phi i64 [ 0, %entry ], [ %i.next, %loop ] 15 %c = icmp slt i64 %i, %n 16 br i1 %c, label %loop, label %exit 17 18loop: 19 %i.o = tail call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %i, i64 1) 20 %i.next = extractvalue { i64, i1 } %i.o, 0 21 %o = extractvalue { i64, i1 } %i.o, 1 22 br i1 %o, label %overflow, label %exit_check 23 24exit: 25 ret void 26 27overflow: 28 tail call void @llvm.trap() 29 unreachable 30} 31 32declare { i64, i1 } @llvm.sadd.with.overflow.i64(i64, i64) 33declare void @llvm.trap() 34 35