LLVM15 Checklist

[thewilsonator]

A List of things that need to be done to support LLVM15

Opaque pointers:

• Remove use of getPointeeType
• Rework DtoLoad to not use getPointerElementType
• Rework DtoGep (and friends) to not use getPointerElementType
• Remove use of getPointerElementType
• Remove use of ->getType()->getContainedType(0) on pointers
• Update ldc.intrinsics that have pointer arguments from p0i8 to p0
• Update and adapt test suite to accommodate opaque pointers #4189

Pass Infrastructure

• Move our use of the Sanitiser Passes to the new pass structure
• Move Our custom passes to the new pass structure
  • gc2stack Gc2stack #4188
  • strip externals Wrap strip externals pass for new pass manger. #4200
  • DLLImportRelocation
  • Simplify Druntime Calls
• Port passes to LLVM's new pass manager #3961

[thewilsonator]

Open PRs:

[JohanEngelen]

For migrating to the new passmanager, I guess the best approach is to introduce a temporary cmdline flag that switches to the new passmanager, i.e. chooses a different code path where we create the new passmanager where we add sanitizers and our own special passes? Temporary, because at the start that new passmanager path does not have our custom passes until they have been migrated. This would enable testing both paths .

[thewilsonator]

On the topic of updating the test suite to work with opaque pointers: any idea what the best way to do that is?

[JohanEngelen]

On the topic of updating the test suite to work with opaque pointers: any idea what the best way to do that is?

FileCheck understands regexp, so we can do something like {{(i8\*|ptr)}}

(edited: * in the regex needs to be escaped)

[JohanEngelen]

And if you want to check whether the test works with opaque pointers (without using LLVM15), you can use --opaque-pointers: https://d.godbolt.org/z/Kaeqxbhx6