1; RUN: opt -march=hexagon -hexagon-vc -S < %s | FileCheck %s
2
3; Test that the HexagonVectorCombine pass identifies instruction
4; pairs whose difference in pointers is zero. This creates a vector
5; load to handle masked and unmasked loads that have no base
6; pointer difference and replaces the masked and unmasked loads
7; with selects
8
9; CHECK: select
10
11target datalayout = "e-m:e-p:32:32:32-a:0-n16:32-i64:64:64-i32:32:32-i16:16:16-i1:8:8-f32:32:32-f64:64:64-v32:32:32-v64:64:64-v512:512:512-v1024:1024:1024-v2048:2048:2048"
12target triple = "hexagon"
13
14define dllexport void @f0(i8** %a0) local_unnamed_addr #0 {
15b0:
16  %v0 = load i8*, i8** %a0, align 4
17  %v1 = getelementptr i8, i8* %v0, i32 1794
18  %v2 = bitcast i8* %v1 to <64 x i16>*
19  call void @llvm.assume(i1 true) [ "align"(i8* %v0, i32 128) ]
20  %v3 = load <64 x i16>, <64 x i16>* %v2, align 128
21  %v4 = add <64 x i16> %v3, %v3
22  call void @llvm.assume(i1 true) [ "align"(i8* %v0, i32 128) ]
23  %v5 = tail call <64 x i16> @llvm.masked.load.v64i16.p0v64i16(<64 x i16>* %v2, i32 128, <64 x i1> <i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true, i1 false, i1 true>, <64 x i16> undef)
24  call void @llvm.assume(i1 true) [ "align"(i8* %v0, i32 128) ]
25  %v6 = add <64 x i16> %v4, %v5
26  store <64 x i16> %v6, <64 x i16>* %v2, align 128
27  ret void
28}
29
30; Function Attrs: nofree nosync nounwind willreturn
31declare void @llvm.assume(i1 noundef) #1
32
33; Function Attrs: argmemonly nofree nosync nounwind readonly willreturn
34declare <64 x i16> @llvm.masked.load.v64i16.p0v64i16(<64 x i16>*, i32 immarg, <64 x i1>, <64 x i16>) #2
35
36attributes #0 = { "target-features"="+hvxv68,+hvx-length128b,+hvxv68,+hvx-length128b" }
37attributes #1 = { nofree nosync nounwind willreturn }
38attributes #2 = { argmemonly nofree nosync nounwind readonly willreturn }
39