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

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