[all-commits] [llvm/llvm-project] 90cdc0: [IR] Fix undiagnosed cases of structs containing s...

[Jay Foad via All-commits]

  Branch: refs/heads/main
  Home:   https://github.com/llvm/llvm-project
  Commit: 90cdc03e7f5bda2e31573d48450a8ac8fa856efa
      https://github.com/llvm/llvm-project/commit/90cdc03e7f5bda2e31573d48450a8ac8fa856efa
  Author: Jay Foad <jay.foad at amd.com>
  Date:   2024-10-25 (Fri, 25 Oct 2024)

  Changed paths:
    M llvm/include/llvm/IR/DerivedTypes.h
    M llvm/include/llvm/IR/Type.h
    M llvm/lib/AsmParser/LLParser.cpp
    M llvm/lib/IR/Type.cpp
    M llvm/lib/IR/Verifier.cpp
    M llvm/lib/Transforms/InstCombine/InstructionCombining.cpp
    M llvm/test/Verifier/scalable-global-vars.ll

  Log Message:
  -----------
  [IR] Fix undiagnosed cases of structs containing scalable vectors (#113455)

Type::isScalableTy and StructType::containsScalableVectorType failed to
detect some cases of structs containing scalable vectors because
containsScalableVectorType did not call back into isScalableTy to check
the element types. Fix this, which requires sharing the same Visited set
in both functions. Also change the external API so that callers are
never required to pass in a Visited set, and normalize the naming to
isScalableTy.



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