[flang-commits] [clang] [flang] [llvm] [flang] Add -finit-local= to initialize automatic variables (PR #216164)

[via flang-commits]

================
@@ -0,0 +1,65 @@
+! LLVM IR-level regression test for volatile byte-fill stores.
+! Verifies that volatile locals produce "store volatile" in LLVM IR for
+! every byte written by the -finit-local= byte-fill paths.
+!
+! At -O2 a non-volatile fill of a volatile variable can be eliminated
+! entirely.  These checks confirm the stores carry the volatile flag.
+!
+! REQUIRES: x86-registered-target
+!
+! RUN: %flang_fc1 -emit-llvm -triple x86_64-unknown-linux-gnu \
+! RUN:     -finit-local=0xAA %s -o - | FileCheck --check-prefix=HEX %s
+! RUN: %flang_fc1 -emit-llvm -triple x86_64-unknown-linux-gnu \
+! RUN:     -finit-local=zero %s -o - | FileCheck --check-prefix=ZERO %s
+
+! ---------------------------------------------------------------------------
+! Volatile derived-type local -- record byte-fill loop.
+! Every store into the record's bytes must be "store volatile i8".
+! ---------------------------------------------------------------------------
+subroutine test_volatile_derived(oa)
+  type :: t
+    integer(4) :: a
+    integer(1) :: b
+  end type
+  type(t), volatile :: v
+  integer :: oa
+  v%a = 1
+  oa = v%a
+end subroutine
+
+! HEX-LABEL: define {{.*}}@_QPtest_volatile_derived
----------------
MattPD wrote:

The six `CHECK-LABEL` directives spell HLFIR symbol names, but `-emit-llvm` emits external names. Running this file's own RUN lines fails at the first label, and this is the only failing test among the `-finit-local=` set.

The compiler emits `@test_volatile_derived_`, `@test_volatile_real10_`, and `@test_volatile_array_`.

The sibling tests match external names portably. `finit-local-array-llvm.f90`, `finit-local-real10-llvm.f90`, and `finit-local-logical-llvm.f90` all use `define {{.*}}@{{.*}}test_name{{.*}}(`. I changed only the six labels to that form, and both RUN lines then passed.


https://github.com/llvm/llvm-project/pull/216164