llvm/test/CodeGen/AArch64/GlobalISel/legalize-intrinsic-round.mir

   1 # NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
   2
   3 # RUN:llc %s -verify-machineinstrs -mtriple=aarch64-unknown-unknown -run-pass=legalizer -mattr=-fullfp16 -o - | FileCheck %s --check-prefix=NO-FP16
   4 # RUN:llc %s -verify-machineinstrs -mtriple=aarch64-unknown-unknown -run-pass=legalizer -mattr=+fullfp16 -o - | FileCheck %s --check-prefix=FP16
   5
   6 ...
   7 ---
   8 name:            test_f16.round
   9 alignment:       4
  10 tracksRegLiveness: true
  11 machineFunctionInfo: {}
  12 body:             |
  13   bb.0:
  14     liveins: $h0
  15
  16     ; NO-FP16-LABEL: name: test_f16.round
  17     ; NO-FP16: liveins: $h0
  18     ; NO-FP16-NEXT: {{  $}}
  19     ; NO-FP16-NEXT: [[COPY:%[0-9]+]]:_(s16) = COPY $h0
  20     ; NO-FP16-NEXT: [[FPEXT:%[0-9]+]]:_(s32) = G_FPEXT [[COPY]](s16)
  21     ; NO-FP16-NEXT: [[INTRINSIC_ROUND:%[0-9]+]]:_(s32) = G_INTRINSIC_ROUND [[FPEXT]]
  22     ; NO-FP16-NEXT: [[FPTRUNC:%[0-9]+]]:_(s16) = G_FPTRUNC [[INTRINSIC_ROUND]](s32)
  23     ; NO-FP16-NEXT: $h0 = COPY [[FPTRUNC]](s16)
  24     ; NO-FP16-NEXT: RET_ReallyLR implicit $h0
  25     ;
  26     ; FP16-LABEL: name: test_f16.round
  27     ; FP16: liveins: $h0
  28     ; FP16-NEXT: {{  $}}
  29     ; FP16-NEXT: [[COPY:%[0-9]+]]:_(s16) = COPY $h0
  30     ; FP16-NEXT: [[INTRINSIC_ROUND:%[0-9]+]]:_(s16) = G_INTRINSIC_ROUND [[COPY]]
  31     ; FP16-NEXT: $h0 = COPY [[INTRINSIC_ROUND]](s16)
  32     ; FP16-NEXT: RET_ReallyLR implicit $h0
  33     %0:_(s16) = COPY $h0
  34     %1:_(s16) = G_INTRINSIC_ROUND %0
  35     $h0 = COPY %1(s16)
  36     RET_ReallyLR implicit $h0
  37
  38 ...
  39 ---
  40 name:            test_f32.round
  41 alignment:       4
  42 tracksRegLiveness: true
  43 machineFunctionInfo: {}
  44 body:             |
  45   bb.0:
  46     liveins: $s0
  47
  48     ; NO-FP16-LABEL: name: test_f32.round
  49     ; NO-FP16: liveins: $s0
  50     ; NO-FP16-NEXT: {{  $}}
  51     ; NO-FP16-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $s0
  52     ; NO-FP16-NEXT: [[INTRINSIC_ROUND:%[0-9]+]]:_(s32) = G_INTRINSIC_ROUND [[COPY]]
  53     ; NO-FP16-NEXT: $s0 = COPY [[INTRINSIC_ROUND]](s32)
  54     ; NO-FP16-NEXT: RET_ReallyLR implicit $s0
  55     ;
  56     ; FP16-LABEL: name: test_f32.round
  57     ; FP16: liveins: $s0
  58     ; FP16-NEXT: {{  $}}
  59     ; FP16-NEXT: [[COPY:%[0-9]+]]:_(s32) = COPY $s0
  60     ; FP16-NEXT: [[INTRINSIC_ROUND:%[0-9]+]]:_(s32) = G_INTRINSIC_ROUND [[COPY]]
  61     ; FP16-NEXT: $s0 = COPY [[INTRINSIC_ROUND]](s32)
  62     ; FP16-NEXT: RET_ReallyLR implicit $s0
  63     %0:_(s32) = COPY $s0
  64     %1:_(s32) = G_INTRINSIC_ROUND %0
  65     $s0 = COPY %1(s32)
  66     RET_ReallyLR implicit $s0
  67
  68 ...
  69 ---
  70 name:            test_f64.round
  71 alignment:       4
  72 tracksRegLiveness: true
  73 machineFunctionInfo: {}
  74 body:             |
  75   bb.0:
  76     liveins: $d0
  77
  78     ; NO-FP16-LABEL: name: test_f64.round
  79     ; NO-FP16: liveins: $d0
  80     ; NO-FP16-NEXT: {{  $}}
  81     ; NO-FP16-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $d0
  82     ; NO-FP16-NEXT: [[INTRINSIC_ROUND:%[0-9]+]]:_(s64) = G_INTRINSIC_ROUND [[COPY]]
  83     ; NO-FP16-NEXT: $d0 = COPY [[INTRINSIC_ROUND]](s64)
  84     ; NO-FP16-NEXT: RET_ReallyLR implicit $d0
  85     ;
  86     ; FP16-LABEL: name: test_f64.round
  87     ; FP16: liveins: $d0
  88     ; FP16-NEXT: {{  $}}
  89     ; FP16-NEXT: [[COPY:%[0-9]+]]:_(s64) = COPY $d0
  90     ; FP16-NEXT: [[INTRINSIC_ROUND:%[0-9]+]]:_(s64) = G_INTRINSIC_ROUND [[COPY]]
  91     ; FP16-NEXT: $d0 = COPY [[INTRINSIC_ROUND]](s64)
  92     ; FP16-NEXT: RET_ReallyLR implicit $d0
  93     %0:_(s64) = COPY $d0
  94     %1:_(s64) = G_INTRINSIC_ROUND %0
  95     $d0 = COPY %1(s64)
  96     RET_ReallyLR implicit $d0
  97
  98 ...
  99 ---
 100 name:            test_v8f16.round
 101 alignment:       4
 102 tracksRegLiveness: true
 103 machineFunctionInfo: {}
 104 body:             |
 105   bb.0:
 106     liveins: $q0
 107
 108     ; NO-FP16-LABEL: name: test_v8f16.round
 109     ; NO-FP16: liveins: $q0
 110     ; NO-FP16-NEXT: {{  $}}
 111     ; NO-FP16-NEXT: [[COPY:%[0-9]+]]:_(<8 x s16>) = COPY $q0
 112     ; NO-FP16-NEXT: [[UV:%[0-9]+]]:_(<4 x s16>), [[UV1:%[0-9]+]]:_(<4 x s16>) = G_UNMERGE_VALUES [[COPY]](<8 x s16>)
 113     ; NO-FP16-NEXT: [[FPEXT:%[0-9]+]]:_(<4 x s32>) = G_FPEXT [[UV]](<4 x s16>)
 114     ; NO-FP16-NEXT: [[FPEXT1:%[0-9]+]]:_(<4 x s32>) = G_FPEXT [[UV1]](<4 x s16>)
 115     ; NO-FP16-NEXT: [[INTRINSIC_ROUND:%[0-9]+]]:_(<4 x s32>) = G_INTRINSIC_ROUND [[FPEXT]]
 116     ; NO-FP16-NEXT: [[INTRINSIC_ROUND1:%[0-9]+]]:_(<4 x s32>) = G_INTRINSIC_ROUND [[FPEXT1]]
 117     ; NO-FP16-NEXT: [[FPTRUNC:%[0-9]+]]:_(<4 x s16>) = G_FPTRUNC [[INTRINSIC_ROUND]](<4 x s32>)
 118     ; NO-FP16-NEXT: [[FPTRUNC1:%[0-9]+]]:_(<4 x s16>) = G_FPTRUNC [[INTRINSIC_ROUND1]](<4 x s32>)
 119     ; NO-FP16-NEXT: [[CONCAT_VECTORS:%[0-9]+]]:_(<8 x s16>) = G_CONCAT_VECTORS [[FPTRUNC]](<4 x s16>), [[FPTRUNC1]](<4 x s16>)
 120     ; NO-FP16-NEXT: $q0 = COPY [[CONCAT_VECTORS]](<8 x s16>)
 121     ; NO-FP16-NEXT: RET_ReallyLR implicit $q0
 122     ;
 123     ; FP16-LABEL: name: test_v8f16.round
 124     ; FP16: liveins: $q0
 125     ; FP16-NEXT: {{  $}}
 126     ; FP16-NEXT: [[COPY:%[0-9]+]]:_(<8 x s16>) = COPY $q0
 127     ; FP16-NEXT: [[INTRINSIC_ROUND:%[0-9]+]]:_(<8 x s16>) = G_INTRINSIC_ROUND [[COPY]]
 128     ; FP16-NEXT: $q0 = COPY [[INTRINSIC_ROUND]](<8 x s16>)
 129     ; FP16-NEXT: RET_ReallyLR implicit $q0
 130     %0:_(<8 x s16>) = COPY $q0
 131     %1:_(<8 x s16>) = G_INTRINSIC_ROUND %0
 132     $q0 = COPY %1(<8 x s16>)
 133     RET_ReallyLR implicit $q0
 134
 135 ...
 136 ---
 137 name:            test_v4f16.round
 138 alignment:       4
 139 tracksRegLiveness: true
 140 registers:
 141   - { id: 0, class: _ }
 142   - { id: 1, class: _ }
 143 machineFunctionInfo: {}
 144 body:             |
 145   bb.0:
 146     liveins: $d0
 147
 148     ; NO-FP16-LABEL: name: test_v4f16.round
 149     ; NO-FP16: liveins: $d0
 150     ; NO-FP16-NEXT: {{  $}}
 151     ; NO-FP16-NEXT: [[COPY:%[0-9]+]]:_(<4 x s16>) = COPY $d0
 152     ; NO-FP16-NEXT: [[FPEXT:%[0-9]+]]:_(<4 x s32>) = G_FPEXT [[COPY]](<4 x s16>)
 153     ; NO-FP16-NEXT: [[INTRINSIC_ROUND:%[0-9]+]]:_(<4 x s32>) = G_INTRINSIC_ROUND [[FPEXT]]
 154     ; NO-FP16-NEXT: [[FPTRUNC:%[0-9]+]]:_(<4 x s16>) = G_FPTRUNC [[INTRINSIC_ROUND]](<4 x s32>)
 155     ; NO-FP16-NEXT: $d0 = COPY [[FPTRUNC]](<4 x s16>)
 156     ; NO-FP16-NEXT: RET_ReallyLR implicit $d0
 157     ;
 158     ; FP16-LABEL: name: test_v4f16.round
 159     ; FP16: liveins: $d0
 160     ; FP16-NEXT: {{  $}}
 161     ; FP16-NEXT: [[COPY:%[0-9]+]]:_(<4 x s16>) = COPY $d0
 162     ; FP16-NEXT: [[INTRINSIC_ROUND:%[0-9]+]]:_(<4 x s16>) = G_INTRINSIC_ROUND [[COPY]]
 163     ; FP16-NEXT: $d0 = COPY [[INTRINSIC_ROUND]](<4 x s16>)
 164     ; FP16-NEXT: RET_ReallyLR implicit $d0
 165     %0:_(<4 x s16>) = COPY $d0
 166     %1:_(<4 x s16>) = G_INTRINSIC_ROUND %0
 167     $d0 = COPY %1(<4 x s16>)
 168     RET_ReallyLR implicit $d0
 169
 170 ...
 171 ---
 172 name:            test_v2f32.round
 173 alignment:       4
 174 tracksRegLiveness: true
 175 registers:
 176   - { id: 0, class: _ }
 177   - { id: 1, class: _ }
 178 machineFunctionInfo: {}
 179 body:             |
 180   bb.0:
 181     liveins: $d0
 182
 183     ; NO-FP16-LABEL: name: test_v2f32.round
 184     ; NO-FP16: liveins: $d0
 185     ; NO-FP16-NEXT: {{  $}}
 186     ; NO-FP16-NEXT: [[COPY:%[0-9]+]]:_(<2 x s32>) = COPY $d0
 187     ; NO-FP16-NEXT: [[INTRINSIC_ROUND:%[0-9]+]]:_(<2 x s32>) = G_INTRINSIC_ROUND [[COPY]]
 188     ; NO-FP16-NEXT: $d0 = COPY [[INTRINSIC_ROUND]](<2 x s32>)
 189     ; NO-FP16-NEXT: RET_ReallyLR implicit $d0
 190     ;
 191     ; FP16-LABEL: name: test_v2f32.round
 192     ; FP16: liveins: $d0
 193     ; FP16-NEXT: {{  $}}
 194     ; FP16-NEXT: [[COPY:%[0-9]+]]:_(<2 x s32>) = COPY $d0
 195     ; FP16-NEXT: [[INTRINSIC_ROUND:%[0-9]+]]:_(<2 x s32>) = G_INTRINSIC_ROUND [[COPY]]
 196     ; FP16-NEXT: $d0 = COPY [[INTRINSIC_ROUND]](<2 x s32>)
 197     ; FP16-NEXT: RET_ReallyLR implicit $d0
 198     %0:_(<2 x s32>) = COPY $d0
 199     %1:_(<2 x s32>) = G_INTRINSIC_ROUND %0
 200     $d0 = COPY %1(<2 x s32>)
 201     RET_ReallyLR implicit $d0
 202
 203 ...
 204 ---
 205 name:            test_v4f32.round
 206 alignment:       4
 207 tracksRegLiveness: true
 208 registers:
 209   - { id: 0, class: _ }
 210   - { id: 1, class: _ }
 211 machineFunctionInfo: {}
 212 body:             |
 213   bb.0:
 214     liveins: $q0
 215
 216     ; NO-FP16-LABEL: name: test_v4f32.round
 217     ; NO-FP16: liveins: $q0
 218     ; NO-FP16-NEXT: {{  $}}
 219     ; NO-FP16-NEXT: [[COPY:%[0-9]+]]:_(<4 x s32>) = COPY $q0
 220     ; NO-FP16-NEXT: [[INTRINSIC_ROUND:%[0-9]+]]:_(<4 x s32>) = G_INTRINSIC_ROUND [[COPY]]
 221     ; NO-FP16-NEXT: $q0 = COPY [[INTRINSIC_ROUND]](<4 x s32>)
 222     ; NO-FP16-NEXT: RET_ReallyLR implicit $q0
 223     ;
 224     ; FP16-LABEL: name: test_v4f32.round
 225     ; FP16: liveins: $q0
 226     ; FP16-NEXT: {{  $}}
 227     ; FP16-NEXT: [[COPY:%[0-9]+]]:_(<4 x s32>) = COPY $q0
 228     ; FP16-NEXT: [[INTRINSIC_ROUND:%[0-9]+]]:_(<4 x s32>) = G_INTRINSIC_ROUND [[COPY]]
 229     ; FP16-NEXT: $q0 = COPY [[INTRINSIC_ROUND]](<4 x s32>)
 230     ; FP16-NEXT: RET_ReallyLR implicit $q0
 231     %0:_(<4 x s32>) = COPY $q0
 232     %1:_(<4 x s32>) = G_INTRINSIC_ROUND %0
 233     $q0 = COPY %1(<4 x s32>)
 234     RET_ReallyLR implicit $q0
 235
 236 ...
 237 ---
 238 name:            test_v2f64.round
 239 alignment:       4
 240 tracksRegLiveness: true
 241 registers:
 242   - { id: 0, class: _ }
 243   - { id: 1, class: _ }
 244 machineFunctionInfo: {}
 245 body:             |
 246   bb.0:
 247     liveins: $q0
 248
 249     ; NO-FP16-LABEL: name: test_v2f64.round
 250     ; NO-FP16: liveins: $q0
 251     ; NO-FP16-NEXT: {{  $}}
 252     ; NO-FP16-NEXT: [[COPY:%[0-9]+]]:_(<2 x s64>) = COPY $q0
 253     ; NO-FP16-NEXT: [[INTRINSIC_ROUND:%[0-9]+]]:_(<2 x s64>) = G_INTRINSIC_ROUND [[COPY]]
 254     ; NO-FP16-NEXT: $q0 = COPY [[INTRINSIC_ROUND]](<2 x s64>)
 255     ; NO-FP16-NEXT: RET_ReallyLR implicit $q0
 256     ;
 257     ; FP16-LABEL: name: test_v2f64.round
 258     ; FP16: liveins: $q0
 259     ; FP16-NEXT: {{  $}}
 260     ; FP16-NEXT: [[COPY:%[0-9]+]]:_(<2 x s64>) = COPY $q0
 261     ; FP16-NEXT: [[INTRINSIC_ROUND:%[0-9]+]]:_(<2 x s64>) = G_INTRINSIC_ROUND [[COPY]]
 262     ; FP16-NEXT: $q0 = COPY [[INTRINSIC_ROUND]](<2 x s64>)
 263     ; FP16-NEXT: RET_ReallyLR implicit $q0
 264     %0:_(<2 x s64>) = COPY $q0
 265     %1:_(<2 x s64>) = G_INTRINSIC_ROUND %0
 266     $q0 = COPY %1(<2 x s64>)
 267     RET_ReallyLR implicit $q0