llvm/test/Transforms/SLPVectorizer/AArch64/32-bit.ll

   1 ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 2
   2 ; RUN: opt -passes=slp-vectorizer -S < %s | FileCheck %s
   3
   4 target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128"
   5 target triple = "aarch64-unknown-linux-gnu"
   6
   7 %S = type { i8, i8, i8, i8 }
   8
   9 define ptr @foo(ptr %this, ptr %rhs) {
  10 ; CHECK-LABEL: define ptr @foo
  11 ; CHECK-SAME: (ptr [[THIS:%.*]], ptr [[RHS:%.*]]) {
  12 ; CHECK-NEXT:  entry:
  13 ; CHECK-NEXT:    [[TMP0:%.*]] = load <4 x i8>, ptr [[RHS]], align 1, !tbaa [[TBAA0:![0-9]+]]
  14 ; CHECK-NEXT:    [[TMP1:%.*]] = load <4 x i8>, ptr [[THIS]], align 1, !tbaa [[TBAA0]]
  15 ; CHECK-NEXT:    [[TMP2:%.*]] = or <4 x i8> [[TMP0]], [[TMP1]]
  16 ; CHECK-NEXT:    store <4 x i8> [[TMP2]], ptr [[THIS]], align 1, !tbaa [[TBAA0]]
  17 ; CHECK-NEXT:    ret ptr [[THIS]]
  18 ;
  19 entry:
  20   %right1 = load i8, ptr %rhs, align 1, !tbaa !6, !range !11, !noundef !12
  21   %left1 = load i8, ptr %this, align 1, !tbaa !6, !range !11, !noundef !12
  22   %res1 = or i8 %right1, %left1
  23   store i8 %res1, ptr %this, align 1, !tbaa !6
  24   %b = getelementptr inbounds %S, ptr %rhs, i64 0, i32 1
  25   %right2 = load i8, ptr %b, align 1, !tbaa !13, !range !11, !noundef !12
  26   %b8 = getelementptr inbounds %S, ptr %this, i64 0, i32 1
  27   %left2 = load i8, ptr %b8, align 1, !tbaa !13, !range !11, !noundef !12
  28   %res2 = or i8 %right2, %left2
  29   store i8 %res2, ptr %b8, align 1, !tbaa !13
  30   %c = getelementptr inbounds %S, ptr %rhs, i64 0, i32 2
  31   %right3 = load i8, ptr %c, align 1, !tbaa !14, !range !11, !noundef !12
  32   %c16 = getelementptr inbounds %S, ptr %this, i64 0, i32 2
  33   %left3 = load i8, ptr %c16, align 1, !tbaa !14, !range !11, !noundef !12
  34   %res3 = or i8 %right3, %left3
  35   store i8 %res3, ptr %c16, align 1, !tbaa !14
  36   %d = getelementptr inbounds %S, ptr %rhs, i64 0, i32 3
  37   %right4 = load i8, ptr %d, align 1, !tbaa !15, !range !11, !noundef !12
  38   %d24 = getelementptr inbounds %S, ptr %this, i64 0, i32 3
  39   %left4 = load i8, ptr %d24, align 1, !tbaa !15, !range !11, !noundef !12
  40   %res4 = or i8 %right4, %left4
  41   store i8 %res4, ptr %d24, align 1, !tbaa !15
  42   ret ptr %this
  43 }
  44
  45
  46 !6 = !{!7, !8, i64 0}
  47 !7 = !{!"S", !8, i64 0, !8, i64 1, !8, i64 2, !8, i64 3}
  48 !8 = !{!"bool", !9, i64 0}
  49 !9 = !{!"omnipotent char", !10, i64 0}
  50 !10 = !{!"Simple C++ TBAA"}
  51 !11 = !{i8 0, i8 2}
  52 !12 = !{}
  53 !13 = !{!7, !8, i64 1}
  54 !14 = !{!7, !8, i64 2}
  55 !15 = !{!7, !8, i64 3}
  56