diff options
| author | Roman Lebedev <lebedev.ri@gmail.com> | 2019-09-18 20:48:05 +0000 |
|---|---|---|
| committer | Roman Lebedev <lebedev.ri@gmail.com> | 2019-09-18 20:48:05 +0000 |
| commit | a042aa1d829bbf37dc1feeca66d1c3fe77d53272 (patch) | |
| tree | 17f5c3de82fd8005e29f96cfef7abf4967e10354 | |
| parent | b646dd92c2385d31104057e8ff6f651b28c931b6 (diff) | |
| download | bcm5719-llvm-a042aa1d829bbf37dc1feeca66d1c3fe77d53272.tar.gz bcm5719-llvm-a042aa1d829bbf37dc1feeca66d1c3fe77d53272.zip | |
[CodeGen][X86][NFC] Tests for (sub Carry, X) -> (addcarry (sub 0, X), 0, Carry) fold (D62392)
llvm-svn: 372258
| -rw-r--r-- | llvm/test/CodeGen/X86/subcarry.ll | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/llvm/test/CodeGen/X86/subcarry.ll b/llvm/test/CodeGen/X86/subcarry.ll index 449391616aa..d5f1d556d76 100644 --- a/llvm/test/CodeGen/X86/subcarry.ll +++ b/llvm/test/CodeGen/X86/subcarry.ll @@ -162,3 +162,24 @@ entry: %40 = insertvalue %S undef, [4 x i64] %39, 0 ret %S %40 } + +declare {i64, i1} @llvm.uadd.with.overflow(i64, i64) +declare {i64, i1} @llvm.usub.with.overflow(i64, i64) + +define i64 @sub_from_carry(i64 %x, i64 %y, i64* %valout, i64 %z) { +; CHECK-LABEL: sub_from_carry: +; CHECK: # %bb.0: +; CHECK-NEXT: xorl %eax, %eax +; CHECK-NEXT: addq %rsi, %rdi +; CHECK-NEXT: setb %al +; CHECK-NEXT: movq %rdi, (%rdx) +; CHECK-NEXT: subq %rcx, %rax +; CHECK-NEXT: retq + %agg = call {i64, i1} @llvm.uadd.with.overflow(i64 %x, i64 %y) + %val = extractvalue {i64, i1} %agg, 0 + %ov = extractvalue {i64, i1} %agg, 1 + store i64 %val, i64* %valout, align 4 + %carry = zext i1 %ov to i64 + %res = sub i64 %carry, %z + ret i64 %res +} |
