add tests

Author: XChy

llvm/test/Transforms/InstCombine/constant-expr-datalayout.ll

@@ -46,3 +46,17 @@ define i64 @ptr2addr2() {
 ;
   ret i64 ptrtoaddr (ptr inttoptr (i64 123 to ptr) to i64)
 }
+
+define i64 @ptrtoaddr_diff_size1() {
+; CHECK-LABEL: @ptrtoaddr_diff_size1(
+; CHECK-NEXT:    ret i64 ptrtoaddr (ptr inttoptr (i32 -1 to ptr) to i64)
+;
+  ret i64 ptrtoaddr (ptr inttoptr (i32 -1 to ptr) to i64)
+}
+
+define i64 @ptrtoaddr_diff_size2() {
+; CHECK-LABEL: @ptrtoaddr_diff_size2(
+; CHECK-NEXT:    ret i64 ptrtoaddr (ptr inttoptr (i128 -1 to ptr) to i64)
+;
+  ret i64 ptrtoaddr (ptr inttoptr (i128 -1 to ptr) to i64)
+}

llvm/test/Transforms/InstCombine/ptrtoaddr.ll

@@ -0,0 +1,24 @@
+; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 6
+; RUN: opt < %s -passes=instcombine -S | FileCheck %s
+target datalayout = "p1:64:64:64:32"
+
+define i32 @ptrtoaddr_inttoptr() {
+; CHECK-LABEL: define i32 @ptrtoaddr_inttoptr() {
+; CHECK-NEXT:    ret i32 -1
+;
+  ret i32 ptrtoaddr (ptr inttoptr (i32 -1 to ptr) to i32)
+}
+
+define i32 @ptrtoaddr_inttoptr_diff_size1() {
+; CHECK-LABEL: define i32 @ptrtoaddr_inttoptr_diff_size1() {
+; CHECK-NEXT:    ret i32 ptrtoaddr (ptr inttoptr (i64 -1 to ptr) to i32)
+;
+  ret i32 ptrtoaddr (ptr inttoptr (i64 -1 to ptr) to i32)
+}
+
+define i32 @ptrtoaddr_inttoptr_diff_size2() {
+; CHECK-LABEL: define i32 @ptrtoaddr_inttoptr_diff_size2() {
+; CHECK-NEXT:    ret i32 ptrtoaddr (ptr inttoptr (i16 -1 to ptr) to i32)
+;
+  ret i32 ptrtoaddr (ptr inttoptr (i16 -1 to ptr) to i32)
+}