Displaying 1 result from an estimated 1 matches for "9afcc492".
2015 Mar 16
2
[LLVMdev] Question: Motivation of the semantics of the undefined value?
Dear LLVMdev,
We have a question regarding the semantics of the undefined value in LLVM
IR.
As far as we understand, in order to give a semantics to the undefined
value, the semantics of LLVM IR is generalized to a rather unusual
set-based semantics. More specifically, the notion of value in LLVM IR is
generalized to a set of values, rather than a single value. Then the
undefined value is simply