LazyValueInfo now handles the comparison of a value when masked in a certain way with a constant. For example, for a 16-bit integer, we might have x & 0xfff0 == 0x1230. This is a typical situation produced by InstCombine to efficiently check if x is between [0x1230, 0x1240).
Diff Detail
Diff Detail
Unit Tests
Unit Tests
Event Timeline
Comment Actions
Tests?
llvm/lib/Analysis/LazyValueInfo.cpp | ||
---|---|---|
1137 | Please integrate your code here. It's not super obvious to me in what way it extends the existing handling. |
Please integrate your code here. It's not super obvious to me in what way it extends the existing handling.