We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 948efa6 commit 0fb45e9Copy full SHA for 0fb45e9
ir/memory.h
@@ -195,7 +195,7 @@ class Memory {
195
const smt::expr &bytes, const smt::expr &val,
196
const std::set<smt::expr> &undef, uint64_t align);
197
198
- // If bid_src == nullopt, it encodes the non-local block refinement
+ // If bid_other == nullopt, it encodes the non-local block refinement
199
// Otherwise, it encodes the local block refinement between bid and *bid_other
200
smt::expr blockValRefined(const Memory &other, unsigned bid,
201
std::optional<unsigned> bid_other,
0 commit comments