llvm/test/Transforms/InstCombine/ptr-int-ptr-icmp.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -instcombine -S -disable-i2p-p2i-opt < %s | FileCheck %s
   3
   4 target datalayout = "e-p:64:64-p1:16:16-p2:32:32:32-p3:64:64:64"
   5 target triple = "x86_64-unknown-linux-gnu"
   6
   7 ; icmp (inttoptr (ptrtoint p1)), p2 --> icmp p1, p2.
   8
   9 define i1 @func(i8* %X, i8* %Y) {
  10 ; CHECK-LABEL: @func(
  11 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i8* [[X:%.*]], [[Y:%.*]]
  12 ; CHECK-NEXT:    ret i1 [[CMP]]
  13 ;
  14   %i = ptrtoint i8* %X to i64
  15   %p = inttoptr i64 %i to i8*
  16   %cmp = icmp eq i8* %p, %Y
  17   ret i1 %cmp
  18 }
  19
  20 define i1 @func_pointer_different_types(i16* %X, i8* %Y) {
  21 ; CHECK-LABEL: @func_pointer_different_types(
  22 ; CHECK-NEXT:    [[TMP1:%.*]] = bitcast i16* [[X:%.*]] to i8*
  23 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i8* [[TMP1]], [[Y:%.*]]
  24 ; CHECK-NEXT:    ret i1 [[CMP]]
  25 ;
  26   %i = ptrtoint i16* %X to i64
  27   %p = inttoptr i64 %i to i8*
  28   %cmp = icmp eq i8* %p, %Y
  29   ret i1 %cmp
  30 }
  31
  32 declare i8* @gen8ptr()
  33
  34 define i1 @func_commutative(i16* %X) {
  35 ; CHECK-LABEL: @func_commutative(
  36 ; CHECK-NEXT:    [[Y:%.*]] = call i8* @gen8ptr()
  37 ; CHECK-NEXT:    [[TMP1:%.*]] = bitcast i16* [[X:%.*]] to i8*
  38 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i8* [[Y]], [[TMP1]]
  39 ; CHECK-NEXT:    ret i1 [[CMP]]
  40 ;
  41   %Y = call i8* @gen8ptr() ; thwart complexity-based canonicalization
  42   %i = ptrtoint i16* %X to i64
  43   %p = inttoptr i64 %i to i8*
  44   %cmp = icmp eq i8* %Y, %p
  45   ret i1 %cmp
  46 }
  47
  48 ; Negative test - Wrong Integer type.
  49
  50 define i1 @func_integer_type_too_small(i16* %X, i8* %Y) {
  51 ; CHECK-LABEL: @func_integer_type_too_small(
  52 ; CHECK-NEXT:    [[TMP1:%.*]] = ptrtoint i16* [[X:%.*]] to i64
  53 ; CHECK-NEXT:    [[TMP2:%.*]] = and i64 [[TMP1]], 4294967295
  54 ; CHECK-NEXT:    [[P:%.*]] = inttoptr i64 [[TMP2]] to i8*
  55 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i8* [[P]], [[Y:%.*]]
  56 ; CHECK-NEXT:    ret i1 [[CMP]]
  57 ;
  58   %i = ptrtoint i16* %X to i32
  59   %p = inttoptr i32 %i to i8*
  60   %cmp = icmp eq i8* %Y, %p
  61   ret i1 %cmp
  62 }
  63
  64 ; Negative test - Pointers in different address space
  65
  66 define i1 @func_ptr_different_addrspace(i8* %X, i16 addrspace(3)* %Y){
  67 ; CHECK-LABEL: @func_ptr_different_addrspace(
  68 ; CHECK-NEXT:    [[I:%.*]] = ptrtoint i8* [[X:%.*]] to i64
  69 ; CHECK-NEXT:    [[P:%.*]] = inttoptr i64 [[I]] to i16 addrspace(3)*
  70 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i16 addrspace(3)* [[P]], [[Y:%.*]]
  71 ; CHECK-NEXT:    ret i1 [[CMP]]
  72 ;
  73   %i = ptrtoint i8* %X to i64
  74   %p = inttoptr i64 %i to i16 addrspace(3)*
  75   %cmp = icmp eq i16 addrspace(3)* %Y, %p
  76   ret i1 %cmp
  77 }
  78
  79 ; Negative test - Pointers in different address space
  80
  81 define i1 @func_ptr_different_addrspace1(i8 addrspace(2)* %X, i16* %Y){
  82 ; CHECK-LABEL: @func_ptr_different_addrspace1(
  83 ; CHECK-NEXT:    [[TMP1:%.*]] = ptrtoint i8 addrspace(2)* [[X:%.*]] to i32
  84 ; CHECK-NEXT:    [[I:%.*]] = zext i32 [[TMP1]] to i64
  85 ; CHECK-NEXT:    [[P:%.*]] = inttoptr i64 [[I]] to i16*
  86 ; CHECK-NEXT:    [[CMP:%.*]] = icmp eq i16* [[P]], [[Y:%.*]]
  87 ; CHECK-NEXT:    ret i1 [[CMP]]
  88 ;
  89   %i = ptrtoint i8 addrspace(2)* %X to i64
  90   %p = inttoptr i64 %i to i16*
  91   %cmp = icmp eq i16* %Y, %p
  92   ret i1 %cmp
  93 }