[llvm] [polly] [SCEV] Add initial support for ptrtoaddr. (PR #158032)

[Nikita Popov via llvm-commits]

================
@@ -0,0 +1,70 @@
+; NOTE: Assertions have been autogenerated by utils/update_analyze_test_checks.py
+; RUN: opt -passes='print<scalar-evolution>' -disable-output %s 2>&1 | FileCheck %s
+
+target datalayout="p:64:64:64:32"
+
+define void @ptrtoaddr(ptr %in, ptr %out0) {
+; CHECK-LABEL: 'ptrtoaddr'
+; CHECK-NEXT:  Classifying expressions for: @ptrtoaddr
+; CHECK-NEXT:    %p0 = ptrtoaddr ptr %in to i32
+; CHECK-NEXT:    --> %p0 U: full-set S: full-set
----------------
nikic wrote:

With the clarification to icmp semantics from https://github.com/llvm/llvm-project/pull/163936, it is also fine to use ptrtoaddr with mismatched pointer/address size in all the places that use getLosslessPtrToIntExpr() on icmps (like computeExitLimit and helpers).

https://github.com/llvm/llvm-project/pull/158032