aboutsummaryrefslogtreecommitdiff
path: root/test/CodeGen/X86/saddo-redundant-add.ll
diff options
context:
space:
mode:
Diffstat (limited to 'test/CodeGen/X86/saddo-redundant-add.ll')
-rw-r--r--test/CodeGen/X86/saddo-redundant-add.ll34
1 files changed, 0 insertions, 34 deletions
diff --git a/test/CodeGen/X86/saddo-redundant-add.ll b/test/CodeGen/X86/saddo-redundant-add.ll
deleted file mode 100644
index c56c68674a49..000000000000
--- a/test/CodeGen/X86/saddo-redundant-add.ll
+++ /dev/null
@@ -1,34 +0,0 @@
-; RUN: llc < %s -mtriple=x86_64-apple-darwin | FileCheck %s
-
-define void @redundant_add(i64 %n) {
-; Check that we don't create two additions for the sadd.with.overflow.
-; CHECK-LABEL: redundant_add
-; CHECK-NOT: leaq
-; CHECK-NOT: addq
-; CHECK: incq
-; CHECK-NEXT: jno
-entry:
- br label %exit_check
-
-exit_check:
- %i = phi i64 [ 0, %entry ], [ %i.next, %loop ]
- %c = icmp slt i64 %i, %n
- br i1 %c, label %loop, label %exit
-
-loop:
- %i.o = tail call { i64, i1 } @llvm.sadd.with.overflow.i64(i64 %i, i64 1)
- %i.next = extractvalue { i64, i1 } %i.o, 0
- %o = extractvalue { i64, i1 } %i.o, 1
- br i1 %o, label %overflow, label %exit_check
-
-exit:
- ret void
-
-overflow:
- tail call void @llvm.trap()
- unreachable
-}
-
-declare { i64, i1 } @llvm.sadd.with.overflow.i64(i64, i64)
-declare void @llvm.trap()
-