| /dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/llvm/test/CodeGen/X86/ |
| H A D | avx512-hadd-hsub.ll | 5 define i32 @hadd_16(<16 x i32> %x225) {
25 %x227 = add <16 x i32> %x225, %x226
32 define i32 @hsub_16(<16 x i32> %x225) {
52 %x227 = add <16 x i32> %x225, %x226
59 define float @fhadd_16(<16 x float> %x225) {
77 %x227 = fadd <16 x float> %x225, %x226
84 define float @fhsub_16(<16 x float> %x225) {
102 %x227 = fadd <16 x float> %x225, %x226
109 define <16 x i32> @hadd_16_3(<16 x i32> %x225, <16 x i32> %x227) {
123 define <16 x float> @fhadd_16_3(<16 x float> %x225, <16 x float> %x227) {
[all …]
|
| /dports/devel/llvm11/llvm-11.0.1.src/test/CodeGen/X86/ |
| H A D | avx512-hadd-hsub.ll | 5 define i32 @hadd_16(<16 x i32> %x225) {
25 %x227 = add <16 x i32> %x225, %x226
32 define i32 @hsub_16(<16 x i32> %x225) {
52 %x227 = add <16 x i32> %x225, %x226
59 define float @fhadd_16(<16 x float> %x225) {
77 %x227 = fadd <16 x float> %x225, %x226
84 define float @fhsub_16(<16 x float> %x225) {
102 %x227 = fadd <16 x float> %x225, %x226
109 define <16 x i32> @hadd_16_3(<16 x i32> %x225, <16 x i32> %x227) {
123 define <16 x float> @fhadd_16_3(<16 x float> %x225, <16 x float> %x227) {
[all …]
|
| /dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/llvm/test/CodeGen/X86/ |
| H A D | avx512-hadd-hsub.ll | 5 define i32 @hadd_16(<16 x i32> %x225) {
25 %x227 = add <16 x i32> %x225, %x226
32 define i32 @hsub_16(<16 x i32> %x225) {
52 %x227 = add <16 x i32> %x225, %x226
59 define float @fhadd_16(<16 x float> %x225) {
77 %x227 = fadd <16 x float> %x225, %x226
84 define float @fhsub_16(<16 x float> %x225) {
102 %x227 = fadd <16 x float> %x225, %x226
109 define <16 x i32> @hadd_16_3(<16 x i32> %x225, <16 x i32> %x227) {
123 define <16 x float> @fhadd_16_3(<16 x float> %x225, <16 x float> %x227) {
[all …]
|
| /dports/devel/wasi-libcxx/llvm-project-13.0.1.src/llvm/test/CodeGen/X86/ |
| H A D | avx512-hadd-hsub.ll | 5 define i32 @hadd_16(<16 x i32> %x225) {
25 %x227 = add <16 x i32> %x225, %x226
32 define i32 @hsub_16(<16 x i32> %x225) {
52 %x227 = add <16 x i32> %x225, %x226
59 define float @fhadd_16(<16 x float> %x225) {
77 %x227 = fadd <16 x float> %x225, %x226
84 define float @fhsub_16(<16 x float> %x225) {
102 %x227 = fadd <16 x float> %x225, %x226
109 define <16 x i32> @hadd_16_3(<16 x i32> %x225, <16 x i32> %x227) {
123 define <16 x float> @fhadd_16_3(<16 x float> %x225, <16 x float> %x227) {
[all …]
|
| /dports/graphics/llvm-mesa/llvm-13.0.1.src/test/CodeGen/X86/ |
| H A D | avx512-hadd-hsub.ll | 5 define i32 @hadd_16(<16 x i32> %x225) {
25 %x227 = add <16 x i32> %x225, %x226
32 define i32 @hsub_16(<16 x i32> %x225) {
52 %x227 = add <16 x i32> %x225, %x226
59 define float @fhadd_16(<16 x float> %x225) {
77 %x227 = fadd <16 x float> %x225, %x226
84 define float @fhsub_16(<16 x float> %x225) {
102 %x227 = fadd <16 x float> %x225, %x226
109 define <16 x i32> @hadd_16_3(<16 x i32> %x225, <16 x i32> %x227) {
123 define <16 x float> @fhadd_16_3(<16 x float> %x225, <16 x float> %x227) {
[all …]
|
| /dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/llvm/test/CodeGen/X86/ |
| H A D | avx512-hadd-hsub.ll | 5 define i32 @hadd_16(<16 x i32> %x225) {
25 %x227 = add <16 x i32> %x225, %x226
32 define i32 @hsub_16(<16 x i32> %x225) {
52 %x227 = add <16 x i32> %x225, %x226
59 define float @fhadd_16(<16 x float> %x225) {
77 %x227 = fadd <16 x float> %x225, %x226
84 define float @fhsub_16(<16 x float> %x225) {
102 %x227 = fadd <16 x float> %x225, %x226
109 define <16 x i32> @hadd_16_3(<16 x i32> %x225, <16 x i32> %x227) {
123 define <16 x float> @fhadd_16_3(<16 x float> %x225, <16 x float> %x227) {
[all …]
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/llvm/test/CodeGen/X86/ |
| H A D | avx512-hadd-hsub.ll | 5 define i32 @hadd_16(<16 x i32> %x225) {
25 %x227 = add <16 x i32> %x225, %x226
32 define i32 @hsub_16(<16 x i32> %x225) {
52 %x227 = add <16 x i32> %x225, %x226
59 define float @fhadd_16(<16 x float> %x225) {
77 %x227 = fadd <16 x float> %x225, %x226
84 define float @fhsub_16(<16 x float> %x225) {
102 %x227 = fadd <16 x float> %x225, %x226
109 define <16 x i32> @hadd_16_3(<16 x i32> %x225, <16 x i32> %x227) {
123 define <16 x float> @fhadd_16_3(<16 x float> %x225, <16 x float> %x227) {
[all …]
|
| /dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/llvm/test/CodeGen/X86/ |
| H A D | avx512-hadd-hsub.ll | 5 define i32 @hadd_16(<16 x i32> %x225) {
25 %x227 = add <16 x i32> %x225, %x226
32 define i32 @hsub_16(<16 x i32> %x225) {
52 %x227 = add <16 x i32> %x225, %x226
59 define float @fhadd_16(<16 x float> %x225) {
77 %x227 = fadd <16 x float> %x225, %x226
84 define float @fhsub_16(<16 x float> %x225) {
102 %x227 = fadd <16 x float> %x225, %x226
109 define <16 x i32> @hadd_16_3(<16 x i32> %x225, <16 x i32> %x227) {
123 define <16 x float> @fhadd_16_3(<16 x float> %x225, <16 x float> %x227) {
[all …]
|
| /dports/devel/llvm12/llvm-project-12.0.1.src/llvm/test/CodeGen/X86/ |
| H A D | avx512-hadd-hsub.ll | 5 define i32 @hadd_16(<16 x i32> %x225) {
25 %x227 = add <16 x i32> %x225, %x226
32 define i32 @hsub_16(<16 x i32> %x225) {
52 %x227 = add <16 x i32> %x225, %x226
59 define float @fhadd_16(<16 x float> %x225) {
77 %x227 = fadd <16 x float> %x225, %x226
84 define float @fhsub_16(<16 x float> %x225) {
102 %x227 = fadd <16 x float> %x225, %x226
109 define <16 x i32> @hadd_16_3(<16 x i32> %x225, <16 x i32> %x227) {
123 define <16 x float> @fhadd_16_3(<16 x float> %x225, <16 x float> %x227) {
[all …]
|
| /dports/devel/llvm13/llvm-project-13.0.1.src/llvm/test/CodeGen/X86/ |
| H A D | avx512-hadd-hsub.ll | 5 define i32 @hadd_16(<16 x i32> %x225) {
25 %x227 = add <16 x i32> %x225, %x226
32 define i32 @hsub_16(<16 x i32> %x225) {
52 %x227 = add <16 x i32> %x225, %x226
59 define float @fhadd_16(<16 x float> %x225) {
77 %x227 = fadd <16 x float> %x225, %x226
84 define float @fhsub_16(<16 x float> %x225) {
102 %x227 = fadd <16 x float> %x225, %x226
109 define <16 x i32> @hadd_16_3(<16 x i32> %x225, <16 x i32> %x227) {
123 define <16 x float> @fhadd_16_3(<16 x float> %x225, <16 x float> %x227) {
[all …]
|
| /dports/devel/llvm10/llvm-10.0.1.src/test/CodeGen/X86/ |
| H A D | avx512-hadd-hsub.ll | 5 define i32 @hadd_16(<16 x i32> %x225) {
25 %x227 = add <16 x i32> %x225, %x226
32 define i32 @hsub_16(<16 x i32> %x225) {
52 %x227 = add <16 x i32> %x225, %x226
59 define float @fhadd_16(<16 x float> %x225) {
77 %x227 = fadd <16 x float> %x225, %x226
84 define float @fhsub_16(<16 x float> %x225) {
102 %x227 = fadd <16 x float> %x225, %x226
109 define <16 x i32> @hadd_16_3(<16 x i32> %x225, <16 x i32> %x227) {
128 define <16 x float> @fhadd_16_3(<16 x float> %x225, <16 x float> %x227) {
[all …]
|
| /dports/devel/llvm90/llvm-9.0.1.src/test/CodeGen/X86/ |
| H A D | avx512-hadd-hsub.ll | 5 define i32 @hadd_16(<16 x i32> %x225) {
25 %x227 = add <16 x i32> %x225, %x226
32 define i32 @hsub_16(<16 x i32> %x225) {
52 %x227 = add <16 x i32> %x225, %x226
59 define float @fhadd_16(<16 x float> %x225) {
77 %x227 = fadd <16 x float> %x225, %x226
84 define float @fhsub_16(<16 x float> %x225) {
102 %x227 = fadd <16 x float> %x225, %x226
109 define <16 x i32> @hadd_16_3(<16 x i32> %x225, <16 x i32> %x227) {
128 define <16 x float> @fhadd_16_3(<16 x float> %x225, <16 x float> %x227) {
[all …]
|
| /dports/devel/tinygo/tinygo-0.14.1/llvm-project/llvm/test/CodeGen/X86/ |
| H A D | avx512-hadd-hsub.ll | 5 define i32 @hadd_16(<16 x i32> %x225) {
25 %x227 = add <16 x i32> %x225, %x226
32 define i32 @hsub_16(<16 x i32> %x225) {
52 %x227 = add <16 x i32> %x225, %x226
59 define float @fhadd_16(<16 x float> %x225) {
77 %x227 = fadd <16 x float> %x225, %x226
84 define float @fhsub_16(<16 x float> %x225) {
102 %x227 = fadd <16 x float> %x225, %x226
109 define <16 x i32> @hadd_16_3(<16 x i32> %x225, <16 x i32> %x227) {
128 define <16 x float> @fhadd_16_3(<16 x float> %x225, <16 x float> %x227) {
[all …]
|
| /dports/devel/llvm80/llvm-8.0.1.src/test/CodeGen/X86/ |
| H A D | avx512-hadd-hsub.ll | 5 define i32 @hadd_16(<16 x i32> %x225) {
25 %x227 = add <16 x i32> %x225, %x226
32 define i32 @hsub_16(<16 x i32> %x225) {
52 %x227 = add <16 x i32> %x225, %x226
59 define float @fhadd_16(<16 x float> %x225) {
77 %x227 = fadd <16 x float> %x225, %x226
84 define float @fhsub_16(<16 x float> %x225) {
102 %x227 = fadd <16 x float> %x225, %x226
109 define <16 x i32> @hadd_16_3(<16 x i32> %x225, <16 x i32> %x227) {
132 define <16 x float> @fhadd_16_3(<16 x float> %x225, <16 x float> %x227) {
[all …]
|
| /dports/devel/llvm70/llvm-7.0.1.src/test/CodeGen/X86/ |
| H A D | avx512-hadd-hsub.ll | 5 define i32 @hadd_16(<16 x i32> %x225) {
25 %x227 = add <16 x i32> %x225, %x226
32 define i32 @hsub_16(<16 x i32> %x225) {
52 %x227 = add <16 x i32> %x225, %x226
59 define float @fhadd_16(<16 x float> %x225) {
79 %x227 = fadd <16 x float> %x225, %x226
86 define float @fhsub_16(<16 x float> %x225) {
106 %x227 = fadd <16 x float> %x225, %x226
113 define <16 x i32> @hadd_16_3(<16 x i32> %x225, <16 x i32> %x227) {
136 define <16 x float> @fhadd_16_3(<16 x float> %x225, <16 x float> %x227) {
[all …]
|
| /dports/security/hs-cryptol/cryptol-2.11.0/_cabal_deps/sbv-8.12/SBVTestSuite/GoldFiles/ |
| H A D | query1.gold | 151 (let (($x225 (not $x224)))
152 (let (($x232 (or (not bey) $x225)))
153 … (let ((@x230 (monotonicity (rewrite (= (> s0 6) $x225)) (= (=> bey (> s0 6)) (=> bey $x225)))))
154 (let ((@x236 (trans @x230 (rewrite (= (=> bey $x225) $x232)) (= (=> bey (> s0 6)) $x232))))
162 …lution @x261 (asserted hey) $x248) (unit-resolution @x237 (asserted bey) $x225) false)))))))))))))…
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress4/ |
| H A D | bug143.smt | 311 :extrapreds ((x225))
929 …( implies ( and ( not x228 ) ( and ( not x227 ) ( and x226 ( and x225 ( and x224 ( and x223 true )…
945 …( implies ( and ( not x228 ) ( and x227 ( and x226 ( and x225 ( and x224 ( and x223 true ) ) ) ) )…
961 …( implies ( and x228 ( and ( not x227 ) ( and x226 ( and x225 ( and x224 ( and x223 true ) ) ) ) )…
969 …( implies ( and x228 ( and x227 ( and ( not x226 ) ( and x225 ( and x224 ( and x223 true ) ) ) ) )…
973 …( implies ( and x228 ( and x227 ( and x226 ( and ( not x225 ) ( and x224 ( and x223 true ) ) ) ) )…
975 …( implies ( and x228 ( and x227 ( and x226 ( and x225 ( and ( not x224 ) ( and x223 true ) ) ) ) )…
976 …( implies ( and x228 ( and x227 ( and x226 ( and x225 ( and x224 ( and ( not x223 ) true ) ) ) ) )…
977 …( implies ( and x228 ( and x227 ( and x226 ( and x225 ( and x224 ( and x223 true ) ) ) ) ) ) ( = t…
1328 ( implies ( and ( not x225 ) true ) ( = tmp49 0 ) )
[all …]
|
| /dports/math/cvc4/CVC4-1.7/test/regress/regress0/arith/ |
| H A D | miplib-pp08a-3000.smt | 314 :extrapreds ((x225))
932 …( implies ( and ( not x228 ) ( and ( not x227 ) ( and x226 ( and x225 ( and x224 ( and x223 true )…
948 …( implies ( and ( not x228 ) ( and x227 ( and x226 ( and x225 ( and x224 ( and x223 true ) ) ) ) )…
964 …( implies ( and x228 ( and ( not x227 ) ( and x226 ( and x225 ( and x224 ( and x223 true ) ) ) ) )…
972 …( implies ( and x228 ( and x227 ( and ( not x226 ) ( and x225 ( and x224 ( and x223 true ) ) ) ) )…
976 …( implies ( and x228 ( and x227 ( and x226 ( and ( not x225 ) ( and x224 ( and x223 true ) ) ) ) )…
978 …( implies ( and x228 ( and x227 ( and x226 ( and x225 ( and ( not x224 ) ( and x223 true ) ) ) ) )…
979 …( implies ( and x228 ( and x227 ( and x226 ( and x225 ( and x224 ( and ( not x223 ) true ) ) ) ) )…
980 …( implies ( and x228 ( and x227 ( and x226 ( and x225 ( and x224 ( and x223 true ) ) ) ) ) ) ( = t…
1331 ( implies ( and ( not x225 ) true ) ( = tmp49 0 ) )
[all …]
|
| /dports/multimedia/handbrake/ffmpeg-4.4/tests/ref/fate/ |
| H A D | dfa9 | 4 #dimensions 0: 338x225
|
| /dports/multimedia/gstreamer1-libav/gst-libav-1.16.2/gst-libs/ext/libav/tests/ref/fate/ |
| H A D | dfa9 | 4 #dimensions 0: 338x225
|
| /dports/multimedia/ffmpeg/ffmpeg-4.4.1/tests/ref/fate/ |
| H A D | dfa9 | 4 #dimensions 0: 338x225
|
| /dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/ffmpeg/tests/ref/fate/ |
| H A D | dfa9 | 4 #dimensions 0: 338x225
|
| /dports/textproc/sonic/sonic-1.3.0/cargo-crates/librocksdb-sys-6.7.4/rocksdb/docs/_posts/ |
| H A D | 2014-04-02-the-1st-rocksdb-local-meetup-held-on-march-27-2014.markdown | 14 …4](/static/images/Resize-of-20140327_200754-300x225.jpg)](/static/images/Resize-of-20140327_200754…
|
| /dports/databases/percona57-client/percona-server-5.7.36-39/storage/rocksdb/rocksdb/docs/_posts/ |
| H A D | 2014-04-02-the-1st-rocksdb-local-meetup-held-on-march-27-2014.markdown | 14 …4](/static/images/Resize-of-20140327_200754-300x225.jpg)](/static/images/Resize-of-20140327_200754…
|
| /dports/databases/rocksdb-lite/rocksdb-6.26.1/docs/_posts/ |
| H A D | 2014-04-02-the-1st-rocksdb-local-meetup-held-on-march-27-2014.markdown | 14 …4](/static/images/Resize-of-20140327_200754-300x225.jpg)](/static/images/Resize-of-20140327_200754…
|