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
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
|
-- This file is part of SmartEiffel The GNU Eiffel Compiler Tools and Libraries
--
-- SmartEiffel is free software; you can redistribute it and/or modify it
-- under the terms of the GNU General Public License, as published by the
-- Free Software Foundation; either version 2, or (at your option) any later
-- version.
-- SmartEiffel is distributed in the hope that it will be useful but WITHOUT
-- ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
-- FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for
-- more details. You should have received a copy of the GNU General Public
-- License along with SmartEiffel; see the file COPYING. If not, write to
-- the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
-- MA 02111-1307, USA.
--
-- Copyright(C) 1994-2002: INRIA - LORIA (INRIA Lorraine) - ESIAL U.H.P.
-- - University of Nancy 1 - FRANCE
-- Copyright(C) 2003: INRIA - LORIA (INRIA Lorraine) - I.U.T. Charlemagne
-- - University of Nancy 2 - FRANCE
--
-- Dominique COLNET, Suzanne COLLIN, Olivier ZENDRA,
-- Philippe RIBET, Cyril ADRIAN
--
-- http://SmartEiffel.loria.fr - SmartEiffel@loria.fr
--
class CALL_INFIX_EQ
--
-- Infix operator : "=".
--
inherit CALL_INFIX2
creation make, with
feature
operator: STRING is
do
Result := as_eq
end
compile_to_c is
local
tt, at: E_TYPE
do
tt := target.result_type.run_type
at := arg1.result_type.run_type
if tt.is_expanded then
if at.is_expanded then -- ------------- Expanded/Expanded :
if tt.is_user_expanded then
cmp_user_expanded(True,tt)
elseif tt.is_basic_eiffel_expanded then
cmp_basic_eiffel_expanded(True,at,tt)
elseif tt.is_bit then
cmp_bit(True,tt)
else -- NATIVE_ARRAY
cmp_basic_ref(True)
end
else -- ------------------------------- Expanded/Reference :
c2c_exp_ref(target, arg1, True)
end
elseif at.is_expanded then -- ----------- Reference/Expanded :
c2c_exp_ref(arg1, target, True)
else -- ---------------------------- Reference/Reference :
cmp_basic_ref(True)
end
end
feature
compile_to_jvm is
local
space, point1, point2: INTEGER
rt: E_TYPE
rc: RUN_CLASS
do
if target.is_void then
jvm_void_cmp(arg1)
elseif arg1.is_void then
jvm_void_cmp(target)
else
rt := target.result_type.smallest_ancestor(arg1.result_type)
space := target.compile_to_jvm_into(rt)
space := arg1.compile_to_jvm_into(rt)
if rt.is_user_expanded then
rc := rt.run_class
jvm.std_is_equal(rc,rc.writable_attributes)
else
point1 := rt.jvm_if_x_eq
code_attribute.opcode_iconst_0
point2 := code_attribute.opcode_goto
code_attribute.resolve_u2_branch(point1)
code_attribute.opcode_iconst_1
code_attribute.resolve_u2_branch(point2)
end
end
end
jvm_branch_if_false: INTEGER is
do
Result := jvm_standard_branch_if_false
end
jvm_branch_if_true: INTEGER is
do
Result := jvm_standard_branch_if_true
end
feature {CALL_INFIX_EQ_VISITOR}
accept(visitor: CALL_INFIX_EQ_VISITOR) is
do
visitor.visit_call_infix_eq(Current)
end
feature {NONE}
jvm_void_cmp(e: EXPRESSION) is
local
rt: E_TYPE
point1, point2: INTEGER
do
rt := e.result_type.run_type
if rt.is_expanded then
code_attribute.opcode_iconst_0
else
e.compile_to_jvm
point1 := code_attribute.opcode_ifnull
code_attribute.opcode_iconst_0
point2 := code_attribute.opcode_goto
code_attribute.resolve_u2_branch(point1)
code_attribute.opcode_iconst_1
code_attribute.resolve_u2_branch(point2)
end
end
invariant
run_feature = Void
end -- CALL_INFIX_EQ
|
