/dports/lang/maude/maude-2.7.1/tests/Meta/ |
H A D | metaVariantUnify.maude | 7 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 D | metaVariantUnify.expected | 7 '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 D | metaGetVariant.expected | 2 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 D | metaGetVariant.maude | 7 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 D | med_vargs.h | 26 #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 D | variantUnification.expected | 175 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 D | select-sbfx.mir | 20 %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 D | select-ubfx.mir | 20 %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 D | select-sbfx.mir | 20 %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 D | select-ubfx.mir | 20 %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 D | select-ubfx.mir | 20 %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 D | select-sbfx.mir | 20 %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 D | select-sbfx.mir | 20 %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 D | select-ubfx.mir | 20 %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 D | select-sbfx.mir | 20 %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 D | select-ubfx.mir | 20 %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 D | select-sbfx.mir | 20 %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 D | select-ubfx.mir | 20 %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 D | select_type_37.f03 | 14 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 D | select_type_37.f03 | 14 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 D | select_type_37.f03 | 14 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 D | select_type_37.f03 | 14 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 D | select_type_37.f03 | 14 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 D | select_type_37.f03 | 14 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 D | select_type_37.f03 | 14 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
|