[all-commits] [llvm/llvm-project] f3bf84: [flang] Unwrap sequence types when checking for de...

[Asher Mancinelli via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: f3bf844d2ff0a2984ca9bf976014decc0241d2b4
      https://github.com/llvm/llvm-project/commit/f3bf844d2ff0a2984ca9bf976014decc0241d2b4
  Author: Asher Mancinelli <ashermancinelli at gmail.com>
  Date:   2025-04-16 (Wed, 16 Apr 2025)

  Changed paths:
    M flang/lib/Optimizer/Dialect/FIRType.cpp
    A flang/test/Fir/tbaa-codegen-records.fir

  Log Message:
  -----------
  [flang] Unwrap sequence types when checking for descriptor members (#136039)

The TBAA generation gives conservative TBAA metadata when handling an
access of a record type with a descriptor member, since the access may
be a regular data access OR another descriptor. Array members were being
incorrectly identified as non-descriptor-members, and were giving
incorrect TBAA metadata which led to bugs showing up in the optimizer
when LLVM encountered mismatching TBAA.

`fir::isRecordWithDescriptorMember` now unwraps sequence types before
checking for descriptor members.



To unsubscribe from these emails, change your notification settings at https://github.com/llvm/llvm-project/settings/notifications