Skip to content

CodeGen: Replace Generic FP libcall tests with per-backend coverage #215782

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
arsenm merged 1 commit into from
Aug 12, 2026
+250 −51
Merged

CodeGen: Replace Generic FP libcall tests with per-backend coverage #215782

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
23 changes: 23 additions & 0 deletions llvm/test/CodeGen/AVR/powi.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,23 @@
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 6
; RUN: llc -mtriple=avr < %s | FileCheck %s

declare float @llvm.powi.f32.i16(float, i16)
declare double @llvm.powi.f64.i16(double, i16)

define float @powi_f32(float %a, i16 %b) {
; CHECK-LABEL: powi_f32:
; CHECK: ; %bb.0:
; CHECK-NEXT: rcall __powisf2
; CHECK-NEXT: ret
%r = call float @llvm.powi.f32.i16(float %a, i16 %b)
ret float %r
}

define double @powi_f64(double %a, i16 %b) {
; CHECK-LABEL: powi_f64:
; CHECK: ; %bb.0:
; CHECK-NEXT: rcall __powidf2
; CHECK-NEXT: ret
%r = call double @llvm.powi.f64.i16(double %a, i16 %b)
ret double %r
}
23 changes: 23 additions & 0 deletions llvm/test/CodeGen/AVR/sqrt.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,23 @@
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 6
; RUN: llc -mtriple=avr < %s | FileCheck %s

declare float @llvm.sqrt.f32(float)
declare double @llvm.sqrt.f64(double)

define float @sqrt_f32(float %a) {
; CHECK-LABEL: sqrt_f32:
; CHECK: ; %bb.0:
; CHECK-NEXT: rcall sqrtf
; CHECK-NEXT: ret
%r = call float @llvm.sqrt.f32(float %a)
ret float %r
}

define double @sqrt_f64(double %a) {
; CHECK-LABEL: sqrt_f64:
; CHECK: ; %bb.0:
; CHECK-NEXT: rcall sqrt
; CHECK-NEXT: ret
%r = call double @llvm.sqrt.f64(double %a)
ret double %r
}
53 changes: 53 additions & 0 deletions llvm/test/CodeGen/CSKY/powi.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,53 @@
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 6
; RUN: llc -mtriple=csky < %s | FileCheck %s

declare float @llvm.powi.f32.i32(float, i32)
declare double @llvm.powi.f64.i32(double, i32)

define float @powi_f32(float %a, i32 %b) {
; CHECK-LABEL: powi_f32:
; CHECK: # %bb.0:
; CHECK-NEXT: subi16 sp, sp, 4
; CHECK-NEXT: .cfi_def_cfa_offset 4
; CHECK-NEXT: st32.w lr, (sp, 0) # 4-byte Folded Spill
; CHECK-NEXT: .cfi_offset lr, -4
; CHECK-NEXT: subi16 sp, sp, 4
; CHECK-NEXT: .cfi_def_cfa_offset 8
; CHECK-NEXT: lrw a2, [.LCPI0_0]
; CHECK-NEXT: jsr16 a2
; CHECK-NEXT: addi16 sp, sp, 4
; CHECK-NEXT: ld32.w lr, (sp, 0) # 4-byte Folded Reload
; CHECK-NEXT: addi16 sp, sp, 4
; CHECK-NEXT: rts16
; CHECK-NEXT: .p2align 1
; CHECK-NEXT: # %bb.1:
; CHECK-NEXT: .p2align 2, 0x0
; CHECK-NEXT: .LCPI0_0:
; CHECK-NEXT: .long __powisf2
%r = call float @llvm.powi.f32.i32(float %a, i32 %b)
ret float %r
}

define double @powi_f64(double %a, i32 %b) {
; CHECK-LABEL: powi_f64:
; CHECK: # %bb.0:
; CHECK-NEXT: subi16 sp, sp, 4
; CHECK-NEXT: .cfi_def_cfa_offset 4
; CHECK-NEXT: st32.w lr, (sp, 0) # 4-byte Folded Spill
; CHECK-NEXT: .cfi_offset lr, -4
; CHECK-NEXT: subi16 sp, sp, 4
; CHECK-NEXT: .cfi_def_cfa_offset 8
; CHECK-NEXT: lrw a3, [.LCPI1_0]
; CHECK-NEXT: jsr16 a3
; CHECK-NEXT: addi16 sp, sp, 4
; CHECK-NEXT: ld32.w lr, (sp, 0) # 4-byte Folded Reload
; CHECK-NEXT: addi16 sp, sp, 4
; CHECK-NEXT: rts16
; CHECK-NEXT: .p2align 1
; CHECK-NEXT: # %bb.1:
; CHECK-NEXT: .p2align 2, 0x0
; CHECK-NEXT: .LCPI1_0:
; CHECK-NEXT: .long __powidf2
%r = call double @llvm.powi.f64.i32(double %a, i32 %b)
ret double %r
}
53 changes: 53 additions & 0 deletions llvm/test/CodeGen/CSKY/sqrt.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,53 @@
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 6
; RUN: llc -mtriple=csky < %s | FileCheck %s

declare float @llvm.sqrt.f32(float)
declare double @llvm.sqrt.f64(double)

define float @sqrt_f32(float %a) {
; CHECK-LABEL: sqrt_f32:
; CHECK: # %bb.0:
; CHECK-NEXT: subi16 sp, sp, 4
; CHECK-NEXT: .cfi_def_cfa_offset 4
; CHECK-NEXT: st32.w lr, (sp, 0) # 4-byte Folded Spill
; CHECK-NEXT: .cfi_offset lr, -4
; CHECK-NEXT: subi16 sp, sp, 4
; CHECK-NEXT: .cfi_def_cfa_offset 8
; CHECK-NEXT: lrw a1, [.LCPI0_0]
; CHECK-NEXT: jsr16 a1
; CHECK-NEXT: addi16 sp, sp, 4
; CHECK-NEXT: ld32.w lr, (sp, 0) # 4-byte Folded Reload
; CHECK-NEXT: addi16 sp, sp, 4
; CHECK-NEXT: rts16
; CHECK-NEXT: .p2align 1
; CHECK-NEXT: # %bb.1:
; CHECK-NEXT: .p2align 2, 0x0
; CHECK-NEXT: .LCPI0_0:
; CHECK-NEXT: .long sqrtf
%r = call float @llvm.sqrt.f32(float %a)
ret float %r
}

define double @sqrt_f64(double %a) {
; CHECK-LABEL: sqrt_f64:
; CHECK: # %bb.0:
; CHECK-NEXT: subi16 sp, sp, 4
; CHECK-NEXT: .cfi_def_cfa_offset 4
; CHECK-NEXT: st32.w lr, (sp, 0) # 4-byte Folded Spill
; CHECK-NEXT: .cfi_offset lr, -4
; CHECK-NEXT: subi16 sp, sp, 4
; CHECK-NEXT: .cfi_def_cfa_offset 8
; CHECK-NEXT: lrw a2, [.LCPI1_0]
; CHECK-NEXT: jsr16 a2
; CHECK-NEXT: addi16 sp, sp, 4
; CHECK-NEXT: ld32.w lr, (sp, 0) # 4-byte Folded Reload
; CHECK-NEXT: addi16 sp, sp, 4
; CHECK-NEXT: rts16
; CHECK-NEXT: .p2align 1
; CHECK-NEXT: # %bb.1:
; CHECK-NEXT: .p2align 2, 0x0
; CHECK-NEXT: .LCPI1_0:
; CHECK-NEXT: .long sqrt
%r = call double @llvm.sqrt.f64(double %a)
ret double %r
}
14 changes: 0 additions & 14 deletions llvm/test/CodeGen/Generic/fpowi-promote.ll
View file
Open in desktop

This file was deleted.

33 changes: 0 additions & 33 deletions llvm/test/CodeGen/Generic/intrinsics.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1,10 +1,6 @@
; RUN: llc < %s
; RUN: llc -O0 < %s

; NVPTX can't select sinf(float)/sin(double)
; XFAIL: target=nvptx{{.*}}

;; SQRT
declare float @llvm.sqrt.f32(float)

declare double @llvm.sqrt.f64(double)
Expand All @@ -16,32 +12,6 @@ define double @test_sqrt(float %F) {
ret double %I
}


; SIN
declare float @sinf(float) readonly

declare double @sin(double) readonly

define double @test_sin(float %F) {
%G = call float @sinf( float %F ) ; <float> [#uses=1]
%H = fpext float %G to double ; <double> [#uses=1]
%I = call double @sin( double %H ) ; <double> [#uses=1]
ret double %I
}


; COS
declare float @cosf(float) readonly

declare double @cos(double) readonly

define double @test_cos(float %F) {
%G = call float @cosf( float %F ) ; <float> [#uses=1]
%H = fpext float %G to double ; <double> [#uses=1]
%I = call double @cos( double %H ) ; <double> [#uses=1]
ret double %I
}

declare ptr @llvm.launder.invariant.group(ptr)

define ptr @launder(ptr %p) {
Expand All @@ -56,9 +26,6 @@ define ptr @strip(ptr %p) {
ret ptr %q
}


; sideeffect

declare void @llvm.sideeffect()

define void @test_sideeffect() {
Expand Down
4 changes: 0 additions & 4 deletions llvm/test/CodeGen/Generic/print-arith-fp.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5,7 +5,6 @@
@sub_str = internal constant [12 x i8] c"a - b = %f\0A\00" ; <ptr> [#uses=1]
@mul_str = internal constant [12 x i8] c"a * b = %f\0A\00" ; <ptr> [#uses=1]
@div_str = internal constant [12 x i8] c"b / a = %f\0A\00" ; <ptr> [#uses=1]
@rem_str = internal constant [13 x i8] c"b %% a = %f\0A\00" ; <ptr> [#uses=1]
@lt_str = internal constant [12 x i8] c"a < b = %d\0A\00" ; <ptr> [#uses=1]
@le_str = internal constant [13 x i8] c"a <= b = %d\0A\00" ; <ptr> [#uses=1]
@gt_str = internal constant [12 x i8] c"a > b = %d\0A\00" ; <ptr> [#uses=1]
Expand All @@ -28,17 +27,14 @@ define i32 @main() {
%sub_r = fsub double %a, %b ; <double> [#uses=1]
%mul_r = fmul double %a, %b ; <double> [#uses=1]
%div_r = fdiv double %b, %a ; <double> [#uses=1]
%rem_r = frem double %b, %a ; <double> [#uses=1]
%add_s = getelementptr [12 x i8], ptr @add_str, i64 0, i64 0 ; <ptr> [#uses=1]
%sub_s = getelementptr [12 x i8], ptr @sub_str, i64 0, i64 0 ; <ptr> [#uses=1]
%mul_s = getelementptr [12 x i8], ptr @mul_str, i64 0, i64 0 ; <ptr> [#uses=1]
%div_s = getelementptr [12 x i8], ptr @div_str, i64 0, i64 0 ; <ptr> [#uses=1]
%rem_s = getelementptr [13 x i8], ptr @rem_str, i64 0, i64 0 ; <ptr> [#uses=1]
call i32 (ptr, ...) @printf( ptr %add_s, double %add_r ) ; <i32>:3 [#uses=0]
call i32 (ptr, ...) @printf( ptr %sub_s, double %sub_r ) ; <i32>:4 [#uses=0]
call i32 (ptr, ...) @printf( ptr %mul_s, double %mul_r ) ; <i32>:5 [#uses=0]
call i32 (ptr, ...) @printf( ptr %div_s, double %div_r ) ; <i32>:6 [#uses=0]
call i32 (ptr, ...) @printf( ptr %rem_s, double %rem_r ) ; <i32>:7 [#uses=0]
%lt_r = fcmp olt double %a, %b ; <i1> [#uses=1]
%le_r = fcmp ole double %a, %b ; <i1> [#uses=1]
%gt_r = fcmp ogt double %a, %b ; <i1> [#uses=1]
Expand Down
27 changes: 27 additions & 0 deletions llvm/test/CodeGen/Hexagon/powi.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,27 @@
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 6
; RUN: llc -mtriple=hexagon < %s | FileCheck %s

declare float @llvm.powi.f32.i32(float, i32)
declare double @llvm.powi.f64.i32(double, i32)

define float @powi_f32(float %a, i32 %b) {
; CHECK-LABEL: powi_f32:
; CHECK: .cfi_startproc
; CHECK-NEXT: // %bb.0:
; CHECK-NEXT: {
; CHECK-NEXT: jump __powisf2
; CHECK-NEXT: }
%r = call float @llvm.powi.f32.i32(float %a, i32 %b)
ret float %r
}

define double @powi_f64(double %a, i32 %b) {
; CHECK-LABEL: powi_f64:
; CHECK: .cfi_startproc
; CHECK-NEXT: // %bb.0:
; CHECK-NEXT: {
; CHECK-NEXT: jump __powidf2
; CHECK-NEXT: }
%r = call double @llvm.powi.f64.i32(double %a, i32 %b)
ret double %r
}
25 changes: 25 additions & 0 deletions llvm/test/CodeGen/MSP430/sqrt.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,25 @@
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 6
; RUN: llc -mtriple=msp430 < %s | FileCheck %s

declare float @llvm.sqrt.f32(float)
declare double @llvm.sqrt.f64(double)

define float @sqrt_f32(float %a) {
; CHECK-LABEL: sqrt_f32:
; CHECK: .cfi_startproc
; CHECK-NEXT: ; %bb.0:
; CHECK-NEXT: call #sqrtf
; CHECK-NEXT: ret
%r = call float @llvm.sqrt.f32(float %a)
ret float %r
}

define double @sqrt_f64(double %a) {
; CHECK-LABEL: sqrt_f64:
; CHECK: .cfi_startproc
; CHECK-NEXT: ; %bb.0:
; CHECK-NEXT: call #sqrt
; CHECK-NEXT: ret
%r = call double @llvm.sqrt.f64(double %a)
ret double %r
}
10 changes: 10 additions & 0 deletions llvm/test/CodeGen/NVPTX/powi.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,10 @@
; RUN: not --crash llc < %s -mtriple=nvptx64 2>&1 | FileCheck %s

declare float @llvm.powi.f32.i32(float, i32)

; CHECK: LLVM ERROR: Cannot select: {{.*}}: f32 = fpow
; CHECK: In function: test_powi
define float @test_powi(float %a, i32 %b) {
%r = call float @llvm.powi.f32.i32(float %a, i32 %b)
ret float %r
}
36 changes: 36 additions & 0 deletions llvm/test/CodeGen/SPARC/powi.ll
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,36 @@
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py UTC_ARGS: --version 6
; RUN: llc -mtriple=sparc < %s | FileCheck %s

declare float @llvm.powi.f32.i32(float, i32)
declare double @llvm.powi.f64.i32(double, i32)

define float @powi_f32(float %a, i32 %b) nounwind {
; CHECK-LABEL: powi_f32:
; CHECK: ! %bb.0:
; CHECK-NEXT: save %sp, -96, %sp
; CHECK-NEXT: mov %i1, %o1
; CHECK-NEXT: call __powisf2
; CHECK-NEXT: mov %i0, %o0
; CHECK-NEXT: ret
; CHECK-NEXT: restore
%r = call float @llvm.powi.f32.i32(float %a, i32 %b)
ret float %r
}

define double @powi_f64(double %a, i32 %b) nounwind {
; CHECK-LABEL: powi_f64:
; CHECK: ! %bb.0:
; CHECK-NEXT: save %sp, -112, %sp
; CHECK-NEXT: ! kill: def $i1 killed $i1 killed $i0_i1 def $i0_i1
; CHECK-NEXT: ! kill: def $i0 killed $i0 killed $i0_i1 def $i0_i1
; CHECK-NEXT: std %i0, [%fp+-8]
; CHECK-NEXT: ldd [%fp+-8], %f0
; CHECK-NEXT: mov %i2, %o2
; CHECK-NEXT: std %f0, [%fp+-16]
; CHECK-NEXT: call __powidf2
; CHECK-NEXT: ldd [%fp+-16], %o0
; CHECK-NEXT: ret
; CHECK-NEXT: restore
%r = call double @llvm.powi.f64.i32(double %a, i32 %b)
ret double %r
}
Loading