Merge pull request #799 from kebby/master
[mono.git] / mcs / class / System.ServiceModel / Mono.CodeGeneration / CodeDecrement.cs
1 //
2 // Permission is hereby granted, free of charge, to any person obtaining
3 // a copy of this software and associated documentation files (the
4 // "Software"), to deal in the Software without restriction, including
5 // without limitation the rights to use, copy, modify, merge, publish,
6 // distribute, sublicense, and/or sell copies of the Software, and to
7 // permit persons to whom the Software is furnished to do so, subject to
8 // the following conditions:
9 // 
10 // The above copyright notice and this permission notice shall be
11 // included in all copies or substantial portions of the Software.
12 // 
13 // THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
14 // EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
15 // MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
16 // NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE
17 // LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION
18 // OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION
19 // WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
20 //
21 // Copyright (C) Lluis Sanchez Gual, 2004
22 //
23
24 #if !FULL_AOT_RUNTIME
25 using System;
26 using System.Reflection;
27 using System.Reflection.Emit;
28  
29 namespace Mono.CodeGeneration
30 {
31         public class CodeDecrement: CodeValueReference
32         {
33                 CodeValueReference exp;
34                 
35                 public CodeDecrement (CodeValueReference exp)
36                 {
37                         this.exp = exp;
38                 }
39                 
40                 public override void Generate (ILGenerator gen)
41                 {
42                         exp.GenerateSet (gen, new CodeSubstractOne (exp));
43                         exp.Generate (gen);
44                 }
45                 
46                 public override void GenerateSet (ILGenerator gen, CodeExpression value)
47                 {
48                         exp.GenerateSet (gen, value);
49                 }
50                 
51                 public override void PrintCode (CodeWriter cp)
52                 {
53                         exp.PrintCode (cp);
54                         cp.Write ("--");
55                 }
56                 
57                 public override Type GetResultType ()
58                 {
59                         return exp.GetResultType();
60                 }
61         }
62         
63         public class CodeSubstractOne: CodeExpression
64         {
65                 CodeExpression exp;
66                 MethodInfo decMet;
67                 
68                 public CodeSubstractOne (CodeExpression exp)
69                 {
70                         this.exp = exp;
71                         if (!exp.IsNumber) {
72                                 decMet = exp.GetResultType ().GetMethod ("op_Decrement");
73                                 if (decMet == null)
74                                         throw new InvalidOperationException ("Operator '--' cannot be applied to operand of type '" + exp.GetResultType().FullName + "'");
75                         }
76                 }
77                 
78                 public override void Generate (ILGenerator gen)
79                 {
80                         if (decMet != null) {
81                                 CodeGenerationHelper.GenerateMethodCall (gen, null, decMet, exp);
82                                 return;
83                         }
84                         
85                         exp.Generate (gen);
86                         Type t = exp.GetResultType ();
87                         switch (Type.GetTypeCode (t))
88                         {
89                                 case TypeCode.Byte:
90                                         gen.Emit (OpCodes.Ldc_I4_1);
91                                         gen.Emit (OpCodes.Sub);
92                                         gen.Emit (OpCodes.Conv_U1);
93                                         break;
94
95                                 case TypeCode.Double:
96                                         gen.Emit (OpCodes.Ldc_R8, 1);
97                                         gen.Emit (OpCodes.Sub);
98                                         break;
99                                         
100                                 case TypeCode.Int16:
101                                         gen.Emit (OpCodes.Ldc_I4_1);
102                                         gen.Emit (OpCodes.Sub);
103                                         gen.Emit (OpCodes.Conv_I2);
104                                         break;
105                                         
106                                 case TypeCode.UInt32:
107                                 case TypeCode.Int32:
108                                         gen.Emit (OpCodes.Ldc_I4_1);
109                                         gen.Emit (OpCodes.Sub);
110                                         break;
111                                         
112                                 case TypeCode.UInt64:
113                                 case TypeCode.Int64:
114                                         gen.Emit (OpCodes.Ldc_I4_1);
115                                         gen.Emit (OpCodes.Conv_U8);
116                                         gen.Emit (OpCodes.Sub);
117                                         break;
118                                         
119                                 case TypeCode.SByte:
120                                         gen.Emit (OpCodes.Ldc_I4_1);
121                                         gen.Emit (OpCodes.Sub);
122                                         gen.Emit (OpCodes.Conv_I1);
123                                         break;
124                                         
125                                 case TypeCode.Single:
126                                         gen.Emit (OpCodes.Ldc_R4, 1);
127                                         gen.Emit (OpCodes.Sub);
128                                         break;
129                                         
130                                 case TypeCode.UInt16:
131                                         gen.Emit (OpCodes.Ldc_I4_1);
132                                         gen.Emit (OpCodes.Sub);
133                                         gen.Emit (OpCodes.Conv_U2);
134                                         break;
135                         }
136                 }
137                 
138                 public override void PrintCode (CodeWriter cp)
139                 {
140                         exp.PrintCode (cp);
141                         cp.Write ("--");
142                 }
143                 
144                 public override Type GetResultType ()
145                 {
146                         return exp.GetResultType();
147                 }
148         }
149 }
150 #endif