This is an archive of the discontinued LLVM Phabricator instance.

Differential D81206

[VE] Add AND/OR/XOR regression tests
ClosedPublic

Authored by kaz7 on Jun 4 2020, 5:15 PM.

Details

Reviewers
simoll
k-ishizaka
Commits
rG2ba4df1c1b27: [VE] Add AND/OR/XOR regression tests
Summary

Add AND/OR/XOR regression tests and separate bit-op tests from exisiting
tests.

Diff Detail

Event Timeline

kaz7 created this revision.Jun 4 2020, 5:15 PM
Herald added a subscriber: llvm-commits. · View Herald TranscriptJun 4 2020, 5:15 PM
kaz7 added a child revision: D81207: [VE] Support fixed-point operation instructions in MC layer.Jun 4 2020, 5:18 PM
Harbormaster completed remote builds in B59171: Diff 268632.Jun 4 2020, 7:19 PM
simoll accepted this revision.Jun 5 2020, 1:02 AM
This revision is now accepted and ready to land.Jun 5 2020, 1:02 AM
Closed by commit rG2ba4df1c1b27: [VE] Add AND/OR/XOR regression tests (authored by kaz7, committed by simoll). · Explain WhyJun 5 2020, 1:36 AM
This revision was automatically updated to reflect the committed changes.

Revision Contents

PathSize
llvm/
test/
CodeGen/
VE/
9 lines
147 lines
147 lines
9 lines
157 lines

Diff 268632

llvm/test/CodeGen/VE/addition.ll

Show First 20 Lines • Show All 150 Lines • ▼ Show 20 Lines
; CHECK-LABEL: func21: ; CHECK-LABEL: func21:
; CHECK: .LBB{{[0-9]+}}_2: ; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: lea %s0, 5(, %s0) ; CHECK-NEXT: lea %s0, 5(, %s0)
; CHECK-NEXT: or %s11, 0, %s9 ; CHECK-NEXT: or %s11, 0, %s9
%2 = add i64 %0, 5 %2 = add i64 %0, 5
ret i64 %2 ret i64 %2
} }
define i32 @func25(i32 %0) {
; CHECK-LABEL: func25:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: xor %s0, %s0, (33)1
; CHECK-NEXT: or %s11, 0, %s9
%2 = xor i32 %0, -2147483648
ret i32 %2
}
define i64 @func26(i64 %0) { define i64 @func26(i64 %0) {
; CHECK-LABEL: func26: ; CHECK-LABEL: func26:
; CHECK: .LBB{{[0-9]+}}_2: ; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: lea %s1, -2147483648 ; CHECK-NEXT: lea %s1, -2147483648
; CHECK-NEXT: and %s1, %s1, (32)0 ; CHECK-NEXT: and %s1, %s1, (32)0
; CHECK-NEXT: adds.l %s0, %s0, %s1 ; CHECK-NEXT: adds.l %s0, %s0, %s1
; CHECK-NEXT: or %s11, 0, %s9 ; CHECK-NEXT: or %s11, 0, %s9
%2 = add nsw i64 %0, 2147483648 %2 = add nsw i64 %0, 2147483648
ret i64 %2 ret i64 %2
} }

llvm/test/CodeGen/VE/and.ll

  • This file was added.
; RUN: llc < %s -mtriple=ve-unknown-unknown | FileCheck %s
define signext i8 @func8s(i8 signext %a, i8 signext %b) {
; CHECK-LABEL: func8s:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: and %s0, %s0, %s1
; CHECK-NEXT: or %s11, 0, %s9
%res = and i8 %a, %b
ret i8 %res
}
define zeroext i8 @func8z(i8 zeroext %a, i8 zeroext %b) {
; CHECK-LABEL: func8z:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: and %s0, %s1, %s0
; CHECK-NEXT: or %s11, 0, %s9
%res = and i8 %b, %a
ret i8 %res
}
define signext i8 @funci8s(i8 signext %a) {
; CHECK-LABEL: funci8s:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: and %s0, 5, %s0
; CHECK-NEXT: or %s11, 0, %s9
%res = and i8 %a, 5
ret i8 %res
}
define zeroext i8 @funci8z(i8 zeroext %a) {
; CHECK-LABEL: funci8z:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: lea %s1, 251
; CHECK-NEXT: and %s0, %s0, %s1
; CHECK-NEXT: or %s11, 0, %s9
%res = and i8 -5, %a
ret i8 %res
}
define signext i16 @func16s(i16 signext %a, i16 signext %b) {
; CHECK-LABEL: func16s:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: and %s0, %s0, %s1
; CHECK-NEXT: or %s11, 0, %s9
%res = and i16 %a, %b
ret i16 %res
}
define zeroext i16 @func16z(i16 zeroext %a, i16 zeroext %b) {
; CHECK-LABEL: func16z:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: and %s0, %s1, %s0
; CHECK-NEXT: or %s11, 0, %s9
%res = and i16 %b, %a
ret i16 %res
}
define signext i16 @funci16s(i16 signext %a) {
; CHECK-LABEL: funci16s:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: or %s11, 0, %s9
%res = and i16 %a, 65535
ret i16 %res
}
define zeroext i16 @funci16z(i16 zeroext %a) {
; CHECK-LABEL: funci16z:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: and %s0, %s0, (52)0
; CHECK-NEXT: or %s11, 0, %s9
%res = and i16 4095, %a
ret i16 %res
}
define signext i32 @func32s(i32 signext %a, i32 signext %b) {
; CHECK-LABEL: func32s:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: and %s0, %s0, %s1
; CHECK-NEXT: or %s11, 0, %s9
%res = and i32 %a, %b
ret i32 %res
}
define zeroext i32 @func32z(i32 zeroext %a, i32 zeroext %b) {
; CHECK-LABEL: func32z:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: and %s0, %s0, %s1
; CHECK-NEXT: or %s11, 0, %s9
%res = and i32 %a, %b
ret i32 %res
}
define signext i32 @funci32s(i32 signext %a) {
; CHECK-LABEL: funci32s:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: and %s0, %s0, (36)0
; CHECK-NEXT: or %s11, 0, %s9
%res = and i32 %a, 268435455
ret i32 %res
}
define zeroext i32 @funci32z(i32 zeroext %a) {
; CHECK-LABEL: funci32z:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: and %s0, %s0, (36)0
; CHECK-NEXT: or %s11, 0, %s9
%res = and i32 %a, 268435455
ret i32 %res
}
define i64 @func64(i64 %a, i64 %b) {
; CHECK-LABEL: func64:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: and %s0, %s0, %s1
; CHECK-NEXT: or %s11, 0, %s9
%res = and i64 %a, %b
ret i64 %res
}
define i64 @func64i(i64 %a) {
; CHECK-LABEL: func64i:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: and %s0, %s0, (24)0
; CHECK-NEXT: or %s11, 0, %s9
%res = and i64 %a, 1099511627775
ret i64 %res
}
define i128 @func128(i128 %a, i128 %b) {
; CHECK-LABEL: func128:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: and %s0, %s2, %s0
; CHECK-NEXT: and %s1, %s3, %s1
; CHECK-NEXT: or %s11, 0, %s9
%res = and i128 %b, %a
ret i128 %res
}
define i128 @funci128(i128 %a) {
; CHECK-LABEL: funci128:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: and %s0, 5, %s0
; CHECK-NEXT: or %s1, 0, (0)1
; CHECK-NEXT: or %s11, 0, %s9
%res = and i128 %a, 5
ret i128 %res
}

llvm/test/CodeGen/VE/or.ll

  • This file was added.
; RUN: llc < %s -mtriple=ve-unknown-unknown | FileCheck %s
define signext i8 @func8s(i8 signext %a, i8 signext %b) {
; CHECK-LABEL: func8s:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: or %s0, %s0, %s1
; CHECK-NEXT: or %s11, 0, %s9
%res = or i8 %a, %b
ret i8 %res
}
define zeroext i8 @func8z(i8 zeroext %a, i8 zeroext %b) {
; CHECK-LABEL: func8z:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: or %s0, %s1, %s0
; CHECK-NEXT: or %s11, 0, %s9
%res = or i8 %b, %a
ret i8 %res
}
define signext i8 @funci8s(i8 signext %a) {
; CHECK-LABEL: funci8s:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: or %s0, 5, %s0
; CHECK-NEXT: or %s11, 0, %s9
%res = or i8 %a, 5
ret i8 %res
}
define zeroext i8 @funci8z(i8 zeroext %a) {
; CHECK-LABEL: funci8z:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: lea %s1, 251
; CHECK-NEXT: or %s0, %s0, %s1
; CHECK-NEXT: or %s11, 0, %s9
%res = or i8 -5, %a
ret i8 %res
}
define signext i16 @func16s(i16 signext %a, i16 signext %b) {
; CHECK-LABEL: func16s:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: or %s0, %s0, %s1
; CHECK-NEXT: or %s11, 0, %s9
%res = or i16 %a, %b
ret i16 %res
}
define zeroext i16 @func16z(i16 zeroext %a, i16 zeroext %b) {
; CHECK-LABEL: func16z:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: or %s0, %s1, %s0
; CHECK-NEXT: or %s11, 0, %s9
%res = or i16 %b, %a
ret i16 %res
}
define signext i16 @funci16s(i16 signext %a) {
; CHECK-LABEL: funci16s:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: or %s0, -1, (0)1
; CHECK-NEXT: or %s11, 0, %s9
%res = or i16 %a, 65535
ret i16 %res
}
define zeroext i16 @funci16z(i16 zeroext %a) {
; CHECK-LABEL: funci16z:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: or %s0, %s0, (52)0
; CHECK-NEXT: or %s11, 0, %s9
%res = or i16 4095, %a
ret i16 %res
}
define signext i32 @func32s(i32 signext %a, i32 signext %b) {
; CHECK-LABEL: func32s:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: or %s0, %s0, %s1
; CHECK-NEXT: or %s11, 0, %s9
%res = or i32 %a, %b
ret i32 %res
}
define zeroext i32 @func32z(i32 zeroext %a, i32 zeroext %b) {
; CHECK-LABEL: func32z:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: or %s0, %s0, %s1
; CHECK-NEXT: or %s11, 0, %s9
%res = or i32 %a, %b
ret i32 %res
}
define signext i32 @funci32s(i32 signext %a) {
; CHECK-LABEL: funci32s:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: or %s0, %s0, (36)0
; CHECK-NEXT: or %s11, 0, %s9
%res = or i32 %a, 268435455
ret i32 %res
}
define zeroext i32 @funci32z(i32 zeroext %a) {
; CHECK-LABEL: funci32z:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: or %s0, %s0, (36)0
; CHECK-NEXT: or %s11, 0, %s9
%res = or i32 %a, 268435455
ret i32 %res
}
define i64 @func64(i64 %a, i64 %b) {
; CHECK-LABEL: func64:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: or %s0, %s0, %s1
; CHECK-NEXT: or %s11, 0, %s9
%res = or i64 %a, %b
ret i64 %res
}
define i64 @func64i(i64 %a) {
; CHECK-LABEL: func64i:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: or %s0, %s0, (24)0
; CHECK-NEXT: or %s11, 0, %s9
%res = or i64 %a, 1099511627775
ret i64 %res
}
define i128 @func128(i128 %a, i128 %b) {
; CHECK-LABEL: func128:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: or %s0, %s2, %s0
; CHECK-NEXT: or %s1, %s3, %s1
; CHECK-NEXT: or %s11, 0, %s9
%res = or i128 %b, %a
ret i128 %res
}
define i128 @funci128(i128 %a) {
; CHECK-LABEL: funci128:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: or %s0, 5, %s0
; CHECK-NEXT: or %s11, 0, %s9
%res = or i128 %a, 5
ret i128 %res
}

llvm/test/CodeGen/VE/subtraction.ll

Show First 20 Lines • Show All 150 Lines • ▼ Show 20 Lines
; CHECK-LABEL: func21: ; CHECK-LABEL: func21:
; CHECK: .LBB{{[0-9]+}}_2: ; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: lea %s0, -5(, %s0) ; CHECK-NEXT: lea %s0, -5(, %s0)
; CHECK-NEXT: or %s11, 0, %s9 ; CHECK-NEXT: or %s11, 0, %s9
%3 = add i64 %0, -5 %3 = add i64 %0, -5
ret i64 %3 ret i64 %3
} }
define i32 @func25(i32 %0, i32 %1) {
; CHECK-LABEL: func25:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: xor %s0, %s0, (33)1
; CHECK-NEXT: or %s11, 0, %s9
%3 = xor i32 %0, -2147483648
ret i32 %3
}
define i64 @func26(i64 %0, i64 %1) { define i64 @func26(i64 %0, i64 %1) {
; CHECK-LABEL: func26: ; CHECK-LABEL: func26:
; CHECK: .LBB{{[0-9]+}}_2: ; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: lea %s0, -2147483648(, %s0) ; CHECK-NEXT: lea %s0, -2147483648(, %s0)
; CHECK-NEXT: or %s11, 0, %s9 ; CHECK-NEXT: or %s11, 0, %s9
%3 = add nsw i64 %0, -2147483648 %3 = add nsw i64 %0, -2147483648
ret i64 %3 ret i64 %3
} }

llvm/test/CodeGen/VE/xor.ll

  • This file was added.
; RUN: llc < %s -mtriple=ve-unknown-unknown | FileCheck %s
define signext i8 @func8s(i8 signext %a, i8 signext %b) {
; CHECK-LABEL: func8s:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: xor %s0, %s0, %s1
; CHECK-NEXT: or %s11, 0, %s9
%res = xor i8 %a, %b
ret i8 %res
}
define zeroext i8 @func8z(i8 zeroext %a, i8 zeroext %b) {
; CHECK-LABEL: func8z:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: xor %s0, %s1, %s0
; CHECK-NEXT: or %s11, 0, %s9
%res = xor i8 %b, %a
ret i8 %res
}
define signext i8 @funci8s(i8 signext %a) {
; CHECK-LABEL: funci8s:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: xor %s0, 5, %s0
; CHECK-NEXT: or %s11, 0, %s9
%res = xor i8 %a, 5
ret i8 %res
}
define zeroext i8 @funci8z(i8 zeroext %a) {
; CHECK-LABEL: funci8z:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: lea %s1, 251
; CHECK-NEXT: xor %s0, %s0, %s1
; CHECK-NEXT: or %s11, 0, %s9
%res = xor i8 -5, %a
ret i8 %res
}
define signext i16 @func16s(i16 signext %a, i16 signext %b) {
; CHECK-LABEL: func16s:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: xor %s0, %s0, %s1
; CHECK-NEXT: or %s11, 0, %s9
%res = xor i16 %a, %b
ret i16 %res
}
define zeroext i16 @func16z(i16 zeroext %a, i16 zeroext %b) {
; CHECK-LABEL: func16z:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: xor %s0, %s1, %s0
; CHECK-NEXT: or %s11, 0, %s9
%res = xor i16 %b, %a
ret i16 %res
}
define signext i16 @funci16s(i16 signext %a) {
; CHECK-LABEL: funci16s:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: xor %s0, -1, %s0
; CHECK-NEXT: or %s11, 0, %s9
%res = xor i16 %a, 65535
ret i16 %res
}
define zeroext i16 @funci16z(i16 zeroext %a) {
; CHECK-LABEL: funci16z:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: xor %s0, %s0, (52)0
; CHECK-NEXT: or %s11, 0, %s9
%res = xor i16 4095, %a
ret i16 %res
}
define signext i32 @func32s(i32 signext %a, i32 signext %b) {
; CHECK-LABEL: func32s:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: xor %s0, %s0, %s1
; CHECK-NEXT: or %s11, 0, %s9
%res = xor i32 %a, %b
ret i32 %res
}
define zeroext i32 @func32z(i32 zeroext %a, i32 zeroext %b) {
; CHECK-LABEL: func32z:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: xor %s0, %s0, %s1
; CHECK-NEXT: or %s11, 0, %s9
%res = xor i32 %a, %b
ret i32 %res
}
define signext i32 @funci32s(i32 signext %a) {
; CHECK-LABEL: funci32s:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: xor %s0, %s0, (36)0
; CHECK-NEXT: or %s11, 0, %s9
%res = xor i32 %a, 268435455
ret i32 %res
}
define zeroext i32 @funci32z(i32 zeroext %a) {
; CHECK-LABEL: funci32z:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: xor %s0, %s0, (36)0
; CHECK-NEXT: or %s11, 0, %s9
%res = xor i32 %a, 268435455
ret i32 %res
}
define i32 @funci32_another(i32 %0) {
; CHECK-LABEL: funci32_another:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: xor %s0, %s0, (33)1
; CHECK-NEXT: or %s11, 0, %s9
%2 = xor i32 %0, -2147483648
ret i32 %2
}
define i64 @func64(i64 %a, i64 %b) {
; CHECK-LABEL: func64:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: xor %s0, %s0, %s1
; CHECK-NEXT: or %s11, 0, %s9
%res = xor i64 %a, %b
ret i64 %res
}
define i64 @func64i(i64 %a) {
; CHECK-LABEL: func64i:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: xor %s0, %s0, (24)0
; CHECK-NEXT: or %s11, 0, %s9
%res = xor i64 %a, 1099511627775
ret i64 %res
}
define i128 @func128(i128 %a, i128 %b) {
; CHECK-LABEL: func128:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: xor %s0, %s2, %s0
; CHECK-NEXT: xor %s1, %s3, %s1
; CHECK-NEXT: or %s11, 0, %s9
%res = xor i128 %b, %a
ret i128 %res
}
define i128 @funci128(i128 %a) {
; CHECK-LABEL: funci128:
; CHECK: .LBB{{[0-9]+}}_2:
; CHECK-NEXT: xor %s0, 5, %s0
; CHECK-NEXT: or %s11, 0, %s9
%res = xor i128 %a, 5
ret i128 %res
}