• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; NOTE: Assertions have been autogenerated by utils/update_mir_test_checks.py
2; RUN: llc -mtriple=aarch64-linux-gnu -O0 -global-isel -stop-after=irtranslator -o - %s | FileCheck %s
3
4; Tests vectors of i1 types can appropriately extended first before return handles it.
5define <4 x i1> @ret_v4i1(<4 x i1> *%v) {
6  ; CHECK-LABEL: name: ret_v4i1
7  ; CHECK: bb.1 (%ir-block.0):
8  ; CHECK:   liveins: $x0
9  ; CHECK:   [[COPY:%[0-9]+]]:_(p0) = COPY $x0
10  ; CHECK:   [[LOAD:%[0-9]+]]:_(<4 x s1>) = G_LOAD [[COPY]](p0) :: (load 1 from %ir.v, align 4)
11  ; CHECK:   [[ANYEXT:%[0-9]+]]:_(<4 x s16>) = G_ANYEXT [[LOAD]](<4 x s1>)
12  ; CHECK:   $d0 = COPY [[ANYEXT]](<4 x s16>)
13  ; CHECK:   RET_ReallyLR implicit $d0
14  %v2 = load <4 x i1>, <4 x i1> *%v
15  ret <4 x i1> %v2
16}
17