Lines Matching refs:lattice
97 lattice, and the base space of that lattice will always be dense. Thus, we
98 effectively use the lattice to figure out the transformation from the lattice
116 of the lattice. */
357 /* Allocate a new lattice structure of DEPTH x DEPTH, with INVARIANTS number
373 /* Compute the lattice base for NEST. The lattice base is essentially a
619 2. Use the matrix form to calculate the lattice base for the nest (which is
639 lambda_lattice lattice;
726 /* Compute the lattice base x = base * y + origin, where y is the
728 lattice = lambda_lattice_compute_base (nest);
730 /* Ax <= a + B then becomes ALy <= a+B - A*origin. L is the lattice base */
733 lambda_matrix_mult (A, LATTICE_BASE (lattice), A1, size, depth, depth);
736 lambda_matrix_vector_mult (A, size, depth, LATTICE_ORIGIN (lattice), a1);
740 lambda_matrix_mult (A, LATTICE_ORIGIN_INVARIANTS (lattice), B1, size, depth,
1016 1. Computing a lattice base for the transformation
1031 lambda_lattice lattice;
1053 /* Compute the lattice base. */
1054 lattice = lambda_lattice_compute_base (nest);
1057 /* Multiply the transformation matrix by the lattice base. */
1059 lambda_matrix_mult (LTM_MATRIX (trans), LATTICE_BASE (lattice),
1082 LATTICE_ORIGIN (lattice), origin);
1083 lambda_matrix_mult (LTM_MATRIX (trans), LATTICE_ORIGIN_INVARIANTS (lattice),