Home
last modified time | relevance | path

Searched refs:cst1 (Results 1 – 25 of 745) sorted by relevance

12345678910>>...30

/dports/lang/maude/maude-2.7.1/tests/Meta/
H A DmetaVariantUnify.maude7 ops cst1 cst2 cst3 cst4 : -> Elem .
134 upTerm(X:XOR + cst1),
139 upTerm(X:XOR + cst1),
144 upTerm(X:XOR + cst1),
149 upTerm(X:XOR + cst1),
154 upTerm(X:XOR + cst1),
161 upTerm(X:XOR + cst1),
166 upTerm(X:XOR + cst1),
171 upTerm(X:XOR + cst1),
176 upTerm(X:XOR + cst1),
[all …]
H A DmetaVariantUnify.expected7 'Y:XOR <- '_+_['cst1.Elem,'%1:XOR],1}
14 'Y:XOR <- '_+_['cst1.Elem,'%11:XOR],11}
21 'Y:XOR <- 'cst1.Elem,(0).Zero}
48 'X:XOR <- 'cst1.Elem ;
62 'X:XOR <- '_+_['cst1.Elem,'%1:XOR] ;
75 'X:XOR <- '_+_['cst1.Elem,'%1:XOR],1}
89 'X:XOR <- 'cst1.Elem,(0).Zero}
116 'X:XOR <- 'cst1.Elem,
130 'X:XOR <- '_+_['cst1.Elem,'%1:XOR],
143 'Y:XOR <- '_+_['cst1.Elem,'%1:XOR],1}
[all …]
H A DmetaGetVariant.expected2 reduce in TEST : metaGetVariant(['XOR], upTerm(cst1 + X:XOR), empty, 0, 0) .
4 result Variant: {'_+_['cst1.Elem,'#1:XOR],
7 reduce in TEST : metaGetVariant(upModule('XOR, false), upTerm(cst1 + X:XOR),
10 result Variant: {'_+_['cst1.Elem,'#1:XOR],
13 reduce in TEST : metaGetVariant(['XOR], upTerm(cst1 + X:XOR), empty, 10, 0) .
15 result Variant: {'_+_['cst1.Elem,'#11:XOR],
18 reduce in TEST : metaGetVariant(['XOR], upTerm(cst1 + X:XOR), empty, 0, 1) .
20 result Variant: {'cst1.Elem,
23 reduce in TEST : metaGetVariant(['XOR], upTerm(cst1 + X:XOR), empty, 0, 2) .
26 'X:XOR <- 'cst1.Elem,0,0,true}
[all …]
H A DmetaGetVariant.maude7 ops cst1 cst2 cst3 cst4 : -> Elem .
26 red metaGetVariant(['XOR], upTerm(X:XOR + cst1), empty, 0, 0) .
28 red metaGetVariant(upModule('XOR, false), upTerm(X:XOR + cst1), empty, 0, 0) .
30 red metaGetVariant(['XOR], upTerm(X:XOR + cst1), empty, 10, 0) .
32 red metaGetVariant(['XOR], upTerm(X:XOR + cst1), empty, 0, 1) .
33 red metaGetVariant(['XOR], upTerm(X:XOR + cst1), empty, 0, 2) .
34 red metaGetVariant(['XOR], upTerm(X:XOR + cst1), empty, 0, 3) .
35 red metaGetVariant(['XOR], upTerm(X:XOR + cst1), empty, 0, 4) .
/dports/french/med/med-4.0.0/include/
H A Dmed_vargs.h26 #define MED_VARGS_DECL(cst1,type,cst2,varname) type varname argument
27 #define MED_VARGS_DEF(cst1,type,cst2,varname) varname = va_arg(params, cst1 type cst2) argument
31 #define MED_VARGS_DECL(cst1,type,cst2,varname) argument
32 #define MED_VARGS_DEF(cst1,type,cst2,varname) cst1 type cst2 varname = va_arg(params, cst1 type cst… argument
/dports/lang/maude/maude-2.7.1/tests/Misc/
H A DvariantUnification.expected175 Y --> cst1 + %1:XOR
180 Y --> cst1
184 X --> cst1 + cst2 + #1:XOR
190 Y --> cst1 + cst2 + #1:XOR
195 Y --> cst1 + cst2
199 X --> cst1
204 X --> cst1 + cst2
209 X --> cst1 + %1:XOR
215 variant unify in XOR : X + cst1 =? Y + cst2 such that X + cst1 irreducible .
220 Y --> cst1 + %1:XOR
[all …]
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/llvm/test/CodeGen/AArch64/GlobalISel/
H A Dselect-sbfx.mir20 %cst1:gpr(s32) = G_CONSTANT i32 0
22 %sbfx:gpr(s32) = G_SBFX %copy, %cst1, %cst2
42 %cst1:gpr(s64) = G_CONSTANT i64 0
44 %sbfx:gpr(s64) = G_SBFX %copy, %cst1, %cst2
66 %cst1:gpr(s32) = G_CONSTANT i32 31
68 %sbfx:gpr(s32) = G_SBFX %copy, %cst1, %cst2
86 %cst1:gpr(s32) = G_CONSTANT i32 10
88 %sbfx:gpr(s32) = G_SBFX %copy, %cst1, %cst2
106 %cst1:gpr(s64) = G_CONSTANT i64 10
108 %sbfx:gpr(s64) = G_SBFX %copy, %cst1, %cst2
H A Dselect-ubfx.mir20 %cst1:gpr(s32) = G_CONSTANT i32 0
22 %ubfx:gpr(s32) = G_UBFX %copy, %cst1, %cst2
42 %cst1:gpr(s64) = G_CONSTANT i64 0
44 %ubfx:gpr(s64) = G_UBFX %copy, %cst1, %cst2
67 %cst1:gpr(s32) = G_CONSTANT i32 31
69 %ubfx:gpr(s32) = G_UBFX %copy, %cst1, %cst2
87 %cst1:gpr(s32) = G_CONSTANT i32 10
89 %ubfx:gpr(s32) = G_UBFX %copy, %cst1, %cst2
109 %cst1:gpr(s64) = G_CONSTANT i64 10
111 %ubfx:gpr(s64) = G_UBFX %copy, %cst1, %cst2
/dports/graphics/llvm-mesa/llvm-13.0.1.src/test/CodeGen/AArch64/GlobalISel/
H A Dselect-sbfx.mir20 %cst1:gpr(s32) = G_CONSTANT i32 0
22 %sbfx:gpr(s32) = G_SBFX %copy, %cst1, %cst2
42 %cst1:gpr(s64) = G_CONSTANT i64 0
44 %sbfx:gpr(s64) = G_SBFX %copy, %cst1, %cst2
66 %cst1:gpr(s32) = G_CONSTANT i32 31
68 %sbfx:gpr(s32) = G_SBFX %copy, %cst1, %cst2
86 %cst1:gpr(s32) = G_CONSTANT i32 10
88 %sbfx:gpr(s32) = G_SBFX %copy, %cst1, %cst2
106 %cst1:gpr(s64) = G_CONSTANT i64 10
108 %sbfx:gpr(s64) = G_SBFX %copy, %cst1, %cst2
H A Dselect-ubfx.mir20 %cst1:gpr(s32) = G_CONSTANT i32 0
22 %ubfx:gpr(s32) = G_UBFX %copy, %cst1, %cst2
42 %cst1:gpr(s64) = G_CONSTANT i64 0
44 %ubfx:gpr(s64) = G_UBFX %copy, %cst1, %cst2
67 %cst1:gpr(s32) = G_CONSTANT i32 31
69 %ubfx:gpr(s32) = G_UBFX %copy, %cst1, %cst2
87 %cst1:gpr(s32) = G_CONSTANT i32 10
89 %ubfx:gpr(s32) = G_UBFX %copy, %cst1, %cst2
109 %cst1:gpr(s64) = G_CONSTANT i64 10
111 %ubfx:gpr(s64) = G_UBFX %copy, %cst1, %cst2
/dports/lang/rust/rustc-1.58.1-src/src/llvm-project/llvm/test/CodeGen/AArch64/GlobalISel/
H A Dselect-ubfx.mir20 %cst1:gpr(s32) = G_CONSTANT i32 0
22 %ubfx:gpr(s32) = G_UBFX %copy, %cst1, %cst2
42 %cst1:gpr(s64) = G_CONSTANT i64 0
44 %ubfx:gpr(s64) = G_UBFX %copy, %cst1, %cst2
67 %cst1:gpr(s32) = G_CONSTANT i32 31
69 %ubfx:gpr(s32) = G_UBFX %copy, %cst1, %cst2
87 %cst1:gpr(s32) = G_CONSTANT i32 10
89 %ubfx:gpr(s32) = G_UBFX %copy, %cst1, %cst2
109 %cst1:gpr(s64) = G_CONSTANT i64 10
111 %ubfx:gpr(s64) = G_UBFX %copy, %cst1, %cst2
H A Dselect-sbfx.mir20 %cst1:gpr(s32) = G_CONSTANT i32 0
22 %sbfx:gpr(s32) = G_SBFX %copy, %cst1, %cst2
42 %cst1:gpr(s64) = G_CONSTANT i64 0
44 %sbfx:gpr(s64) = G_SBFX %copy, %cst1, %cst2
66 %cst1:gpr(s32) = G_CONSTANT i32 31
68 %sbfx:gpr(s32) = G_SBFX %copy, %cst1, %cst2
86 %cst1:gpr(s32) = G_CONSTANT i32 10
88 %sbfx:gpr(s32) = G_SBFX %copy, %cst1, %cst2
106 %cst1:gpr(s64) = G_CONSTANT i64 10
108 %sbfx:gpr(s64) = G_SBFX %copy, %cst1, %cst2
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/llvm/test/CodeGen/AArch64/GlobalISel/
H A Dselect-sbfx.mir20 %cst1:gpr(s32) = G_CONSTANT i32 0
22 %sbfx:gpr(s32) = G_SBFX %copy, %cst1, %cst2
42 %cst1:gpr(s64) = G_CONSTANT i64 0
44 %sbfx:gpr(s64) = G_SBFX %copy, %cst1, %cst2
66 %cst1:gpr(s32) = G_CONSTANT i32 31
68 %sbfx:gpr(s32) = G_SBFX %copy, %cst1, %cst2
86 %cst1:gpr(s32) = G_CONSTANT i32 10
88 %sbfx:gpr(s32) = G_SBFX %copy, %cst1, %cst2
106 %cst1:gpr(s64) = G_CONSTANT i64 10
108 %sbfx:gpr(s64) = G_SBFX %copy, %cst1, %cst2
H A Dselect-ubfx.mir20 %cst1:gpr(s32) = G_CONSTANT i32 0
22 %ubfx:gpr(s32) = G_UBFX %copy, %cst1, %cst2
42 %cst1:gpr(s64) = G_CONSTANT i64 0
44 %ubfx:gpr(s64) = G_UBFX %copy, %cst1, %cst2
67 %cst1:gpr(s32) = G_CONSTANT i32 31
69 %ubfx:gpr(s32) = G_UBFX %copy, %cst1, %cst2
87 %cst1:gpr(s32) = G_CONSTANT i32 10
89 %ubfx:gpr(s32) = G_UBFX %copy, %cst1, %cst2
109 %cst1:gpr(s64) = G_CONSTANT i64 10
111 %ubfx:gpr(s64) = G_UBFX %copy, %cst1, %cst2
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/llvm/test/CodeGen/AArch64/GlobalISel/
H A Dselect-sbfx.mir20 %cst1:gpr(s32) = G_CONSTANT i32 0
22 %sbfx:gpr(s32) = G_SBFX %copy, %cst1, %cst2
42 %cst1:gpr(s64) = G_CONSTANT i64 0
44 %sbfx:gpr(s64) = G_SBFX %copy, %cst1, %cst2
66 %cst1:gpr(s32) = G_CONSTANT i32 31
68 %sbfx:gpr(s32) = G_SBFX %copy, %cst1, %cst2
86 %cst1:gpr(s32) = G_CONSTANT i32 10
88 %sbfx:gpr(s32) = G_SBFX %copy, %cst1, %cst2
106 %cst1:gpr(s64) = G_CONSTANT i64 10
108 %sbfx:gpr(s64) = G_SBFX %copy, %cst1, %cst2
H A Dselect-ubfx.mir20 %cst1:gpr(s32) = G_CONSTANT i32 0
22 %ubfx:gpr(s32) = G_UBFX %copy, %cst1, %cst2
42 %cst1:gpr(s64) = G_CONSTANT i64 0
44 %ubfx:gpr(s64) = G_UBFX %copy, %cst1, %cst2
67 %cst1:gpr(s32) = G_CONSTANT i32 31
69 %ubfx:gpr(s32) = G_UBFX %copy, %cst1, %cst2
87 %cst1:gpr(s32) = G_CONSTANT i32 10
89 %ubfx:gpr(s32) = G_UBFX %copy, %cst1, %cst2
109 %cst1:gpr(s64) = G_CONSTANT i64 10
111 %ubfx:gpr(s64) = G_UBFX %copy, %cst1, %cst2
/dports/devel/llvm13/llvm-project-13.0.1.src/llvm/test/CodeGen/AArch64/GlobalISel/
H A Dselect-sbfx.mir20 %cst1:gpr(s32) = G_CONSTANT i32 0
22 %sbfx:gpr(s32) = G_SBFX %copy, %cst1, %cst2
42 %cst1:gpr(s64) = G_CONSTANT i64 0
44 %sbfx:gpr(s64) = G_SBFX %copy, %cst1, %cst2
66 %cst1:gpr(s32) = G_CONSTANT i32 31
68 %sbfx:gpr(s32) = G_SBFX %copy, %cst1, %cst2
86 %cst1:gpr(s32) = G_CONSTANT i32 10
88 %sbfx:gpr(s32) = G_SBFX %copy, %cst1, %cst2
106 %cst1:gpr(s64) = G_CONSTANT i64 10
108 %sbfx:gpr(s64) = G_SBFX %copy, %cst1, %cst2
H A Dselect-ubfx.mir20 %cst1:gpr(s32) = G_CONSTANT i32 0
22 %ubfx:gpr(s32) = G_UBFX %copy, %cst1, %cst2
42 %cst1:gpr(s64) = G_CONSTANT i64 0
44 %ubfx:gpr(s64) = G_UBFX %copy, %cst1, %cst2
67 %cst1:gpr(s32) = G_CONSTANT i32 31
69 %ubfx:gpr(s32) = G_UBFX %copy, %cst1, %cst2
87 %cst1:gpr(s32) = G_CONSTANT i32 10
89 %ubfx:gpr(s32) = G_UBFX %copy, %cst1, %cst2
109 %cst1:gpr(s64) = G_CONSTANT i64 10
111 %ubfx:gpr(s64) = G_UBFX %copy, %cst1, %cst2
/dports/lang/gcc12-devel/gcc-12-20211205/gcc/testsuite/gfortran.dg/
H A Dselect_type_37.f0314 real :: cst1(2) = [1.0, 2.0] variable
18 write (buffer1, *) cst1
19 if (.not.associated(return_pointer1(cst1))) STOP 1
36 write (buffer1, *) cst1
37 if (.not.associated(return_pointer2(cst1))) STOP 7
/dports/lang/gcc8/gcc-8.5.0/gcc/testsuite/gfortran.dg/
H A Dselect_type_37.f0314 real :: cst1(2) = [1.0, 2.0] variable
18 write (buffer1, *) cst1
19 if (.not.associated(return_pointer1(cst1))) STOP 1
36 write (buffer1, *) cst1
37 if (.not.associated(return_pointer2(cst1))) STOP 7
/dports/lang/gcc10/gcc-10.3.0/gcc/testsuite/gfortran.dg/
H A Dselect_type_37.f0314 real :: cst1(2) = [1.0, 2.0] variable
18 write (buffer1, *) cst1
19 if (.not.associated(return_pointer1(cst1))) STOP 1
36 write (buffer1, *) cst1
37 if (.not.associated(return_pointer2(cst1))) STOP 7
/dports/devel/riscv64-none-elf-gcc/gcc-8.4.0/gcc/testsuite/gfortran.dg/
H A Dselect_type_37.f0314 real :: cst1(2) = [1.0, 2.0] variable
18 write (buffer1, *) cst1
19 if (.not.associated(return_pointer1(cst1))) STOP 1
36 write (buffer1, *) cst1
37 if (.not.associated(return_pointer2(cst1))) STOP 7
/dports/lang/gcc11-devel/gcc-11-20211009/gcc/testsuite/gfortran.dg/
H A Dselect_type_37.f0314 real :: cst1(2) = [1.0, 2.0] variable
18 write (buffer1, *) cst1
19 if (.not.associated(return_pointer1(cst1))) STOP 1
36 write (buffer1, *) cst1
37 if (.not.associated(return_pointer2(cst1))) STOP 7
/dports/devel/arm-none-eabi-gcc/gcc-8.4.0/gcc/testsuite/gfortran.dg/
H A Dselect_type_37.f0314 real :: cst1(2) = [1.0, 2.0] variable
18 write (buffer1, *) cst1
19 if (.not.associated(return_pointer1(cst1))) STOP 1
36 write (buffer1, *) cst1
37 if (.not.associated(return_pointer2(cst1))) STOP 7
/dports/devel/avr-gcc/gcc-10.2.0/gcc/testsuite/gfortran.dg/
H A Dselect_type_37.f0314 real :: cst1(2) = [1.0, 2.0] variable
18 write (buffer1, *) cst1
19 if (.not.associated(return_pointer1(cst1))) STOP 1
36 write (buffer1, *) cst1
37 if (.not.associated(return_pointer2(cst1))) STOP 7

12345678910>>...30