Non-equal comparison
I look at the sequential LambdaRust and it seems that lit_neq
is deterministic. lit_neq
returns true
if only the two locations are known to be syntactically inequal. So when they are syntactically equal and one of them is unallocated, they are definitely equal?
Is this in between what LLVM does (i.e. with the bitwise rules and aliasing rules from Ralf's question) and what C allows?