[vm,dyn_modules] Include assertion text into bytecode

Extract the text of assert condition and put it into bytecode
instead of relying on runtime to find the source text
(which is most likely unavailable for a dynamic module).

TEST=ci (language/vm/regress_27671_test, vm/dart/asserts_test)

Change-Id: Id6643333164b37c5046fa1dfecdbe9338f53c93d
Cq-Include-Trybots: luci.dart.try:vm-aot-dyn-linux-debug-x64-try,vm-aot-dyn-linux-product-x64-try,vm-dyn-linux-debug-x64-try
Reviewed-on: https://dart-review.googlesource.com/c/sdk/+/442244
Reviewed-by: Tess Strickland <[email protected]>
Commit-Queue: Alexander Markov <[email protected]>

Author: alexmarkov

pkg/dart2bytecode/lib/bytecode_generator.dart

@@ -957,8 +957,8 @@ class BytecodeGenerator extends RecursiveVisitor {
       libraryIndex.getProcedure('dart:_internal', 'LateError',
           '_throwLocalAssignedDuringInitialization');
 
-  late Procedure throwNewAssertionError =
-      libraryIndex.getProcedure('dart:core', '_AssertionError', '_throwNew');
+  late Procedure throwNewSourceAssertionError = libraryIndex.getProcedure(
+      'dart:core', '_AssertionError', '_throwNewSource');
 
   late Procedure throwNewNoSuchMethodError =
       libraryIndex.getProcedure('dart:core', 'NoSuchMethodError', '_throwNew');
@@ -3717,18 +3717,24 @@ class BytecodeGenerator extends RecursiveVisitor {
 
     _genConditionAndJumpIf(node.condition, true, done);
 
-    _genPushInt(
-        options.omitAssertSourcePositions ? 0 : node.conditionStartOffset);
-    _genPushInt(
-        options.omitAssertSourcePositions ? 0 : node.conditionEndOffset);
+    final fileUri = node.location!.file;
+    final source = node.enclosingComponent!.uriToSource[fileUri]!;
+    final conditionSource = source.text
+        .substring(node.conditionStartOffset, node.conditionEndOffset);
+    final location = source.getLocation(fileUri, node.conditionStartOffset);
+    asm.emitPushConstant(cp.addString(conditionSource));
+    asm.emitPushConstant(cp.addString(fileUri.toString()));
+    _genPushInt(options.omitAssertSourcePositions ? 0 : location.line);
+    _genPushInt(options.omitAssertSourcePositions ? 0 : location.column);
 
     if (node.message != null) {
       _generateNode(node.message);
     } else {
       asm.emitPushNull();
     }
 
-    _genDirectCall(throwNewAssertionError, objectTable.getArgDescHandle(3), 3);
+    _genDirectCall(
+        throwNewSourceAssertionError, objectTable.getArgDescHandle(5), 5);
     asm.emitDrop1();
 
     asm.bind(done);