COMPILER TECHNIQUES FOR MATLAB PROGRAMS ... - CiteSeerX

More documents

Recommendations

Info

5.2 Variable initialization using a lower intrinsic type. : : : : : : : : : : : : : : : 46 5.3 Lattice for static shape inference. : : : : : : : : : : : : : : : : : : : : : : : : 52 5.4 Lattice for static shape inference. : : : : : : : : : : : : : : : : : : : : : : : : 53 5.5 MATLAB pseudo-code segment in which there is a full use of variable between its previous denition and an function. : : : : : : : : : : : : : : : : : : : : 54 5.6 Indexed use to solve thearray growth problem. : : : : : : : : : : : : : : : : 54 5.7 MATLAB code segment for the solution of a linear system Ax = b. : : : : : 56 5.8 MATLAB function to solve the linear system Ax=b, using the Conjugate Gradient method with preconditioning. : : : : : : : : : : : : : : : : : : : : : 57 5.9 Fortran90codeforc = a b when rank and shape of a and b are unknown, but a is known to be a square matrix. : : : : : : : : : : : : : : : : : : : : 60 6.1 Indexed assignment requiring intrinsic type change. : : : : : : : : : : : : : : 62 6.2 Update of the complex instance of the variable and corresponding shadow value. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 63 6.3 SSA representation for the pseudo-code requiring intrinsic type change. : : : 63 6.4 Dynamic test for indexed assignments. : : : : : : : : : : : : : : : : : : : : : 65 6.5 MATLAB code segment for the generation of a Poisson matrix. : : : : : : : 65 6.6 Fortran 90 allocation test for the MATLAB expression P(k,k)=4. : : : : : : 66 6.7 Extension of a MATLAB code to generate a Poisson matrix. : : : : : : : : : 69 7.1 MATLAB code segment for the Incomplete Cholesky Factorization (IC). : : 80 7.2 Speedup of compiled programs over MATLAB, running on the SGI Power Challenge. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 82 7.3 Speedup of compiled programs over MATLAB, running on the Sun SPARCstation 10. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 82 7.4 Speedup of FALCON's compiler over MCC on a SPARCstation 10. : : : : : 86 7.5 Speedup of FALCON's compiler over MCC on an SGI Power Challenge. : : : 86 7.6 Comparison of the inference phases. : : : : : : : : : : : : : : : : : : : : : : : 90 xii
7.7 CG speedups on the SGI Power Challenge when increasing the number of iterations. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 91 7.8 CG Execution time on the SGI Power Challenge with xed problem size. : : 92 7.9 CG speedups on the SGI Power Challenge when varying the problem size. : : 93 7.10 Mops ratios for the CG program running on the SGI Power Challenge. : : : 93 7.11 FD speedup on the SGI Power Challenge varying the grid size. : : : : : : : : 95 7.12 AQ speedup on the SGI Power Challenge when varying the required number of subintervals. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 97 7.13 AQ speedup on the Sun SPARCstation 10 when varying the required number of subintervals. : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 97 xiii
Page 1 and 2: COMPILER TECHNIQUES FOR MATLAB PROG
Page 3 and 4: COMPILER TECHNIQUES FOR MATLAB PROG
Page 5 and 6: Acknowledgments Iamindebtedwiththem
Page 7 and 8: Contents Chapter 1 INTRODUCTION :::
Page 9 and 10: 7 EXPERIMENTAL RESULTS ::::::::::::
Page 11: List of Figures 3.1 Phases of the M
Page 15 and 16: 1.1 High-Level Approach for Softwar
Page 17 and 18: executing their compiled versions.
Page 19 and 20: structure: (e.g., upper triangular,
Page 21 and 22: integer. The reason for this is tha
Page 23 and 24: the high-level semantics of the APL
Page 25 and 26: Chapter 3 OVERALL STRATEGY 3.1 Rest
Page 27 and 28: Matlab Program lexical analyzer syn
Page 29 and 30: according to the grammar rules, pro
Page 31 and 32: S1: load %(V) S1: load %(V 1 ) S2:
Page 33 and 34: epresenting variable V 1 will conta
Page 35 and 36: Structural Inference One of the gre
Page 37 and 38: eciprocal estimator, which requires
Page 39 and 40: if (A T .eq. T COMPLEX) then if (B
Page 41 and 42: S1: temp = 1 S2: X = function(temp)
Page 43 and 44: if (a D1 .eq. 1) then if (a D2 .eq.
Page 45 and 46: Chapter 4 INTERNAL REPRESENTATION 4
Page 47 and 48: Algorithm: Dierentiation Between Va
Page 49 and 50: entry list variable’s instances V
Page 51 and 52: S0: load %(n) S0: load %(n 1 ) P1:
Page 53 and 54: Chapter 5 THE STATIC INFERENCE MECH
Page 55 and 56: Type of rst Type of second paramete
Page 57 and 58: Unknown Real Complex Integer Logica
Page 59 and 60: A = zeros(5,1) for ... ... A(1:5) =
Page 61 and 62: Assignment to a constant: Attribute
Page 63 and 64:
A B B A scalar vector(p,1) vector(
Page 65 and 66:
Unknown . . . κ i κ j κ l κ m N
Page 67 and 68:
S1: B = rand(2) B 1 = rand(2) S2: A
Page 69 and 70:
[L, U, P] = lu(A) y = Ln (P b) x =
Page 71 and 72:
MATLAB, and x would be computed in
Page 73 and 74:
if (a D1 .eq. 1) then if (c D1 .ne.
Page 75 and 76:
S1: A = ones(5) S2: B = function(A)
Page 77 and 78:
6.2 Dynamic Shape Inference The use
Page 79 and 80:
if (k .gt. P D1 .or. k .gt. P D2) t
Page 81 and 82:
A pointer (P s) to an AST node corr
Page 83 and 84:
x 1 will be already pointing to m 1
Page 85 and 86:
P nr also set to m 1 . Therefore, P
Page 87 and 88:
ALLOCATE statement can be placed ou
Page 89 and 90:
Test Programs: Problem size Lines S
Page 91 and 92:
FD: isanumeric approximation method
Page 93 and 94:
for j = 1:n ... r = sqrt(L(j,j) - s
Page 95 and 96:
1000 SGI Power Challenge 400 Speedu
Page 97 and 98:
7.2.2 Comparison of Compiler Genera
Page 99 and 100:
10 83 91 17 9 8 SPARCstation 10 Spe
Page 101 and 102:
were selected: AQ, due to its real
Page 103 and 104:
inference phases AQ CG 3D Di FD no
Page 105 and 106:
7 6 SGI Power Challenge CG 5 Second
Page 107 and 108:
program. Notice that although the M
Page 109 and 110:
uns, there were no preallocations o
Page 111 and 112:
Chapter 8 CONCLUSIONS AND FUTURE DI
Page 113 and 114:
of techniques for the generation of
Page 115 and 116:
[BE94] William Blume and Rudolf Eig
Page 117 and 118:
[GHR94] E. Gallopoulos, E. Houstis,
Page 119 and 120:
[Pac93] Pacic-Sierra Research Corpo
show all

COMPILER TECHNIQUES FOR MATLAB PROGRAMS ... - CiteSeerX

Create successful ePaper yourself

Delete template?

Save as template?