95d54423d9
Previously, 32-bit types (integer, real, logical, complex) were printed without the (kind=4) suffix in DWARF debug type names, while other sizes always included the kind suffix. This inconsistency is now removed by always appending (kind=X) to all basic type names, making the format uniform across all type sizes. Fixes https://github.com/llvm/llvm-project/issues/119478.
40 lines
1.8 KiB
Plaintext
40 lines
1.8 KiB
Plaintext
// RUN: fir-opt --add-debug-info --mlir-print-debuginfo %s | FileCheck %s
|
|
|
|
// check conversion of complex type of different size. Both fir and mlir
|
|
// variants are checked.
|
|
|
|
module {
|
|
func.func @test1(%x : complex<f32>) -> complex<f64> {
|
|
%1 = fir.convert %x : (complex<f32>) -> complex<f64>
|
|
return %1 : complex<f64>
|
|
}loc(#loc1)
|
|
func.func @test2(%x : complex<f32>) -> complex<f64> {
|
|
%1 = fir.convert %x : (complex<f32>) -> complex<f64>
|
|
return %1 : complex<f64>
|
|
}loc(#loc2)
|
|
func.func @test3(%x : complex<f32>) -> complex<f128> {
|
|
%1 = fir.convert %x : (complex<f32>) -> complex<f128>
|
|
return %1 : complex<f128>
|
|
}loc(#loc3)
|
|
func.func @test4(%x : complex<f32>) -> complex<f128> {
|
|
%1 = fir.convert %x : (complex<f32>) -> complex<f128>
|
|
return %1 : complex<f128>
|
|
}loc(#loc4)
|
|
}
|
|
#loc1 = loc("./simple.f90":2:1)
|
|
#loc2 = loc("./simple.f90":5:1)
|
|
#loc3 = loc("./simple.f90":8:1)
|
|
#loc4 = loc("./simple.f90":11:1)
|
|
|
|
// CHECK-DAG: #[[CMPX8:.*]] = #llvm.di_basic_type<tag = DW_TAG_base_type, name = "complex(kind=8)", sizeInBits = 128, encoding = DW_ATE_complex_float>
|
|
// CHECK-DAG: #[[CMPX4:.*]] = #llvm.di_basic_type<tag = DW_TAG_base_type, name = "complex(kind=4)", sizeInBits = 64, encoding = DW_ATE_complex_float>
|
|
// CHECK-DAG: #[[CMPX16:.*]] = #llvm.di_basic_type<tag = DW_TAG_base_type, name = "complex(kind=16)", sizeInBits = 256, encoding = DW_ATE_complex_float>
|
|
|
|
// CHECK-DAG: #[[TY1:.*]] = #llvm.di_subroutine_type<{{.*}}types = #[[CMPX8]], #[[CMPX4]]>
|
|
// CHECK-DAG: #[[TY2:.*]] = #llvm.di_subroutine_type<{{.*}}types = #[[CMPX16]], #[[CMPX4]]>
|
|
|
|
// CHECK-DAG: #llvm.di_subprogram<{{.*}}name = "test1"{{.*}}type = #[[TY1]]>
|
|
// CHECK-DAG: #llvm.di_subprogram<{{.*}}name = "test2"{{.*}}type = #[[TY1]]>
|
|
// CHECK-DAG: #llvm.di_subprogram<{{.*}}name = "test3"{{.*}}type = #[[TY2]]>
|
|
// CHECK-DAG: #llvm.di_subprogram<{{.*}}name = "test4"{{.*}}type = #[[TY2]]>
|