75 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc -mtriple=s390x-linux-gnu -mcpu=z13 < %s | FileCheck %s3 4; Test that DAGCombiner gets helped by computeKnownBitsForTargetNode().5 6; SystemZISD::REPLICATE7define i32 @f0(ptr %p0) {8; CHECK-LABEL: f0:9; CHECK: # %bb.0:10; CHECK-NEXT: vl %v0, 0(%r2), 311; CHECK-NEXT: vgbm %v1, 012; CHECK-NEXT: vceqf %v0, %v0, %v113; CHECK-NEXT: vrepif %v1, 114; CHECK-NEXT: vnc %v0, %v1, %v015; CHECK-NEXT: vst %v0, 0(%r2), 316; CHECK-NEXT: vlgvf %r2, %v0, 317; CHECK-NEXT: # kill: def $r2l killed $r2l killed $r2d18; CHECK-NEXT: br %r1419 %a0 = load <4 x i32>, ptr %p0, align 820 %cmp0 = icmp ne <4 x i32> %a0, zeroinitializer21 %zxt0 = zext <4 x i1> %cmp0 to <4 x i32>22 store <4 x i32> %zxt0, ptr %p0, align 823 %ext0 = extractelement <4 x i32> %zxt0, i32 324 br label %exit25 26exit:27; The vector icmp+zext involves a REPLICATE of 1's. If KnownBits reflects28; this, DAGCombiner can see that the i32 icmp and zext here are not needed.29 %cmp1 = icmp ne i32 %ext0, 030 %zxt1 = zext i1 %cmp1 to i3231 ret i32 %zxt132}33 34; SystemZISD::JOIN_DWORDS (and REPLICATE)35; The DAG XOR has JOIN_DWORDS and REPLICATE operands. With KnownBits properly set36; for both these nodes, ICMP is used instead of TM during lowering because37; adjustForRedundantAnd() succeeds.38define void @f1(i64 %a0, i64 %a1) {39; CHECK-LABEL: f1:40; CHECK: # %bb.0:41; CHECK-NEXT: risbgn %r0, %r2, 63, 191, 042; CHECK-NEXT: risbgn %r1, %r3, 63, 191, 043; CHECK-NEXT: vlvgp %v0, %r0, %r144; CHECK-NEXT: vrepig %v1, 145; CHECK-NEXT: vx %v0, %v0, %v146; CHECK-NEXT: vlgvg %r0, %v0, 047; CHECK-NEXT: cgijlh %r0, 0, .LBB1_348; CHECK-NEXT: # %bb.1:49; CHECK-NEXT: vlgvg %r0, %v0, 150; CHECK-NEXT: cgijlh %r0, 0, .LBB1_351; CHECK-NEXT: # %bb.2:52; CHECK-NEXT: .LBB1_3:53 %1 = and i64 %a0, 154 %2 = and i64 %a1, 155 %3 = insertelement <2 x i64> undef, i64 %1, i32 056 %4 = insertelement <2 x i64> %3, i64 %2, i32 157 %5 = xor <2 x i64> %4, <i64 1, i64 1>58 %6 = extractelement <2 x i64> %5, i32 059 %7 = and i64 %6, 160 %8 = icmp eq i64 %7, 061 br i1 %8, label %9, label %1462 63; <label>:9: ; preds = %064 %10 = extractelement <2 x i64> %5, i32 165 %11 = and i64 %10, 166 %12 = icmp eq i64 %11, 067 br i1 %12, label %13, label %1468 69; <label>:13: ; preds = %070 unreachable71 72; <label>:14: ; preds = %073 unreachable74}75