1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
|
! REQUIRES: asserts
! RUN: bbc -emit-fir %s --math-runtime=precise -o - | FileCheck -check-prefix=CHECK %s
! RUN: bbc -emit-fir %s --math-runtime=precise -debug-only=flang-lower-intrinsic,flang-lower-expr 2>&1 | FileCheck -check-prefix=CHECK-WARN %s
! CHECK-LABEL: func.func @_QPtest
! CHECK: fir.call @atanh({{[^,]*}}){{.*}}: (i32) -> i32
! CHECK-LABEL: func.func @_QPtest2
! CHECK: %[[ADDR:.*]] = fir.address_of(@atanh) : (i32) -> i32
! CHECK: %[[CAST:.*]] = fir.convert %[[ADDR]] : ((i32) -> i32) -> ((f64) -> f64)
! CHECK: fir.call %[[CAST]]({{[^,]*}}){{.*}}: (f64) -> f64
subroutine test(x)
interface
integer function atanh(x) bind(c)
integer,Value :: x
end function atanh
end interface
integer :: x
print *,atanh(x)
end subroutine test
subroutine test2(x)
real(8) :: x
print *,atanh(x)
end subroutine test2
! CHECK-LABEL: func.func @_QPtest3
! CHECK: fir.call @asinh({{[^,]*}}){{.*}}: (f64) -> f64
! CHECK-LABEL: func.func @_QPtest4
! CHECK: %[[ADDR:.*]] = fir.address_of(@asinh) : (f64) -> f64
! CHECK: %[[CAST:.*]] = fir.convert %[[ADDR]] : ((f64) -> f64) -> ((i32) -> i32)
! CHECK: fir.call %[[CAST]]({{[^,]*}}){{.*}}: (i32) -> i32
subroutine test3(x)
real(8) :: x
print *,asinh(x)
end subroutine test3
subroutine test4(x)
interface
integer function asinh(x) bind(c)
integer,Value :: x
end function asinh
end interface
integer :: x
print *,asinh(x)
end subroutine test4
! CHECK-WARN: warning: loc({{.*}}math-name-conflict.f90{{.*}}): function
! CHECK-WARN-SAME: signature mismatch for 'atanh' may lead to undefined behavior.
! CHECK-WARN: warning: loc({{.*}}math-name-conflict.f90{{.*}}): function
! CHECK-WARN-SAME: name 'asinh' conflicts with a runtime function
! CHECK-WARN-SAME: name used by Flang - this may lead to undefined behavior
|
