Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/C/Android/dalvik/dalvik/dx/tests/085-dex-jsr-ret/   (Android Betriebssystem Version 17©)  Datei vom 26.5.2026 mit Größe 3 kB image not shown  

Quelle  expected.txt

  Sprache: Text
 

reading blort.class...
method test_jsr ()Ljava/lang/Object;
first 002f
block 0000
  pred 002f
  blort.j:@0000: move-object v3:Lblort; <- v0:Lblort;
  blort.j:@0000: goto . <- .
  next 0001
block 0001
  pred 0000
  @????: goto . <- .
  next 0036
block 0004
  pred 0038
  blort.j:@0004: move-object v4:Lblort; <- v0:Lblort;
  blort.j:@0006: const-int(10) v4:I=10 <- .
  blort.j:@0008: move-int v0:I=10 <- v4:I=10
  blort.j:@0008: goto . <- .
  next 0009
block 0009
  pred 0004
  @????: goto . <- .
  next 003f
block 000c
  pred 0041
  blort.j:@000c: move-int v4:I <- v0:I
  blort.j:@000c: goto . <- .
  next 000e
block 000e
  pred 000c
  @????: goto . <- .
  next 0048
block 002f
  blort.j:@0000: move-param-object(0) v0:Lblort; <- .
  blort.j:@0000: goto . <- .
  next 0000
block 0030
  pred 003e
  pred 0047
  pred 0048
  blort.j:@002c: return-object . <- v0:Ljava/lang/Object;
  returns
block 0036
  pred 0001
  blort.j:@0012: goto . <- .
  next 0037
block 0037
  pred 0036
  @????: goto . <- .
  next 0039
block 0038
  pred 003c
  pred 003d
  @????: goto . <- .
  next 0004
block 0039
  pred 0037
  blort.j:@001b: move-object v7:Lblort; <- v3:Lblort;
  blort.j:@001b: move-object v3:Lblort; <- v7:Lblort;
  blort.j:@001b: move-object v4:Lblort; <- v7:Lblort;
  blort.j:@001c: move-object v7:Lblort; <- v4:Lblort;
  blort.j:@001c: move-object v4:Lblort; <- v7:Lblort;
  blort.j:@001c: move-object v5:Lblort; <- v7:Lblort;
  blort.j:@001d: Rop{invoke-virtual . <- Lblort; call throws <any>}(blort.test_
  jsr:()V catch java.lang.Throwable) . <- v5:Lblort;
  next 003a
  next 003b *
block 003a
  pred 0039
  blort.j:@002d: Rop{move-exception Ljava/lang/Throwable; <- . flows} v3:Ljava/
  lang/Throwable; <- .
  blort.j:@002d: goto . <- .
  next 003e
block 003b
  pred 0039
  blort.j:@0020: if-nez-object . <- v4:Lblort;
  next 003c *
  next 003d
block 003c
  pred 003b
  @????: goto . <- .
  next 0038
block 003d
  pred 003b
  @????: goto . <- .
  next 0038
block 003e
  pred 003a
  blort.j:@002d: move-object v0:Ljava/lang/Class;=java.lang.Throwable <- v3:Lja
  va/lang/Class;=java.lang.Throwable
  blort.j:@002d: goto . <- .
  next 0030
block 003f
  pred 0009
  blort.j:@0012: goto . <- .
  next 0040
block 0040
  pred 003f
  @????: goto . <- .
  next 0042
block 0041
  pred 0045
  pred 0046
  @????: goto . <- .
  next 000c
block 0042
  pred 0040
  blort.j:@001b: move-object v7:Lblort; <- v3:Lblort;
  blort.j:@001b: move-object v3:Lblort; <- v7:Lblort;
  blort.j:@001b: move-object v4:Lblort; <- v7:Lblort;
  blort.j:@001c: move-object v7:Lblort; <- v4:Lblort;
  blort.j:@001c: move-object v4:Lblort; <- v7:Lblort;
  blort.j:@001c: move-object v5:Lblort; <- v7:Lblort;
  blort.j:@001d: Rop{invoke-virtual . <- Lblort; call throws <any>}(blort.test_
  jsr:()V catch java.lang.Throwable) . <- v5:Lblort;
  next 0043
  next 0044 *
block 0043
  pred 0042
  blort.j:@002d: Rop{move-exception Ljava/lang/Throwable; <- . flows} v3:Ljava/
  lang/Throwable; <- .
  blort.j:@002d: goto . <- .
  next 0047
block 0044
  pred 0042
  blort.j:@0020: if-nez-object . <- v4:Lblort;
  next 0045 *
  next 0046
block 0045
  pred 0044
  @????: goto . <- .
  next 0041
block 0046
  pred 0044
  @????: goto . <- .
  next 0041
block 0047
  pred 0043
  blort.j:@002d: move-object v0:Ljava/lang/Class;=java.lang.Throwable <- v3:Lja
  va/lang/Class;=java.lang.Throwable
  blort.j:@002d: goto . <- .
  next 0030
block 0048
  pred 000e
  blort.j:@002c: move-object v0:Lblort; <- v3:Lblort;
  blort.j:@002c: goto . <- .
  next 0030

Messung V0.5 in Prozent
C=92 H=97 G=94

¤ Dauer der Verarbeitung: 0.25 Sekunden  (vorverarbeitet am  2026-06-27) ¤

*© Formatika GbR, Deutschland






Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung und die Messung sind noch experimentell.