mirror of
https://github.com/c64scene-ar/llvm-6502.git
synced 2024-12-30 17:33:24 +00:00
24e78e0125
Some Intrinsics are overloaded to the extent that return type equality (all that's been checked up to now) does not guarantee that the arguments are the same. In these cases SLP vectorizer should not recurse into the operands, which can be achieved by comparing them as "Function *" rather than simply the ID. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@205424 91177308-0d34-0410-b5e6-96231b3b80d8
19 lines
762 B
LLVM
19 lines
762 B
LLVM
; RUN: opt -S -slp-vectorizer %s | FileCheck %s
|
|
target datalayout = "e-m:o-i64:64-i128:128-n32:64-S128"
|
|
target triple = "arm64-apple-ios5.0.0"
|
|
|
|
define i64 @mismatched_intrinsics(<4 x i32> %in1, <2 x i32> %in2) nounwind {
|
|
; CHECK-LABEL: @mismatched_intrinsics
|
|
; CHECK: call i64 @llvm.arm64.neon.saddlv.i64.v4i32
|
|
; CHECK: call i64 @llvm.arm64.neon.saddlv.i64.v2i32
|
|
|
|
%vaddlvq_s32.i = tail call i64 @llvm.arm64.neon.saddlv.i64.v4i32(<4 x i32> %in1) #2
|
|
%vaddlv_s32.i = tail call i64 @llvm.arm64.neon.saddlv.i64.v2i32(<2 x i32> %in2) #2
|
|
%tst = icmp sgt i64 %vaddlvq_s32.i, %vaddlv_s32.i
|
|
%equal = sext i1 %tst to i64
|
|
ret i64 %equal
|
|
}
|
|
|
|
declare i64 @llvm.arm64.neon.saddlv.i64.v4i32(<4 x i32> %in1)
|
|
declare i64 @llvm.arm64.neon.saddlv.i64.v2i32(<2 x i32> %in1)
|