4c565138b5
In the process: - Add a command-line flag --opt-code-positions to track source position information throughout optimized code. - Add a subclass of the hydrogen graph builder to ensure that the source position is properly set on the graph builder for all generated hydrogen code. - Overhaul handling of source positions in hydrogen to ensure they are passed through to generated code consistently and in most cases transparently. Originally reviewed in this CL: https://codereview.chromium.org/24957003/ Review URL: https://codereview.chromium.org/29123008 git-svn-id: http://v8.googlecode.com/svn/branches/bleeding_edge@17295 ce2b1a6d-e550-0410-aec6-3dcde31c8c00
71 lines
1.4 KiB
CSS
Executable File
71 lines
1.4 KiB
CSS
Executable File
#table-header {
|
|
background-color: rgba(150, 150, 255, 0.4);
|
|
}
|
|
|
|
#asm-container {
|
|
background-color: rgba(200, 200, 255, 0.4);
|
|
position:absolute;
|
|
overflow:auto;
|
|
cursor:default;
|
|
width:50%;
|
|
height:92%;
|
|
}
|
|
|
|
#source-container {
|
|
position:absolute;
|
|
overflow:auto;
|
|
width:48%;
|
|
left:51%;
|
|
height:92%;
|
|
}
|
|
|
|
table {
|
|
border-collapse: collapse;
|
|
}
|
|
|
|
.hover-underline:hover {
|
|
text-decoration: underline;
|
|
}
|
|
|
|
.highlight-flash-blue {
|
|
-webkit-transition: all 1s ease;
|
|
background-color: rgba(50, 50, 245, 0.4);
|
|
border-radius: 10px;
|
|
-o-border-radius: 10px;
|
|
-moz-border-radius: 10px;
|
|
-webkit-border-radius: 10px;
|
|
}
|
|
|
|
|
|
.highlight-green {
|
|
background-color: rgba(0, 255, 0, 0.4);
|
|
border-radius: 10px;
|
|
-o-border-radius: 10px;
|
|
-moz-border-radius: 10px;
|
|
-webkit-border-radius: 10px;
|
|
}
|
|
|
|
.highlight-yellow {
|
|
background-color: rgba(255, 255, 0, 0.4);
|
|
border-radius: 10px;
|
|
-o-border-radius: 10px;
|
|
-moz-border-radius: 10px;
|
|
-webkit-border-radius: 10px;
|
|
}
|
|
|
|
.highlight-gray {
|
|
background-color: rgba(128, 128, 128, 0.4);
|
|
border-radius: 10px;
|
|
-o-border-radius: 10px;
|
|
-moz-border-radius: 10px;
|
|
-webkit-border-radius: 10px;
|
|
}
|
|
|
|
.highlight-red {
|
|
background-color: rgba(255, 0, 0, 0.4);
|
|
border-radius: 10px;
|
|
-o-border-radius: 10px;
|
|
-moz-border-radius: 10px;
|
|
-webkit-border-radius: 10px;
|
|
}
|