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 4target datalayout = "e-m:e-i8:8:32-i16:16:32-i64:64-i128:128-n32:64-S128" 5target triple = "aarch64-unknown-linux-gnu" 6 7%S = type { i8, i8, i8, i8 } 8 9define 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; 19entry: 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 57