diff options
| author | Matt Arsenault <Matthew.Arsenault@amd.com> | 2020-06-25 19:12:55 -0400 |
|---|---|---|
| committer | Matt Arsenault <Matthew.Arsenault@amd.com> | 2020-07-16 13:50:49 -0400 |
| commit | 0347039a6e7daa774d016e0a4e0f2568c7913351 (patch) | |
| tree | f041a25b867d6c636e4a02b94c4ad75a8e788ba6 /llvm/lib/Transforms/Utils/InlineFunction.cpp | |
| parent | b16dfbead21a458799a0dab96599eb15f5d9b7ea (diff) | |
| download | llvm-0347039a6e7daa774d016e0a4e0f2568c7913351.zip llvm-0347039a6e7daa774d016e0a4e0f2568c7913351.tar.gz llvm-0347039a6e7daa774d016e0a4e0f2568c7913351.tar.bz2 | |
ValueTracking: Fix isKnownNonZero for non-0 null pointers for byval
The IR doesn't have a proper concept of invalid pointers, and "null"
constants are just all zeros (though it really needs one).
I think it's not possible to break this for AMDGPU due to the copy
semantics of byval. If you have an original stack object at 0, the
byval copy will be placed above it so I don't think it's really
possible to hit a 0 address.
Diffstat (limited to 'llvm/lib/Transforms/Utils/InlineFunction.cpp')
0 files changed, 0 insertions, 0 deletions