Home
last modified time | relevance | path

Searched refs:UNROLL (Results 1 – 25 of 906) sorted by relevance

12345678910>>...37

/dports/math/boolector/boolector-3.2.2/test/log/
H A Dnondestr_subst1.smt2119 …UNROLL#90| () Bool (or |UNROLL#91| |UNROLL#94| |UNROLL#95| |UNROLL#97| |UNROLL#99| |UNROLL#101| |U…
671 …UNROLL#40| () Bool (and (= |UNROLL#41| |UNROLL#45|) (= |UNROLL#46| |UNROLL#48|) (= |UNROLL#49| |UN…
745 …UNROLL#713| () Bool (or |UNROLL#714| |UNROLL#716| |UNROLL#717| |UNROLL#719| |UNROLL#721| |UNROLL#7…
1233 …UNROLL#679| () Bool (and (= |UNROLL#680| |UNROLL#682|) (= |UNROLL#683| |UNROLL#684|) (= |UNROLL#68…
1307 …UNROLL#1271| () Bool (or |UNROLL#1272| |UNROLL#1274| |UNROLL#1275| |UNROLL#1277| |UNROLL#1279| |UN…
1795 …UNROLL#1237| () Bool (and (= |UNROLL#1238| |UNROLL#1240|) (= |UNROLL#1241| |UNROLL#1242|) (= |UNRO…
2357 …UNROLL#1795| () Bool (and (= |UNROLL#1796| |UNROLL#1798|) (= |UNROLL#1799| |UNROLL#1800|) (= |UNRO…
2919 …UNROLL#2353| () Bool (and (= |UNROLL#2354| |UNROLL#2356|) (= |UNROLL#2357| |UNROLL#2358|) (= |UNRO…
3481 …UNROLL#2911| () Bool (and (= |UNROLL#2912| |UNROLL#2914|) (= |UNROLL#2915| |UNROLL#2916|) (= |UNRO…
4043 …UNROLL#3469| () Bool (and (= |UNROLL#3470| |UNROLL#3472|) (= |UNROLL#3473| |UNROLL#3474|) (= |UNRO…
[all …]
H A Dnondestr_subst8.smt254 (define-fun |UNROLL#4614| () (_ BitVec 1) (ite |UNROLL#4615| |UNROLL#4649| #b0))
63 (define-fun |UNROLL#4654| () (_ BitVec 32) (select |UNROLL#4566| |UNROLL#4655|))
79 (define-fun |UNROLL#5822| () Bool |UNROLL#5827|)
85 (define-fun |UNROLL#5847| () (_ BitVec 32) (select |UNROLL#5682| |UNROLL#5848|))
87 (define-fun |UNROLL#6104| () Bool |UNROLL#6038|)
92 …UNROLL#5701| () Bool (and (= |UNROLL#5707| _substvar_1270_) (= |UNROLL#5847| _substvar_1290_) (= |…
96 (define-fun |UNROLL#6381| () Bool |UNROLL#6382|)
97 (define-fun |UNROLL#6380| () Bool |UNROLL#6381|)
101 (define-fun |UNROLL#6328| () (_ BitVec 32) (select |UNROLL#6240| |UNROLL#6329|))
125 (define-fun |UNROLL#7513| () (_ BitVec 1) (ite |UNROLL#7514| #b1 |UNROLL#7519|))
[all …]
H A Dnondestr_subst11.smt239 (define-fun |UNROLL#4614| () (_ BitVec 1) (ite |UNROLL#4615| |UNROLL#4649| #b0))
40 (define-fun |UNROLL#4608| () (_ BitVec 1) |UNROLL#4614|)
48 (define-fun |UNROLL#4654| () (_ BitVec 32) (select |UNROLL#4566| |UNROLL#4655|))
63 (define-fun |UNROLL#5822| () Bool |UNROLL#5827|)
68 (define-fun |UNROLL#6104| () Bool |UNROLL#6038|)
75 (define-fun |UNROLL#6381| () Bool |UNROLL#6382|)
76 (define-fun |UNROLL#6380| () Bool |UNROLL#6381|)
85 (define-fun |UNROLL#6945| () Bool |UNROLL#6947|)
86 (define-fun |UNROLL#6944| () Bool |UNROLL#6945|)
111 (define-fun |UNROLL#8416| () Bool |UNROLL#8417|)
[all …]
H A Dnondestr_subst13.smt233 (define-fun |UNROLL#2382| () (_ BitVec 1) (ite |UNROLL#2383| |UNROLL#2417| #b0))
34 (define-fun |UNROLL#2376| () (_ BitVec 1) |UNROLL#2382|)
35 (define-fun |UNROLL#2366| () (_ BitVec 1) |UNROLL#2376|)
36 (define-fun |UNROLL#2364| () (_ BitVec 1) |UNROLL#2366|)
37 (define-fun |UNROLL#2363| () (_ BitVec 1) |UNROLL#2364|)
38 (define-fun |UNROLL#2426| () (_ BitVec 1) |UNROLL#2384|)
42 (define-fun |UNROLL#2499| () (_ BitVec 32) (select |UNROLL#2334| |UNROLL#2500|))
51 (define-fun |UNROLL#2911| () Bool (and (= |UNROLL#2919| (_ bv0 1)) (= |UNROLL#3063| _substvar_3390_…
56 (define-fun |UNROLL#3844| () (_ BitVec 1) (ite |UNROLL#3845| #b0 |UNROLL#3847|))
57 (define-fun |UNROLL#3843| () (_ BitVec 1) |UNROLL#3844|)
[all …]
H A Dnondestr_subst12.smt235 (define-fun |UNROLL#5011| () (_ BitVec 32) |UNROLL#5012|)
39 (define-fun |UNROLL#5265| () Bool |UNROLL#5266|)
44 (define-fun |UNROLL#5269| () Bool (not |UNROLL#5270|))
45 (define-fun |UNROLL#5264| () Bool (and |UNROLL#5265| |UNROLL#5269|))
48 (define-fun |UNROLL#5537| () Bool (not |UNROLL#5262|))
49 (define-fun |UNROLL#5536| () Bool |UNROLL#5537|)
52 (define-fun |UNROLL#5548| () Bool |UNROLL#5537|)
59 (define-fun |UNROLL#5767| () Bool |UNROLL#5768|)
60 (define-fun |UNROLL#5766| () Bool |UNROLL#5767|)
82 …UNROLL#6259| () Bool (and (= |UNROLL#6267| _substvar_2897_) (= |UNROLL#6650| _substvar_2912_) (= |…
[all …]
H A Dnondestr_subst7.smt211 (declare-fun |UNROLL#3| () Bool)
12 (declare-fun |UNROLL#5| () Bool)
13 (define-fun |UNROLL#4| () Bool |UNROLL#5|)
14 (define-fun |UNROLL#2| () Bool false)
15 (define-fun |UNROLL#1| () Bool false)
18 (define-fun |UNROLL#6| () Bool false)
29 (assert |UNROLL#12|)
35 (declare-fun |UNROLL#31| () Bool)
36 (declare-fun |UNROLL#33| () Bool)
668 (assert |UNROLL#40|)
[all …]
H A Dnondestr_subst15.smt233 (define-fun |UNROLL#2382| () (_ BitVec 1) (ite |UNROLL#2383| |UNROLL#2417| #b0))
34 (define-fun |UNROLL#2376| () (_ BitVec 1) |UNROLL#2382|)
35 (define-fun |UNROLL#2366| () (_ BitVec 1) |UNROLL#2376|)
36 (define-fun |UNROLL#2364| () (_ BitVec 1) |UNROLL#2366|)
37 (define-fun |UNROLL#2363| () (_ BitVec 1) |UNROLL#2364|)
38 (define-fun |UNROLL#2426| () (_ BitVec 1) |UNROLL#2384|)
42 (define-fun |UNROLL#2499| () (_ BitVec 32) (select |UNROLL#2334| |UNROLL#2500|))
43 (define-fun |UNROLL#2353| () Bool (and (= |UNROLL#2363| _substvar_570_) (= |UNROLL#2499| _substvar_…
51 (define-fun |UNROLL#2911| () Bool (and (= |UNROLL#2919| (_ bv0 1)) (= |UNROLL#3063| _substvar_545_)…
56 (define-fun |UNROLL#3844| () (_ BitVec 1) (ite |UNROLL#3845| #b0 |UNROLL#3847|))
[all …]
H A Dnondestr_subst16.smt231 (define-fun |UNROLL#2382| () (_ BitVec 1) (ite |UNROLL#2383| |UNROLL#2417| #b0))
32 (define-fun |UNROLL#2376| () (_ BitVec 1) |UNROLL#2382|)
33 (define-fun |UNROLL#2366| () (_ BitVec 1) |UNROLL#2376|)
34 (define-fun |UNROLL#2364| () (_ BitVec 1) |UNROLL#2366|)
35 (define-fun |UNROLL#2363| () (_ BitVec 1) |UNROLL#2364|)
36 (define-fun |UNROLL#2426| () (_ BitVec 1) |UNROLL#2384|)
40 (define-fun |UNROLL#2499| () (_ BitVec 32) (select |UNROLL#2334| |UNROLL#2500|))
41 (define-fun |UNROLL#2353| () Bool (and (= |UNROLL#2363| _substvar_576_) (= |UNROLL#2499| _substvar_…
49 (define-fun |UNROLL#2911| () Bool (and (= |UNROLL#2919| (_ bv0 1)) (= |UNROLL#3063| _substvar_563_)…
54 (define-fun |UNROLL#3844| () (_ BitVec 1) (ite |UNROLL#3845| #b0 |UNROLL#3847|))
[all …]
H A Dnondestr_subst14.smt231 (define-fun |UNROLL#2383| () Bool (= |UNROLL#2384| #b1))
33 (define-fun |UNROLL#2382| () (_ BitVec 1) (ite |UNROLL#2383| |UNROLL#2417| #b0))
34 (define-fun |UNROLL#2376| () (_ BitVec 1) |UNROLL#2382|)
35 (define-fun |UNROLL#2366| () (_ BitVec 1) |UNROLL#2376|)
36 (define-fun |UNROLL#2364| () (_ BitVec 1) |UNROLL#2366|)
37 (define-fun |UNROLL#2363| () (_ BitVec 1) |UNROLL#2364|)
38 (define-fun |UNROLL#2426| () (_ BitVec 1) |UNROLL#2384|)
39 (define-fun |UNROLL#2425| () Bool (= |UNROLL#2426| #b1))
42 (define-fun |UNROLL#2499| () (_ BitVec 32) (select |UNROLL#2334| |UNROLL#2500|))
56 (define-fun |UNROLL#3844| () (_ BitVec 1) (ite |UNROLL#3845| #b0 |UNROLL#3847|))
[all …]
H A Dnondestr_subst2.smt254 (define-fun |UNROLL#4614| () (_ BitVec 1) (ite |UNROLL#4615| |UNROLL#4649| #b0))
63 (define-fun |UNROLL#4654| () (_ BitVec 32) (select |UNROLL#4566| |UNROLL#4655|))
79 (define-fun |UNROLL#5822| () Bool |UNROLL#5827|)
85 (define-fun |UNROLL#5847| () (_ BitVec 32) (select |UNROLL#5682| |UNROLL#5848|))
87 (define-fun |UNROLL#6104| () Bool |UNROLL#6038|)
96 (define-fun |UNROLL#6381| () Bool |UNROLL#6382|)
97 (define-fun |UNROLL#6380| () Bool |UNROLL#6381|)
101 (define-fun |UNROLL#6328| () (_ BitVec 32) (select |UNROLL#6240| |UNROLL#6329|))
125 (define-fun |UNROLL#7513| () (_ BitVec 1) (ite |UNROLL#7514| #b1 |UNROLL#7519|))
159 (define-fun |UNROLL#8479| () Bool (and |UNROLL#8480| |UNROLL#8485| |UNROLL#8488|))
[all …]
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/llvm/test/Transforms/LoopUnroll/
H A Druntime-loop5.ll12 ; UNROLL-16-LABEL: @test(
13 ; UNROLL-16-NEXT: entry:
18 ; UNROLL-16: for.body:
25 ; UNROLL-16: for.end:
28 ; UNROLL-16: for.body.1:
34 ; UNROLL-16: for.body.2:
40 ; UNROLL-16: for.body.3:
64 ; UNROLL-4-LABEL: @test(
65 ; UNROLL-4-NEXT: entry:
76 ; UNROLL-4: for.body:
[all …]
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/llvm/test/Transforms/LoopUnroll/
H A Druntime-loop5.ll12 ; UNROLL-16-LABEL: @test(
13 ; UNROLL-16-NEXT: entry:
18 ; UNROLL-16: for.body:
25 ; UNROLL-16: for.end:
28 ; UNROLL-16: for.body.1:
34 ; UNROLL-16: for.body.2:
40 ; UNROLL-16: for.body.3:
64 ; UNROLL-4-LABEL: @test(
65 ; UNROLL-4-NEXT: entry:
76 ; UNROLL-4: for.body:
[all …]
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/llvm/test/Transforms/LoopUnroll/
H A Druntime-loop5.ll12 ; UNROLL-16-LABEL: @test(
13 ; UNROLL-16-NEXT: entry:
18 ; UNROLL-16: for.body:
25 ; UNROLL-16: for.end:
28 ; UNROLL-16: for.body.1:
34 ; UNROLL-16: for.body.2:
40 ; UNROLL-16: for.body.3:
64 ; UNROLL-4-LABEL: @test(
65 ; UNROLL-4-NEXT: entry:
76 ; UNROLL-4: for.body:
[all …]
/dports/graphics/llvm-mesa/llvm-13.0.1.src/test/Transforms/LoopUnroll/
H A Druntime-loop5.ll12 ; UNROLL-16-LABEL: @test(
13 ; UNROLL-16-NEXT: entry:
18 ; UNROLL-16: for.body:
25 ; UNROLL-16: for.end:
28 ; UNROLL-16: for.body.1:
34 ; UNROLL-16: for.body.2:
40 ; UNROLL-16: for.body.3:
64 ; UNROLL-4-LABEL: @test(
65 ; UNROLL-4-NEXT: entry:
76 ; UNROLL-4: for.body:
[all …]
/dports/devel/llvm13/llvm-project-13.0.1.src/llvm/test/Transforms/LoopUnroll/
H A Druntime-loop5.ll12 ; UNROLL-16-LABEL: @test(
13 ; UNROLL-16-NEXT: entry:
18 ; UNROLL-16: for.body:
25 ; UNROLL-16: for.end:
28 ; UNROLL-16: for.body.1:
34 ; UNROLL-16: for.body.2:
40 ; UNROLL-16: for.body.3:
64 ; UNROLL-4-LABEL: @test(
65 ; UNROLL-4-NEXT: entry:
76 ; UNROLL-4: for.body:
[all …]
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/mlir/test/Dialect/SCF/
H A Dloop-unroll.mlir43 // UNROLL-BY-2-NEXT: }
46 // UNROLL-BY-2-NEXT: }
47 // UNROLL-BY-2-NEXT: return
80 // UNROLL-BY-3-NEXT: }
83 // UNROLL-BY-3-NEXT: }
84 // UNROLL-BY-3-NEXT: return
180 // UNROLL-BY-2-NEXT: }
181 // UNROLL-BY-2-NEXT: return
218 // UNROLL-BY-3-NEXT: }
221 // UNROLL-BY-3-NEXT: }
[all …]
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/mlir/test/Dialect/SCF/
H A Dloop-unroll.mlir41 // UNROLL-BY-2-NEXT: }
44 // UNROLL-BY-2-NEXT: }
45 // UNROLL-BY-2-NEXT: return
78 // UNROLL-BY-3-NEXT: }
81 // UNROLL-BY-3-NEXT: }
82 // UNROLL-BY-3-NEXT: return
178 // UNROLL-BY-2-NEXT: }
179 // UNROLL-BY-2-NEXT: return
212 // UNROLL-BY-3-NEXT: }
215 // UNROLL-BY-3-NEXT: }
[all …]
/dports/devel/llvm-devel/llvm-project-f05c95f10fc1d8171071735af8ad3a9e87633120/mlir/test/Dialect/Affine/
H A Dunroll.mlir39 } // UNROLL-FULL }
58 } // UNROLL-FULL }
241 } // UNROLL-FULL }
425 } // UNROLL-BY-4: }
441 // UNROLL-BY-4-NEXT: }
461 // UNROLL-BY-4-NEXT: }
487 } // UNROLL-BY-4: }
525 // UNROLL-BY-4-NEXT: }
529 // UNROLL-BY-4-NEXT: }
564 // UNROLL-BY-4-NOT: for
[all …]
/dports/devel/wasi-compiler-rt13/llvm-project-13.0.1.src/mlir/test/Dialect/Affine/
H A Dunroll.mlir39 } // UNROLL-FULL }
58 } // UNROLL-FULL }
241 } // UNROLL-FULL }
425 } // UNROLL-BY-4: }
441 // UNROLL-BY-4-NEXT: }
461 // UNROLL-BY-4-NEXT: }
487 } // UNROLL-BY-4: }
525 // UNROLL-BY-4-NEXT: }
529 // UNROLL-BY-4-NEXT: }
564 // UNROLL-BY-4-NOT: for
[all …]
/dports/devel/wasi-libcxx/llvm-project-13.0.1.src/mlir/test/Dialect/Affine/
H A Dunroll.mlir39 } // UNROLL-FULL }
58 } // UNROLL-FULL }
241 } // UNROLL-FULL }
425 } // UNROLL-BY-4: }
441 // UNROLL-BY-4-NEXT: }
461 // UNROLL-BY-4-NEXT: }
487 } // UNROLL-BY-4: }
525 // UNROLL-BY-4-NEXT: }
529 // UNROLL-BY-4-NEXT: }
564 // UNROLL-BY-4-NOT: for
[all …]
/dports/devel/llvm13/llvm-project-13.0.1.src/mlir/test/Dialect/Affine/
H A Dunroll.mlir39 } // UNROLL-FULL }
58 } // UNROLL-FULL }
241 } // UNROLL-FULL }
425 } // UNROLL-BY-4: }
441 // UNROLL-BY-4-NEXT: }
461 // UNROLL-BY-4-NEXT: }
487 } // UNROLL-BY-4: }
525 // UNROLL-BY-4-NEXT: }
529 // UNROLL-BY-4-NEXT: }
564 // UNROLL-BY-4-NOT: for
[all …]
/dports/devel/llvm-cheri/llvm-project-37c49ff00e3eadce5d8703fdc4497f28458c64a8/mlir/test/Dialect/Affine/
H A Dunroll.mlir39 } // UNROLL-FULL }
58 } // UNROLL-FULL }
241 } // UNROLL-FULL }
425 } // UNROLL-BY-4: }
441 // UNROLL-BY-4-NEXT: }
461 // UNROLL-BY-4-NEXT: }
487 } // UNROLL-BY-4: }
525 // UNROLL-BY-4-NEXT: }
529 // UNROLL-BY-4-NEXT: }
564 // UNROLL-BY-4-NOT: for
[all …]
/dports/devel/tinygo/tinygo-0.14.1/llvm-project/mlir/test/Transforms/
H A Dunroll.mlir39 } // UNROLL-FULL }
58 } // UNROLL-FULL }
241 } // UNROLL-FULL }
425 } // UNROLL-BY-4: }
441 // UNROLL-BY-4-NEXT: }
461 // UNROLL-BY-4-NEXT: }
487 } // UNROLL-BY-4: }
525 // UNROLL-BY-4-NEXT: }
529 // UNROLL-BY-4_NEXT: }
564 // UNROLL-BY-4-NOT: for
[all …]
/dports/devel/wasi-compiler-rt12/llvm-project-12.0.1.src/mlir/test/Dialect/Affine/
H A Dunroll.mlir39 } // UNROLL-FULL }
58 } // UNROLL-FULL }
241 } // UNROLL-FULL }
425 } // UNROLL-BY-4: }
441 // UNROLL-BY-4-NEXT: }
461 // UNROLL-BY-4-NEXT: }
487 } // UNROLL-BY-4: }
525 // UNROLL-BY-4-NEXT: }
529 // UNROLL-BY-4-NEXT: }
564 // UNROLL-BY-4-NOT: for
[all …]
/dports/www/chromium-legacy/chromium-88.0.4324.182/third_party/llvm/mlir/test/Dialect/Affine/
H A Dunroll.mlir39 } // UNROLL-FULL }
58 } // UNROLL-FULL }
241 } // UNROLL-FULL }
425 } // UNROLL-BY-4: }
441 // UNROLL-BY-4-NEXT: }
461 // UNROLL-BY-4-NEXT: }
487 } // UNROLL-BY-4: }
525 // UNROLL-BY-4-NEXT: }
529 // UNROLL-BY-4-NEXT: }
564 // UNROLL-BY-4-NOT: for
[all …]

12345678910>>...37