From 2b63eecefe6c2e9975e4b1fb88fe576a42f899f3 Mon Sep 17 00:00:00 2001 From: Sanjay Patel Date: Wed, 10 May 2017 14:54:49 +0000 Subject: [PATCH] [InstCombine] remove redundant tests The first test in this file is duplicated exactly in and.ll -> test33. We have commuted and vector variants there too. The second test is a composite of 2 folds. The first fold is tested independently in add.ll -> flip_and_mask (including vector variant). After that transform fires, the IR is identical to the first transform. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@302676 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Transforms/InstCombine/bit-tracking.ll | 34 --------------------- 1 file changed, 34 deletions(-) delete mode 100644 test/Transforms/InstCombine/bit-tracking.ll diff --git a/test/Transforms/InstCombine/bit-tracking.ll b/test/Transforms/InstCombine/bit-tracking.ll deleted file mode 100644 index bd75e2cb723..00000000000 --- a/test/Transforms/InstCombine/bit-tracking.ll +++ /dev/null @@ -1,34 +0,0 @@ -; RUN: opt < %s -instcombine -S | FileCheck %s - -; This file contains various testcases that require tracking whether bits are -; set or cleared by various instructions. - -; Reduce down to a single XOR -define i32 @test3(i32 %B) { -; CHECK-LABEL: @test3( -; CHECK-NEXT: [[TMP_8:%.*]] = xor i32 %B, 1 -; CHECK-NEXT: ret i32 [[TMP_8]] -; - %ELIMinc = and i32 %B, 1 - %tmp.5 = xor i32 %ELIMinc, 1 - %ELIM7 = and i32 %B, -2 - %tmp.8 = or i32 %tmp.5, %ELIM7 - ret i32 %tmp.8 -} - -; Finally, a bigger case where we chain things together. This corresponds to -; incrementing a single-bit bitfield, which should become just an xor. -define i32 @test4(i32 %B) { -; CHECK-LABEL: @test4( -; CHECK-NEXT: [[TMP_8:%.*]] = xor i32 %B, 1 -; CHECK-NEXT: ret i32 [[TMP_8]] -; - %ELIM3 = shl i32 %B, 31 - %ELIM4 = ashr i32 %ELIM3, 31 - %inc = add i32 %ELIM4, 1 - %ELIM5 = and i32 %inc, 1 - %ELIM7 = and i32 %B, -2 - %tmp.8 = or i32 %ELIM5, %ELIM7 - ret i32 %tmp.8 -} - -- 2.50.1