[Flang][OpenMP] Compilation error when a variable specified in a threadprivate directive is used in parallel default(firstprivate) construct

[ohno-fj]

Version of flang-new : 19.0.0(4f19f15a601a5761b12c9c66d99d97dbc89ef90d)/AArch64

A compilation error occurs when a variable specified in a threadprivate directive is used in parallel default(firstprivate) construct.

Compilation ends normally in the following cases:

• remove default(firstprivate) clause in parallel construct, or
• remove threadprivate directive

The following are the test program, Flang-new, Gfortran and ifort compilation/execution result.

snf_omp_default_003_241_252.f90:

program main
  integer,save::iii
!$omp threadprivate(iii)
!$omp parallel default(firstprivate)
  iii=3
!$omp end parallel
end program main

$ flang-new -fopenmp snf_omp_default_003_241_252.f90
error: loc("/work/home/ohno/CT/test/fort/tp/reproducerJ/Pnavi35_01/snf_omp_default_003_241_252.f90":1:1): operand #0 does not dominate this use
error: verification of lowering to FIR failed
$

$ gfortran -fopenmp snf_omp_default_003_241_252.f90; ./a.out
$

$ ifort -qopenmp -diag-disable=10448 snf_omp_default_003_241_252.f90; ./a.out
$

[llvmbot]

@llvm/issue-subscribers-openmp

Author: None (ohno-fj)

``` Version of flang-new : 19.0.0(4f19f15)/AArch64 ```

A compilation error occurs when a variable specified in a threadprivate directive is used in parallel default(firstprivate) construct.

Compilation ends normally in the following cases:

• remove default(firstprivate) clause in parallel construct, or
• remove threadprivate directive

The following are the test program, Flang-new, Gfortran and ifort compilation/execution result.

snf_omp_default_003_241_252.f90:

program main
  integer,save::iii
!$omp threadprivate(iii)
!$omp parallel default(firstprivate)
  iii=3
!$omp end parallel
end program main

$ flang-new -fopenmp snf_omp_default_003_241_252.f90
error: loc("/work/home/ohno/CT/test/fort/tp/reproducerJ/Pnavi35_01/snf_omp_default_003_241_252.f90":1:1): operand #<!-- -->0 does not dominate this use
error: verification of lowering to FIR failed
$

$ gfortran -fopenmp snf_omp_default_003_241_252.f90; ./a.out
$

$ ifort -qopenmp -diag-disable=10448 snf_omp_default_003_241_252.f90; ./a.out
$

[llvmbot]

@llvm/issue-subscribers-flang-ir

Author: None (ohno-fj)

``` Version of flang-new : 19.0.0(4f19f15)/AArch64 ```

A compilation error occurs when a variable specified in a threadprivate directive is used in parallel default(firstprivate) construct.

Compilation ends normally in the following cases:

• remove default(firstprivate) clause in parallel construct, or
• remove threadprivate directive

The following are the test program, Flang-new, Gfortran and ifort compilation/execution result.

snf_omp_default_003_241_252.f90:

program main
  integer,save::iii
!$omp threadprivate(iii)
!$omp parallel default(firstprivate)
  iii=3
!$omp end parallel
end program main

$ flang-new -fopenmp snf_omp_default_003_241_252.f90
error: loc("/work/home/ohno/CT/test/fort/tp/reproducerJ/Pnavi35_01/snf_omp_default_003_241_252.f90":1:1): operand #<!-- -->0 does not dominate this use
error: verification of lowering to FIR failed
$

$ gfortran -fopenmp snf_omp_default_003_241_252.f90; ./a.out
$

$ ifort -qopenmp -diag-disable=10448 snf_omp_default_003_241_252.f90; ./a.out
$

[luporl]

This may have been fixed by #78283.

[luporl]

Works with:
flang-new version 19.0.0git (git@github.com:llvm/llvm-project.git 17cb8a537b688ac6e4187f28f9e784491bb8abc5)