Compiler Design 2023

Testcase “factorial” of Assignment 5:
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
; Jassmin assembly code
; MiniC v. 1.0
.class public factorial
.super java/lang/Object

.method static <clinit>()V
   .limit stack 1
   .limit locals 0
   return
.end method

.method public <init>()V
   .limit stack 1
   .limit locals 1
   .var 0 is this Lfactorial; from Label0 to Label1

  Label0:
   aload_0
   invokespecial java/lang/Object/<init>()V
  Label1:
   return
.end method

.method public factorial(I)I
  Label0:
   ; IfStmt, line 8
   iload_1
   iconst_0
   if_icmpeq Label2
   iconst_0
   goto Label3
  Label2:
   iconst_1
  Label3:
   ifeq Label4
   ; AssignStmt, line 6
   iconst_1
   istore_2
   goto Label5
  Label4:
   ; AssignStmt, line 8
   iload_1
   ; CallExpr
   ; "this"-pointer is the first ActualParam with instance methods:
   aload_0
   ; ActualParam
   iload_1
   iconst_1
   isub
   invokevirtual factorial/factorial(I)I
   imul
   istore_2
  Label5:
   ; ReturnStmt, line 9
   iload_2
   ireturn
  Label1:
   .limit locals 3
   .limit stack 150
.end method

.method public static main([Ljava/lang/String;)V
  Label0:
   new factorial
   dup
   invokespecial factorial/<init>()V
   astore_1
   ; CallStmt, line 13
   ; CallExpr
   ; ActualParam
   ; CallExpr
   ; "this"-pointer is the first ActualParam with instance methods:
   aload_1
   ; ActualParam
   iconst_5
   invokevirtual factorial/factorial(I)I
   invokestatic lang/System/putInt(I)V
   ; CallStmt, line 14
   ; CallExpr
   invokestatic lang/System/putLn()V
  Label1:
   return
   .limit locals 2
   .limit stack 150
.end method