[all-commits] [llvm/llvm-project] fedf4d: [flang] Do not propagate type desc when box type i...

[Valentin Clement (バレンタイン クレメン) via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: fedf4dcd808b0e20113e06a09d36c1c0cd56091d
      https://github.com/llvm/llvm-project/commit/fedf4dcd808b0e20113e06a09d36c1c0cd56091d
  Author: Valentin Clement <clementval at gmail.com>
  Date:   2022-11-22 (Tue, 22 Nov 2022)

  Changed paths:
    M flang/lib/Optimizer/Builder/FIRBuilder.cpp
    M flang/test/Lower/polymorphic.f90

  Log Message:
  -----------
  [flang] Do not propagate type desc when box type is not polymorphic

When the rhs is non-polymorphic the type descriptor should not
be propagated. An error in the EmboxOp verifier was raised in that case.
This patch propagate the type descriptor only if the result type of the
EmboxOp operation is polymorphic.

Reviewed By: PeteSteinfeld

Differential Revision: https://reviews.llvm.org/D138442