mirror of
https://github.com/RPCS3/llvm.git
synced 2026-01-31 01:25:19 +01:00
fa5aafaac2
If a vector index is out of bounds, the result is supposed to be undefined but is not undefined behavior. Change the legalization for indexing the vector on the stack so that an out of bounds index does not create an out of bounds memory access. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@291604 91177308-0d34-0410-b5e6-96231b3b80d8
63 lines
1.9 KiB
LLVM
63 lines
1.9 KiB
LLVM
; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py
|
|
; RUN: llc < %s -mtriple=i386-unknown -mattr=+sse4.1 | FileCheck %s --check-prefix=X32
|
|
; RUN: llc < %s -mtriple=x86_64-unknown -mattr=+sse4.1 | FileCheck %s --check-prefix=X64
|
|
|
|
; tests variable insert and extract of a 4 x i32
|
|
|
|
define <4 x i32> @var_insert(<4 x i32> %x, i32 %val, i32 %idx) nounwind {
|
|
; X32-LABEL: var_insert:
|
|
; X32: # BB#0: # %entry
|
|
; X32-NEXT: pushl %ebp
|
|
; X32-NEXT: movl %esp, %ebp
|
|
; X32-NEXT: andl $-16, %esp
|
|
; X32-NEXT: subl $32, %esp
|
|
; X32-NEXT: movl 12(%ebp), %eax
|
|
; X32-NEXT: andl $3, %eax
|
|
; X32-NEXT: movl 8(%ebp), %ecx
|
|
; X32-NEXT: movaps %xmm0, (%esp)
|
|
; X32-NEXT: movl %ecx, (%esp,%eax,4)
|
|
; X32-NEXT: movaps (%esp), %xmm0
|
|
; X32-NEXT: movl %ebp, %esp
|
|
; X32-NEXT: popl %ebp
|
|
; X32-NEXT: retl
|
|
;
|
|
; X64-LABEL: var_insert:
|
|
; X64: # BB#0: # %entry
|
|
; X64-NEXT: # kill: %ESI<def> %ESI<kill> %RSI<def>
|
|
; X64-NEXT: movaps %xmm0, -{{[0-9]+}}(%rsp)
|
|
; X64-NEXT: andl $3, %esi
|
|
; X64-NEXT: movl %edi, -24(%rsp,%rsi,4)
|
|
; X64-NEXT: movaps -{{[0-9]+}}(%rsp), %xmm0
|
|
; X64-NEXT: retq
|
|
entry:
|
|
%tmp3 = insertelement <4 x i32> %x, i32 %val, i32 %idx
|
|
ret <4 x i32> %tmp3
|
|
}
|
|
|
|
define i32 @var_extract(<4 x i32> %x, i32 %idx) nounwind {
|
|
; X32-LABEL: var_extract:
|
|
; X32: # BB#0: # %entry
|
|
; X32-NEXT: pushl %ebp
|
|
; X32-NEXT: movl %esp, %ebp
|
|
; X32-NEXT: andl $-16, %esp
|
|
; X32-NEXT: subl $32, %esp
|
|
; X32-NEXT: movl 8(%ebp), %eax
|
|
; X32-NEXT: andl $3, %eax
|
|
; X32-NEXT: movaps %xmm0, (%esp)
|
|
; X32-NEXT: movl (%esp,%eax,4), %eax
|
|
; X32-NEXT: movl %ebp, %esp
|
|
; X32-NEXT: popl %ebp
|
|
; X32-NEXT: retl
|
|
;
|
|
; X64-LABEL: var_extract:
|
|
; X64: # BB#0: # %entry
|
|
; X64-NEXT: # kill: %EDI<def> %EDI<kill> %RDI<def>
|
|
; X64-NEXT: movaps %xmm0, -{{[0-9]+}}(%rsp)
|
|
; X64-NEXT: andl $3, %edi
|
|
; X64-NEXT: movl -24(%rsp,%rdi,4), %eax
|
|
; X64-NEXT: retq
|
|
entry:
|
|
%tmp3 = extractelement <4 x i32> %x, i32 %idx
|
|
ret i32 %tmp3
|
|
}
|