• R
    don't allow ZST in ScalarInt · a422b421
    Ralf Jung 提交于
    There are several indications that we should not ZST as a ScalarInt:
    - We had two ways to have ZST valtrees, either an empty `Branch` or a `Leaf` with a ZST in it.
      `ValTree::zst()` used the former, but the latter could possibly arise as well.
    - Likewise, the interpreter had `Immediate::Uninit` and `Immediate::Scalar(Scalar::ZST)`.
    - LLVM codegen already had to special-case ZST ScalarInt.
    
    So instead add new ZST variants to those types that did not have other variants
    which could be used for this purpose.
    a422b421
common.rs 12.5 KB