| // RUN: fir-opt %s --pass-pipeline="builtin.module(acc-initialize-fir-analyses,acc-implicit-data,acc-recipe-materialization)" -split-input-file | FileCheck %s | |
| // Verify that optional scalar (Fortran OPTIONAL dummy) gets the optional | |
| // firstprivate recipe from acc-implicit-data and that acc-recipe-materialization | |
| // inlines the fir.is_present / fir.if / fir.load / hlfir.assign body. | |
| // ----- | |
| func.func @test_optional_firstprivate(%arg0: !fir.ref<i32> {fir.bindc_name = "x", fir.optional}) { | |
| acc.parallel { | |
| %load = fir.load %arg0 : !fir.ref<i32> | |
| acc.yield | |
| } | |
| return | |
| } | |
| // Recipe exists right after acc-implicit-data (before acc-recipe-materialization) | |
| // IMPLICIT: acc.firstprivate.recipe @firstprivatization_optional_ref_i32 | |
| // After acc-recipe-materialization: recipe is materialized, check the inlined body | |
| // CHECK: acc.firstprivate_map varPtr | |
| // CHECK: acc.parallel { | |
| // CHECK: %[[TEMP:.*]] = fir.alloca i32 | |
| // CHECK: fir.is_present | |
| // CHECK: fir.if %{{.*}} -> (!fir.ref<i32>) { | |
| // CHECK: fir.result %[[TEMP]] | |
| // CHECK: } else { | |
| // CHECK: fir.absent !fir.ref<i32> | |
| // CHECK: fir.result | |
| // CHECK: fir.is_present | |
| // CHECK: fir.if %{{.*}} { | |
| // CHECK: fir.load | |
| // CHECK: hlfir.assign | |
| // CHECK: acc.yield |