diff options
Diffstat (limited to 'test/CodeGen/X86/saddo-redundant-add.ll')
| -rw-r--r-- | test/CodeGen/X86/saddo-redundant-add.ll | 34 |
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() - |
