| /llvm-project-15.0.7/polly/lib/External/isl/test_inputs/codegen/cloog/ |
| H A D | sor1d.st | 1 …and i4 >= -193 - 200i1 and i4 >= -194 + 100i0 - 200i1 and 100i0 >= -284 - 3N and i4 <= -1 + N and … 3 context: "[M, N] -> { [] : M >= 0 and N >= 0 }"
|
| H A D | mxm-shared.st | 1 …and g4 = 0 and g2 = 8b0 and 128e0 = g1 and 4096e1 = 128b1 - g1 and 128e2 = -8b0 + g0 and 16e3 = -t… 3 …and g3 = 128b1 and 8e0 = g0 and 4096e1 = -128b1 + g1 and 128e2 = 8b0 - g0 and b0 >= 0 and g4 <= -1…
|
| H A D | jacobi-shared.st | 1 …and 2e0 = -1 + h0 and 2048e1 = -32b0 + g1 and 1024e2 = -32b1 + g2 and 16e3 = -15 - t0 + i0 and 32e… 3 …and 2048e0 = -32b0 + g1 and 1024e1 = -32b1 + g2 and g2 <= -2 + N and g2 >= -29 and g1 <= -2 + N an…
|
| H A D | otl.st | 1 …and innerProcTileIter1 >= outerTimeTileIter - outerProcTileIter2 and 10outerProcTileIter2 >= -2 - … 3 context: "[M, N] -> { [] : M >= 1 and N >= 1 }"
|
| H A D | faber.st | 1 …and 14idx5 >= -120 + idx4 and idx6 >= 24 + idx5 and idx6 <= 48 + idx5 and idx5 >= -6 and idx5 <= 1…
|
| H A D | swim.st | 1 …and i0 >= 2 and i0 <= P and i1 >= 1 and i1 <= Q and i2 >= 1 and i2 <= R; S106[i0, i1, i2] : M = 1 …
|
| /llvm-project-15.0.7/polly/lib/External/isl/test_inputs/codegen/ |
| H A D | roman.in | 3 …and 4294967296e0 <= np1 - i and 4294967296e0 >= -4294967295 + np1 - i and 4294967296e0 <= np1 - i … 4 … 4294967296e0 <= np1 - i and 4294967296e0 >= -20 + np1 - i and np1 >= -2147483648 and np1 <= 21474…
|
| H A D | shift2.in | 3 …and 32e0 = o2 and 32e1 = o3 and 32e2 = -length + o5 and 32e3 = -2length + o6 and o2 <= length and … 4 [tsteps, length] -> { : length >= 0 and length <= 1024 and tsteps = 2 }
|
| H A D | redundant.st | 2 …and o1 >= 0 and o2 <= 12 and o2 >= 1 and o3 <= 14 and o3 >= 1 and 8e0 <= 4 + o2 and 8e1 <= 5 + o2 … 4 context: "[b0] -> { [] : b0 <= 2 and b0 >= 0 }"
|
| H A D | separate2.in | 2 …and 32e0 = o2 and 32e1 = o3 and 32e2 = -i + o5 and 32e3 = -31 + j - o6 and o2 <= i and o2 >= -31 +… 3 [tsteps, length] -> { : length >= 1 and length <= 1024 and tsteps = 2 }
|
| H A D | unroll4.in | 3 …and 32e2 = -t2 + c and e0 <= 2 + 3g and e0 >= 3g and a <= 4 and a >= 3 and t2 >= 0 and t1 <= 3 and… 4 [t1, t2, g] -> { : g <= 3 and g >= 0 and t1 >= 0 and t1 <= 3 and t2 >= 0 and t2 <= 5 }
|
| H A D | stride6.in | 1 …and 32e1 = o1 and 32e2 = o2 and 32e3 = o3 and 32e4 = -31i + o5 and 32e5 = -i - o4 + o6 and 32e6 = … 2 [niter] -> { : niter <= 8192 and niter >= 1 }
|
| H A D | separation_class4.in | 2 # and unroll. 3 …and 4o0 <= t and i >= 60 and i <= 65 and 6o9 >= 5 + t - 4o0 and 6o9 <= 10 + t - 4o0 and 4o0 <= -62… 4 …and 4o0 <= 2 + t and i >= 57 and i <= 62 and 6o9 >= 7 + t - 4o0 and 6o9 <= 12 + t - 4o0 and t >= 0…
|
| H A D | jacobi_kernel4.in | 2 …and 64b >= 2t + i - 8a and 64b <= -2t + i + 8a and 4a <= 3 + t and 4a >= t and t >= 0 and t <= 199… 3 … -> { : t <= -1 + 4a + 32b and t >= 0 and t <= 4a and t >= -3 + 4a and t <= 1999 and t <= 655359 …
|
| /llvm-project-15.0.7/polly/lib/External/isl/test_inputs/schedule/ |
| H A D | poliwoda.sc | 10 0 and 4Id1 < _PB_N and 2Id2 >= -_PB_M and 4Id2 <= -_PB_M and Id3 <= 12 Id3] : _PB_M >= 2 and Id1 >= 0 and 4Id1 < _PB_N and -_PB_M <= 2Id2 <= 15 Id3'] : Id1 >= 0 and 4Id1 < _PB_N and Id3 <= 0 and 4Id3 >= -3 + _PB_M + 16 4Id2 and Id2' <= Id2 and 2Id2' >= -_PB_M and Id3' < 0 and Id3' <= Id3 17 and Id3' < Id2 + Id3 - Id2' and 4Id3' >= -4 + _PB_M + 4Id2 and 4Id3' >= 20 4Id1 < _PB_N and 4Id2 <= -_PB_M and Id3 <= 0 and 4Id3 >= -3 + _PB_M + 23 -3 + _PB_M + 4Id2 and Id2' < Id2 and -_PB_M <= 2Id2' <= 1 - _PB_M and 26 0 and 4Id1 < _PB_N and -_PB_M <= 2Id2 <= 1 - _PB_M and Id3 <= 0 and Id3' 29 4Id2 <= -_PB_M and Id3 <= 0 and 4Id3 >= -3 + _PB_M + 4Id2 and Id2' < 33 4Id2 and Id2' <= Id2 and 2Id2' >= -_PB_M and Id3' < 0 and Id3' <= Id3 [all …]
|
| /llvm-project-15.0.7/llvm/test/Transforms/CorrelatedValuePropagation/ |
| H A D | crash.ll | 15 %and.us.us = and i16 %conv6.us.us, %and.us.us 66 %a1 = and i1 %a0, %a0 67 %a2 = and i1 %a1, %a1 68 %a3 = and i1 %a2, %a2 69 %a4 = and i1 %a3, %a3 70 %a5 = and i1 %a4, %a4 71 %a6 = and i1 %a5, %a5 72 %a7 = and i1 %a6, %a6 73 %a8 = and i1 %a7, %a7 74 %a9 = and i1 %a8, %a8 [all …]
|
| /llvm-project-15.0.7/polly/lib/External/isl/test_inputs/codegen/omega/ |
| H A D | ts1d-mp-i_ts-m_b-0.in | 1 …and 500tb <= t and 4000proc <= 3999 - t + i and i >= 1 and i <= -2 + N and t >= 0 and t <= -1 + T;… 2 [T, N] -> { : T >= 0 and N >= 4 }
|
| H A D | p.delft2-0.in | 1 …and 9e3 = -5P2 - 2In_4 + In_6 and P1 >= 0 and In_1 >= 1 + P1 and In_1 <= 3 and P2 >= 0 and P2 <= 3…
|
| H A D | iter9-0.in | 1 …and 8e0 >= -15 + exprVar1 and exprVar1 <= 15 and In_1 >= 1 and 8e0 <= exprVar1 - In_1); s4[In_1] -… 2 [exprVar2, exprVar1] -> { : exprVar2 = 0 and exprVar1 <= 15 }
|
| /llvm-project-15.0.7/llvm/test/Transforms/LoopPredication/ |
| H A D | visited.ll | 15 ; CHECK-NEXT: [[TMP2:%.*]] = and i1 [[TMP1]], [[TMP0]] 49 %guard.cond.2 = and i1 %within.bounds, %unrelated.cond 50 %guard.cond.3 = and i1 %guard.cond.2, %unrelated.cond 51 %guard.cond.4 = and i1 %guard.cond.3, %guard.cond.2 52 %guard.cond.5 = and i1 %guard.cond.4, %guard.cond.3 53 %guard.cond.6 = and i1 %guard.cond.5, %guard.cond.4 54 %guard.cond.7 = and i1 %guard.cond.6, %guard.cond.5 55 %guard.cond.8 = and i1 %guard.cond.7, %guard.cond.6 56 %guard.cond.9 = and i1 %guard.cond.8, %guard.cond.7 57 %guard.cond.10 = and i1 %guard.cond.9, %guard.cond.8 [all …]
|
| /llvm-project-15.0.7/polly/test/DependenceInfo/ |
| H A D | reduction_sequence.ll | 62 …and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb90[i0, i1] -> Stmt_bb102[0, 0] : i0 >= 0 and 0 <= i1 … 64 …and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb90[i0, i1] -> Stmt_bb102[0, 0] : i0 >= 0 and 0 <= i1 … 66 …and o1 >= 0 and -1024o0 < o1 <= 1023; Stmt_bb90[i0, i1] -> Stmt_bb102[0, 0] : i0 >= 0 and 0 <= i1 … 68 …and 0 <= i1 <= 1022; Stmt_bb162[i0, 1023] -> Stmt_bb162[1 + i0, 0] : 0 <= i0 <= 1022; Stmt_bb90[i0… 71 …and 0 <= o1 <= 1023 and ((i0 >= 0 and o0 <= 1023 and o1 > 1024i0 + i1 - 1024o0) or (i0 <= 1023 and…
|
| /llvm-project-15.0.7/llvm/test/Transforms/InstCombine/ |
| H A D | masked-merge-add.ll | 27 %and = and i32 %x, %m 42 %and = and <2 x i32> %x, %m 57 %and = and <3 x i32> %x, %m 75 %and = and i32 %x, 65280 131 %and = and i32 %x, 61440 208 %and = and i32 %x, %m 223 %and = and i32 %x, %m 272 %and = and i32 %x, %m 328 %and = and i32 %x, %m 365 %and = and i32 %x, %m [all …]
|
| H A D | masked-merge-xor.ll | 27 %and = and i32 %x, %m 42 %and = and <2 x i32> %x, %m 57 %and = and <3 x i32> %x, %m 75 %and = and i32 %x, 65280 131 %and = and i32 %x, 61440 208 %and = and i32 %x, %m 223 %and = and i32 %x, %m 272 %and = and i32 %x, %m 328 %and = and i32 %x, %m 365 %and = and i32 %x, %m [all …]
|
| H A D | masked-merge-or.ll | 27 %and = and i32 %x, %m 42 %and = and <2 x i32> %x, %m 57 %and = and <3 x i32> %x, %m 75 %and = and i32 %x, 65280 131 %and = and i32 %x, 61440 208 %and = and i32 %x, %m 223 %and = and i32 %x, %m 272 %and = and i32 %x, %m 328 %and = and i32 %x, %m 365 %and = and i32 %x, %m [all …]
|
| /llvm-project-15.0.7/llvm/test/CodeGen/SystemZ/ |
| H A D | and-02.ll | 10 %and = and i32 %a, 1 19 %and = and i32 %b, 1 28 %and = and i32 %b, 4 37 %and = and i32 %a, 5 46 %and = and i32 %b, 5 55 %and = and i32 %a, 65533 64 %and = and i32 %b, 65533 73 %and = and i32 %a, 65534 82 %and = and i32 %b, 65534 190 %and = and i32 %a, -2 [all …]
|