llvm/test/Verifier/non-integral-pointers.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py
   2 ; RUN: opt -verify -S < %s 2>&1 | FileCheck %s
   3
   4 target datalayout = "e-ni:4:6"
   5
   6 define i64 @f_0(i8 addrspace(4)* %ptr) {
   7 ; CHECK-LABEL: @f_0(
   8 ; CHECK-NEXT:    [[VAL:%.*]] = ptrtoint i8 addrspace(4)* [[PTR:%.*]] to i64
   9 ; CHECK-NEXT:    ret i64 [[VAL]]
  10 ;
  11   %val = ptrtoint i8 addrspace(4)* %ptr to i64
  12   ret i64 %val
  13 }
  14
  15 define <4 x i64> @f_1(<4 x i8 addrspace(4)*> %ptr) {
  16 ; CHECK-LABEL: @f_1(
  17 ; CHECK-NEXT:    [[VAL:%.*]] = ptrtoint <4 x i8 addrspace(4)*> [[PTR:%.*]] to <4 x i64>
  18 ; CHECK-NEXT:    ret <4 x i64> [[VAL]]
  19 ;
  20   %val = ptrtoint <4 x i8 addrspace(4)*> %ptr to <4 x i64>
  21   ret <4 x i64> %val
  22 }
  23
  24 define i64 @f_2(i8 addrspace(3)* %ptr) {
  25 ; CHECK-LABEL: @f_2(
  26 ; CHECK-NEXT:    [[VAL:%.*]] = ptrtoint i8 addrspace(3)* [[PTR:%.*]] to i64
  27 ; CHECK-NEXT:    ret i64 [[VAL]]
  28 ;
  29   %val = ptrtoint i8 addrspace(3)* %ptr to i64
  30   ret i64 %val
  31 }
  32
  33 define i8 addrspace(4)* @f_3(i64 %integer) {
  34 ; CHECK-LABEL: @f_3(
  35 ; CHECK-NEXT:    [[VAL:%.*]] = inttoptr i64 [[INTEGER:%.*]] to i8 addrspace(4)*
  36 ; CHECK-NEXT:    ret i8 addrspace(4)* [[VAL]]
  37 ;
  38   %val = inttoptr i64 %integer to i8 addrspace(4)*
  39   ret i8 addrspace(4)* %val
  40 }
  41
  42 define <4 x i8 addrspace(4)*> @f_4(<4 x i64> %integer) {
  43 ; CHECK-LABEL: @f_4(
  44 ; CHECK-NEXT:    [[VAL:%.*]] = inttoptr <4 x i64> [[INTEGER:%.*]] to <4 x i8 addrspace(4)*>
  45 ; CHECK-NEXT:    ret <4 x i8 addrspace(4)*> [[VAL]]
  46 ;
  47   %val = inttoptr <4 x i64> %integer to <4 x i8 addrspace(4)*>
  48   ret <4 x i8 addrspace(4)*> %val
  49 }
  50
  51 define i8 addrspace(3)* @f_5(i64 %integer) {
  52 ; CHECK-LABEL: @f_5(
  53 ; CHECK-NEXT:    [[VAL:%.*]] = inttoptr i64 [[INTEGER:%.*]] to i8 addrspace(3)*
  54 ; CHECK-NEXT:    ret i8 addrspace(3)* [[VAL]]
  55 ;
  56   %val = inttoptr i64 %integer to i8 addrspace(3)*
  57   ret i8 addrspace(3)* %val
  58 }
  59
  60 define i64 @f_6(i8 addrspace(6)* %ptr) {
  61 ; CHECK-LABEL: @f_6(
  62 ; CHECK-NEXT:    [[VAL:%.*]] = ptrtoint i8 addrspace(6)* [[PTR:%.*]] to i64
  63 ; CHECK-NEXT:    ret i64 [[VAL]]
  64 ;
  65   %val = ptrtoint i8 addrspace(6)* %ptr to i64
  66   ret i64 %val
  67 }
  68
  69 define i8 addrspace(4)* @f_7() {
  70 ; CHECK-LABEL: @f_7(
  71 ; CHECK-NEXT:    ret i8 addrspace(4)* inttoptr (i64 50 to i8 addrspace(4)*)
  72 ;
  73   ret i8 addrspace(4)* inttoptr (i64 50 to i8 addrspace(4)*)
  74 }
  75
  76 @global0 = addrspace(4) constant i8 42
  77
  78 define i64 @f_8() {
  79 ; CHECK-LABEL: @f_8(
  80 ; CHECK-NEXT:    ret i64 ptrtoint (i8 addrspace(4)* @global0 to i64)
  81 ;
  82   ret i64 ptrtoint (i8 addrspace(4)* @global0 to i64)
  83 }
  84
  85 define i8 addrspace(4)* @f_9() {
  86 ; CHECK-LABEL: @f_9(
  87 ; CHECK-NEXT:    ret i8 addrspace(4)* getelementptr (i8, i8 addrspace(4)* inttoptr (i64 55 to i8 addrspace(4)*), i32 100)
  88 ;
  89   ret i8 addrspace(4)* getelementptr (i8, i8 addrspace(4)* inttoptr (i64 55 to i8 addrspace(4)*), i32 100)
  90 }
  91
  92 @global1 = addrspace(4) constant i8 42
  93
  94 define i8 addrspace(4)* @f_10() {
  95 ; CHECK-LABEL: @f_10(
  96 ; CHECK-NEXT:    ret i8 addrspace(4)* getelementptr (i8, i8 addrspace(4)* @global0, i64 ptrtoint (i8 addrspace(4)* @global1 to i64))
  97 ;
  98   ret i8 addrspace(4)* getelementptr (i8, i8 addrspace(4)* @global0, i64 ptrtoint (i8 addrspace(4)* @global1 to i64))
  99 }
 100
 101 @cycle_0 = addrspace(4) constant i64 ptrtoint (i64 addrspace(4)* addrspace(4)* @cycle_1 to i64)
 102 @cycle_1 = addrspace(4) constant i64 addrspace(4) * @cycle_0
 103
 104 define i64 addrspace(4)* addrspace(4)* @f_11() {
 105 ; CHECK-LABEL: @f_11(
 106 ; CHECK-NEXT:    ret i64 addrspace(4)* addrspace(4)* @cycle_1
 107 ;
 108   ret i64 addrspace(4)* addrspace(4)* @cycle_1
 109 }
 110
 111 @cycle_self = addrspace(4) constant i64 ptrtoint (i64 addrspace(4)* @cycle_self to i64)
 112
 113 define i64 addrspace(4)* @f_12() {
 114 ; CHECK-LABEL: @f_12(
 115 ; CHECK-NEXT:    ret i64 addrspace(4)* @cycle_self
 116 ;
 117   ret i64 addrspace(4)* @cycle_self
 118 }