````
texAddr < addr_end && texEnd > addr
````
_is the same as_
````
(texAddr >= addr && texAddr < addr_end) || (texEnd > addr && texEnd <= addr_end)
|| (addr >= texAddr && addr < texEnd) || (addr_end > texAddr && addr_end <= texEnd)
````
_because_
addr < addr_end && texAddr < texEnd
_as I don't think you need to invalidate if any size is 0. Correct me if I am wrong._