[llvm] 7b8eee6 - [RISCV][test] Add sincos-expansion.ll test case
Alex Bradbury via llvm-commits
llvm-commits at lists.llvm.org
Wed Nov 19 05:40:45 PST 2025
Author: Alex Bradbury
Date: 2025-11-19T13:40:09Z
New Revision: 7b8eee6b2b10ce88a24521aa0e91193cf7203c95
URL: https://github.com/llvm/llvm-project/commit/7b8eee6b2b10ce88a24521aa0e91193cf7203c95
DIFF: https://github.com/llvm/llvm-project/commit/7b8eee6b2b10ce88a24521aa0e91193cf7203c95.diff
LOG: [RISCV][test] Add sincos-expansion.ll test case
Added:
llvm/test/CodeGen/RISCV/sincos-expansion.ll
Modified:
Removed:
################################################################################
diff --git a/llvm/test/CodeGen/RISCV/sincos-expansion.ll b/llvm/test/CodeGen/RISCV/sincos-expansion.ll
new file mode 100644
index 0000000000000..6f37d67134cb3
--- /dev/null
+++ b/llvm/test/CodeGen/RISCV/sincos-expansion.ll
@@ -0,0 +1,178 @@
+; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 6
+; RUN: llc -mtriple=riscv64-linux-gnu -mattr=+d -verify-machineinstrs -o - %s | FileCheck %s
+
+; Test adapted from AArch64. Demonstrates the cases where sin and cos libcalls
+; will be combined to a sincos libcall.
+
+define float @test_sincos_f32(float %f) nounwind {
+; CHECK-LABEL: test_sincos_f32:
+; CHECK: # %bb.0:
+; CHECK-NEXT: addi sp, sp, -32
+; CHECK-NEXT: sd ra, 24(sp) # 8-byte Folded Spill
+; CHECK-NEXT: fsd fs0, 16(sp) # 8-byte Folded Spill
+; CHECK-NEXT: fsd fs1, 8(sp) # 8-byte Folded Spill
+; CHECK-NEXT: fmv.s fs0, fa0
+; CHECK-NEXT: call sinf
+; CHECK-NEXT: fmv.s fs1, fa0
+; CHECK-NEXT: fmv.s fa0, fs0
+; CHECK-NEXT: call cosf
+; CHECK-NEXT: fadd.s fa0, fs1, fa0
+; CHECK-NEXT: ld ra, 24(sp) # 8-byte Folded Reload
+; CHECK-NEXT: fld fs0, 16(sp) # 8-byte Folded Reload
+; CHECK-NEXT: fld fs1, 8(sp) # 8-byte Folded Reload
+; CHECK-NEXT: addi sp, sp, 32
+; CHECK-NEXT: ret
+ %sin = call float @sinf(float %f) readnone
+ %cos = call float @cosf(float %f) readnone
+ %val = fadd float %sin, %cos
+ ret float %val
+}
+
+define float @test_sincos_f32_errno(float %f) nounwind {
+; CHECK-LABEL: test_sincos_f32_errno:
+; CHECK: # %bb.0:
+; CHECK-NEXT: addi sp, sp, -32
+; CHECK-NEXT: sd ra, 24(sp) # 8-byte Folded Spill
+; CHECK-NEXT: fsd fs0, 16(sp) # 8-byte Folded Spill
+; CHECK-NEXT: fsd fs1, 8(sp) # 8-byte Folded Spill
+; CHECK-NEXT: fmv.s fs0, fa0
+; CHECK-NEXT: call sinf
+; CHECK-NEXT: fmv.s fs1, fa0
+; CHECK-NEXT: fmv.s fa0, fs0
+; CHECK-NEXT: call cosf
+; CHECK-NEXT: fadd.s fa0, fs1, fa0
+; CHECK-NEXT: ld ra, 24(sp) # 8-byte Folded Reload
+; CHECK-NEXT: fld fs0, 16(sp) # 8-byte Folded Reload
+; CHECK-NEXT: fld fs1, 8(sp) # 8-byte Folded Reload
+; CHECK-NEXT: addi sp, sp, 32
+; CHECK-NEXT: ret
+ %sin = call float @sinf(float %f)
+ %cos = call float @cosf(float %f)
+ %val = fadd float %sin, %cos
+ ret float %val
+}
+
+define double @test_sincos_f64(double %f) nounwind {
+; CHECK-LABEL: test_sincos_f64:
+; CHECK: # %bb.0:
+; CHECK-NEXT: addi sp, sp, -32
+; CHECK-NEXT: sd ra, 24(sp) # 8-byte Folded Spill
+; CHECK-NEXT: fsd fs0, 16(sp) # 8-byte Folded Spill
+; CHECK-NEXT: fsd fs1, 8(sp) # 8-byte Folded Spill
+; CHECK-NEXT: fmv.d fs0, fa0
+; CHECK-NEXT: call sin
+; CHECK-NEXT: fmv.d fs1, fa0
+; CHECK-NEXT: fmv.d fa0, fs0
+; CHECK-NEXT: call cos
+; CHECK-NEXT: fadd.d fa0, fs1, fa0
+; CHECK-NEXT: ld ra, 24(sp) # 8-byte Folded Reload
+; CHECK-NEXT: fld fs0, 16(sp) # 8-byte Folded Reload
+; CHECK-NEXT: fld fs1, 8(sp) # 8-byte Folded Reload
+; CHECK-NEXT: addi sp, sp, 32
+; CHECK-NEXT: ret
+ %sin = call double @sin(double %f) readnone
+ %cos = call double @cos(double %f) readnone
+ %val = fadd double %sin, %cos
+ ret double %val
+}
+
+define double @test_sincos_f64_errno(double %f) nounwind {
+; CHECK-LABEL: test_sincos_f64_errno:
+; CHECK: # %bb.0:
+; CHECK-NEXT: addi sp, sp, -32
+; CHECK-NEXT: sd ra, 24(sp) # 8-byte Folded Spill
+; CHECK-NEXT: fsd fs0, 16(sp) # 8-byte Folded Spill
+; CHECK-NEXT: fsd fs1, 8(sp) # 8-byte Folded Spill
+; CHECK-NEXT: fmv.d fs0, fa0
+; CHECK-NEXT: call sin
+; CHECK-NEXT: fmv.d fs1, fa0
+; CHECK-NEXT: fmv.d fa0, fs0
+; CHECK-NEXT: call cos
+; CHECK-NEXT: fadd.d fa0, fs1, fa0
+; CHECK-NEXT: ld ra, 24(sp) # 8-byte Folded Reload
+; CHECK-NEXT: fld fs0, 16(sp) # 8-byte Folded Reload
+; CHECK-NEXT: fld fs1, 8(sp) # 8-byte Folded Reload
+; CHECK-NEXT: addi sp, sp, 32
+; CHECK-NEXT: ret
+ %sin = call double @sin(double %f)
+ %cos = call double @cos(double %f)
+ %val = fadd double %sin, %cos
+ ret double %val
+}
+
+define fp128 @test_sincos_f128(fp128 %f) nounwind {
+; CHECK-LABEL: test_sincos_f128:
+; CHECK: # %bb.0:
+; CHECK-NEXT: addi sp, sp, -48
+; CHECK-NEXT: sd ra, 40(sp) # 8-byte Folded Spill
+; CHECK-NEXT: sd s0, 32(sp) # 8-byte Folded Spill
+; CHECK-NEXT: sd s1, 24(sp) # 8-byte Folded Spill
+; CHECK-NEXT: sd s2, 16(sp) # 8-byte Folded Spill
+; CHECK-NEXT: sd s3, 8(sp) # 8-byte Folded Spill
+; CHECK-NEXT: mv s0, a1
+; CHECK-NEXT: mv s1, a0
+; CHECK-NEXT: call sinl
+; CHECK-NEXT: mv s2, a0
+; CHECK-NEXT: mv s3, a1
+; CHECK-NEXT: mv a0, s1
+; CHECK-NEXT: mv a1, s0
+; CHECK-NEXT: call cosl
+; CHECK-NEXT: mv a2, a0
+; CHECK-NEXT: mv a3, a1
+; CHECK-NEXT: mv a0, s2
+; CHECK-NEXT: mv a1, s3
+; CHECK-NEXT: call __addtf3
+; CHECK-NEXT: ld ra, 40(sp) # 8-byte Folded Reload
+; CHECK-NEXT: ld s0, 32(sp) # 8-byte Folded Reload
+; CHECK-NEXT: ld s1, 24(sp) # 8-byte Folded Reload
+; CHECK-NEXT: ld s2, 16(sp) # 8-byte Folded Reload
+; CHECK-NEXT: ld s3, 8(sp) # 8-byte Folded Reload
+; CHECK-NEXT: addi sp, sp, 48
+; CHECK-NEXT: ret
+ %sin = call fp128 @sinl(fp128 %f) readnone
+ %cos = call fp128 @cosl(fp128 %f) readnone
+ %val = fadd fp128 %sin, %cos
+ ret fp128 %val
+}
+
+define fp128 @test_sincos_f128_errno(fp128 %f) nounwind {
+; CHECK-LABEL: test_sincos_f128_errno:
+; CHECK: # %bb.0:
+; CHECK-NEXT: addi sp, sp, -48
+; CHECK-NEXT: sd ra, 40(sp) # 8-byte Folded Spill
+; CHECK-NEXT: sd s0, 32(sp) # 8-byte Folded Spill
+; CHECK-NEXT: sd s1, 24(sp) # 8-byte Folded Spill
+; CHECK-NEXT: sd s2, 16(sp) # 8-byte Folded Spill
+; CHECK-NEXT: sd s3, 8(sp) # 8-byte Folded Spill
+; CHECK-NEXT: mv s0, a1
+; CHECK-NEXT: mv s1, a0
+; CHECK-NEXT: call sinl
+; CHECK-NEXT: mv s2, a0
+; CHECK-NEXT: mv s3, a1
+; CHECK-NEXT: mv a0, s1
+; CHECK-NEXT: mv a1, s0
+; CHECK-NEXT: call cosl
+; CHECK-NEXT: mv a2, a0
+; CHECK-NEXT: mv a3, a1
+; CHECK-NEXT: mv a0, s2
+; CHECK-NEXT: mv a1, s3
+; CHECK-NEXT: call __addtf3
+; CHECK-NEXT: ld ra, 40(sp) # 8-byte Folded Reload
+; CHECK-NEXT: ld s0, 32(sp) # 8-byte Folded Reload
+; CHECK-NEXT: ld s1, 24(sp) # 8-byte Folded Reload
+; CHECK-NEXT: ld s2, 16(sp) # 8-byte Folded Reload
+; CHECK-NEXT: ld s3, 8(sp) # 8-byte Folded Reload
+; CHECK-NEXT: addi sp, sp, 48
+; CHECK-NEXT: ret
+ %sin = call fp128 @sinl(fp128 %f)
+ %cos = call fp128 @cosl(fp128 %f)
+ %val = fadd fp128 %sin, %cos
+ ret fp128 %val
+}
+
+declare float @sinf(float)
+declare double @sin(double)
+declare fp128 @sinl(fp128)
+declare float @cosf(float)
+declare double @cos(double)
+declare fp128 @cosl(fp128)
More information about the llvm-commits
mailing list