Displaying 1 result from an estimated 1 matches for "wcyxcb".
Did you mean:
wcxb
2020 Jul 13
4
(When) Do function calls read/latch/freeze their parameters?
...which leads to
multiple reads from v, which changes the result when v is undef.
We should be able to fix this in our compiler by inserting a freeze
instruction, but to me this raises a more complicated point around
function inlining that is illustrated by this example:
https://alive2.llvm.org/ce/z/wcYxCB (I don't know if the output of
Alive2 is meaningful here or if there are limitations around function
calls).
Function inlining in LLVM currently does *not* introduce freezes.
However, calls to intrinsics such as llvm.minimum.* etc. are
presumably expected to introduce freezes. So if we think o...