shylie/llvm-project
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
llvm-project/llvm/test/CodeGen/AArch64/arm64-indexed-memory.ll
David Green 1fec092fd7
[AArch64][GlobalISel] Allow selecting FPR index loads. (#143835) 
We can, through legalization of certain operations, end up generating
G_INDEXED_LOAD into FPR registers that require entensions. SExt and ZExt
will always opt for GPR, but anyext/noext can curently be set to FPR
registers in regbankselect. As writing a subregister will set higher
bits in the same register to 0, we can successfully handle zext and
anyext on FPR registers, which is what this patch attempts to add.
2025-06-21 07:01:35 +01:00

771 lines
22 KiB
LLVM
Raw Permalink Blame History

; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
; RUN: llc < %s -mtriple=arm64-apple-ios -aarch64-enable-sink-fold=true -aarch64-redzone | FileCheck %s --check-prefixes=CHECK,CHECK64
; RUN: llc < %s -mtriple=arm64-apple-ios -aarch64-enable-sink-fold=true -aarch64-redzone -global-isel -global-isel-abort=1 | FileCheck %s --check-prefixes=CHECK,GISEL
; RUN: llc < %s -mtriple=arm64_32-apple-ios -aarch64-enable-sink-fold=true -aarch64-redzone | FileCheck %s --check-prefixes=CHECK,CHECK32
define ptr @store64(ptr %ptr, i64 %index, i64 %spacing) {
; CHECK-LABEL: store64:
; CHECK: ; %bb.0:
; CHECK-NEXT: str x2, [x0], #8
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds i64, ptr %ptr, i64 1
store i64 %spacing, ptr %ptr, align 4
ret ptr %incdec.ptr
}
define ptr @store64idxpos256(ptr %ptr, i64 %index, i64 %spacing) {
; CHECK-LABEL: store64idxpos256:
; CHECK: ; %bb.0:
; CHECK-NEXT: mov x8, x0
; CHECK-NEXT: add x0, x0, #256
; CHECK-NEXT: str x2, [x8]
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds i64, ptr %ptr, i64 32
store i64 %spacing, ptr %ptr, align 4
ret ptr %incdec.ptr
}
define ptr @store64idxneg256(ptr %ptr, i64 %index, i64 %spacing) {
; CHECK-LABEL: store64idxneg256:
; CHECK: ; %bb.0:
; CHECK-NEXT: str x2, [x0], #-256
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds i64, ptr %ptr, i64 -32
store i64 %spacing, ptr %ptr, align 4
ret ptr %incdec.ptr
}
define ptr @store32(ptr %ptr, i32 %index, i32 %spacing) {
; CHECK-LABEL: store32:
; CHECK: ; %bb.0:
; CHECK-NEXT: str w2, [x0], #4
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds i32, ptr %ptr, i64 1
store i32 %spacing, ptr %ptr, align 4
ret ptr %incdec.ptr
}
define ptr @store32idxpos256(ptr %ptr, i32 %index, i32 %spacing) {
; CHECK-LABEL: store32idxpos256:
; CHECK: ; %bb.0:
; CHECK-NEXT: mov x8, x0
; CHECK-NEXT: add x0, x0, #256
; CHECK-NEXT: str w2, [x8]
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds i32, ptr %ptr, i64 64
store i32 %spacing, ptr %ptr, align 4
ret ptr %incdec.ptr
}
define ptr @store32idxneg256(ptr %ptr, i32 %index, i32 %spacing) {
; CHECK-LABEL: store32idxneg256:
; CHECK: ; %bb.0:
; CHECK-NEXT: str w2, [x0], #-256
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds i32, ptr %ptr, i64 -64
store i32 %spacing, ptr %ptr, align 4
ret ptr %incdec.ptr
}
define ptr @store16(ptr %ptr, i16 %index, i16 %spacing) {
; CHECK-LABEL: store16:
; CHECK: ; %bb.0:
; CHECK-NEXT: strh w2, [x0], #2
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds i16, ptr %ptr, i64 1
store i16 %spacing, ptr %ptr, align 4
ret ptr %incdec.ptr
}
define ptr @store16idxpos256(ptr %ptr, i16 %index, i16 %spacing) {
; CHECK-LABEL: store16idxpos256:
; CHECK: ; %bb.0:
; CHECK-NEXT: mov x8, x0
; CHECK-NEXT: add x0, x0, #256
; CHECK-NEXT: strh w2, [x8]
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds i16, ptr %ptr, i64 128
store i16 %spacing, ptr %ptr, align 4
ret ptr %incdec.ptr
}
define ptr @store16idxneg256(ptr %ptr, i16 %index, i16 %spacing) {
; CHECK-LABEL: store16idxneg256:
; CHECK: ; %bb.0:
; CHECK-NEXT: strh w2, [x0], #-256
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds i16, ptr %ptr, i64 -128
store i16 %spacing, ptr %ptr, align 4
ret ptr %incdec.ptr
}
define ptr @store8(ptr %ptr, i8 %index, i8 %spacing) {
; CHECK-LABEL: store8:
; CHECK: ; %bb.0:
; CHECK-NEXT: strb w2, [x0], #1
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds i8, ptr %ptr, i64 1
store i8 %spacing, ptr %ptr, align 4
ret ptr %incdec.ptr
}
define ptr @store8idxpos256(ptr %ptr, i8 %index, i8 %spacing) {
; CHECK-LABEL: store8idxpos256:
; CHECK: ; %bb.0:
; CHECK-NEXT: mov x8, x0
; CHECK-NEXT: add x0, x0, #256
; CHECK-NEXT: strb w2, [x8]
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds i8, ptr %ptr, i64 256
store i8 %spacing, ptr %ptr, align 4
ret ptr %incdec.ptr
}
define ptr @store8idxneg256(ptr %ptr, i8 %index, i8 %spacing) {
; CHECK-LABEL: store8idxneg256:
; CHECK: ; %bb.0:
; CHECK-NEXT: strb w2, [x0], #-256
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds i8, ptr %ptr, i64 -256
store i8 %spacing, ptr %ptr, align 4
ret ptr %incdec.ptr
}
define ptr @truncst64to32(ptr %ptr, i32 %index, i64 %spacing) {
; CHECK-LABEL: truncst64to32:
; CHECK: ; %bb.0:
; CHECK-NEXT: str w2, [x0], #4
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds i32, ptr %ptr, i64 1
%trunc = trunc i64 %spacing to i32
store i32 %trunc, ptr %ptr, align 4
ret ptr %incdec.ptr
}
define ptr @truncst64to16(ptr %ptr, i16 %index, i64 %spacing) {
; CHECK-LABEL: truncst64to16:
; CHECK: ; %bb.0:
; CHECK-NEXT: strh w2, [x0], #2
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds i16, ptr %ptr, i64 1
%trunc = trunc i64 %spacing to i16
store i16 %trunc, ptr %ptr, align 4
ret ptr %incdec.ptr
}
define ptr @truncst64to8(ptr %ptr, i8 %index, i64 %spacing) {
; CHECK-LABEL: truncst64to8:
; CHECK: ; %bb.0:
; CHECK-NEXT: strb w2, [x0], #1
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds i8, ptr %ptr, i64 1
%trunc = trunc i64 %spacing to i8
store i8 %trunc, ptr %ptr, align 4
ret ptr %incdec.ptr
}
define ptr @storef16(ptr %ptr, half %index, half %spacing) nounwind {
; CHECK-LABEL: storef16:
; CHECK: ; %bb.0:
; CHECK-NEXT: str h1, [x0], #2
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds half, ptr %ptr, i64 1
store half %spacing, ptr %ptr, align 2
ret ptr %incdec.ptr
}
define ptr @storef32(ptr %ptr, float %index, float %spacing) {
; CHECK-LABEL: storef32:
; CHECK: ; %bb.0:
; CHECK-NEXT: str s1, [x0], #4
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds float, ptr %ptr, i64 1
store float %spacing, ptr %ptr, align 4
ret ptr %incdec.ptr
}
define ptr @storef64(ptr %ptr, double %index, double %spacing) {
; CHECK-LABEL: storef64:
; CHECK: ; %bb.0:
; CHECK-NEXT: str d1, [x0], #8
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds double, ptr %ptr, i64 1
store double %spacing, ptr %ptr, align 4
ret ptr %incdec.ptr
}
define ptr @pref64(ptr %ptr, double %spacing) {
; CHECK-LABEL: pref64:
; CHECK: ; %bb.0:
; CHECK-NEXT: str d0, [x0, #32]!
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds double, ptr %ptr, i64 4
store double %spacing, ptr %incdec.ptr, align 4
ret ptr %incdec.ptr
}
define ptr @pref32(ptr %ptr, float %spacing) {
; CHECK-LABEL: pref32:
; CHECK: ; %bb.0:
; CHECK-NEXT: str s0, [x0, #12]!
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds float, ptr %ptr, i64 3
store float %spacing, ptr %incdec.ptr, align 4
ret ptr %incdec.ptr
}
define ptr @pref16(ptr %ptr, half %spacing) nounwind {
; CHECK-LABEL: pref16:
; CHECK: ; %bb.0:
; CHECK-NEXT: str h0, [x0, #6]!
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds half, ptr %ptr, i64 3
store half %spacing, ptr %incdec.ptr, align 2
ret ptr %incdec.ptr
}
define ptr @pre64(ptr %ptr, i64 %spacing) {
; CHECK-LABEL: pre64:
; CHECK: ; %bb.0:
; CHECK-NEXT: str x1, [x0, #16]!
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds i64, ptr %ptr, i64 2
store i64 %spacing, ptr %incdec.ptr, align 4
ret ptr %incdec.ptr
}
define ptr @pre64idxpos256(ptr %ptr, i64 %spacing) {
; CHECK-LABEL: pre64idxpos256:
; CHECK: ; %bb.0:
; CHECK-NEXT: mov x8, x0
; CHECK-NEXT: add x0, x0, #256
; CHECK-NEXT: str x1, [x8, #256]
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds i64, ptr %ptr, i64 32
store i64 %spacing, ptr %incdec.ptr, align 4
ret ptr %incdec.ptr
}
define ptr @pre64idxneg256(ptr %ptr, i64 %spacing) {
; CHECK-LABEL: pre64idxneg256:
; CHECK: ; %bb.0:
; CHECK-NEXT: str x1, [x0, #-256]!
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds i64, ptr %ptr, i64 -32
store i64 %spacing, ptr %incdec.ptr, align 4
ret ptr %incdec.ptr
}
define ptr @pre32(ptr %ptr, i32 %spacing) {
; CHECK-LABEL: pre32:
; CHECK: ; %bb.0:
; CHECK-NEXT: str w1, [x0, #8]!
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds i32, ptr %ptr, i64 2
store i32 %spacing, ptr %incdec.ptr, align 4
ret ptr %incdec.ptr
}
define ptr @pre32idxpos256(ptr %ptr, i32 %spacing) {
; CHECK-LABEL: pre32idxpos256:
; CHECK: ; %bb.0:
; CHECK-NEXT: mov x8, x0
; CHECK-NEXT: add x0, x0, #256
; CHECK-NEXT: str w1, [x8, #256]
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds i32, ptr %ptr, i64 64
store i32 %spacing, ptr %incdec.ptr, align 4
ret ptr %incdec.ptr
}
define ptr @pre32idxneg256(ptr %ptr, i32 %spacing) {
; CHECK-LABEL: pre32idxneg256:
; CHECK: ; %bb.0:
; CHECK-NEXT: str w1, [x0, #-256]!
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds i32, ptr %ptr, i64 -64
store i32 %spacing, ptr %incdec.ptr, align 4
ret ptr %incdec.ptr
}
define ptr @pre16(ptr %ptr, i16 %spacing) {
; CHECK-LABEL: pre16:
; CHECK: ; %bb.0:
; CHECK-NEXT: strh w1, [x0, #4]!
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds i16, ptr %ptr, i64 2
store i16 %spacing, ptr %incdec.ptr, align 4
ret ptr %incdec.ptr
}
define ptr @pre16idxpos256(ptr %ptr, i16 %spacing) {
; CHECK-LABEL: pre16idxpos256:
; CHECK: ; %bb.0:
; CHECK-NEXT: mov x8, x0
; CHECK-NEXT: add x0, x0, #256
; CHECK-NEXT: strh w1, [x8, #256]
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds i16, ptr %ptr, i64 128
store i16 %spacing, ptr %incdec.ptr, align 4
ret ptr %incdec.ptr
}
define ptr @pre16idxneg256(ptr %ptr, i16 %spacing) {
; CHECK-LABEL: pre16idxneg256:
; CHECK: ; %bb.0:
; CHECK-NEXT: strh w1, [x0, #-256]!
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds i16, ptr %ptr, i64 -128
store i16 %spacing, ptr %incdec.ptr, align 4
ret ptr %incdec.ptr
}
define ptr @pre8(ptr %ptr, i8 %spacing) {
; CHECK-LABEL: pre8:
; CHECK: ; %bb.0:
; CHECK-NEXT: strb w1, [x0, #2]!
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds i8, ptr %ptr, i64 2
store i8 %spacing, ptr %incdec.ptr, align 4
ret ptr %incdec.ptr
}
define ptr @pre8idxpos256(ptr %ptr, i8 %spacing) {
; CHECK-LABEL: pre8idxpos256:
; CHECK: ; %bb.0:
; CHECK-NEXT: mov x8, x0
; CHECK-NEXT: add x0, x0, #256
; CHECK-NEXT: strb w1, [x8, #256]
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds i8, ptr %ptr, i64 256
store i8 %spacing, ptr %incdec.ptr, align 4
ret ptr %incdec.ptr
}
define ptr @pre8idxneg256(ptr %ptr, i8 %spacing) {
; CHECK-LABEL: pre8idxneg256:
; CHECK: ; %bb.0:
; CHECK-NEXT: strb w1, [x0, #-256]!
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds i8, ptr %ptr, i64 -256
store i8 %spacing, ptr %incdec.ptr, align 4
ret ptr %incdec.ptr
}
define ptr @pretrunc64to32(ptr %ptr, i64 %spacing) {
; CHECK-LABEL: pretrunc64to32:
; CHECK: ; %bb.0:
; CHECK-NEXT: str w1, [x0, #8]!
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds i32, ptr %ptr, i64 2
%trunc = trunc i64 %spacing to i32
store i32 %trunc, ptr %incdec.ptr, align 4
ret ptr %incdec.ptr
}
define ptr @pretrunc64to16(ptr %ptr, i64 %spacing) {
; CHECK-LABEL: pretrunc64to16:
; CHECK: ; %bb.0:
; CHECK-NEXT: strh w1, [x0, #4]!
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds i16, ptr %ptr, i64 2
%trunc = trunc i64 %spacing to i16
store i16 %trunc, ptr %incdec.ptr, align 4
ret ptr %incdec.ptr
}
define ptr @pretrunc64to8(ptr %ptr, i64 %spacing) {
; CHECK-LABEL: pretrunc64to8:
; CHECK: ; %bb.0:
; CHECK-NEXT: strb w1, [x0, #2]!
; CHECK-NEXT: ret
%incdec.ptr = getelementptr inbounds i8, ptr %ptr, i64 2
%trunc = trunc i64 %spacing to i8
store i8 %trunc, ptr %incdec.ptr, align 4
ret ptr %incdec.ptr
}
;-----
; Pre-indexed loads
;-----
define ptr @preidxf64(ptr %src, ptr %out) {
; CHECK-LABEL: preidxf64:
; CHECK: ; %bb.0:
; CHECK-NEXT: ldr d0, [x0, #8]!
; CHECK-NEXT: str d0, [x1]
; CHECK-NEXT: ret
%ptr = getelementptr inbounds double, ptr %src, i64 1
%tmp = load double, ptr %ptr, align 4
store double %tmp, ptr %out, align 4
ret ptr %ptr
}
define ptr @preidxf32(ptr %src, ptr %out) {
; CHECK-LABEL: preidxf32:
; CHECK: ; %bb.0:
; CHECK-NEXT: ldr s0, [x0, #4]!
; CHECK-NEXT: str s0, [x1]
; CHECK-NEXT: ret
%ptr = getelementptr inbounds float, ptr %src, i64 1
%tmp = load float, ptr %ptr, align 4
store float %tmp, ptr %out, align 4
ret ptr %ptr
}
define ptr @preidxf16(ptr %src, ptr %out) {
; CHECK-LABEL: preidxf16:
; CHECK: ; %bb.0:
; CHECK-NEXT: ldr h0, [x0, #2]!
; CHECK-NEXT: str h0, [x1]
; CHECK-NEXT: ret
%ptr = getelementptr inbounds half, ptr %src, i64 1
%tmp = load half, ptr %ptr, align 2
store half %tmp, ptr %out, align 2
ret ptr %ptr
}
define ptr @preidx64(ptr %src, ptr %out) {
; CHECK-LABEL: preidx64:
; CHECK: ; %bb.0:
; CHECK-NEXT: ldr x8, [x0, #8]!
; CHECK-NEXT: str x8, [x1]
; CHECK-NEXT: ret
%ptr = getelementptr inbounds i64, ptr %src, i64 1
%tmp = load i64, ptr %ptr, align 4
store i64 %tmp, ptr %out, align 4
ret ptr %ptr
}
define ptr @preidx32(ptr %src, ptr %out) {
; CHECK-LABEL: preidx32:
; CHECK: ; %bb.0:
; CHECK-NEXT: ldr w8, [x0, #4]!
; CHECK-NEXT: str w8, [x1]
; CHECK-NEXT: ret
%ptr = getelementptr inbounds i32, ptr %src, i64 1
%tmp = load i32, ptr %ptr, align 4
store i32 %tmp, ptr %out, align 4
ret ptr %ptr
}
define ptr @preidx16zext32(ptr %src, ptr %out) {
; CHECK-LABEL: preidx16zext32:
; CHECK: ; %bb.0:
; CHECK-NEXT: ldrh w8, [x0, #2]!
; CHECK-NEXT: str w8, [x1]
; CHECK-NEXT: ret
%ptr = getelementptr inbounds i16, ptr %src, i64 1
%tmp = load i16, ptr %ptr, align 4
%ext = zext i16 %tmp to i32
store i32 %ext, ptr %out, align 4
ret ptr %ptr
}
define ptr @preidx16zext64(ptr %src, ptr %out) {
; CHECK-LABEL: preidx16zext64:
; CHECK: ; %bb.0:
; CHECK-NEXT: ldrh w8, [x0, #2]!
; CHECK-NEXT: str x8, [x1]
; CHECK-NEXT: ret
%ptr = getelementptr inbounds i16, ptr %src, i64 1
%tmp = load i16, ptr %ptr, align 4
%ext = zext i16 %tmp to i64
store i64 %ext, ptr %out, align 4
ret ptr %ptr
}
define ptr @preidx8zext32(ptr %src, ptr %out) {
; CHECK-LABEL: preidx8zext32:
; CHECK: ; %bb.0:
; CHECK-NEXT: ldrb w8, [x0, #1]!
; CHECK-NEXT: str w8, [x1]
; CHECK-NEXT: ret
%ptr = getelementptr inbounds i8, ptr %src, i64 1
%tmp = load i8, ptr %ptr, align 4
%ext = zext i8 %tmp to i32
store i32 %ext, ptr %out, align 4
ret ptr %ptr
}
define ptr @preidx8zext64(ptr %src, ptr %out) {
; CHECK-LABEL: preidx8zext64:
; CHECK: ; %bb.0:
; CHECK-NEXT: ldrb w8, [x0, #1]!
; CHECK-NEXT: str x8, [x1]
; CHECK-NEXT: ret
%ptr = getelementptr inbounds i8, ptr %src, i64 1
%tmp = load i8, ptr %ptr, align 4
%ext = zext i8 %tmp to i64
store i64 %ext, ptr %out, align 4
ret ptr %ptr
}
define ptr @preidx32sext64(ptr %src, ptr %out) {
; CHECK-LABEL: preidx32sext64:
; CHECK: ; %bb.0:
; CHECK-NEXT: ldrsw x8, [x0, #4]!
; CHECK-NEXT: str x8, [x1]
; CHECK-NEXT: ret
%ptr = getelementptr inbounds i32, ptr %src, i64 1
%tmp = load i32, ptr %ptr, align 4
%ext = sext i32 %tmp to i64
store i64 %ext, ptr %out, align 8
ret ptr %ptr
}
define ptr @preidx16sext32(ptr %src, ptr %out) {
; CHECK-LABEL: preidx16sext32:
; CHECK: ; %bb.0:
; CHECK-NEXT: ldrsh w8, [x0, #2]!
; CHECK-NEXT: str w8, [x1]
; CHECK-NEXT: ret
%ptr = getelementptr inbounds i16, ptr %src, i64 1
%tmp = load i16, ptr %ptr, align 4
%ext = sext i16 %tmp to i32
store i32 %ext, ptr %out, align 4
ret ptr %ptr
}
define ptr @preidx16sext64(ptr %src, ptr %out) {
; CHECK-LABEL: preidx16sext64:
; CHECK: ; %bb.0:
; CHECK-NEXT: ldrsh x8, [x0, #2]!
; CHECK-NEXT: str x8, [x1]
; CHECK-NEXT: ret
%ptr = getelementptr inbounds i16, ptr %src, i64 1
%tmp = load i16, ptr %ptr, align 4
%ext = sext i16 %tmp to i64
store i64 %ext, ptr %out, align 4
ret ptr %ptr
}
define ptr @preidx8sext32(ptr %src, ptr %out) {
; CHECK-LABEL: preidx8sext32:
; CHECK: ; %bb.0:
; CHECK-NEXT: ldrsb w8, [x0, #1]!
; CHECK-NEXT: str w8, [x1]
; CHECK-NEXT: ret
%ptr = getelementptr inbounds i8, ptr %src, i64 1
%tmp = load i8, ptr %ptr, align 4
%ext = sext i8 %tmp to i32
store i32 %ext, ptr %out, align 4
ret ptr %ptr
}
define ptr @preidx8sext64(ptr %src, ptr %out) {
; CHECK-LABEL: preidx8sext64:
; CHECK: ; %bb.0:
; CHECK-NEXT: ldrsb x8, [x0, #1]!
; CHECK-NEXT: str x8, [x1]
; CHECK-NEXT: ret
%ptr = getelementptr inbounds i8, ptr %src, i64 1
%tmp = load i8, ptr %ptr, align 4
%ext = sext i8 %tmp to i64
store i64 %ext, ptr %out, align 4
ret ptr %ptr
}
; This test checks if illegal post-index is generated
define ptr @postidx_clobber(ptr %addr) nounwind noinline ssp {
; CHECK64-LABEL: postidx_clobber:
; CHECK64: ; %bb.0:
; CHECK64-NEXT: mov x8, x0
; CHECK64-NEXT: str x0, [x8], #8
; CHECK64-NEXT: mov x0, x8
; CHECK64-NEXT: ret
;
; GISEL-LABEL: postidx_clobber:
; GISEL: ; %bb.0:
; GISEL-NEXT: mov x8, x0
; GISEL-NEXT: str x0, [x8], #8
; GISEL-NEXT: mov x0, x8
; GISEL-NEXT: ret
;
; CHECK32-LABEL: postidx_clobber:
; CHECK32: ; %bb.0:
; CHECK32-NEXT: mov x8, x0
; CHECK32-NEXT: add w0, w8, #8
; CHECK32-NEXT: str w8, [x8]
; CHECK32-NEXT: ret
; ret
store ptr %addr, ptr %addr
%newaddr = getelementptr i64, ptr %addr, i32 1
ret ptr %newaddr
}
define ptr @preidx32_sb(ptr %src, ptr %out) {
; CHECK-LABEL: preidx32_sb:
; CHECK: ; %bb.0:
; CHECK-NEXT: ldrsb w8, [x0, #1]!
; CHECK-NEXT: str w8, [x1]
; CHECK-NEXT: ret
%ptr = getelementptr inbounds i8, ptr %src, i64 1
%tmp = load i8, ptr %ptr, align 1
%sext = sext i8 %tmp to i32
store i32 %sext, ptr %out, align 4
ret ptr %ptr
}
define ptr @preidx32_sh(ptr %src, ptr %out) {
; CHECK-LABEL: preidx32_sh:
; CHECK: ; %bb.0:
; CHECK-NEXT: ldrsh w8, [x0, #2]!
; CHECK-NEXT: str w8, [x1]
; CHECK-NEXT: ret
%ptr = getelementptr inbounds i16, ptr %src, i64 1
%tmp = load i16, ptr %ptr, align 2
%sext = sext i16 %tmp to i32
store i32 %sext, ptr %out, align 4
ret ptr %ptr
}
define ptr @preidx64_sb(ptr %src, ptr %out) {
; CHECK-LABEL: preidx64_sb:
; CHECK: ; %bb.0:
; CHECK-NEXT: ldrsb x8, [x0, #1]!
; CHECK-NEXT: str x8, [x1]
; CHECK-NEXT: ret
%ptr = getelementptr inbounds i8, ptr %src, i64 1
%tmp = load i8, ptr %ptr, align 1
%sext = sext i8 %tmp to i64
store i64 %sext, ptr %out, align 8
ret ptr %ptr
}
define ptr @preidx64_sh(ptr %src, ptr %out) {
; CHECK-LABEL: preidx64_sh:
; CHECK: ; %bb.0:
; CHECK-NEXT: ldrsh x8, [x0, #2]!
; CHECK-NEXT: str x8, [x1]
; CHECK-NEXT: ret
%ptr = getelementptr inbounds i16, ptr %src, i64 1
%tmp = load i16, ptr %ptr, align 2
%sext = sext i16 %tmp to i64
store i64 %sext, ptr %out, align 8
ret ptr %ptr
}
define ptr @preidx64_sw(ptr %src, ptr %out) {
; CHECK-LABEL: preidx64_sw:
; CHECK: ; %bb.0:
; CHECK-NEXT: ldrsw x8, [x0, #4]!
; CHECK-NEXT: str x8, [x1]
; CHECK-NEXT: ret
%ptr = getelementptr inbounds i32, ptr %src, i64 1
%tmp = load i32, ptr %ptr, align 2
%sext = sext i32 %tmp to i64
store i64 %sext, ptr %out, align 8
ret ptr %ptr
}
define ptr @postidx32_sb(ptr %src, ptr %out) {
; CHECK-LABEL: postidx32_sb:
; CHECK: ; %bb.0:
; CHECK-NEXT: ldrsb w8, [x0], #1
; CHECK-NEXT: str w8, [x1]
; CHECK-NEXT: ret
%tmp = load i8, ptr %src, align 1
%ptr = getelementptr inbounds i8, ptr %src, i64 1
%sext = sext i8 %tmp to i32
store i32 %sext, ptr %out, align 4
ret ptr %ptr
}
define ptr @postidx32_sh(ptr %src, ptr %out) {
; CHECK-LABEL: postidx32_sh:
; CHECK: ; %bb.0:
; CHECK-NEXT: ldrsh w8, [x0], #2
; CHECK-NEXT: str w8, [x1]
; CHECK-NEXT: ret
%tmp = load i16, ptr %src, align 2
%ptr = getelementptr inbounds i16, ptr %src, i64 1
%sext = sext i16 %tmp to i32
store i32 %sext, ptr %out, align 4
ret ptr %ptr
}
define ptr @postidx64_sb(ptr %src, ptr %out) {
; CHECK-LABEL: postidx64_sb:
; CHECK: ; %bb.0:
; CHECK-NEXT: ldrsb x8, [x0], #1
; CHECK-NEXT: str x8, [x1]
; CHECK-NEXT: ret
%tmp = load i8, ptr %src, align 1
%ptr = getelementptr inbounds i8, ptr %src, i64 1
%sext = sext i8 %tmp to i64
store i64 %sext, ptr %out, align 8
ret ptr %ptr
}
define ptr @postidx64_sh(ptr %src, ptr %out) {
; CHECK-LABEL: postidx64_sh:
; CHECK: ; %bb.0:
; CHECK-NEXT: ldrsh x8, [x0], #2
; CHECK-NEXT: str x8, [x1]
; CHECK-NEXT: ret
%tmp = load i16, ptr %src, align 2
%ptr = getelementptr inbounds i16, ptr %src, i64 1
%sext = sext i16 %tmp to i64
store i64 %sext, ptr %out, align 8
ret ptr %ptr
}
define ptr @postidx64_sw(ptr %src, ptr %out) {
; CHECK-LABEL: postidx64_sw:
; CHECK: ; %bb.0:
; CHECK-NEXT: ldrsw x8, [x0], #4
; CHECK-NEXT: str x8, [x1]
; CHECK-NEXT: ret
%tmp = load i32, ptr %src, align 4
%ptr = getelementptr inbounds i32, ptr %src, i64 1
%sext = sext i32 %tmp to i64
store i64 %sext, ptr %out, align 8
ret ptr %ptr
}
define ptr @postidx32_shalf(ptr %src, ptr %out, half %a) {
; CHECK64-LABEL: postidx32_shalf:
; CHECK64: ; %bb.0:
; CHECK64-NEXT: ldr h1, [x0], #4
; CHECK64-NEXT: ; kill: def $h0 killed $h0 def $s0
; CHECK64-NEXT: fcvt s2, h1
; CHECK64-NEXT: fcmp s2, #0.0
; CHECK64-NEXT: fcsel s0, s1, s0, mi
; CHECK64-NEXT: str h0, [x1]
; CHECK64-NEXT: ret
;
; GISEL-LABEL: postidx32_shalf:
; GISEL: ; %bb.0:
; GISEL-NEXT: mov w8, #0 ; =0x0
; GISEL-NEXT: ldr h1, [x0], #4
; GISEL-NEXT: fmov s2, w8
; GISEL-NEXT: ; kill: def $h0 killed $h0 def $s0
; GISEL-NEXT: fmov w9, s0
; GISEL-NEXT: fcvt s3, h1
; GISEL-NEXT: fmov w8, s1
; GISEL-NEXT: fcvt s2, h2
; GISEL-NEXT: fcmp s3, s2
; GISEL-NEXT: csel w8, w8, w9, mi
; GISEL-NEXT: strh w8, [x1]
; GISEL-NEXT: ret
;
; CHECK32-LABEL: postidx32_shalf:
; CHECK32: ; %bb.0:
; CHECK32-NEXT: ldr h1, [x0], #4
; CHECK32-NEXT: ; kill: def $h0 killed $h0 def $s0
; CHECK32-NEXT: fcvt s2, h1
; CHECK32-NEXT: fcmp s2, #0.0
; CHECK32-NEXT: fcsel s0, s1, s0, mi
; CHECK32-NEXT: str h0, [x1]
; CHECK32-NEXT: ret
%tmp = load half, ptr %src, align 2
%ptr = getelementptr inbounds i32, ptr %src, i64 1
%c = fcmp olt half %tmp, 0.0
%s = select i1 %c, half %tmp, half %a
store half %s, ptr %out, align 8
ret ptr %ptr
}
Reference in New Issue View Git Blame Copy Permalink