program INTERPOLATION
implicit none
integer, parameter , unit(n) :: N = 5
real :: F,DF
real, unit(x) :: X
real, dimension (N) :: XI,FI
data /XI/0.0,0.5,1.0,1.5,2.0
/FI/1.0,0.938470,0.765198,0.511828,0.223891
1
show ast
Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 28, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 28, srcColumn = 9})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 28, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 28, srcColumn = 4}) [
(VarName () "X",[])])
(Con ()
(SrcLoc {srcFilename = "compact", srcLine = 28, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 28, srcColumn = 9}) "0.9")
lives: (in) | AITKEN, N, XI, FI, F, DF | (out) | AITKEN, N, XI, FI, X, F, DF |
indices: | |
successors: | 5 |
arrays R: | |
arrays W: | |
X = 0.9
5
show ast
FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 29})
(Call ()
(SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 30})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 7},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 14}) [
(VarName () "AITKEN",[])])
(ArgList ()
(ESeq ()
(SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 29})
(ESeq ()
(SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 26})
(ESeq ()
(SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 24})
(ESeq ()
(SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 22})
(ESeq ()
(SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 19})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 16}) [
(VarName () "N",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 19}) [
(VarName () "XI",[])]))
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 20},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 22}) [
(VarName () "FI",[])]))
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 23},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 24}) [
(VarName () "X",[])]))
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 25},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 26}) [
(VarName () "F",[])]))
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 27},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 29}) [
(VarName () "DF",[])]))))
(Write ()
(SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 29},SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 29}) [Number ()
(Con ()
(SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 10},SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 10}) "6"),StringLit () "\"(3F16.8)\""] [Var ()
(SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 23},SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 24}) [
(VarName () "X",[])],Var ()
(SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 25},SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 26}) [
(VarName () "F",[])],Var ()
(SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 27},SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 29}) [
(VarName () "DF",[])]])
lives: (in) | AITKEN, N, XI, FI, X, F, DF | (out) | AITKEN, N, XI, FI, X, F, DF |
indices: | |
successors: | 6 |
arrays R: | |
arrays W: | |
6
show ast
Call ()
(SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 30})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 7},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 14}) [
(VarName () "AITKEN",[])])
(ArgList ()
(ESeq ()
(SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 29})
(ESeq ()
(SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 26})
(ESeq ()
(SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 24})
(ESeq ()
(SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 22})
(ESeq ()
(SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 19})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 16}) [
(VarName () "N",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 19}) [
(VarName () "XI",[])]))
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 20},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 22}) [
(VarName () "FI",[])]))
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 23},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 24}) [
(VarName () "X",[])]))
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 25},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 26}) [
(VarName () "F",[])]))
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 27},SrcLoc {srcFilename = "compact", srcLine = 29, srcColumn = 29}) [
(VarName () "DF",[])])))
lives: (in) | AITKEN, N, XI, FI, X, F, DF | (out) | X, F, DF |
indices: | |
successors: | 27 |
arrays R: | |
arrays W: | |
call AITKEN(N,XI,FI,X,F,DF)
27
show ast
Write ()
(SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 29},SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 29}) [Number ()
(Con ()
(SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 10},SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 10}) "6"),StringLit () "\"(3F16.8)\""] [Var ()
(SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 23},SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 24}) [
(VarName () "X",[])],Var ()
(SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 25},SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 26}) [
(VarName () "F",[])],Var ()
(SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 27},SrcLoc {srcFilename = "compact", srcLine = 30, srcColumn = 29}) [
(VarName () "DF",[])]]
lives: (in) | X, F, DF | (out) | |
indices: | |
successors: | |
arrays R: | |
arrays W: | |
write (number = 6,'"(3F16.8)"') X,F,DF
end program INTERPOLATION
subroutine AITKEN(N,XI,FI,X,F,DF)
integer, parameter , unit(n) :: NMAX = 21
integer, intent(in) :: N
integer :: I,J
real, intent(in) :: X
real, intent(out) :: F,DF
real :: X1,X2,F1,F2
real, intent(in) , dimension (N) :: XI,FI
real, dimension (NMAX) :: FT
1
show ast
If ()
(SrcLoc {srcFilename = "compact", srcLine = 48, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 48, srcColumn = 59})
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 48, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 48, srcColumn = 15}) (RelGT ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 48, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 48, srcColumn = 7}) [
(VarName () "N",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 48, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 48, srcColumn = 15}) [
(VarName () "NMAX",[])]))
(Stop ()
(SrcLoc {srcFilename = "compact", srcLine = 48, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 48, srcColumn = 59})
(ConS ()
(SrcLoc {srcFilename = "compact", srcLine = 48, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 48, srcColumn = 59}) "'Dimension of the data is too large.'")) [] Nothing
lives: (in) | N, NMAX, X, FT(1), F2, F1 | (out) | N, X, FT(1), F2, F1 |
indices: | |
successors: | 8, 10 |
arrays R: | |
arrays W: | |
if (N>NMAX)
then8
show ast
Stop ()
(SrcLoc {srcFilename = "compact", srcLine = 48, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 48, srcColumn = 59})
(ConS ()
(SrcLoc {srcFilename = "compact", srcLine = 48, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 48, srcColumn = 59}) "'Dimension of the data is too large.'")
lives: (in) | | (out) | |
indices: | |
successors: | |
arrays R: | |
arrays W: | |
stop 'Dimension of the
data is too large.'
end if
10
show ast
FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 49, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32})
(For ()
(SrcLoc {srcFilename = "compact", srcLine = 49, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 51, srcColumn = 8})
(VarName () "I")
(Con ()
(SrcLoc {srcFilename = "compact", srcLine = 49, srcColumn = 9},SrcLoc {srcFilename = "compact", srcLine = 49, srcColumn = 10}) "1")
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 49, srcColumn = 12},SrcLoc {srcFilename = "compact", srcLine = 49, srcColumn = 13}) [
(VarName () "N",[])])
(Con ()
(SrcLoc {srcFilename = "compact", srcLine = 49, srcColumn = 13},SrcLoc {srcFilename = "compact", srcLine = 49, srcColumn = 13}) "1")
(FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 4},SrcLoc {srcFilename = "compact", srcLine = 51, srcColumn = 8})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 4},SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 17})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 4},SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 17}) [
(VarName () "FT",[Var ()
(SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 7},SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 8}) [
(VarName () "I",[])]])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 12},SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 17}) [
(VarName () "FI",[Var ()
(SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 16}) [
(VarName () "I",[])]])])) (NullStmt ()
(SrcLoc {srcFilename = "compact", srcLine = 51, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 51, srcColumn = 8}))))
(FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32})
(For ()
(SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 61, srcColumn = 8})
(VarName () "I")
(Con ()
(SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 9},SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 10}) "1")
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 12},SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 17}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 12},SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 13}) [
(VarName () "N",[])])
(Con ()
(SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 17}) "1"))
(Con ()
(SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 17}) "1")
(FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 4},SrcLoc {srcFilename = "compact", srcLine = 61, srcColumn = 8})
(For ()
(SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 4},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(VarName () "J")
(Con ()
(SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 12}) "1")
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 17}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 15}) [
(VarName () "N",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 17}) [
(VarName () "I",[])]))
(Con ()
(SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 17}) "1")
(FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 16})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 9}) [
(VarName () "X1",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 16}) [
(VarName () "XI",[Var ()
(SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 15}) [
(VarName () "J",[])]])]))
(FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 18})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 9}) [
(VarName () "X2",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 18}) [
(VarName () "XI",[Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 17}) (Plus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 15}) [
(VarName () "J",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 17}) [
(VarName () "I",[])])])]))
(FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 16})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 9}) [
(VarName () "F1",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 16}) [
(VarName () "FT",[Var ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 15}) [
(VarName () "J",[])]])]))
(FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 18})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 9}) [
(VarName () "F2",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 18}) [
(VarName () "FT",[Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 17}) (Plus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 15}) [
(VarName () "J",[])])
(Con ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 17}) "1")])]))
(FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
(VarName () "FT",[Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 9},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 10}) [
(VarName () "J",[])]])])
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Plus ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) (Mul ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Div ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 16}) [
(VarName () "X",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) [
(VarName () "X1",[])]))
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 24}) [
(VarName () "X2",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 25},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) [
(VarName () "X1",[])])))
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 29},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) [
(VarName () "F2",[])]))
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Mul ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Div ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 34}) [
(VarName () "X",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 35},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) [
(VarName () "X2",[])]))
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 42}) [
(VarName () "X1",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 43},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) [
(VarName () "X2",[])])))
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 47},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
(VarName () "F1",[])])))) (NullStmt ()
(SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})))))))) (NullStmt ()
(SrcLoc {srcFilename = "compact", srcLine = 61, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 61, srcColumn = 8}))))
(FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 12})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 4}) [
(VarName () "F",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 12}) [
(VarName () "FT",[Con ()
(SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 9},SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 10}) "1"])]))
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 5}) [
(VarName () "DF",[])])
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32}) (Div ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 27}) (Plus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 17}) [
(VarName () "ABS",[Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 12},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 16}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 12},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 13}) [
(VarName () "F",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 16}) [
(VarName () "F1",[])])])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 18},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 27}) [
(VarName () "ABS",[Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 26}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 23}) [
(VarName () "F",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 24},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 26}) [
(VarName () "F2",[])])])]))
(Con ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 29},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32}) "2.0")))))
lives: (in) | N, X, FT(1), F2, F1 | (out) | N, X, FT(1), F2, F1 |
indices: | I, J |
successors: | 11 |
arrays R: | |
arrays W: | |
11
show ast
For (A {indices = ["I"], lives = ([N,X,FT(1),F2,F1],[I,N,X,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 11, refactored = Nothing, successorStmts = [17,28], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 49, srcColumn = 2},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 51, srcColumn = 8}) (VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 12, refactored = Nothing, successorStmts = [], newNode = False}) "I") (Con (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 13, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 49, srcColumn = 9},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 49, srcColumn = 10}) "1") (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 14, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 49, srcColumn = 12},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 49, srcColumn = 13}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 15, refactored = Nothing, successorStmts = [], newNode = False}) "N",[])]) (Con (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 16, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 49, srcColumn = 13},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 49, srcColumn = 13}) "1") (FSeq (A {indices = [], lives = ([I,N,X,FT(1),F2,F1],[I,N,X,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 17, refactored = Nothing, successorStmts = [18,28], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 50, srcColumn = 4},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 51, srcColumn = 8}) (Assg (A {indices = [], lives = ([I,N,X,FT(1),F2,F1],[N,X,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 18, refactored = Nothing, successorStmts = [27], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 50, srcColumn = 4},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 50, srcColumn = 17}) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 19, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 50, srcColumn = 4},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 50, srcColumn = 17}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 20, refactored = Nothing, successorStmts = [], newNode = False}) "FT",[Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 21, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 50, srcColumn = 7},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 50, srcColumn = 8}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 22, refactored = Nothing, successorStmts = [], newNode = False}) "I",[])]])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 23, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 50, srcColumn = 12},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 50, srcColumn = 17}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 24, refactored = Nothing, successorStmts = [], newNode = False}) "FI",[Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 25, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 50, srcColumn = 15},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 50, srcColumn = 16}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 26, refactored = Nothing, successorStmts = [], newNode = False}) "I",[])]])])) (NullStmt (A {indices = [], lives = ([N,X,FT(1),F2,F1],[N,X,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 27, refactored = Nothing, successorStmts = [28], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 51, srcColumn = 8},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 51, srcColumn = 8})))
lives: (in) | N, X, FT(1), F2, F1 | (out) | I, N, X, FT(1), F2, F1 |
indices: | I |
successors: | 17, 28 |
arrays R: | |
arrays W: | |
do I = 1, N, 1
17
show ast
FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 4},SrcLoc {srcFilename = "compact", srcLine = 51, srcColumn = 8})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 4},SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 17})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 4},SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 17}) [
(VarName () "FT",[Var ()
(SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 7},SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 8}) [
(VarName () "I",[])]])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 12},SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 17}) [
(VarName () "FI",[Var ()
(SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 16}) [
(VarName () "I",[])]])])) (NullStmt ()
(SrcLoc {srcFilename = "compact", srcLine = 51, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 51, srcColumn = 8}))
lives: (in) | I, N, X, FT(1), F2, F1 | (out) | I, N, X, FT(1), F2, F1 |
indices: | |
successors: | 18, 28 |
arrays R: | |
arrays W: | |
18
show ast
Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 4},SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 17})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 4},SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 17}) [
(VarName () "FT",[Var ()
(SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 7},SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 8}) [
(VarName () "I",[])]])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 12},SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 17}) [
(VarName () "FI",[Var ()
(SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 50, srcColumn = 16}) [
(VarName () "I",[])]])])
lives: (in) | I, N, X, FT(1), F2, F1 | (out) | N, X, FT(1), F2, F1 |
indices: | |
successors: | 27 |
arrays R: | |
arrays W: | |
FT(I) = FI(I)
27
show ast
NullStmt ()
(SrcLoc {srcFilename = "compact", srcLine = 51, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 51, srcColumn = 8})
lives: (in) | N, X, FT(1), F2, F1 | (out) | N, X, FT(1), F2, F1 |
indices: | |
successors: | 28 |
arrays R: | |
arrays W: | |
end do
28
show ast
FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32})
(For ()
(SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 61, srcColumn = 8})
(VarName () "I")
(Con ()
(SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 9},SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 10}) "1")
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 12},SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 17}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 12},SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 13}) [
(VarName () "N",[])])
(Con ()
(SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 17}) "1"))
(Con ()
(SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 53, srcColumn = 17}) "1")
(FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 4},SrcLoc {srcFilename = "compact", srcLine = 61, srcColumn = 8})
(For ()
(SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 4},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(VarName () "J")
(Con ()
(SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 12}) "1")
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 17}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 15}) [
(VarName () "N",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 17}) [
(VarName () "I",[])]))
(Con ()
(SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 17}) "1")
(FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 16})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 9}) [
(VarName () "X1",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 16}) [
(VarName () "XI",[Var ()
(SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 15}) [
(VarName () "J",[])]])]))
(FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 18})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 9}) [
(VarName () "X2",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 18}) [
(VarName () "XI",[Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 17}) (Plus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 15}) [
(VarName () "J",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 17}) [
(VarName () "I",[])])])]))
(FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 16})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 9}) [
(VarName () "F1",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 16}) [
(VarName () "FT",[Var ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 15}) [
(VarName () "J",[])]])]))
(FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 18})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 9}) [
(VarName () "F2",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 18}) [
(VarName () "FT",[Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 17}) (Plus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 15}) [
(VarName () "J",[])])
(Con ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 17}) "1")])]))
(FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
(VarName () "FT",[Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 9},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 10}) [
(VarName () "J",[])]])])
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Plus ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) (Mul ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Div ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 16}) [
(VarName () "X",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) [
(VarName () "X1",[])]))
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 24}) [
(VarName () "X2",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 25},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) [
(VarName () "X1",[])])))
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 29},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) [
(VarName () "F2",[])]))
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Mul ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Div ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 34}) [
(VarName () "X",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 35},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) [
(VarName () "X2",[])]))
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 42}) [
(VarName () "X1",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 43},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) [
(VarName () "X2",[])])))
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 47},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
(VarName () "F1",[])])))) (NullStmt ()
(SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})))))))) (NullStmt ()
(SrcLoc {srcFilename = "compact", srcLine = 61, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 61, srcColumn = 8}))))
(FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 12})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 4}) [
(VarName () "F",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 12}) [
(VarName () "FT",[Con ()
(SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 9},SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 10}) "1"])]))
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 5}) [
(VarName () "DF",[])])
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32}) (Div ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 27}) (Plus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 17}) [
(VarName () "ABS",[Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 12},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 16}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 12},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 13}) [
(VarName () "F",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 16}) [
(VarName () "F1",[])])])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 18},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 27}) [
(VarName () "ABS",[Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 26}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 23}) [
(VarName () "F",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 24},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 26}) [
(VarName () "F2",[])])])]))
(Con ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 29},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32}) "2.0"))))
lives: (in) | N, X, FT(1), F2, F1 | (out) | N, X, FT(1), F2, F1 |
indices: | I, J |
successors: | 29 |
arrays R: | |
arrays W: | |
29
show ast
For (A {indices = ["I","J"], lives = ([N,X,FT(1),F2,F1],[N,I,X,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 29, refactored = Nothing, successorStmts = [38,134], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 53, srcColumn = 2},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 61, srcColumn = 8}) (VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 30, refactored = Nothing, successorStmts = [], newNode = False}) "I") (Con (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 31, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 53, srcColumn = 9},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 53, srcColumn = 10}) "1") (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 32, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 53, srcColumn = 12},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 53, srcColumn = 17}) (Minus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 33, refactored = Nothing, successorStmts = [], newNode = False})) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 34, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 53, srcColumn = 12},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 53, srcColumn = 13}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 35, refactored = Nothing, successorStmts = [], newNode = False}) "N",[])]) (Con (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 36, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 53, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 53, srcColumn = 17}) "1")) (Con (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 37, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 53, srcColumn = 17},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 53, srcColumn = 17}) "1") (FSeq (A {indices = ["J"], lives = ([N,I,X,FT(1),F2,F1],[N,I,X,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 38, refactored = Nothing, successorStmts = [39,134], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 4},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 61, srcColumn = 8}) (For (A {indices = ["J"], lives = ([N,I,X,FT(1),F2,F1],[J,I,X,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 39, refactored = Nothing, successorStmts = [49,133], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 4},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 60, srcColumn = 10}) (VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 40, refactored = Nothing, successorStmts = [], newNode = False}) "J") (Con (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 41, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 11},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 12}) "1") (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 42, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 17}) (Minus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 43, refactored = Nothing, successorStmts = [], newNode = False})) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 44, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 15}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 45, refactored = Nothing, successorStmts = [], newNode = False}) "N",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 46, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 16},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 17}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 47, refactored = Nothing, successorStmts = [], newNode = False}) "I",[])])) (Con (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 48, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 17},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 17}) "1") (FSeq (A {indices = [], lives = ([J,I,X,FT(1),F2,F1],[J,I,X,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 49, refactored = Nothing, successorStmts = [50,133], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 60, srcColumn = 10}) (Assg (A {indices = [], lives = ([J,I,X,FT(1),F2,F1],[J,I,X,X1,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 50, refactored = Nothing, successorStmts = [57], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 16}) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 51, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 9}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 52, refactored = Nothing, successorStmts = [], newNode = False}) "X1",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 53, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 11},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 16}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 54, refactored = Nothing, successorStmts = [], newNode = False}) "XI",[Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 55, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 15}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 56, refactored = Nothing, successorStmts = [], newNode = False}) "J",[])]])])) (FSeq (A {indices = [], lives = ([J,I,X,X1,FT(1),F2,F1],[J,I,X,X1,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 57, refactored = Nothing, successorStmts = [58,133], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 60, srcColumn = 10}) (Assg (A {indices = [], lives = ([J,I,X,X1,FT(1),F2,F1],[J,X,X1,X2,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 58, refactored = Nothing, successorStmts = [69], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 18}) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 59, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 9}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 60, refactored = Nothing, successorStmts = [], newNode = False}) "X2",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 61, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 11},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 18}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 62, refactored = Nothing, successorStmts = [], newNode = False}) "XI",[Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 63, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 17}) (Plus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 64, refactored = Nothing, successorStmts = [], newNode = False})) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 65, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 15}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 66, refactored = Nothing, successorStmts = [], newNode = False}) "J",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 67, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 16},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 17}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 68, refactored = Nothing, successorStmts = [], newNode = False}) "I",[])])])])) (FSeq (A {indices = [], lives = ([J,X,X1,X2,FT(1),F2,F1],[J,X,X1,X2,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 69, refactored = Nothing, successorStmts = [70,133], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 60, srcColumn = 10}) (Assg (A {indices = [], lives = ([J,X,X1,X2,FT(1),F2],[J,X,X1,X2,F1,FT(1),F2]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 70, refactored = Nothing, successorStmts = [77], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 16}) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 71, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 9}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 72, refactored = Nothing, successorStmts = [], newNode = False}) "F1",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 73, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 11},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 16}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 74, refactored = Nothing, successorStmts = [], newNode = False}) "FT",[Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 75, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 15}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 76, refactored = Nothing, successorStmts = [], newNode = False}) "J",[])]])])) (FSeq (A {indices = [], lives = ([J,X,X1,X2,F1,FT(1),F2],[J,X,X1,X2,F1,FT(1),F2]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 77, refactored = Nothing, successorStmts = [78,133], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 60, srcColumn = 10}) (Assg (A {indices = [], lives = ([J,X,X1,X2,F1,FT(1)],[X,X1,X2,F2,F1,J,FT(1)]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 78, refactored = Nothing, successorStmts = [88], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 18}) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 79, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 9}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 80, refactored = Nothing, successorStmts = [], newNode = False}) "F2",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 81, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 11},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 18}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 82, refactored = Nothing, successorStmts = [], newNode = False}) "FT",[Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 83, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 17}) (Plus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 84, refactored = Nothing, successorStmts = [], newNode = False})) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 85, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 15}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 86, refactored = Nothing, successorStmts = [], newNode = False}) "J",[])]) (Con (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 87, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 16},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 17}) "1")])])) (FSeq (A {indices = [], lives = ([X,X1,X2,F2,F1,J,FT(1)],[X,X1,X2,F2,F1,J,FT(1)]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 88, refactored = Nothing, successorStmts = [89,133], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 60, srcColumn = 10}) (Assg (A {indices = [], lives = ([X,X1,X2,F2,F1,J,FT(1)],[FT(1),F1,F2]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 89, refactored = Nothing, successorStmts = [132], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 49}) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 90, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 49}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 91, refactored = Nothing, successorStmts = [], newNode = False}) "FT",[Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 92, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 9},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 10}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 93, refactored = Nothing, successorStmts = [], newNode = False}) "J",[])]])]) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 94, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 49}) (Plus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 95, refactored = Nothing, successorStmts = [], newNode = False})) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 96, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 31}) (Mul (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 97, refactored = Nothing, successorStmts = [], newNode = False})) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 98, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 27}) (Div (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 99, refactored = Nothing, successorStmts = [], newNode = False})) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 100, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 19}) (Minus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 101, refactored = Nothing, successorStmts = [], newNode = False})) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 102, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 16}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 103, refactored = Nothing, successorStmts = [], newNode = False}) "X",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 104, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 17},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 19}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 105, refactored = Nothing, successorStmts = [], newNode = False}) "X1",[])])) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 106, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 27}) (Minus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 107, refactored = Nothing, successorStmts = [], newNode = False})) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 108, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 24}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 109, refactored = Nothing, successorStmts = [], newNode = False}) "X2",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 110, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 25},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 27}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 111, refactored = Nothing, successorStmts = [], newNode = False}) "X1",[])]))) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 112, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 29},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 31}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 113, refactored = Nothing, successorStmts = [], newNode = False}) "F2",[])])) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 114, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 49}) (Mul (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 115, refactored = Nothing, successorStmts = [], newNode = False})) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 116, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 45}) (Div (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 117, refactored = Nothing, successorStmts = [], newNode = False})) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 118, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 37}) (Minus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 119, refactored = Nothing, successorStmts = [], newNode = False})) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 120, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 34}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 121, refactored = Nothing, successorStmts = [], newNode = False}) "X",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 122, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 35},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 37}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 123, refactored = Nothing, successorStmts = [], newNode = False}) "X2",[])])) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 124, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 45}) (Minus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 125, refactored = Nothing, successorStmts = [], newNode = False})) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 126, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 42}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 127, refactored = Nothing, successorStmts = [], newNode = False}) "X1",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 128, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 43},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 45}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 129, refactored = Nothing, successorStmts = [], newNode = False}) "X2",[])]))) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 130, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 47},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 49}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 131, refactored = Nothing, successorStmts = [], newNode = False}) "F1",[])])))) (NullStmt (A {indices = [], lives = ([FT(1),F1,F2],[FT(1),F1,F2]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 132, refactored = Nothing, successorStmts = [133], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 60, srcColumn = 10},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 60, srcColumn = 10})))))))) (NullStmt (A {indices = [], lives = ([FT(1),F1,F2],[FT(1),F1,F2]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 133, refactored = Nothing, successorStmts = [134], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 61, srcColumn = 8},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 61, srcColumn = 8})))
lives: (in) | N, X, FT(1), F2, F1 | (out) | N, I, X, FT(1), F2, F1 |
indices: | I, J |
successors: | 38, 134 |
arrays R: | |
arrays W: | |
do I = 1, N-1, 1
38
show ast
FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 4},SrcLoc {srcFilename = "compact", srcLine = 61, srcColumn = 8})
(For ()
(SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 4},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(VarName () "J")
(Con ()
(SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 12}) "1")
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 17}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 15}) [
(VarName () "N",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 17}) [
(VarName () "I",[])]))
(Con ()
(SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 54, srcColumn = 17}) "1")
(FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 16})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 9}) [
(VarName () "X1",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 16}) [
(VarName () "XI",[Var ()
(SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 15}) [
(VarName () "J",[])]])]))
(FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 18})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 9}) [
(VarName () "X2",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 18}) [
(VarName () "XI",[Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 17}) (Plus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 15}) [
(VarName () "J",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 17}) [
(VarName () "I",[])])])]))
(FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 16})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 9}) [
(VarName () "F1",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 16}) [
(VarName () "FT",[Var ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 15}) [
(VarName () "J",[])]])]))
(FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 18})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 9}) [
(VarName () "F2",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 18}) [
(VarName () "FT",[Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 17}) (Plus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 15}) [
(VarName () "J",[])])
(Con ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 17}) "1")])]))
(FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
(VarName () "FT",[Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 9},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 10}) [
(VarName () "J",[])]])])
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Plus ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) (Mul ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Div ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 16}) [
(VarName () "X",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) [
(VarName () "X1",[])]))
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 24}) [
(VarName () "X2",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 25},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) [
(VarName () "X1",[])])))
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 29},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) [
(VarName () "F2",[])]))
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Mul ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Div ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 34}) [
(VarName () "X",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 35},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) [
(VarName () "X2",[])]))
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 42}) [
(VarName () "X1",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 43},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) [
(VarName () "X2",[])])))
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 47},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
(VarName () "F1",[])])))) (NullStmt ()
(SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})))))))) (NullStmt ()
(SrcLoc {srcFilename = "compact", srcLine = 61, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 61, srcColumn = 8}))
lives: (in) | N, I, X, FT(1), F2, F1 | (out) | N, I, X, FT(1), F2, F1 |
indices: | J |
successors: | 39, 134 |
arrays R: | |
arrays W: | |
39
show ast
For (A {indices = ["J"], lives = ([N,I,X,FT(1),F2,F1],[J,I,X,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 39, refactored = Nothing, successorStmts = [49,133], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 4},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 60, srcColumn = 10}) (VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 40, refactored = Nothing, successorStmts = [], newNode = False}) "J") (Con (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 41, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 11},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 12}) "1") (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 42, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 17}) (Minus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 43, refactored = Nothing, successorStmts = [], newNode = False})) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 44, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 15}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 45, refactored = Nothing, successorStmts = [], newNode = False}) "N",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 46, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 16},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 17}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 47, refactored = Nothing, successorStmts = [], newNode = False}) "I",[])])) (Con (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 48, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 17},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 54, srcColumn = 17}) "1") (FSeq (A {indices = [], lives = ([J,I,X,FT(1),F2,F1],[J,I,X,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 49, refactored = Nothing, successorStmts = [50,133], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 60, srcColumn = 10}) (Assg (A {indices = [], lives = ([J,I,X,FT(1),F2,F1],[J,I,X,X1,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 50, refactored = Nothing, successorStmts = [57], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 16}) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 51, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 9}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 52, refactored = Nothing, successorStmts = [], newNode = False}) "X1",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 53, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 11},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 16}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 54, refactored = Nothing, successorStmts = [], newNode = False}) "XI",[Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 55, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 55, srcColumn = 15}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 56, refactored = Nothing, successorStmts = [], newNode = False}) "J",[])]])])) (FSeq (A {indices = [], lives = ([J,I,X,X1,FT(1),F2,F1],[J,I,X,X1,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 57, refactored = Nothing, successorStmts = [58,133], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 60, srcColumn = 10}) (Assg (A {indices = [], lives = ([J,I,X,X1,FT(1),F2,F1],[J,X,X1,X2,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 58, refactored = Nothing, successorStmts = [69], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 18}) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 59, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 9}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 60, refactored = Nothing, successorStmts = [], newNode = False}) "X2",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 61, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 11},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 18}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 62, refactored = Nothing, successorStmts = [], newNode = False}) "XI",[Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 63, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 17}) (Plus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 64, refactored = Nothing, successorStmts = [], newNode = False})) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 65, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 15}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 66, refactored = Nothing, successorStmts = [], newNode = False}) "J",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 67, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 16},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 56, srcColumn = 17}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 68, refactored = Nothing, successorStmts = [], newNode = False}) "I",[])])])])) (FSeq (A {indices = [], lives = ([J,X,X1,X2,FT(1),F2,F1],[J,X,X1,X2,FT(1),F2,F1]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 69, refactored = Nothing, successorStmts = [70,133], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 60, srcColumn = 10}) (Assg (A {indices = [], lives = ([J,X,X1,X2,FT(1),F2],[J,X,X1,X2,F1,FT(1),F2]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 70, refactored = Nothing, successorStmts = [77], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 16}) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 71, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 9}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 72, refactored = Nothing, successorStmts = [], newNode = False}) "F1",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 73, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 11},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 16}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 74, refactored = Nothing, successorStmts = [], newNode = False}) "FT",[Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 75, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 57, srcColumn = 15}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 76, refactored = Nothing, successorStmts = [], newNode = False}) "J",[])]])])) (FSeq (A {indices = [], lives = ([J,X,X1,X2,F1,FT(1),F2],[J,X,X1,X2,F1,FT(1),F2]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 77, refactored = Nothing, successorStmts = [78,133], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 60, srcColumn = 10}) (Assg (A {indices = [], lives = ([J,X,X1,X2,F1,FT(1)],[X,X1,X2,F2,F1,J,FT(1)]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 78, refactored = Nothing, successorStmts = [88], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 18}) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 79, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 9}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 80, refactored = Nothing, successorStmts = [], newNode = False}) "F2",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 81, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 11},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 18}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 82, refactored = Nothing, successorStmts = [], newNode = False}) "FT",[Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 83, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 17}) (Plus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 84, refactored = Nothing, successorStmts = [], newNode = False})) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 85, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 15}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 86, refactored = Nothing, successorStmts = [], newNode = False}) "J",[])]) (Con (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 87, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 16},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 58, srcColumn = 17}) "1")])])) (FSeq (A {indices = [], lives = ([X,X1,X2,F2,F1,J,FT(1)],[X,X1,X2,F2,F1,J,FT(1)]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 88, refactored = Nothing, successorStmts = [89,133], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 60, srcColumn = 10}) (Assg (A {indices = [], lives = ([X,X1,X2,F2,F1,J,FT(1)],[FT(1),F1,F2]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 89, refactored = Nothing, successorStmts = [132], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 49}) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 90, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 49}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 91, refactored = Nothing, successorStmts = [], newNode = False}) "FT",[Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 92, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 9},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 10}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 93, refactored = Nothing, successorStmts = [], newNode = False}) "J",[])]])]) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 94, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 49}) (Plus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 95, refactored = Nothing, successorStmts = [], newNode = False})) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 96, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 31}) (Mul (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 97, refactored = Nothing, successorStmts = [], newNode = False})) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 98, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 27}) (Div (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 99, refactored = Nothing, successorStmts = [], newNode = False})) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 100, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 19}) (Minus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 101, refactored = Nothing, successorStmts = [], newNode = False})) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 102, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 16}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 103, refactored = Nothing, successorStmts = [], newNode = False}) "X",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 104, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 17},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 19}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 105, refactored = Nothing, successorStmts = [], newNode = False}) "X1",[])])) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 106, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 27}) (Minus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 107, refactored = Nothing, successorStmts = [], newNode = False})) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 108, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 24}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 109, refactored = Nothing, successorStmts = [], newNode = False}) "X2",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 110, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 25},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 27}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 111, refactored = Nothing, successorStmts = [], newNode = False}) "X1",[])]))) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 112, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 29},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 31}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 113, refactored = Nothing, successorStmts = [], newNode = False}) "F2",[])])) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 114, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 49}) (Mul (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 115, refactored = Nothing, successorStmts = [], newNode = False})) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 116, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 45}) (Div (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 117, refactored = Nothing, successorStmts = [], newNode = False})) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 118, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 37}) (Minus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 119, refactored = Nothing, successorStmts = [], newNode = False})) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 120, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 34}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 121, refactored = Nothing, successorStmts = [], newNode = False}) "X",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 122, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 35},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 37}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 123, refactored = Nothing, successorStmts = [], newNode = False}) "X2",[])])) (Bin (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 124, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 45}) (Minus (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 125, refactored = Nothing, successorStmts = [], newNode = False})) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 126, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 42}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 127, refactored = Nothing, successorStmts = [], newNode = False}) "X1",[])]) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 128, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 43},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 45}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 129, refactored = Nothing, successorStmts = [], newNode = False}) "X2",[])]))) (Var (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 130, refactored = Nothing, successorStmts = [], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 47},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 59, srcColumn = 49}) [(VarName (A {indices = [], lives = ([],[]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 131, refactored = Nothing, successorStmts = [], newNode = False}) "F1",[])])))) (NullStmt (A {indices = [], lives = ([FT(1),F1,F2],[FT(1),F1,F2]), arrsRead = fromList [], arrsWrite = fromList [], unitVar = 0, number = 132, refactored = Nothing, successorStmts = [133], newNode = False}) (SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 60, srcColumn = 10},SrcLoc {srcFilename = "samples/booku/two//code21.f90", srcLine = 60, srcColumn = 10})))))))
lives: (in) | N, I, X, FT(1), F2, F1 | (out) | J, I, X, FT(1), F2, F1 |
indices: | J |
successors: | 49, 133 |
arrays R: | |
arrays W: | |
do J = 1, N-I, 1
49
show ast
FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 16})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 9}) [
(VarName () "X1",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 16}) [
(VarName () "XI",[Var ()
(SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 15}) [
(VarName () "J",[])]])]))
(FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 18})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 9}) [
(VarName () "X2",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 18}) [
(VarName () "XI",[Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 17}) (Plus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 15}) [
(VarName () "J",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 17}) [
(VarName () "I",[])])])]))
(FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 16})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 9}) [
(VarName () "F1",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 16}) [
(VarName () "FT",[Var ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 15}) [
(VarName () "J",[])]])]))
(FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 18})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 9}) [
(VarName () "F2",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 18}) [
(VarName () "FT",[Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 17}) (Plus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 15}) [
(VarName () "J",[])])
(Con ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 17}) "1")])]))
(FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
(VarName () "FT",[Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 9},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 10}) [
(VarName () "J",[])]])])
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Plus ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) (Mul ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Div ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 16}) [
(VarName () "X",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) [
(VarName () "X1",[])]))
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 24}) [
(VarName () "X2",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 25},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) [
(VarName () "X1",[])])))
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 29},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) [
(VarName () "F2",[])]))
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Mul ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Div ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 34}) [
(VarName () "X",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 35},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) [
(VarName () "X2",[])]))
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 42}) [
(VarName () "X1",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 43},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) [
(VarName () "X2",[])])))
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 47},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
(VarName () "F1",[])])))) (NullStmt ()
(SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}))))))
lives: (in) | J, I, X, FT(1), F2, F1 | (out) | J, I, X, FT(1), F2, F1 |
indices: | |
successors: | 50, 133 |
arrays R: | |
arrays W: | |
50
show ast
Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 16})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 9}) [
(VarName () "X1",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 16}) [
(VarName () "XI",[Var ()
(SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 55, srcColumn = 15}) [
(VarName () "J",[])]])])
lives: (in) | J, I, X, FT(1), F2, F1 | (out) | J, I, X, X1, FT(1), F2, F1 |
indices: | |
successors: | 57 |
arrays R: | |
arrays W: | |
X1 = XI(J)
57
show ast
FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 18})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 9}) [
(VarName () "X2",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 18}) [
(VarName () "XI",[Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 17}) (Plus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 15}) [
(VarName () "J",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 17}) [
(VarName () "I",[])])])]))
(FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 16})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 9}) [
(VarName () "F1",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 16}) [
(VarName () "FT",[Var ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 15}) [
(VarName () "J",[])]])]))
(FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 18})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 9}) [
(VarName () "F2",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 18}) [
(VarName () "FT",[Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 17}) (Plus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 15}) [
(VarName () "J",[])])
(Con ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 17}) "1")])]))
(FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
(VarName () "FT",[Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 9},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 10}) [
(VarName () "J",[])]])])
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Plus ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) (Mul ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Div ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 16}) [
(VarName () "X",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) [
(VarName () "X1",[])]))
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 24}) [
(VarName () "X2",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 25},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) [
(VarName () "X1",[])])))
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 29},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) [
(VarName () "F2",[])]))
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Mul ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Div ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 34}) [
(VarName () "X",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 35},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) [
(VarName () "X2",[])]))
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 42}) [
(VarName () "X1",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 43},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) [
(VarName () "X2",[])])))
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 47},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
(VarName () "F1",[])])))) (NullStmt ()
(SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})))))
lives: (in) | J, I, X, X1, FT(1), F2, F1 | (out) | J, I, X, X1, FT(1), F2, F1 |
indices: | |
successors: | 58, 133 |
arrays R: | |
arrays W: | |
58
show ast
Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 18})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 9}) [
(VarName () "X2",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 18}) [
(VarName () "XI",[Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 17}) (Plus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 15}) [
(VarName () "J",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 56, srcColumn = 17}) [
(VarName () "I",[])])])])
lives: (in) | J, I, X, X1, FT(1), F2, F1 | (out) | J, X, X1, X2, FT(1), F2, F1 |
indices: | |
successors: | 69 |
arrays R: | |
arrays W: | |
X2 = XI(J+I)
69
show ast
FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 16})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 9}) [
(VarName () "F1",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 16}) [
(VarName () "FT",[Var ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 15}) [
(VarName () "J",[])]])]))
(FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 18})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 9}) [
(VarName () "F2",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 18}) [
(VarName () "FT",[Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 17}) (Plus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 15}) [
(VarName () "J",[])])
(Con ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 17}) "1")])]))
(FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
(VarName () "FT",[Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 9},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 10}) [
(VarName () "J",[])]])])
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Plus ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) (Mul ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Div ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 16}) [
(VarName () "X",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) [
(VarName () "X1",[])]))
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 24}) [
(VarName () "X2",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 25},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) [
(VarName () "X1",[])])))
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 29},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) [
(VarName () "F2",[])]))
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Mul ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Div ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 34}) [
(VarName () "X",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 35},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) [
(VarName () "X2",[])]))
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 42}) [
(VarName () "X1",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 43},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) [
(VarName () "X2",[])])))
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 47},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
(VarName () "F1",[])])))) (NullStmt ()
(SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}))))
lives: (in) | J, X, X1, X2, FT(1), F2, F1 | (out) | J, X, X1, X2, FT(1), F2, F1 |
indices: | |
successors: | 70, 133 |
arrays R: | |
arrays W: | |
70
show ast
Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 16})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 9}) [
(VarName () "F1",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 16}) [
(VarName () "FT",[Var ()
(SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 57, srcColumn = 15}) [
(VarName () "J",[])]])])
lives: (in) | J, X, X1, X2, FT(1), F2 | (out) | J, X, X1, X2, F1, FT(1), F2 |
indices: | |
successors: | 77 |
arrays R: | |
arrays W: | |
F1 = FT(J)
77
show ast
FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 18})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 9}) [
(VarName () "F2",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 18}) [
(VarName () "FT",[Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 17}) (Plus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 15}) [
(VarName () "J",[])])
(Con ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 17}) "1")])]))
(FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
(VarName () "FT",[Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 9},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 10}) [
(VarName () "J",[])]])])
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Plus ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) (Mul ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Div ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 16}) [
(VarName () "X",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) [
(VarName () "X1",[])]))
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 24}) [
(VarName () "X2",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 25},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) [
(VarName () "X1",[])])))
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 29},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) [
(VarName () "F2",[])]))
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Mul ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Div ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 34}) [
(VarName () "X",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 35},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) [
(VarName () "X2",[])]))
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 42}) [
(VarName () "X1",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 43},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) [
(VarName () "X2",[])])))
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 47},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
(VarName () "F1",[])])))) (NullStmt ()
(SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})))
lives: (in) | J, X, X1, X2, F1, FT(1), F2 | (out) | J, X, X1, X2, F1, FT(1), F2 |
indices: | |
successors: | 78, 133 |
arrays R: | |
arrays W: | |
78
show ast
Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 18})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 9}) [
(VarName () "F2",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 11},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 18}) [
(VarName () "FT",[Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 17}) (Plus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 15}) [
(VarName () "J",[])])
(Con ()
(SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 16},SrcLoc {srcFilename = "compact", srcLine = 58, srcColumn = 17}) "1")])])
lives: (in) | J, X, X1, X2, F1, FT(1) | (out) | X, X1, X2, F2, F1, J, FT(1) |
indices: | |
successors: | 88 |
arrays R: | |
arrays W: | |
F2 = FT(J+1)
88
show ast
FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
(VarName () "FT",[Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 9},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 10}) [
(VarName () "J",[])]])])
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Plus ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) (Mul ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Div ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 16}) [
(VarName () "X",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) [
(VarName () "X1",[])]))
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 24}) [
(VarName () "X2",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 25},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) [
(VarName () "X1",[])])))
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 29},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) [
(VarName () "F2",[])]))
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Mul ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Div ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 34}) [
(VarName () "X",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 35},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) [
(VarName () "X2",[])]))
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 42}) [
(VarName () "X1",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 43},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) [
(VarName () "X2",[])])))
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 47},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
(VarName () "F1",[])])))) (NullStmt ()
(SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10}))
lives: (in) | X, X1, X2, F2, F1, J, FT(1) | (out) | X, X1, X2, F2, F1, J, FT(1) |
indices: | |
successors: | 89, 133 |
arrays R: | |
arrays W: | |
89
show ast
Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
(VarName () "FT",[Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 9},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 10}) [
(VarName () "J",[])]])])
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Plus ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) (Mul ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Div ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 15},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 16}) [
(VarName () "X",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 17},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 19}) [
(VarName () "X1",[])]))
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 24}) [
(VarName () "X2",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 25},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 27}) [
(VarName () "X1",[])])))
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 29},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 31}) [
(VarName () "F2",[])]))
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) (Mul ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Div ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 33},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 34}) [
(VarName () "X",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 35},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 37}) [
(VarName () "X2",[])]))
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 40},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 42}) [
(VarName () "X1",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 43},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 45}) [
(VarName () "X2",[])])))
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 47},SrcLoc {srcFilename = "compact", srcLine = 59, srcColumn = 49}) [
(VarName () "F1",[])])))
lives: (in) | X, X1, X2, F2, F1, J, FT(1) | (out) | FT(1), F1, F2 |
indices: | |
successors: | 132 |
arrays R: | |
arrays W: | |
FT(J) = ((X-X1)/(X2-X1))*F2+((X-X2)/(X1-X2))*F1
132
show ast
NullStmt ()
(SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10},SrcLoc {srcFilename = "compact", srcLine = 60, srcColumn = 10})
lives: (in) | FT(1), F1, F2 | (out) | FT(1), F1, F2 |
indices: | |
successors: | 133 |
arrays R: | |
arrays W: | |
end do
133
show ast
NullStmt ()
(SrcLoc {srcFilename = "compact", srcLine = 61, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 61, srcColumn = 8})
lives: (in) | FT(1), F1, F2 | (out) | FT(1), F1, F2 |
indices: | |
successors: | 134 |
arrays R: | |
arrays W: | |
end do
134
show ast
FSeq ()
(SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32})
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 12})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 4}) [
(VarName () "F",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 12}) [
(VarName () "FT",[Con ()
(SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 9},SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 10}) "1"])]))
(Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 5}) [
(VarName () "DF",[])])
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32}) (Div ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 27}) (Plus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 17}) [
(VarName () "ABS",[Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 12},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 16}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 12},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 13}) [
(VarName () "F",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 16}) [
(VarName () "F1",[])])])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 18},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 27}) [
(VarName () "ABS",[Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 26}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 23}) [
(VarName () "F",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 24},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 26}) [
(VarName () "F2",[])])])]))
(Con ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 29},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32}) "2.0")))
lives: (in) | FT(1), F1, F2 | (out) | FT(1), F1, F2 |
indices: | |
successors: | 135 |
arrays R: | |
arrays W: | |
135
show ast
Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 12})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 4}) [
(VarName () "F",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 6},SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 12}) [
(VarName () "FT",[Con ()
(SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 9},SrcLoc {srcFilename = "compact", srcLine = 62, srcColumn = 10}) "1"])])
lives: (in) | FT(1), F1, F2 | (out) | F, F1, F2 |
indices: | |
successors: | 141 |
arrays R: | |
arrays W: | |
F = FT(1)
141
show ast
Assg ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32})
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 2},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 5}) [
(VarName () "DF",[])])
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32}) (Div ())
(Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 27}) (Plus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 8},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 17}) [
(VarName () "ABS",[Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 12},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 16}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 12},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 13}) [
(VarName () "F",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 14},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 16}) [
(VarName () "F1",[])])])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 18},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 27}) [
(VarName () "ABS",[Bin ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 26}) (Minus ())
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 22},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 23}) [
(VarName () "F",[])])
(Var ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 24},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 26}) [
(VarName () "F2",[])])])]))
(Con ()
(SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 29},SrcLoc {srcFilename = "compact", srcLine = 63, srcColumn = 32}) "2.0"))
lives: (in) | F, F1, F2 | (out) | |
indices: | |
successors: | |
arrays R: | |
arrays W: | |
DF = (ABS(F-F1)+ABS(F-F2))/2.0
end subroutine AITKEN