71 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_test_checks.py UTC_ARGS: --version 42; RUN: opt -S --passes=slp-vectorizer -mtriple=x86_64-unknown-linux -mcpu=cascadelake < %s | FileCheck %s3 4define i1 @test(ptr noalias %0, i64 %1, ptr noalias %p, ptr %p1) {5; CHECK-LABEL: define i1 @test(6; CHECK-SAME: ptr noalias [[TMP0:%.*]], i64 [[TMP1:%.*]], ptr noalias [[P:%.*]], ptr [[P1:%.*]]) #[[ATTR0:[0-9]+]] {7; CHECK-NEXT: newFuncRoot:8; CHECK-NEXT: [[TMP2:%.*]] = getelementptr inbounds i8, ptr [[TMP0]], i64 169; CHECK-NEXT: [[BF_LOAD_I1336:%.*]] = load i24, ptr [[TMP2]], align 1610; CHECK-NEXT: [[AND_I_I_I1342:%.*]] = and i64 [[TMP1]], -1611; CHECK-NEXT: [[TMP3:%.*]] = inttoptr i64 [[AND_I_I_I1342]] to ptr12; CHECK-NEXT: store ptr [[TMP3]], ptr [[P]], align 813; CHECK-NEXT: [[TMP4:%.*]] = load ptr, ptr [[TMP3]], align 1614; CHECK-NEXT: [[TMP5:%.*]] = getelementptr inbounds i8, ptr [[TMP4]], i64 1615; CHECK-NEXT: [[BF_LOAD_I1345:%.*]] = load i24, ptr [[TMP5]], align 1616; CHECK-NEXT: [[TMP6:%.*]] = insertelement <2 x i24> poison, i24 [[BF_LOAD_I1336]], i32 017; CHECK-NEXT: [[TMP7:%.*]] = insertelement <2 x i24> [[TMP6]], i24 [[BF_LOAD_I1345]], i32 118; CHECK-NEXT: [[TMP8:%.*]] = and <2 x i24> [[TMP7]], splat (i24 255)19; CHECK-NEXT: [[TMP9:%.*]] = icmp eq <2 x i24> [[TMP8]], splat (i24 24)20; CHECK-NEXT: [[TMP10:%.*]] = select <2 x i1> [[TMP9]], <2 x i24> splat (i24 23), <2 x i24> [[TMP8]]21; CHECK-NEXT: [[TMP26:%.*]] = zext <2 x i24> [[TMP10]] to <2 x i32>22; CHECK-NEXT: [[TMP13:%.*]] = and <2 x i32> [[TMP26]], splat (i32 254)23; CHECK-NEXT: [[TMP15:%.*]] = icmp eq <2 x i32> [[TMP13]], splat (i32 4)24; CHECK-NEXT: [[TMP14:%.*]] = select <2 x i1> [[TMP15]], <2 x i32> splat (i32 2), <2 x i32> [[TMP26]]25; CHECK-NEXT: [[TMP17:%.*]] = icmp eq <2 x i32> [[TMP14]], splat (i32 32)26; CHECK-NEXT: [[TMP16:%.*]] = select <2 x i1> [[TMP17]], <2 x i32> splat (i32 31), <2 x i32> [[TMP14]]27; CHECK-NEXT: [[TMP27:%.*]] = icmp eq <2 x i32> [[TMP16]], splat (i32 54)28; CHECK-NEXT: [[TMP18:%.*]] = select <2 x i1> [[TMP27]], <2 x i32> splat (i32 53), <2 x i32> [[TMP16]]29; CHECK-NEXT: [[TMP19:%.*]] = extractelement <2 x i32> [[TMP18]], i32 030; CHECK-NEXT: store i32 [[TMP19]], ptr [[P1]], align 431; CHECK-NEXT: [[TMP20:%.*]] = extractelement <2 x i32> [[TMP18]], i32 132; CHECK-NEXT: [[CMP210_NOT:%.*]] = icmp eq i32 [[TMP19]], [[TMP20]]33; CHECK-NEXT: ret i1 [[CMP210_NOT]]34;35newFuncRoot:36 %2 = getelementptr inbounds i8, ptr %0, i64 1637 %bf.load.i1336 = load i24, ptr %2, align 1638 %bf.clear.i1337 = and i24 %bf.load.i1336, 25539 %and.i.i.i1342 = and i64 %1, -1640 %3 = inttoptr i64 %and.i.i.i1342 to ptr41 store ptr %3, ptr %p, align 842 %4 = load ptr, ptr %3, align 1643 %5 = getelementptr inbounds i8, ptr %4, i64 1644 %bf.load.i1345 = load i24, ptr %5, align 1645 %bf.clear.i1346 = and i24 %bf.load.i1345, 25546 %cmp182 = icmp eq i24 %bf.clear.i1337, 2447 %narrow = select i1 %cmp182, i24 23, i24 %bf.clear.i133748 %s = zext nneg i24 %narrow to i3249 %cmp185 = icmp eq i24 %bf.clear.i1346, 2450 %narrow1790 = select i1 %cmp185, i24 23, i24 %bf.clear.i134651 %s1139 = zext nneg i24 %narrow1790 to i3252 %6 = and i32 %s, 25453 %or.cond1132 = icmp eq i32 %6, 454 %s1142 = select i1 %or.cond1132, i32 2, i32 %s55 %7 = and i32 %s1139, 25456 %or.cond1133 = icmp eq i32 %7, 457 %s1140 = select i1 %or.cond1133, i32 2, i32 %s113958 %cmp198 = icmp eq i32 %s1142, 3259 %s1134 = select i1 %cmp198, i32 31, i32 %s114260 %cmp201 = icmp eq i32 %s1140, 3261 %s1143 = select i1 %cmp201, i32 31, i32 %s114062 %cmp204 = icmp eq i32 %s1134, 5463 %s1135 = select i1 %cmp204, i32 53, i32 %s113464 store i32 %s1135, ptr %p1, align 465 %cmp207 = icmp eq i32 %s1143, 5466 %s1141 = select i1 %cmp207, i32 53, i32 %s114367 %cmp210.not = icmp eq i32 %s1135, %s114168 ret i1 %cmp210.not69}70 71