63 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 62; RUN: opt -passes=slp-vectorizer -S < %s | FileCheck %s3 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 [[BOOL_TBAA0:![0-9]+]]14; CHECK-NEXT: [[TMP1:%.*]] = load <4 x i8>, ptr [[THIS]], align 1, !tbaa [[BOOL_TBAA0]]15; CHECK-NEXT: [[TMP2:%.*]] = or <4 x i8> [[TMP0]], [[TMP1]]16; CHECK-NEXT: store <4 x i8> [[TMP2]], ptr [[THIS]], align 1, !tbaa [[BOOL_TBAA0]]17; CHECK-NEXT: ret ptr [[THIS]]18;19entry:20 %right1 = load i8, ptr %rhs, align 1, !tbaa !6, !range !11, !noundef !1221 %left1 = load i8, ptr %this, align 1, !tbaa !6, !range !11, !noundef !1222 %res1 = or i8 %right1, %left123 store i8 %res1, ptr %this, align 1, !tbaa !624 %b = getelementptr inbounds %S, ptr %rhs, i64 0, i32 125 %right2 = load i8, ptr %b, align 1, !tbaa !13, !range !11, !noundef !1226 %b8 = getelementptr inbounds %S, ptr %this, i64 0, i32 127 %left2 = load i8, ptr %b8, align 1, !tbaa !13, !range !11, !noundef !1228 %res2 = or i8 %right2, %left229 store i8 %res2, ptr %b8, align 1, !tbaa !1330 %c = getelementptr inbounds %S, ptr %rhs, i64 0, i32 231 %right3 = load i8, ptr %c, align 1, !tbaa !14, !range !11, !noundef !1232 %c16 = getelementptr inbounds %S, ptr %this, i64 0, i32 233 %left3 = load i8, ptr %c16, align 1, !tbaa !14, !range !11, !noundef !1234 %res3 = or i8 %right3, %left335 store i8 %res3, ptr %c16, align 1, !tbaa !1436 %d = getelementptr inbounds %S, ptr %rhs, i64 0, i32 337 %right4 = load i8, ptr %d, align 1, !tbaa !15, !range !11, !noundef !1238 %d24 = getelementptr inbounds %S, ptr %this, i64 0, i32 339 %left4 = load i8, ptr %d24, align 1, !tbaa !15, !range !11, !noundef !1240 %res4 = or i8 %right4, %left441 store i8 %res4, ptr %d24, align 1, !tbaa !1542 ret ptr %this43}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;.58; CHECK: [[BOOL_TBAA0]] = !{[[META1:![0-9]+]], [[META1]], i64 0}59; CHECK: [[META1]] = !{!"bool", [[META2:![0-9]+]], i64 0}60; CHECK: [[META2]] = !{!"omnipotent char", [[META3:![0-9]+]], i64 0}61; CHECK: [[META3]] = !{!"Simple C++ TBAA"}62;.63