Skip to content

Commit

Permalink
Merge pull request #275 from lisa-analyzer/memory-optimization
Browse files Browse the repository at this point in the history 
Memory optimization
  • Loading branch information
@VincenzoArceri
VincenzoArceri authored Mar 27, 2023
2 parents 1704a64 + d1c9232 commit 8034988
Show file tree
Hide file tree
Showing 429 changed files with 5,188 additions and 2,918 deletions.
13 changes: 8 additions & 5 deletions lisa/lisa-analyses/imp-testcases/available-expressions/report.json
View file
Original file line number Diff line number Diff line change
Expand Up @@ -3,26 +3,29 @@
"files" : [ "report.json", "untyped_ae.f0(ae__this).json", "untyped_ae.f1(ae__this).json", "untyped_ae.f2(ae__this).json", "untyped_ae.f3(ae__this).json", "untyped_ae.f4(ae__this).json" ],
"info" : {
"cfgs" : "5",
"duration" : "1s 977ms",
"end" : "2022-11-18T23:16:15.450+01:00",
"duration" : "1s 166ms",
"end" : "2023-03-16T22:39:53.870+01:00",
"expressions" : "151",
"files" : "5",
"globals" : "0",
"members" : "5",
"programs" : "1",
"start" : "2022-11-18T23:16:13.473+01:00",
"start" : "2023-03-16T22:39:52.704+01:00",
"statements" : "54",
"units" : "1",
"version" : "0.1b7",
"warnings" : "0"
},
"configuration" : {
"analysisGraphs" : "NONE",
"descendingGlbThreshold" : "5",
"descendingPhaseType" : "NONE",
"fixpointWorkingSet" : "FIFOWorkingSet",
"dumpForcesUnwinding" : "false",
"fixpointWorkingSet" : "DuplicateFreeFIFOWorkingSet",
"glbThreshold" : "5",
"hotspots" : "unset",
"jsonOutput" : "true",
"openCallPolicy" : "WorstCasePolicy",
"optimize" : "false",
"semanticChecks" : "",
"serializeInputs" : "false",
"serializeResults" : "true",
Expand Down
2 changes: 1 addition & 1 deletion lisa/lisa-analyses/imp-testcases/available-expressions/untyped_ae.f0(ae__this).json
View file
Original file line number Diff line number Diff line change
@@ -1 +1 @@
{"name":"untyped ae::f0(ae* this)","description":null,"nodes":[{"id":0,"subNodes":[1,2],"text":"x = 0"},{"id":1,"text":"x"},{"id":2,"text":"0"},{"id":3,"subNodes":[4,5],"text":"y = 0"},{"id":4,"text":"y"},{"id":5,"text":"0"},{"id":6,"subNodes":[7,8],"text":"z = *(x, y)"},{"id":7,"text":"z"},{"id":8,"subNodes":[9,10],"text":"*(x, y)"},{"id":9,"text":"x"},{"id":10,"text":"y"},{"id":11,"subNodes":[12,13],"text":"d = +(5, 7)"},{"id":12,"text":"d"},{"id":13,"subNodes":[14,15],"text":"+(5, 7)"},{"id":14,"text":"5"},{"id":15,"text":"7"},{"id":16,"subNodes":[17,18],"text":"w = +(x, y)"},{"id":17,"text":"w"},{"id":18,"subNodes":[19,20],"text":"+(x, y)"},{"id":19,"text":"x"},{"id":20,"text":"y"},{"id":21,"text":"ret"}],"edges":[{"sourceId":0,"destId":3,"kind":"SequentialEdge"},{"sourceId":3,"destId":6,"kind":"SequentialEdge"},{"sourceId":6,"destId":11,"kind":"SequentialEdge"},{"sourceId":11,"destId":16,"kind":"SequentialEdge"},{"sourceId":16,"destId":21,"kind":"SequentialEdge"}],"descriptions":[{"nodeId":0,"description":{"expressions":["x"],"state":{"heap":"monolith","type":{"map":{"this":["ae*"],"x":["int32"]},"stack":["int32"]},"value":[]}}},{"nodeId":1,"description":{"expressions":["x"],"state":{"heap":"monolith","type":{"map":{"this":["ae*"]},"stack":"#TOP#"},"value":[]}}},{"nodeId":2,"description":{"expressions":["0"],"state":{"heap":"monolith","type":{"map":{"this":["ae*"]},"stack":["int32"]},"value":[]}}},{"nodeId":3,"description":{"expressions":["y"],"state":{"heap":"monolith","type":{"map":{"this":["ae*"],"x":["int32"],"y":["int32"]},"stack":["int32"]},"value":[]}}},{"nodeId":4,"description":{"expressions":["y"],"state":{"heap":"monolith","type":{"map":{"this":["ae*"],"x":["int32"]},"stack":"#TOP#"},"value":[]}}},{"nodeId":5,"description":{"expressions":["0"],"state":{"heap":"monolith","type":{"map":{"this":["ae*"],"x":["int32"]},"stack":["int32"]},"value":[]}}},{"nodeId":6,"description":{"expressions":["z"],"state":{"heap":"monolith","type":{"map":{"this":["ae*"],"x":["int32"],"y":["int32"],"z":["int32"]},"stack":["int32"]},"value":["x * y"]}}},{"nodeId":7,"description":{"expressions":["z"],"state":{"heap":"monolith","type":{"map":{"this":["ae*"],"x":["int32"],"y":["int32"]},"stack":"#TOP#"},"value":["x * y"]}}},{"nodeId":8,"description":{"expressions":["x * y"],"state":{"heap":"monolith","type":{"map":{"this":["ae*"],"x":["int32"],"y":["int32"]},"stack":["int32"]},"value":["x * y"]}}},{"nodeId":9,"description":{"expressions":["x"],"state":{"heap":"monolith","type":{"map":{"this":["ae*"],"x":["int32"],"y":["int32"]},"stack":["int32"]},"value":[]}}},{"nodeId":10,"description":{"expressions":["y"],"state":{"heap":"monolith","type":{"map":{"this":["ae*"],"x":["int32"],"y":["int32"]},"stack":["int32"]},"value":[]}}},{"nodeId":11,"description":{"expressions":["d"],"state":{"heap":"monolith","type":{"map":{"d":["int32"],"this":["ae*"],"x":["int32"],"y":["int32"],"z":["int32"]},"stack":["int32"]},"value":["5 + 7","x * y"]}}},{"nodeId":12,"description":{"expressions":["d"],"state":{"heap":"monolith","type":{"map":{"this":["ae*"],"x":["int32"],"y":["int32"],"z":["int32"]},"stack":"#TOP#"},"value":["5 + 7","x * y"]}}},{"nodeId":13,"description":{"expressions":["5 + 7"],"state":{"heap":"monolith","type":{"map":{"this":["ae*"],"x":["int32"],"y":["int32"],"z":["int32"]},"stack":["int32"]},"value":["5 + 7","x * y"]}}},{"nodeId":14,"description":{"expressions":["5"],"state":{"heap":"monolith","type":{"map":{"this":["ae*"],"x":["int32"],"y":["int32"],"z":["int32"]},"stack":["int32"]},"value":["x * y"]}}},{"nodeId":15,"description":{"expressions":["7"],"state":{"heap":"monolith","type":{"map":{"this":["ae*"],"x":["int32"],"y":["int32"],"z":["int32"]},"stack":["int32"]},"value":["x * y"]}}},{"nodeId":16,"description":{"expressions":["w"],"state":{"heap":"monolith","type":{"map":{"d":["int32"],"this":["ae*"],"w":["int32"],"x":["int32"],"y":["int32"],"z":["int32"]},"stack":["int32"]},"value":["5 + 7","x * y","x + y"]}}},{"nodeId":17,"description":{"expressions":["w"],"state":{"heap":"monolith","type":{"map":{"d":["int32"],"this":["ae*"],"x":["int32"],"y":["int32"],"z":["int32"]},"stack":"#TOP#"},"value":["5 + 7","x * y","x + y"]}}},{"nodeId":18,"description":{"expressions":["x + y"],"state":{"heap":"monolith","type":{"map":{"d":["int32"],"this":["ae*"],"x":["int32"],"y":["int32"],"z":["int32"]},"stack":["int32"]},"value":["5 + 7","x * y","x + y"]}}},{"nodeId":19,"description":{"expressions":["x"],"state":{"heap":"monolith","type":{"map":{"d":["int32"],"this":["ae*"],"x":["int32"],"y":["int32"],"z":["int32"]},"stack":["int32"]},"value":["5 + 7","x * y"]}}},{"nodeId":20,"description":{"expressions":["y"],"state":{"heap":"monolith","type":{"map":{"d":["int32"],"this":["ae*"],"x":["int32"],"y":["int32"],"z":["int32"]},"stack":["int32"]},"value":["5 + 7","x * y"]}}},{"nodeId":21,"description":{"expressions":["skip"],"state":{"heap":"monolith","type":{"map":{"d":["int32"],"this":["ae*"],"w":["int32"],"x":["int32"],"y":["int32"],"z":["int32"]},"stack":"_|_"},"value":["5 + 7","x * y","x + y"]}}}]}
{"name":"untyped ae::f0(ae* this)","description":null,"nodes":[{"id":0,"subNodes":[1,2],"text":"x = 0"},{"id":1,"text":"x"},{"id":2,"text":"0"},{"id":3,"subNodes":[4,5],"text":"y = 0"},{"id":4,"text":"y"},{"id":5,"text":"0"},{"id":6,"subNodes":[7,8],"text":"z = *(x, y)"},{"id":7,"text":"z"},{"id":8,"subNodes":[9,10],"text":"*(x, y)"},{"id":9,"text":"x"},{"id":10,"text":"y"},{"id":11,"subNodes":[12,13],"text":"d = +(5, 7)"},{"id":12,"text":"d"},{"id":13,"subNodes":[14,15],"text":"+(5, 7)"},{"id":14,"text":"5"},{"id":15,"text":"7"},{"id":16,"subNodes":[17,18],"text":"w = +(x, y)"},{"id":17,"text":"w"},{"id":18,"subNodes":[19,20],"text":"+(x, y)"},{"id":19,"text":"x"},{"id":20,"text":"y"},{"id":21,"text":"ret"}],"edges":[{"sourceId":0,"destId":3,"kind":"SequentialEdge"},{"sourceId":3,"destId":6,"kind":"SequentialEdge"},{"sourceId":6,"destId":11,"kind":"SequentialEdge"},{"sourceId":11,"destId":16,"kind":"SequentialEdge"},{"sourceId":16,"destId":21,"kind":"SequentialEdge"}],"descriptions":[{"nodeId":0,"description":{"expressions":["x"],"state":{"heap":"monolith","type":{"this":["ae*"],"x":["int32"]},"value":[]}}},{"nodeId":1,"description":{"expressions":["x"],"state":{"heap":"monolith","type":{"this":["ae*"]},"value":[]}}},{"nodeId":2,"description":{"expressions":["0"],"state":{"heap":"monolith","type":{"this":["ae*"]},"value":[]}}},{"nodeId":3,"description":{"expressions":["y"],"state":{"heap":"monolith","type":{"this":["ae*"],"x":["int32"],"y":["int32"]},"value":[]}}},{"nodeId":4,"description":{"expressions":["y"],"state":{"heap":"monolith","type":{"this":["ae*"],"x":["int32"]},"value":[]}}},{"nodeId":5,"description":{"expressions":["0"],"state":{"heap":"monolith","type":{"this":["ae*"],"x":["int32"]},"value":[]}}},{"nodeId":6,"description":{"expressions":["z"],"state":{"heap":"monolith","type":{"this":["ae*"],"x":["int32"],"y":["int32"],"z":["int32"]},"value":["x * y"]}}},{"nodeId":7,"description":{"expressions":["z"],"state":{"heap":"monolith","type":{"this":["ae*"],"x":["int32"],"y":["int32"]},"value":["x * y"]}}},{"nodeId":8,"description":{"expressions":["x * y"],"state":{"heap":"monolith","type":{"this":["ae*"],"x":["int32"],"y":["int32"]},"value":["x * y"]}}},{"nodeId":9,"description":{"expressions":["x"],"state":{"heap":"monolith","type":{"this":["ae*"],"x":["int32"],"y":["int32"]},"value":[]}}},{"nodeId":10,"description":{"expressions":["y"],"state":{"heap":"monolith","type":{"this":["ae*"],"x":["int32"],"y":["int32"]},"value":[]}}},{"nodeId":11,"description":{"expressions":["d"],"state":{"heap":"monolith","type":{"d":["int32"],"this":["ae*"],"x":["int32"],"y":["int32"],"z":["int32"]},"value":["5 + 7","x * y"]}}},{"nodeId":12,"description":{"expressions":["d"],"state":{"heap":"monolith","type":{"this":["ae*"],"x":["int32"],"y":["int32"],"z":["int32"]},"value":["5 + 7","x * y"]}}},{"nodeId":13,"description":{"expressions":["5 + 7"],"state":{"heap":"monolith","type":{"this":["ae*"],"x":["int32"],"y":["int32"],"z":["int32"]},"value":["5 + 7","x * y"]}}},{"nodeId":14,"description":{"expressions":["5"],"state":{"heap":"monolith","type":{"this":["ae*"],"x":["int32"],"y":["int32"],"z":["int32"]},"value":["x * y"]}}},{"nodeId":15,"description":{"expressions":["7"],"state":{"heap":"monolith","type":{"this":["ae*"],"x":["int32"],"y":["int32"],"z":["int32"]},"value":["x * y"]}}},{"nodeId":16,"description":{"expressions":["w"],"state":{"heap":"monolith","type":{"d":["int32"],"this":["ae*"],"w":["int32"],"x":["int32"],"y":["int32"],"z":["int32"]},"value":["5 + 7","x * y","x + y"]}}},{"nodeId":17,"description":{"expressions":["w"],"state":{"heap":"monolith","type":{"d":["int32"],"this":["ae*"],"x":["int32"],"y":["int32"],"z":["int32"]},"value":["5 + 7","x * y","x + y"]}}},{"nodeId":18,"description":{"expressions":["x + y"],"state":{"heap":"monolith","type":{"d":["int32"],"this":["ae*"],"x":["int32"],"y":["int32"],"z":["int32"]},"value":["5 + 7","x * y","x + y"]}}},{"nodeId":19,"description":{"expressions":["x"],"state":{"heap":"monolith","type":{"d":["int32"],"this":["ae*"],"x":["int32"],"y":["int32"],"z":["int32"]},"value":["5 + 7","x * y"]}}},{"nodeId":20,"description":{"expressions":["y"],"state":{"heap":"monolith","type":{"d":["int32"],"this":["ae*"],"x":["int32"],"y":["int32"],"z":["int32"]},"value":["5 + 7","x * y"]}}},{"nodeId":21,"description":{"expressions":["skip"],"state":{"heap":"monolith","type":{"d":["int32"],"this":["ae*"],"w":["int32"],"x":["int32"],"y":["int32"],"z":["int32"]},"value":["5 + 7","x * y","x + y"]}}}]}
Loading

0 comments on commit 8034988

Please sign in to comment.