47 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=x86_64-apple-darwin | FileCheck %s3 4define void @redundant_add(i64 %n) {5; Check that we don't create two additions for the sadd.with.overflow.6; CHECK-LABEL: redundant_add:7; CHECK: ## %bb.0: ## %entry8; CHECK-NEXT: xorl %eax, %eax9; CHECK-NEXT: .p2align 410; CHECK-NEXT: LBB0_1: ## %exit_check11; CHECK-NEXT: ## =>This Inner Loop Header: Depth=112; CHECK-NEXT: cmpq %rdi, %rax13; CHECK-NEXT: jge LBB0_414; CHECK-NEXT: ## %bb.2: ## %loop15; CHECK-NEXT: ## in Loop: Header=BB0_1 Depth=116; CHECK-NEXT: incq %rax17; CHECK-NEXT: jno LBB0_118; CHECK-NEXT: ## %bb.3: ## %overflow19; CHECK-NEXT: ud220; CHECK-NEXT: LBB0_4: ## %exit21; CHECK-NEXT: retq22entry:23 br label %exit_check24 25exit_check:26 %i = phi i64 [ 0, %entry ], [ %i.next, %loop ]27 %c = icmp slt i64 %i, %n28 br i1 %c, label %loop, label %exit29 30loop:31 %i.o = tail call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %i, i64 1)32 %i.next = extractvalue { i64, i1 } %i.o, 033 %o = extractvalue { i64, i1 } %i.o, 134 br i1 %o, label %overflow, label %exit_check35 36exit:37 ret void38 39overflow:40 tail call void @llvm.trap()41 unreachable42}43 44declare { i64, i1 } @llvm.sadd.with.overflow.i64(i64, i64)45declare void @llvm.trap()46 47