[llvm] 619f455 - [RISCV] Precommit test for D140024

[Anton Sidorenko via llvm-commits]

Author: Anton Sidorenko
Date: 2022-12-15T12:58:21+03:00
New Revision: 619f455dee067988458988fbdedfe761bc364f13

URL: https://github.com/llvm/llvm-project/commit/619f455dee067988458988fbdedfe761bc364f13
DIFF: https://github.com/llvm/llvm-project/commit/619f455dee067988458988fbdedfe761bc364f13.diff

LOG: [RISCV] Precommit test for D140024

Simple test to check converson of repeated fp divisors.

Added: 
    llvm/test/CodeGen/RISCV/repeated-fp-divisors.ll

Modified: 
    

Removed: 
    


################################################################################
diff  --git a/llvm/test/CodeGen/RISCV/repeated-fp-divisors.ll b/llvm/test/CodeGen/RISCV/repeated-fp-divisors.ll
new file mode 100644
index 0000000000000..1627ec882b9be
--- /dev/null
+++ b/llvm/test/CodeGen/RISCV/repeated-fp-divisors.ll
@@ -0,0 +1,48 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
+; RUN: llc -mtriple=riscv64 -mattr=+d -verify-machineinstrs < %s | FileCheck %s
+
+define void @single_fdiv(double %a0, double %a1, ptr %res) {
+; CHECK-LABEL: single_fdiv:
+; CHECK:       # %bb.0: # %entry
+; CHECK-NEXT:    fdiv.d ft0, fa1, fa0
+; CHECK-NEXT:    fsd ft0, 0(a0)
+; CHECK-NEXT:    ret
+entry:
+  %div = fdiv arcp double %a1, %a0
+  store double %div, ptr %res
+  ret void
+}
+
+define void @two_fdivs(double %a0, double %a1, double %a2, ptr %res) {
+; CHECK-LABEL: two_fdivs:
+; CHECK:       # %bb.0: # %entry
+; CHECK-NEXT:    fdiv.d ft0, fa1, fa0
+; CHECK-NEXT:    fdiv.d ft1, fa2, fa0
+; CHECK-NEXT:    fsd ft0, 0(a0)
+; CHECK-NEXT:    fsd ft1, 8(a0)
+; CHECK-NEXT:    ret
+entry:
+  %div = fdiv arcp double %a1, %a0
+  %div1 = fdiv arcp double %a2, %a0
+  store double %div, ptr %res
+  %arrayidx2 = getelementptr inbounds double, ptr %res, i64 1
+  store double %div1, ptr %arrayidx2
+  ret void
+}
+
+define void @no_arcp(double %a0, double %a1, double %a2, ptr %res) {
+; CHECK-LABEL: no_arcp:
+; CHECK:       # %bb.0: # %entry
+; CHECK-NEXT:    fdiv.d ft0, fa1, fa0
+; CHECK-NEXT:    fdiv.d ft1, fa2, fa0
+; CHECK-NEXT:    fsd ft0, 0(a0)
+; CHECK-NEXT:    fsd ft1, 8(a0)
+; CHECK-NEXT:    ret
+entry:
+  %div = fdiv arcp double %a1, %a0
+  %div1 = fdiv double %a2, %a0
+  store double %div, ptr %res
+  %arrayidx2 = getelementptr inbounds double, ptr %res, i64 1
+  store double %div1, ptr %arrayidx2
+  ret void
+}