diff options
| author | Sanjay Patel <spatel@rotateright.com> | 2016-11-30 20:48:54 +0000 |
|---|---|---|
| committer | Sanjay Patel <spatel@rotateright.com> | 2016-11-30 20:48:54 +0000 |
| commit | aa8b28e50901045476faca1b1047123d4f43d7ce (patch) | |
| tree | 76a73c3c4358c1d19f5187843059e474286bf549 /llvm/test | |
| parent | f00e2c09bea89c73aa6501ff5430586d35372fca (diff) | |
| download | bcm5719-llvm-aa8b28e50901045476faca1b1047123d4f43d7ce.tar.gz bcm5719-llvm-aa8b28e50901045476faca1b1047123d4f43d7ce.zip | |
[InstCombine] allow more narrowing transforms for logic ops
We had a limited version of this for scalar 'and'; this expands
the transform to 'or' and 'xor' and allows vectors types too.
llvm-svn: 288273
Diffstat (limited to 'llvm/test')
| -rw-r--r-- | llvm/test/Transforms/InstCombine/narrow.ll | 24 |
1 files changed, 12 insertions, 12 deletions
diff --git a/llvm/test/Transforms/InstCombine/narrow.ll b/llvm/test/Transforms/InstCombine/narrow.ll index d51164875ef..0e000e8bdbe 100644 --- a/llvm/test/Transforms/InstCombine/narrow.ll +++ b/llvm/test/Transforms/InstCombine/narrow.ll @@ -19,12 +19,12 @@ define i1 @test1(i32 %A, i32 %B) { ret i1 %ELIM3 } -; TODO: The next 6 (3 logic ops * (scalar+vector)) tests show potential cases for narrowing a bitwise logic op. +; The next 6 (3 logic ops * (scalar+vector)) tests show potential cases for narrowing a bitwise logic op. define i32 @shrink_xor(i64 %a) { ; CHECK-LABEL: @shrink_xor( -; CHECK-NEXT: [[XOR:%.*]] = xor i64 %a, 1 -; CHECK-NEXT: [[TRUNC:%.*]] = trunc i64 [[XOR]] to i32 +; CHECK-NEXT: [[TMP1:%.*]] = trunc i64 %a to i32 +; CHECK-NEXT: [[TRUNC:%.*]] = xor i32 [[TMP1]], 1 ; CHECK-NEXT: ret i32 [[TRUNC]] ; %xor = xor i64 %a, 1 @@ -36,8 +36,8 @@ define i32 @shrink_xor(i64 %a) { define <2 x i32> @shrink_xor_vec(<2 x i64> %a) { ; CHECK-LABEL: @shrink_xor_vec( -; CHECK-NEXT: [[XOR:%.*]] = xor <2 x i64> %a, <i64 2, i64 2> -; CHECK-NEXT: [[TRUNC:%.*]] = trunc <2 x i64> [[XOR]] to <2 x i32> +; CHECK-NEXT: [[TMP1:%.*]] = trunc <2 x i64> %a to <2 x i32> +; CHECK-NEXT: [[TRUNC:%.*]] = xor <2 x i32> [[TMP1]], <i32 2, i32 2> ; CHECK-NEXT: ret <2 x i32> [[TRUNC]] ; %xor = xor <2 x i64> %a, <i64 2, i64 2> @@ -49,8 +49,8 @@ define <2 x i32> @shrink_xor_vec(<2 x i64> %a) { define i3 @shrink_or(i6 %a) { ; CHECK-LABEL: @shrink_or( -; CHECK-NEXT: [[OR:%.*]] = or i6 %a, 1 -; CHECK-NEXT: [[TRUNC:%.*]] = trunc i6 [[OR]] to i3 +; CHECK-NEXT: [[TMP1:%.*]] = trunc i6 %a to i3 +; CHECK-NEXT: [[TRUNC:%.*]] = or i3 [[TMP1]], 1 ; CHECK-NEXT: ret i3 [[TRUNC]] ; %or = or i6 %a, 33 @@ -62,8 +62,8 @@ define i3 @shrink_or(i6 %a) { define <2 x i8> @shrink_or_vec(<2 x i16> %a) { ; CHECK-LABEL: @shrink_or_vec( -; CHECK-NEXT: [[OR:%.*]] = or <2 x i16> %a, <i16 -1, i16 256> -; CHECK-NEXT: [[TRUNC:%.*]] = trunc <2 x i16> [[OR]] to <2 x i8> +; CHECK-NEXT: [[TMP1:%.*]] = trunc <2 x i16> %a to <2 x i8> +; CHECK-NEXT: [[TRUNC:%.*]] = or <2 x i8> [[TMP1]], <i8 -1, i8 0> ; CHECK-NEXT: ret <2 x i8> [[TRUNC]] ; %or = or <2 x i16> %a, <i16 -1, i16 256> @@ -71,7 +71,7 @@ define <2 x i8> @shrink_or_vec(<2 x i16> %a) { ret <2 x i8> %trunc } -; We discriminate against weird types? +; We discriminate against weird types. define i31 @shrink_and(i64 %a) { ; CHECK-LABEL: @shrink_and( @@ -88,8 +88,8 @@ define i31 @shrink_and(i64 %a) { define <2 x i32> @shrink_and_vec(<2 x i33> %a) { ; CHECK-LABEL: @shrink_and_vec( -; CHECK-NEXT: [[AND:%.*]] = and <2 x i33> %a, <i33 -4294967296, i33 6> -; CHECK-NEXT: [[TRUNC:%.*]] = trunc <2 x i33> [[AND]] to <2 x i32> +; CHECK-NEXT: [[TMP1:%.*]] = trunc <2 x i33> %a to <2 x i32> +; CHECK-NEXT: [[TRUNC:%.*]] = and <2 x i32> [[TMP1]], <i32 0, i32 6> ; CHECK-NEXT: ret <2 x i32> [[TRUNC]] ; %and = and <2 x i33> %a, <i33 4294967296, i33 6> |
