Reviewers: Dmitry Lomov (chromium),
Message:
ptal
Description:
Fix bugs in Sodium
[email protected]
Please review this at https://chromiumcodereview.appspot.com/36833002/
SVN Base: https://v8.googlecode.com/svn/branches/bleeding_edge
Affected files (+2, -2 lines):
M src/codegen.cc
M src/objects.cc
M tools/sodium/sodium.js
Index: src/codegen.cc
diff --git a/src/codegen.cc b/src/codegen.cc
index
7b2f81ba8ab0e3ea85595fd18ec6d3664904e71e..c42e040b69055154a427481193222c52174f9c12
100644
--- a/src/codegen.cc
+++ b/src/codegen.cc
@@ -173,7 +173,6 @@ void CodeGenerator::PrintCode(Handle<Code> code,
CompilationInfo* info) {
} else {
code->Disassemble(*function->debug_name()->ToCString());
}
- PrintF("--- End code ---\n");
}
#endif // ENABLE_DISASSEMBLER
}
Index: src/objects.cc
diff --git a/src/objects.cc b/src/objects.cc
index
aec412c5d8bc846dd0218defc99a09400ae75fc0..272d0a1f4f75c7f5793f8fecb79b963b12faccaf
100644
--- a/src/objects.cc
+++ b/src/objects.cc
@@ -11084,6 +11084,7 @@ void Code::Disassemble(const char* name, FILE* out)
{
it.rinfo()->Print(GetIsolate(), out);
}
PrintF(out, "\n");
+ PrintF("--- End code ---\n");
}
#endif // ENABLE_DISASSEMBLER
Index: tools/sodium/sodium.js
diff --git a/tools/sodium/sodium.js b/tools/sodium/sodium.js
index
44475a177f77151e6fddf78438ce03d899e71cc4..56abe4382e2d0b914660a8c2ba8d9b90b0fceb24
100644
--- a/tools/sodium/sodium.js
+++ b/tools/sodium/sodium.js
@@ -342,7 +342,7 @@ var Sodium = (function() {
var source = getCurrentSourceText();
var sourceDivElement = document.getElementById('source-text');
var code = getCurrentCodeObject();
- var newHtml = "<pre class=\"prettyprint linenums\" id=\"source-text\">"
+ var newHtml = "<pre class=\"prettyprint linenums\"
id=\"source-text-pre\">"
+ 'function ' + code.name + source + "</pre>";
sourceDivElement.innerHTML = newHtml;
try {
--
--
v8-dev mailing list
[email protected]
http://groups.google.com/group/v8-dev
---
You received this message because you are subscribed to the Google Groups "v8-dev" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/groups/opt_out.
