libflame  revision_anchor
Functions
FLA_Apply_Q_UT_rhfc_blk_var1.c File Reference

(r)

Functions

FLA_Error FLA_Apply_Q_UT_rhfc_blk_var1 (FLA_Obj A, FLA_Obj T, FLA_Obj W, FLA_Obj B, fla_apqut_t *cntl)
 

Function Documentation

◆ FLA_Apply_Q_UT_rhfc_blk_var1()

FLA_Error FLA_Apply_Q_UT_rhfc_blk_var1 ( FLA_Obj  A,
FLA_Obj  T,
FLA_Obj  W,
FLA_Obj  B,
fla_apqut_t cntl 
)
89 {
90  FLA_Obj ATL, ATR, A00, A01, A02,
91  ABL, ABR, A10, A11, A12,
92  A20, A21, A22;
93 
94  FLA_Obj TL, TR, T0, T1, T2;
95 
96  FLA_Obj T1T,
97  T2B;
98 
99  FLA_Obj WTL, WTR,
100  WBL, WBR;
101 
102  FLA_Obj BL, BR, B0, B1, B2;
103 
104  dim_t b_alg, b;
105  dim_t m_BR, n_BR;
106 
107  // Query the algorithmic blocksize by inspecting the length of T.
108  b_alg = FLA_Obj_length( T );
109 
110  // If m > n, then we have to initialize our partitionings carefully so
111  // that we begin in the proper location in A and B (since we traverse
112  // matrix A from BR to TL).
113  if ( FLA_Obj_length( A ) > FLA_Obj_width( A ) )
114  {
115  m_BR = FLA_Obj_length( A ) - FLA_Obj_width( A );
116  n_BR = 0;
117  }
118  else if ( FLA_Obj_length( A ) < FLA_Obj_width( A ) )
119  {
120  m_BR = 0;
121  n_BR = FLA_Obj_width( A ) - FLA_Obj_length( A );
122  }
123  else
124  {
125  m_BR = 0;
126  n_BR = 0;
127  }
128 
129  FLA_Part_2x2( A, &ATL, &ATR,
130  &ABL, &ABR, m_BR, n_BR, FLA_BR );
131 
132  // A and T are dependent; we determine T matrix w.r.t. A
133  FLA_Part_1x2( T, &TL, &TR, FLA_Obj_min_dim( A ), FLA_LEFT );
134 
135  FLA_Part_1x2( B, &BL, &BR, m_BR, FLA_RIGHT );
136 
137  while ( FLA_Obj_min_dim( ATL ) > 0 ){
138 
139  b = min( b_alg, FLA_Obj_min_dim( ATL ) );
140 
141  // Since T was filled from left to right, and since we need to access them
142  // in reverse order, we need to handle the case where the last block is
143  // smaller than the other b x b blocks.
144  if ( FLA_Obj_width( TR ) == 0 && FLA_Obj_width( T ) % b_alg > 0 )
145  b = FLA_Obj_width( T ) % b_alg;
146 
147  FLA_Repart_2x2_to_3x3( ATL, /**/ ATR, &A00, &A01, /**/ &A02,
148  &A10, &A11, /**/ &A12,
149  /* ************* */ /* ******************** */
150  ABL, /**/ ABR, &A20, &A21, /**/ &A22,
151  b, b, FLA_TL );
152 
153  FLA_Repart_1x2_to_1x3( TL, /**/ TR, &T0, &T1, /**/ &T2,
154  b, FLA_LEFT );
155 
156  FLA_Repart_1x2_to_1x3( BL, /**/ BR, &B0, &B1, /**/ &B2,
157  b, FLA_LEFT );
158 
159  /*------------------------------------------------------------*/
160 
161  FLA_Part_2x1( T1, &T1T,
162  &T2B, b, FLA_TOP );
163 
164  FLA_Part_2x2( W, &WTL, &WTR,
165  &WBL, &WBR, b, FLA_Obj_length( B1 ), FLA_TL );
166 
167  // WTL = B1^T;
168 
169  FLA_Copyt_internal( FLA_TRANSPOSE, B1, WTL,
170  FLA_Cntl_sub_copyt( cntl ) );
171 
172  // U11 = trilu( A11 );
173  // U21 = A21;
174  // Let WTL^T be conformal to B1.
175  //
176  // WTL^T = ( B1 * U11 + B2 * U21 ) * inv( triu(T1T)' );
177  // WTL = inv( conj(triu(T1T)) ) * ( U11^T * B1^T + U21^T * B2^T );
178 
179  FLA_Trmm_internal( FLA_LEFT, FLA_LOWER_TRIANGULAR,
180  FLA_TRANSPOSE, FLA_UNIT_DIAG,
181  FLA_ONE, A11, WTL,
182  FLA_Cntl_sub_trmm1( cntl ) );
183 
184  FLA_Gemm_internal( FLA_TRANSPOSE, FLA_TRANSPOSE,
185  FLA_ONE, A21, B2, FLA_ONE, WTL,
186  FLA_Cntl_sub_gemm1( cntl ) );
187 
188  FLA_Trsm_internal( FLA_LEFT, FLA_UPPER_TRIANGULAR,
189  FLA_CONJ_NO_TRANSPOSE, FLA_NONUNIT_DIAG,
190  FLA_ONE, T1T, WTL,
191  FLA_Cntl_sub_trsm( cntl ) );
192 
193  // B2 = B2 - WTL^T * U21';
194  // B1 = B1 - WTL^T * U11';
195  // = B1 - ( conj(U11) * WTL )^T;
196 
197  FLA_Gemm_internal( FLA_TRANSPOSE, FLA_CONJ_TRANSPOSE,
198  FLA_MINUS_ONE, WTL, A21, FLA_ONE, B2,
199  FLA_Cntl_sub_gemm2( cntl ) );
200 
201  FLA_Trmm_internal( FLA_LEFT, FLA_LOWER_TRIANGULAR,
202  FLA_CONJ_NO_TRANSPOSE, FLA_UNIT_DIAG,
203  FLA_MINUS_ONE, A11, WTL,
204  FLA_Cntl_sub_trmm2( cntl ) );
205 
206  FLA_Axpyt_internal( FLA_TRANSPOSE, FLA_ONE, WTL, B1,
207  FLA_Cntl_sub_axpyt( cntl ) );
208 
209  /*------------------------------------------------------------*/
210 
211  FLA_Cont_with_3x3_to_2x2( &ATL, /**/ &ATR, A00, /**/ A01, A02,
212  /* ************** */ /* ****************** */
213  A10, /**/ A11, A12,
214  &ABL, /**/ &ABR, A20, /**/ A21, A22,
215  FLA_BR );
216 
217  FLA_Cont_with_1x3_to_1x2( &TL, /**/ &TR, T0, /**/ T1, T2,
218  FLA_RIGHT );
219 
220  FLA_Cont_with_1x3_to_1x2( &BL, /**/ &BR, B0, /**/ B1, B2,
221  FLA_RIGHT );
222  }
223 
224  return FLA_SUCCESS;
225 }
FLA_Error FLA_Axpyt_internal(FLA_Trans trans, FLA_Obj alpha, FLA_Obj A, FLA_Obj B, fla_axpyt_t *cntl)
Definition: FLA_Axpyt_internal.c:16
FLA_Error FLA_Copyt_internal(FLA_Trans trans, FLA_Obj A, FLA_Obj B, fla_copyt_t *cntl)
Definition: FLA_Copyt_internal.c:16
FLA_Error FLA_Gemm_internal(FLA_Trans transa, FLA_Trans transb, FLA_Obj alpha, FLA_Obj A, FLA_Obj B, FLA_Obj beta, FLA_Obj C, fla_gemm_t *cntl)
Definition: FLA_Gemm_internal.c:16
FLA_Error FLA_Trmm_internal(FLA_Side side, FLA_Uplo uplo, FLA_Trans transa, FLA_Diag diag, FLA_Obj alpha, FLA_Obj A, FLA_Obj B, fla_trmm_t *cntl)
Definition: FLA_Trmm_internal.c:16
FLA_Error FLA_Trsm_internal(FLA_Side side, FLA_Uplo uplo, FLA_Trans transa, FLA_Diag diag, FLA_Obj alpha, FLA_Obj A, FLA_Obj B, fla_trsm_t *cntl)
Definition: FLA_Trsm_internal.c:16
FLA_Obj FLA_MINUS_ONE
Definition: FLA_Init.c:22
FLA_Obj FLA_ONE
Definition: FLA_Init.c:18
FLA_Error FLA_Cont_with_3x3_to_2x2(FLA_Obj *ATL, FLA_Obj *ATR, FLA_Obj A00, FLA_Obj A01, FLA_Obj A02, FLA_Obj A10, FLA_Obj A11, FLA_Obj A12, FLA_Obj *ABL, FLA_Obj *ABR, FLA_Obj A20, FLA_Obj A21, FLA_Obj A22, FLA_Quadrant quadrant)
Definition: FLA_View.c:304
FLA_Error FLA_Part_2x2(FLA_Obj A, FLA_Obj *A11, FLA_Obj *A12, FLA_Obj *A21, FLA_Obj *A22, dim_t mb, dim_t nb, FLA_Quadrant quadrant)
Definition: FLA_View.c:17
FLA_Error FLA_Cont_with_1x3_to_1x2(FLA_Obj *AL, FLA_Obj *AR, FLA_Obj A0, FLA_Obj A1, FLA_Obj A2, FLA_Side side)
Definition: FLA_View.c:475
dim_t FLA_Obj_width(FLA_Obj obj)
Definition: FLA_Query.c:123
FLA_Error FLA_Part_1x2(FLA_Obj A, FLA_Obj *A1, FLA_Obj *A2, dim_t nb, FLA_Side side)
Definition: FLA_View.c:110
FLA_Error FLA_Part_2x1(FLA_Obj A, FLA_Obj *A1, FLA_Obj *A2, dim_t mb, FLA_Side side)
Definition: FLA_View.c:76
dim_t FLA_Obj_length(FLA_Obj obj)
Definition: FLA_Query.c:116
FLA_Error FLA_Repart_2x2_to_3x3(FLA_Obj ATL, FLA_Obj ATR, FLA_Obj *A00, FLA_Obj *A01, FLA_Obj *A02, FLA_Obj *A10, FLA_Obj *A11, FLA_Obj *A12, FLA_Obj ABL, FLA_Obj ABR, FLA_Obj *A20, FLA_Obj *A21, FLA_Obj *A22, dim_t mb, dim_t nb, FLA_Quadrant quadrant)
Definition: FLA_View.c:142
FLA_Error FLA_Repart_1x2_to_1x3(FLA_Obj AL, FLA_Obj AR, FLA_Obj *A0, FLA_Obj *A1, FLA_Obj *A2, dim_t nb, FLA_Side side)
Definition: FLA_View.c:267
dim_t FLA_Obj_min_dim(FLA_Obj obj)
Definition: FLA_Query.c:153
unsigned long dim_t
Definition: FLA_type_defs.h:71
Definition: FLA_type_defs.h:159

References FLA_Axpyt_internal(), FLA_Cont_with_1x3_to_1x2(), FLA_Cont_with_3x3_to_2x2(), FLA_Copyt_internal(), FLA_Gemm_internal(), FLA_MINUS_ONE, FLA_Obj_length(), FLA_Obj_min_dim(), FLA_Obj_width(), FLA_ONE, FLA_Part_1x2(), FLA_Part_2x1(), FLA_Part_2x2(), FLA_Repart_1x2_to_1x3(), FLA_Repart_2x2_to_3x3(), FLA_Trmm_internal(), and FLA_Trsm_internal().

Referenced by FLA_Apply_Q_UT_rhfc().