afl-material: progs/LOOP.j@13848e5b32e7 (annotated)

93 4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	1
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	2	.class public LOOP.LOOP
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	3	.super java/lang/Object
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	4
392 2d0a59127694 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 94 diff changeset	5	.method public <init> : ()V
93 4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	6	aload_0
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	7	invokenonvirtual java/lang/Object/<init>()V
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	8	return
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	9	.end method
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	10
392 2d0a59127694 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 94 diff changeset	11	.method public static write : (I)V
93 4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	12	.limit locals 5
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	13	.limit stack 5
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	14	iload 0
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	15	getstatic java/lang/System/out Ljava/io/PrintStream;
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	16	swap
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	17	invokevirtual java/io/PrintStream/println(I)V
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	18	return
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	19	.end method
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	20
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	21
392 2d0a59127694 updated Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 94 diff changeset	22	.method public static main : ([Ljava/lang/String;)V
93 4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	23	.limit locals 200
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	24	.limit stack 200
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	25
471 e5df48ff7033 updated Christian Urban <urbanc@in.tum.de> parents: 392 diff changeset	26	ldc 500000
93 4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	27	istore 0
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	28	iload 0
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	29	istore 1
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	30	iload 0
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	31	istore 2
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	32	iload 0
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	33	istore 3
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	34
94 9ea667baf097 added first part of the Sulzmann paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	35	Loop_begin_38:
93 4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	36
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	37	ldc 0
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	38	iload 1
94 9ea667baf097 added first part of the Sulzmann paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	39	if_icmpge Loop_end_39
93 4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	40
94 9ea667baf097 added first part of the Sulzmann paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	41	Loop_begin_40:
93 4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	42
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	43	ldc 0
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	44	iload 2
94 9ea667baf097 added first part of the Sulzmann paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	45	if_icmpge Loop_end_41
93 4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	46
94 9ea667baf097 added first part of the Sulzmann paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	47	Loop_begin_42:
93 4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	48
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	49	ldc 0
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	50	iload 3
94 9ea667baf097 added first part of the Sulzmann paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	51	if_icmpge Loop_end_43
93 4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	52	iload 3
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	53	ldc 1
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	54	isub
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	55	istore 3
94 9ea667baf097 added first part of the Sulzmann paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	56	goto Loop_begin_42
93 4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	57
94 9ea667baf097 added first part of the Sulzmann paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	58	Loop_end_43:
93 4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	59
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	60	iload 0
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	61	istore 3
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	62	iload 2
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	63	ldc 1
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	64	isub
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	65	istore 2
94 9ea667baf097 added first part of the Sulzmann paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	66	goto Loop_begin_40
93 4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	67
94 9ea667baf097 added first part of the Sulzmann paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	68	Loop_end_41:
93 4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	69
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	70	iload 0
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	71	istore 2
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	72	iload 1
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	73	ldc 1
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	74	isub
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	75	istore 1
94 9ea667baf097 added first part of the Sulzmann paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	76	goto Loop_begin_38
93 4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	77
94 9ea667baf097 added first part of the Sulzmann paper Christian Urban <christian dot urban at kcl dot ac dot uk> parents: 93 diff changeset	78	Loop_end_39:
93 4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	79
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	80	iload 1
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	81	invokestatic LOOP/LOOP/write(I)V
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	82	iload 2
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	83	invokestatic LOOP/LOOP/write(I)V
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	84	iload 3
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	85	invokestatic LOOP/LOOP/write(I)V
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	86
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	87
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	88	return
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	89
4794759139ea better organised Christian Urban <christian dot urban at kcl dot ac dot uk> parents: diff changeset	90	.end method

author	Christian Urban <christian.urban@kcl.ac.uk>
	Sat, 01 Oct 2022 21:47:32 +0100
changeset 880	13848e5b32e7
parent 471	e5df48ff7033
permissions	-rw-r--r--