steakhal added a comment. I spent some time on this patch. But I'm left thinking about why we need the extra indirection? Couldn't we just use a `std::pair<sym,width>` pair as a key instead? You mention //effective// bitwidths in your summary, but the code does not mention this concept. Maybe you could elaborate on what //effective// bitwidth means in this context and how this changes the eqclass lookups. In addition to this, I'd be curious about an informal proof of the correctness.
Repository: rG LLVM Github Monorepo CHANGES SINCE LAST ACTION https://reviews.llvm.org/D138319/new/ https://reviews.llvm.org/D138319 _______________________________________________ cfe-commits mailing list cfe-commits@lists.llvm.org https://lists.llvm.org/cgi-bin/mailman/listinfo/cfe-commits