diff options
| author | Johannes Doerfert <johannes@jdoerfert.de> | 2021-05-07 23:45:07 -0500 |
|---|---|---|
| committer | Johannes Doerfert <johannes@jdoerfert.de> | 2021-05-23 20:47:06 -0500 |
| commit | e93ac1e2de66e8feae3cec3b6c0707b14c79dfeb (patch) | |
| tree | f0673be8a4a461b900f992fe681fe2d7c31f3db7 /llvm/lib/Bitcode/Reader/BitcodeReader.cpp | |
| parent | 5cdc29f7958263b754908ca0bd69be802e1f42f3 (diff) | |
[Attributor][FIX] Account for undef in the constant value lattice
The constant value lattice looks like this
```
<None>
|
<undef>
/ | \
... <0> ...
\ | /
<unknown>
```
We did not account for the undef and assumed a value meant we could not
change anymore. Now we actually check if we have the same value as
before, which will signal CHANGED to the users when we go from undef to
a specific constant.
This fixes, among other things, the bug exposed by @ipccp4 in
`value-simplify.ll`.
Diffstat (limited to 'llvm/lib/Bitcode/Reader/BitcodeReader.cpp')
0 files changed, 0 insertions, 0 deletions