peephole runs
play

Peephole runs COMP 520: Compiler Design (4 credits) Professor - PowerPoint PPT Presentation

Apr 27, 2023 •160 likes •287 views

COMP 520 Winter 2016 Optimization (1) Peephole runs COMP 520: Compiler Design (4 credits) Professor Laurie Hendren hendren@cs.mcgill.ca WendyTheWhitespace-IntolerantDragon WendyTheWhitespacenogarDtnarelotnI COMP 520 Winter 2016 Optimization

  1. COMP 520 Winter 2016 Optimization (1) Peephole runs COMP 520: Compiler Design (4 credits) Professor Laurie Hendren hendren@cs.mcgill.ca WendyTheWhitespace-IntolerantDragon WendyTheWhitespacenogarDtnarelotnI

  2. COMP 520 Winter 2016 Optimization (2) /****** Old style - still works, but better to use new style. #define OPTS 4 OPTI optimization[OPTS] = {simplify_multiplication_right, simplify_astore, positive_increment, simplify_goto_goto}; ********/ /* new style for giving patterns */ int init_patterns() { ADD_PATTERN(simplify_multiplication_right); ADD_PATTERN(simplify_astore); ADD_PATTERN(positive_increment); ADD_PATTERN(simplify_goto_goto); return 1; }

  3. COMP 520 Winter 2016 Optimization (3) #!/bin/csh # djas - java dejasmin java -classpath ‘cygpath -wp $PEEPDIR/tinapoc.jar:$PEEPDIR/bcel-5.1.jar‘ dejasmin $*

  4. COMP 520 Winter 2016 Optimization (4) #!/usr/bin/env csh # joosc: compiles JOOS source programs into class files using the A- JOOS # compiler. # usage: joosc [-O] f1.java f2.java ... fn.joos # note: you should name each source file for ordinary classes with # .java extensions and all external classes with .joos extensions if ( { $PEEPDIR/joos $* } ) then foreach f ( $* ) if ( $f != "-O" && $f:e != "joos" ) then java -jar ‘cygpath -w $PEEPDIR/jasmin.jar‘ $f:r.j if ( $1 == "-O" ) then $PEEPDIR/djas -w $f:r.class > $f:r.optdump else $PEEPDIR/djas -w $f:r.class > $f:r.dump endif endif end echo "----- Method code sizes ----" if ( $1 == "-O" ) then grep -a code_length *.optdump else grep -a code_length *.dump endif endif

  5. COMP 520 Winter 2016 Optimization (5) PeepholeBenchmarks/bench01/BacktrackSolver.optdump:; code_length 5 PeepholeBenchmarks/bench01/BacktrackSolver.optdump:; code_length 36 PeepholeBenchmarks/bench01/BacktrackSolver.optdump:; code_length 36 PeepholeBenchmarks/bench01/BacktrackSolver.optdump:; code_length 31 PeepholeBenchmarks/bench01/BacktrackSolver.optdump:; code_length 31 PeepholeBenchmarks/bench01/BacktrackSolver.optdump:; code_length 68 PeepholeBenchmarks/bench01/BacktrackSolver.optdump:; code_length 48 PeepholeBenchmarks/bench01/BacktrackSolver.optdump:; code_length 125 PeepholeBenchmarks/bench01/BacktrackSolver.optdump:; code_length 24 PeepholeBenchmarks/bench01/BacktrackSolver.optdump:; code_length 7 PeepholeBenchmarks/bench01/Benchmark.optdump:; code_length 5 PeepholeBenchmarks/bench01/Benchmark.optdump:; code_length 70 PeepholeBenchmarks/bench01/SudokuSolver.optdump:; code_length 5 PeepholeBenchmarks/bench01/SudokuSolver.optdump:; code_length 106 PeepholeBenchmarks/bench01/SudokuSolver.optdump:; code_length 298 PeepholeBenchmarks/bench02/Interpretor.optdump:; code_length 40 PeepholeBenchmarks/bench02/Interpretor.optdump:; code_length 36 PeepholeBenchmarks/bench02/Interpretor.optdump:; code_length 31 PeepholeBenchmarks/bench02/Interpretor.optdump:; code_length 13 PeepholeBenchmarks/bench02/Interpretor.optdump:; code_length 7 PeepholeBenchmarks/bench02/Interpretor.optdump:; code_length 76 PeepholeBenchmarks/bench02/Interpretor.optdump:; code_length 50 PeepholeBenchmarks/bench02/Interpretor.optdump:; code_length 29 PeepholeBenchmarks/bench02/Main.optdump:; code_length 5 PeepholeBenchmarks/bench02/Main.optdump:; code_length 40 PeepholeBenchmarks/bench02/StringEscapeUtils.optdump:; code_length 5 PeepholeBenchmarks/bench02/StringEscapeUtils.optdump:; code_length 40 PeepholeBenchmarks/bench02/StringEscapeUtils.optdump:; code_length 88 PeepholeBenchmarks/bench03/Conversion.optdump:; code_length 1722 PeepholeBenchmarks/bench03/Conversion.optdump:; code_length 18 PeepholeBenchmarks/bench03/Conversion.optdump:; code_length 25 PeepholeBenchmarks/bench03/Decoder.optdump:; code_length 29

  6. COMP 520 Winter 2016 Optimization (6) PeepholeBenchmarks/bench03/Decoder.optdump:; code_length 642 PeepholeBenchmarks/bench03/Encoder.optdump:; code_length 29 PeepholeBenchmarks/bench03/Encoder.optdump:; code_length 591 PeepholeBenchmarks/bench03/Main.optdump:; code_length 5 PeepholeBenchmarks/bench03/Main.optdump:; code_length 63 PeepholeBenchmarks/bench04/Board.optdump:; code_length 116 PeepholeBenchmarks/bench04/Board.optdump:; code_length 5 PeepholeBenchmarks/bench04/Board.optdump:; code_length 5 PeepholeBenchmarks/bench04/Board.optdump:; code_length 21 PeepholeBenchmarks/bench04/Board.optdump:; code_length 55 PeepholeBenchmarks/bench04/Board.optdump:; code_length 60 PeepholeBenchmarks/bench04/Board.optdump:; code_length 26 PeepholeBenchmarks/bench04/Board.optdump:; code_length 20 PeepholeBenchmarks/bench04/Board.optdump:; code_length 11 PeepholeBenchmarks/bench04/Board.optdump:; code_length 132 PeepholeBenchmarks/bench04/Board.optdump:; code_length 84 PeepholeBenchmarks/bench04/Board.optdump:; code_length 49 PeepholeBenchmarks/bench04/Board.optdump:; code_length 142 PeepholeBenchmarks/bench04/Board.optdump:; code_length 510 PeepholeBenchmarks/bench04/Board.optdump:; code_length 70 PeepholeBenchmarks/bench04/BombMove.optdump:; code_length 5 PeepholeBenchmarks/bench04/BombMove.optdump:; code_length 53 PeepholeBenchmarks/bench04/BombMove.optdump:; code_length 3 PeepholeBenchmarks/bench04/ClassicMove.optdump:; code_length 5 PeepholeBenchmarks/bench04/ClassicMove.optdump:; code_length 8 PeepholeBenchmarks/bench04/ClassicMove.optdump:; code_length 3 PeepholeBenchmarks/bench04/DiagBombMove.optdump:; code_length 5 PeepholeBenchmarks/bench04/DiagBombMove.optdump:; code_length 215 PeepholeBenchmarks/bench04/DiagBombMove.optdump:; code_length 3 PeepholeBenchmarks/bench04/FlipBoardMove.optdump:; code_length 5 PeepholeBenchmarks/bench04/FlipBoardMove.optdump:; code_length 140 PeepholeBenchmarks/bench04/FlipBoardMove.optdump:; code_length 3

  7. COMP 520 Winter 2016 Optimization (7) PeepholeBenchmarks/bench04/Game.optdump:; code_length 88 PeepholeBenchmarks/bench04/Game.optdump:; code_length 45 PeepholeBenchmarks/bench04/Game.optdump:; code_length 78 PeepholeBenchmarks/bench04/Game.optdump:; code_length 94 PeepholeBenchmarks/bench04/Game.optdump:; code_length 5 PeepholeBenchmarks/bench04/Game.optdump:; code_length 5 PeepholeBenchmarks/bench04/Game.optdump:; code_length 5 PeepholeBenchmarks/bench04/Game.optdump:; code_length 21 PeepholeBenchmarks/bench04/Game.optdump:; code_length 18 PeepholeBenchmarks/bench04/Game.optdump:; code_length 31 PeepholeBenchmarks/bench04/Game.optdump:; code_length 21 PeepholeBenchmarks/bench04/Game.optdump:; code_length 85 PeepholeBenchmarks/bench04/Game.optdump:; code_length 141 PeepholeBenchmarks/bench04/Game.optdump:; code_length 167 PeepholeBenchmarks/bench04/Game.optdump:; code_length 67 PeepholeBenchmarks/bench04/Game.optdump:; code_length 15 PeepholeBenchmarks/bench04/Game.optdump:; code_length 138 PeepholeBenchmarks/bench04/Game.optdump:; code_length 88 PeepholeBenchmarks/bench04/Game.optdump:; code_length 65 PeepholeBenchmarks/bench04/KillColumnMove.optdump:; code_length 5 PeepholeBenchmarks/bench04/KillColumnMove.optdump:; code_length 29 PeepholeBenchmarks/bench04/KillColumnMove.optdump:; code_length 3 PeepholeBenchmarks/bench04/KillRowAndColumnMove.optdump:; code_length 5 PeepholeBenchmarks/bench04/KillRowAndColumnMove.optdump:; code_length 57 PeepholeBenchmarks/bench04/KillRowAndColumnMove.optdump:; code_length 3 PeepholeBenchmarks/bench04/KillRowMove.optdump:; code_length 5 PeepholeBenchmarks/bench04/KillRowMove.optdump:; code_length 29 PeepholeBenchmarks/bench04/KillRowMove.optdump:; code_length 3 PeepholeBenchmarks/bench04/Move.optdump:; code_length 5 PeepholeBenchmarks/bench04/Strategy.optdump:; code_length 5 PeepholeBenchmarks/bench05/CustomPoint.optdump:; code_length 15 PeepholeBenchmarks/bench05/CustomPoint.optdump:; code_length 15

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend

Fractional Factorial Designs Each replicate of a 2 k design requires 2 k runs. E.g. 64 runs for k =

Fractional Factorial Designs Each replicate of a 2 k design requires 2 k runs. E.g. 64 runs for k =

ST 516 Experimental Statistics for Engineers II Fractional Factorial Designs Each replicate of a 2 k design requires 2 k runs. E.g. 64 runs for k = 6, or 1024 runs for k = 10. When this is infeasible, we use a fraction of the runs. As a result, we

580 views • 18 slides
2 An Aqueduct Runs Through It 3 An Aqueduct Runs Through It 4 An Aqueduct Runs Through It 5

2 An Aqueduct Runs Through It 3 An Aqueduct Runs Through It 4 An Aqueduct Runs Through It 5

An Aqueduct Runs Through It A Series on the Future of Californias Water Supply Southern California Planning Congress in cooperation with the California Center for Land and Water Stewardship, Cal Poly Pomona Barry Lehrman Director, Aqueduct

658 views • 10 slides
Observing Facts Andreas Zeller 1 Reasoning about Runs Experimentation n controlled runs

Observing Facts Andreas Zeller 1 Reasoning about Runs Experimentation n controlled runs

Observing Facts Andreas Zeller 1 Reasoning about Runs Experimentation n controlled runs Induction n runs Observation 1 run Deduction 0 runs 2 2 Reasoning about Runs Observation 1 run Deduction 0 runs 3 3 Principles of

559 views • 9 slides
Folding Carton Point of Purchase Display Purchasing Small runs Large runs Combo runs

Folding Carton Point of Purchase Display Purchasing Small runs Large runs Combo runs

Folding Carton Point of Purchase Display Purchasing Small runs Large runs Combo runs VMI In House Graphic Design In House Structural Design Stock Items WHO ARE WE? Packaging Technologies Inc. 310 Courtland Ave.

602 views • 5 slides
- chisq.test(x, y) runs <- 1000 rbeta(runs, shape1, shape2) runs <- 1000 experiment_1

- chisq.test(x, y) runs <- 1000 rbeta(runs, shape1, shape2) runs <- 1000 experiment_1

- chisq.test(x, y) runs <- 1000 rbeta(runs, shape1, shape2) runs <- 1000 experiment_1 <- rbeta(runs, shape1, shape2) experiment_2 <- rbeta(runs, shape1, shape2) runs <- 1000 experiment_1 <- rdirichlet(runs, alpha = c(a, b,

482 views • 20 slides
runs and dat aset s analysis of t he dat aset s remaining quest ions & work runs

runs and dat aset s analysis of t he dat aset s remaining quest ions & work runs

Diurnal cycle of deep convection over land status of the intercomparison case runs and dat aset s analysis of t he dat aset s remaining quest ions & work runs and datasets use of more realistic surf ace heat f luxes t o

520 views • 25 slides
Thanks to our Sponsors A brief history of Protg 1987 PROTG runs on LISP machines

Thanks to our Sponsors A brief history of Protg 1987 PROTG runs on LISP machines

Thanks to our Sponsors A brief history of Protg 1987 PROTG runs on LISP machines 1992 PROTG-II runs under NeXTStep 1995 Protg/Win runs under guess! 2000 Protg-2000 runs under Java 2005 Protg 3.0

815 views • 65 slides
Repeat Repeat runs/variations on a theme runs/variations on a theme Model

Repeat Repeat runs/variations on a theme runs/variations on a theme Model

Repeat Repeat runs/variations on a theme runs/variations on a theme Model Participant RESRAD-BIOTA [basics] Sunita Kamboj (ANL, USA) RESRAD-BIOTA [available Mike Wood (Liverpool, UK) software] EA R&D128

752 views • 8 slides
WW Threshold scan runs and Z pole runs in CEPC Zhijun Liang IHEP,CAS 1 Introduction Some

WW Threshold scan runs and Z pole runs in CEPC Zhijun Liang IHEP,CAS 1 Introduction Some

WW Threshold scan runs and Z pole runs in CEPC Zhijun Liang IHEP,CAS 1 Introduction Some discussion about CEPC Z pole running . http://indico.ihep.ac.cn/event/7709/ Two possibility: L=1.6 X 10 35 cm -2 s -1 , solenoid field = 3T

411 views • 11 slides
Running Android in a Container How the play store runs on Chrome OS How Android Runs On Chrome

Running Android in a Container How the play store runs on Chrome OS How Android Runs On Chrome

Running Android in a Container How the play store runs on Chrome OS How Android Runs On Chrome OS Chrome Graphics Buffer (Prime FD) Android IPC IPC Chrome IPC Binder System Bridge Bridge (*/init*) Input Events network config, GL,

296 views • 10 slides
Blocking in the 2 k Design Blocking may be required because: we cannot perform all required runs

Blocking in the 2 k Design Blocking may be required because: we cannot perform all required runs

ST 516 Experimental Statistics for Engineers II Blocking in the 2 k Design Blocking may be required because: we cannot perform all required runs under homogeneous conditions; e.g. raw material comes in limited batches; we want to carry out runs

487 views • 23 slides
Performance Assessment in Optimization Anne Auger, CMAP & Inria Visualization and

Performance Assessment in Optimization Anne Auger, CMAP & Inria Visualization and

Performance Assessment in Optimization Anne Auger, CMAP & Inria Visualization and presentation of single runs Displaying 3 runs (three trials) Displaying 3 runs (three trials) Displaying 3 runs (three trials) Displaying 51 runs Which

742 views • 50 slides
Deposit Insurance without Commitment: Wall St. vs. Main St. Russell Cooper Hubert Kempf

Deposit Insurance without Commitment: Wall St. vs. Main St. Russell Cooper Hubert Kempf

Outline Motivation Planners Problem Decentralization Systemic Runs and DI: Timing Partial Runs Preventing Runs Conclusions Deposit Insurance without Commitment: Wall St. vs. Main St. Russell Cooper Hubert Kempf European

499 views • 37 slides
River Towns: A River Runs Through It Patrick Starr, Executive VP, PA Environmental Council

River Towns: A River Runs Through It Patrick Starr, Executive VP, PA Environmental Council

River Towns: A River Runs Through It Patrick Starr, Executive VP, PA Environmental Council Adapted from A River Runs Through It by Cathy McCollom, Director, River Town Program Our Vision: A regional network of vibrant, connected River

580 views • 31 slides
Arapuca stability Dante Totani Fermilab, University of LAquila June 13, 2019 1 Runs LED

Arapuca stability Dante Totani Fermilab, University of LAquila June 13, 2019 1 Runs LED

Arapuca stability Dante Totani Fermilab, University of LAquila June 13, 2019 1 Runs LED config: 0x577 Run Day ID 6848 Feb 20 1 7224 Mar 19 2 7447 Mar 31 3 7461 Apr 01 4 Runs are the same showed by Chris for the SenseL

372 views • 16 slides
Review : What is An Operating System? ! Software ( kernel ) that runs at all times

Review : What is An Operating System? ! Software ( kernel ) that runs at all times

Review : What is An Operating System? ! Software ( kernel ) that runs at all times Really, the part of the system that runs in kernel CSCI 6730 / 4730 mode (or need to). Operating Systems But note - there are even

451 views • 10 slides
Crawling in Rogues dungeons with (partitioned) A3C Andrea Asperti, Daniele Cortesi, Francesco

Crawling in Rogues dungeons with (partitioned) A3C Andrea Asperti, Daniele Cortesi, Francesco

Crawling in Rogues dungeons with (partitioned) A3C Andrea Asperti, Daniele Cortesi, Francesco Sovrano University of Bologna Department of Informatics: Science and Engineering (DISI) Fourth International Conference on Machine Learning,

285 views • 13 slides
Automatic Summarization Project Anca Burducea Joe Mulvey Nate Perkins April 28, 2015 Outline

Automatic Summarization Project Anca Burducea Joe Mulvey Nate Perkins April 28, 2015 Outline

Automatic Summarization Project Anca Burducea Joe Mulvey Nate Perkins April 28, 2015 Outline Overview Data cleanup Content selection Sentence scoring Redundancy reduction Example Results and conclusions System overview System overview

655 views • 65 slides
Scholars Recommendation System Based on academic knowledge graph Group member: Chengyongxiao

Scholars Recommendation System Based on academic knowledge graph Group member: Chengyongxiao

Scholars Recommendation System Based on academic knowledge graph Group member: Chengyongxiao Wei, Xianze Wu and Hanyi Sun CONTENTS n PART ONE Project Description n PART TWO Method n PART THREE Result n PART FOUR Conclusion CONTENTS n PART

853 views • 18 slides
White supremacy, Climate crisis & human trauma Can we design to confront all three issues?

White supremacy, Climate crisis & human trauma Can we design to confront all three issues?

White supremacy, Climate crisis & human trauma Can we design to confront all three issues? (By Mexican artist Saner Edgar) Sensei Kritee (Kanko), Ph.D. Climate scientist, Zen Priest, Cofounder Ecodharma Center Twitter @KriteeKanko Website

443 views • 25 slides
Proofs, Continued Today Proofs : A style guide Proofs should be easy to

Proofs, Continued Today Proofs : A style guide Proofs should be easy to

Euclid (300 BC) Proofs, Continued Today Proofs : A style guide Proofs should be easy to verify. All the cleverness goes into finding/writing the proof, not reading/verifying it! P vs. NP (informally) : P =

682 views • 21 slides
The Twenty-Eighth Sunday in Ordinary Time Welcome Home Gathering Song Faith of Our Fathers

The Twenty-Eighth Sunday in Ordinary Time Welcome Home Gathering Song Faith of Our Fathers

Empowered by the Eucharist Today we celebrate The Twenty-Eighth Sunday in Ordinary Time Welcome Home Gathering Song Faith of Our Fathers Faith of our fathers! Living still In spite of dungeon, fire and sword. O how our hearts beat high

443 views • 20 slides
02291: System Integration UML State Machines Hubert Baumeister huba@dtu.dk DTU Compute

02291: System Integration UML State Machines Hubert Baumeister huba@dtu.dk DTU Compute

02291: System Integration UML State Machines Hubert Baumeister huba@dtu.dk DTU Compute Technical University of Denmark Spring 2020 UML diagrams Wikipedia Example Task: Implement a control panel for a safe in a dungeon The safe

432 views • 24 slides
Semantic Games for Synchrony M. Mendler & J. Aguado Informatics Theory Group University of

Semantic Games for Synchrony M. Mendler & J. Aguado Informatics Theory Group University of

Semantic Games for Synchrony M. Mendler & J. Aguado Informatics Theory Group University of Bamberg What is this talk about? To illustrate how the co-contravariant fixed point problem in synchronous languages can be handled by means of a

554 views • 21 slides

More recommend