Home
last modified time | relevance | path

Searched refs:z3 (Results 1 – 25 of 238) sorted by relevance

12345678910

/llvm-project-15.0.7/libc/benchmarks/automemcpy/include/automemcpy/
H A DRandomFunctionGenerator.h34 z3::expr inSetConstraint(z3::expr &Variable, ArrayRef<int> Values) const;
39 void addBoundsAndAnchors(z3::expr &Begin, z3::expr &End);
43 void addLoopConstraints(const z3::expr &LoopBegin, const z3::expr &LoopEnd,
46 z3::context Context;
47 z3::solver Solver;
49 z3::expr Type;
50 z3::expr ContiguousBegin, ContiguousEnd;
51 z3::expr OverlapBegin, OverlapEnd;
52 z3::expr LoopBegin, LoopEnd, LoopBlockSize;
55 z3::expr AcceleratorBegin, AcceleratorEnd;
[all …]
/llvm-project-15.0.7/llvm/test/CodeGen/AMDGPU/GlobalISel/
H A Dcombine-shift-of-shifted-logic.ll13 ret i32 %z3
25 ret i32 %z3
38 ret i32 %z3
50 ret i32 %z3
63 ret i32 %z3
75 ret i32 %z3
88 ret i32 %z3
101 ret i32 %z3
114 ret i32 %z3
127 ret i32 %z3
[all …]
H A Dcombine-shift-imm-chain.ll23 %z3 = shl i32 %z2, 3
24 %z4 = shl i32 %z3, 4
36 %z3 = shl i32 %z2, 10
37 %z4 = shl i32 %z3, 10
50 %z3 = shl i64 %z2, 10
51 %z4 = shl i64 %z3, 10
77 %z3 = ashr i32 %z2, 3
78 %z4 = ashr i32 %z3, 4
90 %z3 = ashr i32 %z2, 10
131 %z3 = lshr i32 %z2, 3
[all …]
/llvm-project-15.0.7/llvm/test/MC/AArch64/SVE/
H A Dst4h-diagnostics.s35 st4h { z0.h, z1.h, z2.h, z3.h }, p0, [x0, x0]
40 st4h { z0.h, z1.h, z2.h, z3.h }, p0, [x0, xzr]
45 st4h { z0.h, z1.h, z2.h, z3.h }, p0, [x0, x0, lsl #2]
50 st4h { z0.h, z1.h, z2.h, z3.h }, p0, [x0, w0]
55 st4h { z0.h, z1.h, z2.h, z3.h }, p0, [x0, w0, uxtw]
64 st4h {z2.h, z3.h, z4.h, z5.h}, p8, [x15, #10, MUL VL]
69 st4h {z2.h, z3.h, z4.h, z5.h}, p7.b, [x15, #10, MUL VL]
74 st4h {z2.h, z3.h, z4.h, z5.h}, p7.q, [x15, #10, MUL VL]
88 st4h { z0.h, z1.h, z2.h, z3.h, z4.h }, p0, [x0]
93 st4h { z0.h, z1.h, z2.h, z3.s }, p0, [x0]
[all …]
H A Dst4w-diagnostics.s35 st4w { z0.s, z1.s, z2.s, z3.s }, p0, [x0, x0]
40 st4w { z0.s, z1.s, z2.s, z3.s }, p0, [x0, xzr]
45 st4w { z0.s, z1.s, z2.s, z3.s }, p0, [x0, x0, lsl #3]
50 st4w { z0.s, z1.s, z2.s, z3.s }, p0, [x0, w0]
55 st4w { z0.s, z1.s, z2.s, z3.s }, p0, [x0, w0, uxtw]
64 st4w {z2.s, z3.s, z4.s, z5.s}, p8, [x15, #10, MUL VL]
69 st4w {z2.s, z3.s, z4.s, z5.s}, p7.b, [x15, #10, MUL VL]
74 st4w {z2.s, z3.s, z4.s, z5.s}, p7.q, [x15, #10, MUL VL]
88 st4w { z0.s, z1.s, z2.s, z3.s, z4.s }, p0, [x0]
93 st4w { z0.s, z1.s, z2.s, z3.d }, p0, [x0]
[all …]
H A Dst4d-diagnostics.s35 st4d { z0.d, z1.d, z2.d, z3.d }, p0, [x0, x0]
40 st4d { z0.d, z1.d, z2.d, z3.d }, p0, [x0, xzr]
45 st4d { z0.d, z1.d, z2.d, z3.d }, p0, [x0, x0, lsl #2]
50 st4d { z0.d, z1.d, z2.d, z3.d }, p0, [x0, w0]
55 st4d { z0.d, z1.d, z2.d, z3.d }, p0, [x0, w0, uxtw]
64 st4d {z2.d, z3.d, z4.d, z5.d}, p8, [x15, #10, MUL VL]
69 st4d {z2.d, z3.d, z4.d, z5.d}, p7.b, [x15, #10, MUL VL]
74 st4d {z2.d, z3.d, z4.d, z5.d}, p7.q, [x15, #10, MUL VL]
88 st4d { z0.d, z1.d, z2.d, z3.d, z4.d }, p0, [x0]
93 st4d { z0.d, z1.d, z2.d, z3.b }, p0, [x0]
[all …]
H A Dst4b-diagnostics.s35 st4b { z0.b, z1.b, z2.b, z3.b }, p0, [x0, xzr]
40 st4b { z0.b, z1.b, z2.b, z3.b }, p0, [x0, x0, lsl #1]
45 st4b { z0.b, z1.b, z2.b, z3.b }, p0, [x0, w0]
50 st4b { z0.b, z1.b, z2.b, z3.b }, p0, [x0, w0, uxtw]
59 st4b {z2.b, z3.b, z4.b, z5.b}, p8, [x15, #10, MUL VL]
64 st4b {z2.b, z3.b, z4.b, z5.b}, p7.b, [x15, #10, MUL VL]
69 st4b {z2.b, z3.b, z4.b, z5.b}, p7.q, [x15, #10, MUL VL]
83 st4b { z0.b, z1.b, z2.b, z3.b, z4.b }, p0, [x0]
88 st4b { z0.b, z1.b, z2.b, z3.h }, p0, [x0]
93 st4b { z0.b, z1.b, z3.b, z5.b }, p0, [x0]
H A Dld4h-diagnostics.s35 ld4h { z0.h, z1.h, z2.h, z3.h }, p0/z, [x0, x0]
40 ld4h { z0.h, z1.h, z2.h, z3.h }, p0/z, [x0, xzr]
45 ld4h { z0.h, z1.h, z2.h, z3.h }, p0/z, [x0, x0, lsl #2]
50 ld4h { z0.h, z1.h, z2.h, z3.h }, p0/z, [x0, w0]
55 ld4h { z0.h, z1.h, z2.h, z3.h }, p0/z, [x0, w0, uxtw]
64 ld4h {z2.h, z3.h, z4.h, z5.h}, p8/z, [x15, #10, MUL VL]
78 ld4h { z0.h, z1.h, z2.h, z3.h, z4.h }, p0/z, [x0]
83 ld4h { z0.h, z1.h, z2.h, z3.s }, p0/z, [x0]
88 ld4h { z0.h, z1.h, z3.h, z5.h }, p0/z, [x0]
H A Dld4w-diagnostics.s35 ld4w { z0.s, z1.s, z2.s, z3.s }, p0/z, [x0, x0]
40 ld4w { z0.s, z1.s, z2.s, z3.s }, p0/z, [x0, xzr]
45 ld4w { z0.s, z1.s, z2.s, z3.s }, p0/z, [x0, x0, lsl #3]
50 ld4w { z0.s, z1.s, z2.s, z3.s }, p0/z, [x0, w0]
55 ld4w { z0.s, z1.s, z2.s, z3.s }, p0/z, [x0, w0, uxtw]
64 ld4w {z2.s, z3.s, z4.s, z5.s}, p8/z, [x15, #10, MUL VL]
78 ld4w { z0.s, z1.s, z2.s, z3.s, z4.s }, p0/z, [x0]
83 ld4w { z0.s, z1.s, z2.s, z3.d }, p0/z, [x0]
88 ld4w { z0.s, z1.s, z3.s, z5.s }, p0/z, [x0]
H A Dld4d-diagnostics.s35 ld4d { z0.d, z1.d, z2.d, z3.d }, p0/z, [x0, x0]
40 ld4d { z0.d, z1.d, z2.d, z3.d }, p0/z, [x0, xzr]
45 ld4d { z0.d, z1.d, z2.d, z3.d }, p0/z, [x0, x0, lsl #2]
50 ld4d { z0.d, z1.d, z2.d, z3.d }, p0/z, [x0, w0]
55 ld4d { z0.d, z1.d, z2.d, z3.d }, p0/z, [x0, w0, uxtw]
64 ld4d {z2.d, z3.d, z4.d, z5.d}, p8/z, [x15, #10, MUL VL]
78 ld4d { z0.d, z1.d, z2.d, z3.d, z4.d }, p0/z, [x0]
83 ld4d { z0.d, z1.d, z2.d, z3.b }, p0/z, [x0]
88 ld4d { z0.d, z1.d, z3.d, z5.d }, p0/z, [x0]
H A Dld4b-diagnostics.s35 ld4b { z0.b, z1.b, z2.b, z3.b }, p0/z, [x0, xzr]
40 ld4b { z0.b, z1.b, z2.b, z3.b }, p0/z, [x0, x0, lsl #1]
45 ld4b { z0.b, z1.b, z2.b, z3.b }, p0/z, [x0, w0]
50 ld4b { z0.b, z1.b, z2.b, z3.b }, p0/z, [x0, w0, uxtw]
59 ld4b {z2.b, z3.b, z4.b, z5.b}, p8/z, [x15, #10, MUL VL]
73 ld4b { z0.b, z1.b, z2.b, z3.b, z4.b }, p0/z, [x0]
78 ld4b { z0.b, z1.b, z2.b, z3.h }, p0/z, [x0]
83 ld4b { z0.b, z1.b, z3.b, z5.b }, p0/z, [x0]
/llvm-project-15.0.7/llvm/test/CodeGen/AArch64/
H A Dsve-fixed-length-int-rem.ll24 ; VBITS_GE_128-NEXT: sunpklo z3.s, z3.h
40 ; VBITS_GE_256-NEXT: sunpklo z3.s, z3.h
71 ; VBITS_GE_512-NEXT: sunpklo z3.s, z3.h
174 ; CHECK-NEXT: sunpklo z3.s, z3.h
198 ; CHECK-NEXT: sunpklo z3.s, z3.h
224 ; CHECK-NEXT: sunpklo z3.s, z3.h
253 ; CHECK-NEXT: sunpklo z3.s, z3.h
263 ; CHECK-NEXT: uzp1 z3.h, z4.h, z3.h
961 ; CHECK-NEXT: uunpklo z3.s, z3.h
985 ; CHECK-NEXT: uunpklo z3.s, z3.h
[all …]
H A Dsve-fixed-length-masked-stores.ll166 ; VBITS_GE_256-NEXT: uzp1 z3.s, z3.s, z3.s
168 ; VBITS_GE_256-NEXT: splice z3.s, p1, z3.s, z2.s
211 ; VBITS_GE_256-NEXT: uzp1 z3.s, z3.s, z3.s
214 ; VBITS_GE_256-NEXT: splice z3.s, p1, z3.s, z2.s
215 ; VBITS_GE_256-NEXT: uzp1 z0.h, z3.h, z3.h
251 ; VBITS_GE_256-NEXT: uzp1 z3.s, z3.s, z3.s
291 ; VBITS_GE_256-NEXT: uzp1 z3.h, z3.h, z3.h
295 ; VBITS_GE_256-NEXT: uzp1 z3.b, z3.b, z3.b
335 ; VBITS_GE_256-NEXT: uzp1 z3.h, z3.h, z3.h
337 ; VBITS_GE_256-NEXT: uzp1 z3.b, z3.b, z3.b
[all …]
H A Dsve-copy-zprpair.mir40 ; CHECK: $z3 = ORR_ZZZ $z2, $z2
45 ; CHECK: $z2 = ORR_ZZZ $z3, $z3
65 ; CHECK: $z4 = ORR_ZZZ $z3, $z3
66 ; CHECK: $z3 = ORR_ZZZ $z2, $z2
71 ; CHECK: $z2 = ORR_ZZZ $z3, $z3
72 ; CHECK: $z3 = ORR_ZZZ $z4, $z4
H A Dsve-umulo-sdnode.ll108 ; CHECK-NEXT: umulh z3.b, p0/m, z3.b, z2.b
131 ; CHECK-NEXT: umulh z3.b, p0/m, z3.b, z7.b
134 ; CHECK-NEXT: umulh z3.b, p0/m, z3.b, z6.b
137 ; CHECK-NEXT: mul z3.b, p0/m, z3.b, z5.b
238 ; CHECK-NEXT: umulh z3.h, p0/m, z3.h, z2.h
261 ; CHECK-NEXT: umulh z3.h, p0/m, z3.h, z7.h
264 ; CHECK-NEXT: umulh z3.h, p0/m, z3.h, z6.h
267 ; CHECK-NEXT: mul z3.h, p0/m, z3.h, z5.h
343 ; CHECK-NEXT: umulh z3.s, p0/m, z3.s, z2.s
372 ; CHECK-NEXT: mul z3.s, p0/m, z3.s, z5.s
[all …]
H A Dsve-intrinsics-mask-ldst-ext.ll13 ; CHECK-NEXT: sunpkhi z3.h, z0.b
16 ; CHECK-NEXT: sunpklo z2.s, z3.h
17 ; CHECK-NEXT: sunpkhi z3.s, z3.h
29 ; CHECK-NEXT: uunpkhi z3.h, z0.b
32 ; CHECK-NEXT: uunpklo z2.s, z3.h
33 ; CHECK-NEXT: uunpkhi z3.s, z3.h
47 ; CHECK-NEXT: sunpkhi z3.s, z1.h
53 ; CHECK-NEXT: sunpkhi z3.d, z3.s
77 ; CHECK-NEXT: uunpkhi z3.d, z3.s
101 ; CHECK-NEXT: sunpkhi z3.d, z3.s
[all …]
H A Dsve-calling-convention-tuple-types.ll19 ; CHECK-NEXT: mov z1.d, z3.d
42 ; CHECK-NEXT: mov z1.d, z3.d
65 ; CHECK-NEXT: mov z1.d, z3.d
88 ; CHECK-NEXT: mov z1.d, z3.d
111 ; CHECK-NEXT: mov z1.d, z3.d
134 ; CHECK-NEXT: mov z1.d, z3.d
149 ; CHECK-NEXT: mov z2.d, z3.d
174 ; CHECK-NEXT: mov z2.d, z3.d
199 ; CHECK-NEXT: mov z2.d, z3.d
224 ; CHECK-NEXT: mov z2.d, z3.d
[all …]
H A Dsve-smulo-sdnode.ll16 ; CHECK-NEXT: movprfx z3, z0
42 ; CHECK-NEXT: movprfx z3, z0
68 ; CHECK-NEXT: movprfx z3, z0
113 ; CHECK-NEXT: mul z3.b, p0/m, z3.b, z2.b
138 ; CHECK-NEXT: mul z3.b, p0/m, z3.b, z7.b
253 ; CHECK-NEXT: mul z3.h, p0/m, z3.h, z2.h
278 ; CHECK-NEXT: mul z3.h, p0/m, z3.h, z7.h
367 ; CHECK-NEXT: mul z3.s, p0/m, z3.s, z2.s
392 ; CHECK-NEXT: mul z3.s, p0/m, z3.s, z7.s
455 ; CHECK-NEXT: mul z3.d, p0/m, z3.d, z2.d
[all …]
H A Dsve-fptosi-sat.ll53 ; CHECK-NEXT: mov z3.s, w8
79 ; CHECK-NEXT: mov z3.s, w9
88 ; CHECK-NEXT: sel z3.s, p2, z3.s, z2.s
97 ; CHECK-NEXT: mov z1.d, z3.d
141 ; CHECK-NEXT: mov z3.s, w9
215 ; CHECK-NEXT: fcmuo p1.s, p0/z, z3.s, z3.s
338 ; CHECK-NEXT: fcmuo p1.d, p0/z, z3.d, z3.d
399 ; CHECK-NEXT: fcmuo p1.d, p0/z, z3.d, z3.d
482 ; CHECK-NEXT: sel z3.d, p1, z3.d, z2.d
547 ; CHECK-NEXT: mov z3.h, w8
[all …]
H A Dsve-split-fcvt.ll49 ; CHECK-NEXT: movprfx z2, z3
51 ; CHECK-NEXT: movprfx z3, z4
83 ; CHECK-NEXT: movprfx z1, z3
87 ; CHECK-NEXT: movprfx z3, z5
112 ; CHECK-NEXT: fcvt z3.h, p0/m, z3.d
152 ; CHECK-NEXT: fcvt z3.s, p0/m, z3.d
182 ; CHECK-NEXT: fcvtzs z3.d, p0/m, z3.d
220 ; CHECK-NEXT: movprfx z1, z3
224 ; CHECK-NEXT: movprfx z3, z5
281 ; CHECK-NEXT: scvtf z3.h, p0/m, z3.d
[all …]
H A Dsve-fptoui-sat.ll62 ; CHECK-NEXT: movprfx z3, z1
72 ; CHECK-NEXT: mov z1.d, z3.d
105 ; CHECK-NEXT: movprfx z3, z1
161 ; CHECK-NEXT: movprfx z1, z3
209 ; CHECK-NEXT: movprfx z3, z1
254 ; CHECK-NEXT: fcvtzu z3.d, p0/m, z3.d
279 ; CHECK-NEXT: movprfx z3, z1
307 ; CHECK-NEXT: movprfx z5, z3
373 ; CHECK-NEXT: movprfx z3, z1
383 ; CHECK-NEXT: mov z1.d, z3.d
[all …]
H A Dsve-fixed-length-shuffles.ll87 ; CHECK-NEXT: uunpklo z3.h, z3.b
88 ; CHECK-NEXT: uunpklo z3.s, z3.h
91 ; CHECK-NEXT: lsl z3.s, z3.s, #31
93 ; CHECK-NEXT: asr z3.s, z3.s, #31
97 ; CHECK-NEXT: and z3.s, z3.s, #0x1
102 ; CHECK-NEXT: cmpne p2.s, p0/z, z3.s, #0
103 ; CHECK-NEXT: ld1w { z3.s }, p0/z, [x0]
114 ; CHECK-NEXT: mov z3.s, p1/m, #0 // =0x0
119 ; CHECK-NEXT: st1w { z3.s }, p0, [x0]
H A Dllvm-ir-to-intrinsic.ll18 ; CHECK-NEXT: sunpklo z3.s, z3.h
26 ; CHECK-NEXT: sdivr z3.s, p0/m, z3.s, z5.s
119 ; CHECK-NEXT: sunpklo z3.s, z3.h
127 ; CHECK-NEXT: sunpklo z3.s, z3.h
131 ; CHECK-NEXT: uzp1 z3.h, z3.h, z6.h
197 ; CHECK-NEXT: uunpklo z3.s, z3.h
299 ; CHECK-NEXT: uunpklo z3.s, z3.h
307 ; CHECK-NEXT: uunpklo z3.s, z3.h
311 ; CHECK-NEXT: uzp1 z3.h, z3.h, z6.h
1110 ; CHECK-NEXT: lsr z3.d, z3.d, #1
[all …]
/llvm-project-15.0.7/libc/benchmarks/automemcpy/lib/
H A DRandomFunctionGenerator.cpp137 z3::expr IsMemcpy = Type == (int)FunctionType::MEMCPY; in RandomFunctionGenerator()
138 z3::expr ExploreAlignment = IsMemcpy && kExploreAlignmentArg; in RandomFunctionGenerator()
207 if (Solver.check() != z3::sat) in next()
210 z3::model m = Solver.get_model(); in next()
213 const auto E = [&m](z3::expr &V) -> int { in next()
230 z3::expr CurrentLayout = in next()
251 z3::expr RandomFunctionGenerator::inSetConstraint(z3::expr &Variable, in inSetConstraint()
253 z3::expr_vector Args(Variable.ctx()); in inSetConstraint()
256 return z3::mk_or(Args); in inSetConstraint()
259 void RandomFunctionGenerator::addBoundsAndAnchors(z3::expr &Begin, in addBoundsAndAnchors()
[all …]
/llvm-project-15.0.7/llvm/test/MC/AArch64/SVE2/
H A Dtbl-diagnostics.s3 tbl z0.b, { z1.b, z2.b }, z3.h
17 tbl z0.d, { z1.d, z2.d, z3.d }, z4.d
22 tbl z0.d, { z1.d, z2.b }, z3.d
27 tbl z0.d, { z1.d, z21.d }, z3.d

12345678910