Changes

Summary

  1. Attributes: Check declarations for dereferenceable bytes (details)
  2. [flang] Diagnose invalid initializations (details)
  3. [flang][MSVC] Disable test on Windows (details)
  4. AMDGPU: Don't insert pointer bitcasts for printf lowering (details)
Commit 9a22aeb91d415b9c0e354e78a26a98f3d5c07f1a by arsenm2
Attributes: Check declarations for dereferenceable bytes

This will allow tablegen to start directly marking intrinsics as
dereferenceable in a useful way. Not sure if callsites should override
or use the max.
The file was addedllvm/test/CodeGen/AMDGPU/GlobalISel/dereferenceable-declaration.ll
The file was modifiedllvm/include/llvm/IR/InstrTypes.h (diff)
Commit 034bab4cc83d86cfb334bada488b88bf761a1e71 by pklausler
[flang] Diagnose invalid initializations

f18 current ignores attempts to initialize (with =expr) things
that are not objects, or allows meaningless initializations of
things that have mistakenly been promoted to be objects.
Fix by refusing to promote to objects names that have any
attributes that cannot be applied to objects, and then catch
data initializations of symbols that are not objects.

Differential Revision: https://reviews.llvm.org/D142766
The file was modifiedflang/test/Semantics/init01.f90 (diff)
The file was modifiedflang/lib/Semantics/resolve-names.cpp (diff)
Commit 5aa060e3e1458abe903577166830e64f693c9e34 by pklausler
[flang][MSVC] Disable test on Windows

A test is crashing the compiler unexpectedly when built with MSVC;
disable it with an XFAIL until it can be analyzed further.
The file was modifiedflang/test/Semantics/select-rank02.f90 (diff)
Commit 68d46567228549c4cbd7fee517dcc602533b35a3 by arsenm2
AMDGPU: Don't insert pointer bitcasts for printf lowering

Cleanup leftover typed pointer handling.
The file was modifiedllvm/lib/Target/AMDGPU/AMDGPUPrintfRuntimeBinding.cpp (diff)
The file was modifiedllvm/test/CodeGen/AMDGPU/printf-existing-format-strings.ll (diff)
The file was modifiedllvm/test/CodeGen/AMDGPU/opencl-printf.ll (diff)