llvm/test/CodeGen/AArch64/GlobalISel/translate-ret.ll

   1 ; RUN: llc -mtriple=arm64-apple-ios %s -o - -global-isel -global-isel-abort=1 -stop-after=irtranslator | FileCheck %s
   2
   3 define i128 @func_i128(i128* %ptr) {
   4 ; CHECK-LABEL: name: func_i128
   5 ; CHECK: [[PTR:%.*]]:_(p0) = COPY $x0
   6 ; CHECK: [[VAL:%.*]]:_(s128) = G_LOAD [[PTR]]
   7 ; CHECK: [[LO:%.*]]:_(s64), [[HI:%.*]]:_(s64) = G_UNMERGE_VALUES [[VAL]]
   8 ; CHECK: $x0 = COPY [[LO]]
   9 ; CHECK: $x1 = COPY [[HI]]
  10 ; CHECK: RET_ReallyLR
  11
  12   %val = load i128, i128* %ptr
  13   ret i128 %val
  14 }
  15
  16 define <8 x float> @func_v8f32(<8 x float>* %ptr) {
  17 ; CHECK-LABEL: name: func_v8f32
  18 ; CHECK: [[PTR:%.*]]:_(p0) = COPY $x0
  19 ; CHECK: [[VAL:%.*]]:_(<8 x s32>) = G_LOAD [[PTR]]
  20 ; CHECK: [[LO:%.*]]:_(<4 x s32>), [[HI:%.*]]:_(<4 x s32>) = G_UNMERGE_VALUES [[VAL]]
  21 ; CHECK: $q0 = COPY [[LO]]
  22 ; CHECK: $q1 = COPY [[HI]]
  23 ; CHECK: RET_ReallyLR
  24
  25   %val = load <8 x float>, <8 x float>* %ptr
  26   ret <8 x float> %val
  27 }
  28
  29 ; A bit weird, but s0-s5 is what SDAG does too.
  30 define <6 x float> @func_v6f32(<6 x float>* %ptr) {
  31 ; CHECK-LABEL: name: func_v6f32
  32 ; CHECK: [[PTR:%.*]]:_(p0) = COPY $x0
  33 ; CHECK: [[VAL:%.*]]:_(<6 x s32>) = G_LOAD [[PTR]]
  34 ; CHECK: [[V1:%.*]]:_(s32), [[V2:%.*]]:_(s32), [[V3:%.*]]:_(s32), [[V4:%.*]]:_(s32), [[V5:%.*]]:_(s32), [[V6:%.*]]:_(s32) = G_UNMERGE_VALUES [[VAL]]
  35 ; CHECK: $s0 = COPY [[V1]]
  36 ; CHECK: $s1 = COPY [[V2]]
  37 ; CHECK: $s2 = COPY [[V3]]
  38 ; CHECK: $s3 = COPY [[V4]]
  39 ; CHECK: $s4 = COPY [[V5]]
  40 ; CHECK: $s5 = COPY [[V6]]
  41 ; CHECK: RET_ReallyLR
  42
  43   %val = load <6 x float>, <6 x float>* %ptr
  44   ret <6 x float> %val
  45 }
  46
  47 define i128 @ABIi128(i128 %arg1) {
  48 ; CHECK-LABEL: name: ABIi128
  49 ; CHECK: [[LO:%.*]]:_(s64) = COPY $x0
  50 ; CHECK: [[HI:%.*]]:_(s64) = COPY $x1
  51 ; CHECK: [[IN:%.*]]:_(s128) = G_MERGE_VALUES [[LO]](s64), [[HI]](s64)
  52 ; CHECK: [[IN_FP:%.*]]:_(s128) = G_FPTOUI [[IN]](s128)
  53 ; CHECK: [[LO_OUT:%.*]]:_(s64), [[HI_OUT:%.*]]:_(s64) = G_UNMERGE_VALUES [[IN_FP]](s128)
  54 ; CHECK: $x0 = COPY [[LO_OUT]]
  55 ; CHECK: $x1 = COPY [[HI_OUT]]
  56   %farg1 =       bitcast i128 %arg1 to fp128
  57   %res = fptoui fp128 %farg1 to i128
  58   ret i128 %res
  59 }