Cleanup in preparation for generalizing it.
Details
Details
Diff Detail
Diff Detail
- Repository
- rL LLVM
Event Timeline
Comment Actions
Your change looks correct to me, but I don't know why we chose to express N/D as a BW+1 bit integer in the first place.
lib/Analysis/ScalarEvolution.cpp | ||
---|---|---|
7035 | I don't understand why "(N / D) may need BW+1 bits in its representation" is true, btw. It seems to me N/D should always fit in BW bits. | |
7040 | Add an assert here? |
I don't understand why "(N / D) may need BW+1 bits in its representation" is true, btw. It seems to me N/D should always fit in BW bits.