According to [Llvm documentation about ICmp instruction](https://llvm.org/docs/LangRef.html#:~:text=The%20remaining%20two%20arguments%20must%20be%20integer%20or%20pointer%20or%20integer%20vector%20typed.%20They%20must%20also%20be%20identical%20types.), pointers can also be an operand. Should we allow pointer comparisons? > The remaining two arguments must be [integer](https://llvm.org/docs/LangRef.html#t-integer) or [pointer](https://llvm.org/docs/LangRef.html#t-pointer) or integer [vector](https://llvm.org/docs/LangRef.html#t-vector) typed. They must also be identical types.