Mercurial > hg > CbC > CbC_llvm

annotate llvm/test/TableGen/GlobalISelEmitter-immAllZeroOne.td @ 207:2e18cbf3894f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM12
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Tue, 08 Jun 2021 06:07:14 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
207
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 // RUN: llvm-tblgen -gen-global-isel -warn-on-skipped-patterns -optimize-match-table=false -I %p/../../include -I %p/Common %s -o - | FileCheck -check-prefixes=GISEL-NOOPT %s
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 // RUN: llvm-tblgen -gen-global-isel -warn-on-skipped-patterns -optimize-match-table=true -I %p/../../include -I %p/Common %s -o - | FileCheck -check-prefixes=GISEL-OPT %s
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 include "llvm/Target/Target.td"
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 include "GlobalISelEmitterCommon.td"
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 // GISEL-OPT: GIM_SwitchOpcode
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 // GISEL-OPT-NEXT: /*TargetOpcode::G_SHL*/
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 // GISEL-OPT-NEXT: /*TargetOpcode::G_LSHR*/
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 // GISEL-OPT-NEXT: // Label
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 // GISEL-OPT: GIM_Try,
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 // GISEL-OPT: GIM_CheckType, /*MI*/0, /*Op*/2, /*Type*/GILLT_v4s16,
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 // GISEL-OPT: GIM_CheckOpcodeIsEither, /*MI*/1, TargetOpcode::G_BUILD_VECTOR, TargetOpcode::G_BUILD_VECTOR_TRUNC,
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 // GISEL-OPT: GIM_CheckIsBuildVectorAllZeros, /*MI*/1,
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 // GISEL-OPT: GIM_Try,
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 // GISEL-OPT: GIM_CheckType, /*MI*/0, /*Op*/2, /*Type*/GILLT_v4s16,
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 // GISEL-OPT: GIM_CheckOpcodeIsEither, /*MI*/1, TargetOpcode::G_BUILD_VECTOR, TargetOpcode::G_BUILD_VECTOR_TRUNC,
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 // GISEL-OPT: GIM_CheckIsBuildVectorAllOnes, /*MI*/1,
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
24
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 // GISEL-NOOPT: GIM_CheckOpcode, /*MI*/0, TargetOpcode::G_LSHR,
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 // GISEL-NOOPT: // MIs[0] Operand 2
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 // GISEL-NOOPT-NEXT: GIM_CheckType, /*MI*/0, /*Op*/2, /*Type*/GILLT_v4s16,
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 // GISEL-NOOPT-NEXT: GIM_RecordInsn, /*DefineMI*/1, /*MI*/0, /*OpIdx*/2, // MIs[1]
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 // GISEL-NOOPT-NEXT: GIM_CheckOpcodeIsEither, /*MI*/1, TargetOpcode::G_BUILD_VECTOR, TargetOpcode::G_BUILD_VECTOR_TRUNC,
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 // GISEL-NOOPT-NEXT: GIM_CheckIsBuildVectorAllOnes, /*MI*/1,
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 // GISEL-NOOPT-NEXT: // MIs[1] Operand 0
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 // GISEL-NOOPT-NEXT: GIM_CheckType, /*MI*/1, /*Op*/0, /*Type*/GILLT_v4s16,
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 // GISEL-NOOPT-NEXT: GIM_CheckIsSafeToFold, /*InsnID*/1,
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 // GISEL-NOOPT-NEXT: // (srl:{ *:[v4i32] } v4i32:{ *:[v4i32] }:$src0, immAllOnesV:{ *:[v4i16] }) => (VFOOONES:{ *:[v4i32] } v4i32:{ *:[v4i32] }:$src0)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 def VFOOONES : I<(outs VecReg128:$dst), (ins VecReg128:$src0),
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 [(set v4i32:$dst, (srl v4i32:$src0, (v4i16 immAllOnesV)))]
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 >;
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
38
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
39
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 // GISEL-NOOPT: GIM_CheckOpcode, /*MI*/0, TargetOpcode::G_SHL,
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 // GISEL-NOOPT: // MIs[0] Operand 2
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 // GISEL-NOOPT-NEXT: GIM_CheckType, /*MI*/0, /*Op*/2, /*Type*/GILLT_v4s16,
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 // GISEL-NOOPT-NEXT: GIM_RecordInsn, /*DefineMI*/1, /*MI*/0, /*OpIdx*/2, // MIs[1]
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 // GISEL-NOOPT-NEXT: GIM_CheckOpcodeIsEither, /*MI*/1, TargetOpcode::G_BUILD_VECTOR, TargetOpcode::G_BUILD_VECTOR_TRUNC,
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 // GISEL-NOOPT-NEXT: GIM_CheckIsBuildVectorAllZeros, /*MI*/1,
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 // GISEL-NOOPT-NEXT: // MIs[1] Operand 0
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 // GISEL-NOOPT-NEXT: GIM_CheckType, /*MI*/1, /*Op*/0, /*Type*/GILLT_v4s16,
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 // GISEL-NOOPT-NEXT: GIM_CheckIsSafeToFold, /*InsnID*/1,
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 // GISEL-NOOPT-NEXT: // (shl:{ *:[v4i32] } v4i32:{ *:[v4i32] }:$src0, immAllZerosV:{ *:[v4i16] }) => (VFOOZERO:{ *:[v4i32] } v4i32:{ *:[v4i32] }:$src0)
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
50 def VFOOZERO : I<(outs VecReg128:$dst), (ins VecReg128:$src0),
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 [(set v4i32:$dst, (shl v4i32:$src0, (v4i16 immAllZerosV)))]
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents:
diff changeset
52 >;