llvm/test/CodeGen/Hexagon/vcombine_zero_diff_ptrs.ll

   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
  11 target 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"
  12 target triple = "hexagon"
  13
  14 define dllexport void @f0(ptr %a0) local_unnamed_addr #0 {
  15 b0:
  16   %v0 = load ptr, ptr %a0, align 4
  17   %v1 = getelementptr i8, ptr %v0, i32 1794
  18   call void @llvm.assume(i1 true) [ "align"(ptr %v0, i32 128) ]
  19   %v3 = load <64 x i16>, ptr %v1, align 128
  20   %v4 = add <64 x i16> %v3, %v3
  21   call void @llvm.assume(i1 true) [ "align"(ptr %v0, i32 128) ]
  22   %v5 = tail call <64 x i16> @llvm.masked.load.v64i16.p0(ptr %v1, 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)
  23   call void @llvm.assume(i1 true) [ "align"(ptr %v0, i32 128) ]
  24   %v6 = add <64 x i16> %v4, %v5
  25   store <64 x i16> %v6, ptr %v1, align 128
  26   ret void
  27 }
  28
  29 ; Function Attrs: nofree nosync nounwind willreturn
  30 declare void @llvm.assume(i1 noundef) #1
  31
  32 ; Function Attrs: argmemonly nofree nosync nounwind readonly willreturn
  33 declare <64 x i16> @llvm.masked.load.v64i16.p0(ptr, i32 immarg, <64 x i1>, <64 x i16>) #2
  34
  35 attributes #0 = { "target-features"="+hvxv68,+hvx-length128b,+hvxv68,+hvx-length128b" }
  36 attributes #1 = { nofree nosync nounwind willreturn }
  37 attributes #2 = { argmemonly nofree nosync nounwind readonly willreturn }