llvm/test/CodeGen/AArch64/GlobalISel/legalize-ptrtoint.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2 # RUN: llc -mtriple=aarch64 -run-pass=legalizer -verify-machineinstrs %s -o - | FileCheck %s
   3
   4 ...
   5 ---
   6 name: p0_s64
   7 body: |
   8   bb.0:
   9     liveins: $x0
  10     ; CHECK-LABEL: name: p0_s64
  11     ; CHECK: liveins: $x0
  12     ; CHECK-NEXT: {{  $}}
  13     ; CHECK-NEXT: %ptr:_(p0) = COPY $x0
  14     ; CHECK-NEXT: %int:_(s64) = G_PTRTOINT %ptr(p0)
  15     ; CHECK-NEXT: $x0 = COPY %int(s64)
  16     ; CHECK-NEXT: RET_ReallyLR implicit $x0
  17     %ptr:_(p0) = COPY $x0
  18     %int:_(s64) = G_PTRTOINT %ptr
  19     $x0 = COPY %int
  20     RET_ReallyLR implicit $x0
  21 ...
  22 ---
  23 name: p0_s32
  24 body: |
  25   bb.0:
  26     liveins: $x0
  27     ; CHECK-LABEL: name: p0_s32
  28     ; CHECK: liveins: $x0
  29     ; CHECK-NEXT: {{  $}}
  30     ; CHECK-NEXT: %ptr:_(p0) = COPY $x0
  31     ; CHECK-NEXT: [[PTRTOINT:%[0-9]+]]:_(s64) = G_PTRTOINT %ptr(p0)
  32     ; CHECK-NEXT: %int:_(s32) = G_TRUNC [[PTRTOINT]](s64)
  33     ; CHECK-NEXT: $w0 = COPY %int(s32)
  34     ; CHECK-NEXT: RET_ReallyLR implicit $w0
  35     %ptr:_(p0) = COPY $x0
  36     %int:_(s32) = G_PTRTOINT %ptr
  37     $w0 = COPY %int
  38     RET_ReallyLR implicit $w0
  39 ...
  40 ---
  41 name: p0_s16
  42 body: |
  43   bb.0:
  44     liveins: $x0, $h0
  45     ; CHECK-LABEL: name: p0_s16
  46     ; CHECK: liveins: $x0, $h0
  47     ; CHECK-NEXT: {{  $}}
  48     ; CHECK-NEXT: %ptr:_(p0) = COPY $x0
  49     ; CHECK-NEXT: [[PTRTOINT:%[0-9]+]]:_(s64) = G_PTRTOINT %ptr(p0)
  50     ; CHECK-NEXT: %int:_(s16) = G_TRUNC [[PTRTOINT]](s64)
  51     ; CHECK-NEXT: $h0 = COPY %int(s16)
  52     ; CHECK-NEXT: RET_ReallyLR implicit $h0
  53     %ptr:_(p0) = COPY $x0
  54     %int:_(s16) = G_PTRTOINT %ptr
  55     $h0 = COPY %int
  56     RET_ReallyLR implicit $h0
  57 ...
  58 ---
  59 name: p0_s8
  60 body: |
  61   bb.0:
  62     liveins: $x0, $b0
  63     ; CHECK-LABEL: name: p0_s8
  64     ; CHECK: liveins: $x0, $b0
  65     ; CHECK-NEXT: {{  $}}
  66     ; CHECK-NEXT: %ptr:_(p0) = COPY $x0
  67     ; CHECK-NEXT: [[PTRTOINT:%[0-9]+]]:_(s64) = G_PTRTOINT %ptr(p0)
  68     ; CHECK-NEXT: %int:_(s8) = G_TRUNC [[PTRTOINT]](s64)
  69     ; CHECK-NEXT: $b0 = COPY %int(s8)
  70     ; CHECK-NEXT: RET_ReallyLR implicit $b0
  71     %ptr:_(p0) = COPY $x0
  72     %int:_(s8) = G_PTRTOINT %ptr
  73     $b0 = COPY %int
  74     RET_ReallyLR implicit $b0
  75 ...
  76 ---
  77 name: p0_s1
  78 body: |
  79   bb.0:
  80     liveins: $x0
  81     ; CHECK-LABEL: name: p0_s1
  82     ; CHECK: liveins: $x0
  83     ; CHECK-NEXT: {{  $}}
  84     ; CHECK-NEXT: %ptr:_(p0) = COPY $x0
  85     ; CHECK-NEXT: [[PTRTOINT:%[0-9]+]]:_(s64) = G_PTRTOINT %ptr(p0)
  86     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s32) = G_CONSTANT i32 1
  87     ; CHECK-NEXT: [[TRUNC:%[0-9]+]]:_(s32) = G_TRUNC [[PTRTOINT]](s64)
  88     ; CHECK-NEXT: %ext:_(s32) = G_AND [[TRUNC]], [[C]]
  89     ; CHECK-NEXT: $w0 = COPY %ext(s32)
  90     ; CHECK-NEXT: RET_ReallyLR implicit $w0
  91     %ptr:_(p0) = COPY $x0
  92     %int:_(s1) = G_PTRTOINT %ptr
  93     %ext:_(s32) = G_ZEXT %int
  94     $w0 = COPY %ext
  95     RET_ReallyLR implicit $w0
  96 ...
  97 ---
  98 name: p0_s128
  99 body: |
 100   bb.0:
 101     liveins: $x0, $q0
 102     ; CHECK-LABEL: name: p0_s128
 103     ; CHECK: liveins: $x0, $q0
 104     ; CHECK-NEXT: {{  $}}
 105     ; CHECK-NEXT: %ptr:_(p0) = COPY $x0
 106     ; CHECK-NEXT: [[PTRTOINT:%[0-9]+]]:_(s64) = G_PTRTOINT %ptr(p0)
 107     ; CHECK-NEXT: [[C:%[0-9]+]]:_(s64) = G_CONSTANT i64 0
 108     ; CHECK-NEXT: %int:_(s128) = G_MERGE_VALUES [[PTRTOINT]](s64), [[C]](s64)
 109     ; CHECK-NEXT: $q0 = COPY %int(s128)
 110     ; CHECK-NEXT: RET_ReallyLR implicit $q0
 111     %ptr:_(p0) = COPY $x0
 112     %int:_(s128) = G_PTRTOINT %ptr
 113     $q0 = COPY %int
 114     RET_ReallyLR implicit $q0
 115 ...
 116 ---
 117 name: p0_s88
 118 body: |
 119   bb.0:
 120     liveins: $x0
 121     ; CHECK-LABEL: name: p0_s88
 122     ; CHECK: liveins: $x0
 123     ; CHECK-NEXT: {{  $}}
 124     ; CHECK-NEXT: %ptr:_(p0) = COPY $x0
 125     ; CHECK-NEXT: [[PTRTOINT:%[0-9]+]]:_(s64) = G_PTRTOINT %ptr(p0)
 126     ; CHECK-NEXT: %trunc:_(s32) = G_TRUNC [[PTRTOINT]](s64)
 127     ; CHECK-NEXT: $w0 = COPY %trunc(s32)
 128     ; CHECK-NEXT: RET_ReallyLR implicit $w0
 129     %ptr:_(p0) = COPY $x0
 130     %int:_(s88) = G_PTRTOINT %ptr
 131     %trunc:_(s32) = G_TRUNC %int
 132     $w0 = COPY %trunc
 133     RET_ReallyLR implicit $w0
 134
 135 ...
 136 ---
 137 name:            v2s64_v2p0_legal
 138 tracksRegLiveness: true
 139 body:             |
 140   bb.0:
 141     liveins: $q0
 142
 143     ; CHECK-LABEL: name: v2s64_v2p0_legal
 144     ; CHECK: liveins: $q0
 145     ; CHECK-NEXT: {{  $}}
 146     ; CHECK-NEXT: %ptr:_(<2 x p0>) = COPY $q0
 147     ; CHECK-NEXT: %int:_(<2 x s64>) = G_PTRTOINT %ptr(<2 x p0>)
 148     ; CHECK-NEXT: $q0 = COPY %int(<2 x s64>)
 149     ; CHECK-NEXT: RET_ReallyLR implicit $q0
 150     %ptr:_(<2 x p0>) = COPY $q0
 151     %int:_(<2 x s64>) = G_PTRTOINT %ptr(<2 x p0>)
 152     $q0 = COPY %int(<2 x s64>)
 153     RET_ReallyLR implicit $q0
 154 ...