From d4bf57be6bd36ac9d9528117217113fadc3cd1cf Mon Sep 17 00:00:00 2001 From: Nikita Popov Date: Tue, 1 Jan 2019 10:17:35 +0000 Subject: [PATCH] [BDCE] Remove -instsimplify from BDCE test; NFC To make it more obvious which part of the transformation is carried out by BDCE. Also drop the CHECK-IO lines which only run -instsimplify as they don't really seem meaningful if the main check doesn't run -instsimplify either. llvm-svn: 350189 --- llvm/test/Transforms/BDCE/vectors.ll | 75 +++++++--------------------- 1 file changed, 19 insertions(+), 56 deletions(-) diff --git a/llvm/test/Transforms/BDCE/vectors.ll b/llvm/test/Transforms/BDCE/vectors.ll index fde22fd36b78..f9d048cb7057 100644 --- a/llvm/test/Transforms/BDCE/vectors.ll +++ b/llvm/test/Transforms/BDCE/vectors.ll @@ -1,25 +1,17 @@ ; NOTE: Assertions have been autogenerated by utils/update_test_checks.py -; RUN: opt -S -bdce -instsimplify < %s | FileCheck %s -; RUN: opt -S -instsimplify < %s | FileCheck %s -check-prefix=CHECK-IO -; CHECK-IO lines to ensure that transformations are not performed by only instsimplify. +; RUN: opt -S -bdce < %s | FileCheck %s ; BDCE applied to integer vectors. define <2 x i32> @test_basic(<2 x i32> %a, <2 x i32> %b) { ; CHECK-LABEL: @test_basic( +; CHECK-NEXT: [[A2:%.*]] = add <2 x i32> [[A:%.*]], +; CHECK-NEXT: [[A3:%.*]] = and <2 x i32> zeroinitializer, ; CHECK-NEXT: [[B2:%.*]] = add <2 x i32> [[B:%.*]], ; CHECK-NEXT: [[B3:%.*]] = and <2 x i32> [[B2]], -; CHECK-NEXT: [[D:%.*]] = ashr <2 x i32> [[B3]], +; CHECK-NEXT: [[C:%.*]] = or <2 x i32> [[A3]], [[B3]] +; CHECK-NEXT: [[D:%.*]] = ashr <2 x i32> [[C]], ; CHECK-NEXT: ret <2 x i32> [[D]] -; -; CHECK-IO-LABEL: @test_basic( -; CHECK-IO-NEXT: [[A2:%.*]] = add <2 x i32> [[A:%.*]], -; CHECK-IO-NEXT: [[A3:%.*]] = and <2 x i32> [[A2]], -; CHECK-IO-NEXT: [[B2:%.*]] = add <2 x i32> [[B:%.*]], -; CHECK-IO-NEXT: [[B3:%.*]] = and <2 x i32> [[B2]], -; CHECK-IO-NEXT: [[C:%.*]] = or <2 x i32> [[A3]], [[B3]] -; CHECK-IO-NEXT: [[D:%.*]] = ashr <2 x i32> [[C]], -; CHECK-IO-NEXT: ret <2 x i32> [[D]] ; %a2 = add <2 x i32> %a, %a3 = and <2 x i32> %a2, @@ -33,21 +25,14 @@ define <2 x i32> @test_basic(<2 x i32> %a, <2 x i32> %b) { ; Going vector -> scalar define i32 @test_extractelement(<2 x i32> %a, <2 x i32> %b) { ; CHECK-LABEL: @test_extractelement( +; CHECK-NEXT: [[A2:%.*]] = add <2 x i32> [[A:%.*]], +; CHECK-NEXT: [[A3:%.*]] = and <2 x i32> zeroinitializer, ; CHECK-NEXT: [[B2:%.*]] = add <2 x i32> [[B:%.*]], ; CHECK-NEXT: [[B3:%.*]] = and <2 x i32> [[B2]], -; CHECK-NEXT: [[D:%.*]] = extractelement <2 x i32> [[B3]], i32 0 +; CHECK-NEXT: [[C:%.*]] = or <2 x i32> [[A3]], [[B3]] +; CHECK-NEXT: [[D:%.*]] = extractelement <2 x i32> [[C]], i32 0 ; CHECK-NEXT: [[E:%.*]] = ashr i32 [[D]], 3 ; CHECK-NEXT: ret i32 [[E]] -; -; CHECK-IO-LABEL: @test_extractelement( -; CHECK-IO-NEXT: [[A2:%.*]] = add <2 x i32> [[A:%.*]], -; CHECK-IO-NEXT: [[A3:%.*]] = and <2 x i32> [[A2]], -; CHECK-IO-NEXT: [[B2:%.*]] = add <2 x i32> [[B:%.*]], -; CHECK-IO-NEXT: [[B3:%.*]] = and <2 x i32> [[B2]], -; CHECK-IO-NEXT: [[C:%.*]] = or <2 x i32> [[A3]], [[B3]] -; CHECK-IO-NEXT: [[D:%.*]] = extractelement <2 x i32> [[C]], i32 0 -; CHECK-IO-NEXT: [[E:%.*]] = ashr i32 [[D]], 3 -; CHECK-IO-NEXT: ret i32 [[E]] ; %a2 = add <2 x i32> %a, %a3 = and <2 x i32> %a2, @@ -62,22 +47,15 @@ define i32 @test_extractelement(<2 x i32> %a, <2 x i32> %b) { ; Going scalar -> vector define <2 x i32> @test_insertelement(i32 %a, i32 %b) { ; CHECK-LABEL: @test_insertelement( -; CHECK-NEXT: [[Y:%.*]] = insertelement <2 x i32> undef, i32 [[B:%.*]], i32 0 -; CHECK-NEXT: [[Y2:%.*]] = insertelement <2 x i32> [[Y]], i32 [[A:%.*]], i32 1 +; CHECK-NEXT: [[X:%.*]] = insertelement <2 x i32> undef, i32 [[A:%.*]], i32 0 +; CHECK-NEXT: [[X2:%.*]] = insertelement <2 x i32> zeroinitializer, i32 [[B:%.*]], i32 1 +; CHECK-NEXT: [[X3:%.*]] = and <2 x i32> zeroinitializer, +; CHECK-NEXT: [[Y:%.*]] = insertelement <2 x i32> undef, i32 [[B]], i32 0 +; CHECK-NEXT: [[Y2:%.*]] = insertelement <2 x i32> [[Y]], i32 [[A]], i32 1 ; CHECK-NEXT: [[Y3:%.*]] = and <2 x i32> [[Y2]], -; CHECK-NEXT: [[U:%.*]] = ashr <2 x i32> [[Y3]], +; CHECK-NEXT: [[Z:%.*]] = or <2 x i32> [[X3]], [[Y3]] +; CHECK-NEXT: [[U:%.*]] = ashr <2 x i32> [[Z]], ; CHECK-NEXT: ret <2 x i32> [[U]] -; -; CHECK-IO-LABEL: @test_insertelement( -; CHECK-IO-NEXT: [[X:%.*]] = insertelement <2 x i32> undef, i32 [[A:%.*]], i32 0 -; CHECK-IO-NEXT: [[X2:%.*]] = insertelement <2 x i32> [[X]], i32 [[B:%.*]], i32 1 -; CHECK-IO-NEXT: [[X3:%.*]] = and <2 x i32> [[X2]], -; CHECK-IO-NEXT: [[Y:%.*]] = insertelement <2 x i32> undef, i32 [[B]], i32 0 -; CHECK-IO-NEXT: [[Y2:%.*]] = insertelement <2 x i32> [[Y]], i32 [[A]], i32 1 -; CHECK-IO-NEXT: [[Y3:%.*]] = and <2 x i32> [[Y2]], -; CHECK-IO-NEXT: [[Z:%.*]] = or <2 x i32> [[X3]], [[Y3]] -; CHECK-IO-NEXT: [[U:%.*]] = ashr <2 x i32> [[Z]], -; CHECK-IO-NEXT: ret <2 x i32> [[U]] ; %x = insertelement <2 x i32> undef, i32 %a, i32 0 %x2 = insertelement <2 x i32> %x, i32 %b, i32 1 @@ -100,15 +78,6 @@ define <2 x i32> @test_conversion(<2 x i32> %a) { ; CHECK-NEXT: [[Z:%.*]] = fptoui <2 x double> [[Y]] to <2 x i32> ; CHECK-NEXT: [[U:%.*]] = ashr <2 x i32> [[Z]], ; CHECK-NEXT: ret <2 x i32> [[U]] -; -; CHECK-IO-LABEL: @test_conversion( -; CHECK-IO-NEXT: [[A2:%.*]] = add <2 x i32> [[A:%.*]], -; CHECK-IO-NEXT: [[A3:%.*]] = and <2 x i32> [[A2]], -; CHECK-IO-NEXT: [[X:%.*]] = uitofp <2 x i32> [[A3]] to <2 x double> -; CHECK-IO-NEXT: [[Y:%.*]] = fadd <2 x double> [[X]], -; CHECK-IO-NEXT: [[Z:%.*]] = fptoui <2 x double> [[Y]] to <2 x i32> -; CHECK-IO-NEXT: [[U:%.*]] = ashr <2 x i32> [[Z]], -; CHECK-IO-NEXT: ret <2 x i32> [[U]] ; %a2 = add <2 x i32> %a, %a3 = and <2 x i32> %a2, @@ -122,18 +91,12 @@ define <2 x i32> @test_conversion(<2 x i32> %a) { ; Assumption invalidation (adapted from invalidate-assumptions.ll) define <2 x i1> @test_assumption_invalidation(<2 x i1> %b, <2 x i8> %x) { ; CHECK-LABEL: @test_assumption_invalidation( +; CHECK-NEXT: [[SETBIT:%.*]] = or <2 x i8> [[X:%.*]], ; CHECK-NEXT: [[LITTLE_NUMBER:%.*]] = zext <2 x i1> [[B:%.*]] to <2 x i8> -; CHECK-NEXT: [[SUB:%.*]] = sub <2 x i8> zeroinitializer, [[LITTLE_NUMBER]] +; CHECK-NEXT: [[BIG_NUMBER:%.*]] = shl <2 x i8> zeroinitializer, +; CHECK-NEXT: [[SUB:%.*]] = sub <2 x i8> [[BIG_NUMBER]], [[LITTLE_NUMBER]] ; CHECK-NEXT: [[TRUNC:%.*]] = trunc <2 x i8> [[SUB]] to <2 x i1> ; CHECK-NEXT: ret <2 x i1> [[TRUNC]] -; -; CHECK-IO-LABEL: @test_assumption_invalidation( -; CHECK-IO-NEXT: [[SETBIT:%.*]] = or <2 x i8> [[X:%.*]], -; CHECK-IO-NEXT: [[LITTLE_NUMBER:%.*]] = zext <2 x i1> [[B:%.*]] to <2 x i8> -; CHECK-IO-NEXT: [[BIG_NUMBER:%.*]] = shl <2 x i8> [[SETBIT]], -; CHECK-IO-NEXT: [[SUB:%.*]] = sub nuw <2 x i8> [[BIG_NUMBER]], [[LITTLE_NUMBER]] -; CHECK-IO-NEXT: [[TRUNC:%.*]] = trunc <2 x i8> [[SUB]] to <2 x i1> -; CHECK-IO-NEXT: ret <2 x i1> [[TRUNC]] ; %setbit = or <2 x i8> %x, %little_number = zext <2 x i1> %b to <2 x i8>