50ed60c903705aa8bf87825dff9b76c4cede3938
[oota-llvm.git] / lib / Transforms / LevelRaise.cpp
1 //===- LevelRaise.cpp - Code to change LLVM to higher level -----------------=//
2 //
3 // This file implements the 'raising' part of the LevelChange API.  This is
4 // useful because, in general, it makes the LLVM code terser and easier to
5 // analyze.
6 //
7 //===----------------------------------------------------------------------===//
8
9 #include "llvm/Transforms/RaisePointerReferences.h"
10 #include "llvm/Transforms/Utils/Local.h"
11 #include "TransformInternals.h"
12 #include "llvm/iOther.h"
13 #include "llvm/iMemory.h"
14 #include "llvm/Pass.h"
15 #include "llvm/ConstantHandling.h"
16 #include "llvm/Analysis/Expressions.h"
17 #include "llvm/Analysis/Verifier.h"
18 #include "llvm/Transforms/Utils/BasicBlockUtils.h"
19 #include "Support/STLExtras.h"
20 #include "Support/Statistic.h"
21 #include "Support/CommandLine.h"
22 #include <algorithm>
23 using std::cerr;
24
25 // StartInst - This enables the -raise-start-inst=foo option to cause the level
26 // raising pass to start at instruction "foo", which is immensely useful for
27 // debugging!
28 //
29 static cl::opt<std::string>
30 StartInst("raise-start-inst", cl::Hidden, cl::value_desc("inst name"),
31        cl::desc("Start raise pass at the instruction with the specified name"));
32
33 static Statistic<>
34 NumLoadStorePeepholes("raise", "Number of load/store peepholes");
35
36 static Statistic<> 
37 NumGEPInstFormed("raise", "Number of other getelementptr's formed");
38
39 static Statistic<>
40 NumExprTreesConv("raise", "Number of expression trees converted");
41
42 static Statistic<>
43 NumCastOfCast("raise", "Number of cast-of-self removed");
44
45 static Statistic<>
46 NumDCEorCP("raise", "Number of insts DCEd or constprop'd");
47
48 static Statistic<>
49 NumVarargCallChanges("raise", "Number of vararg call peepholes");
50
51
52 #define PRINT_PEEPHOLE(ID, NUM, I)            \
53   DEBUG(std::cerr << "Inst P/H " << ID << "[" << NUM << "] " << I)
54
55 #define PRINT_PEEPHOLE1(ID, I1) do { PRINT_PEEPHOLE(ID, 0, I1); } while (0)
56 #define PRINT_PEEPHOLE2(ID, I1, I2) \
57   do { PRINT_PEEPHOLE(ID, 0, I1); PRINT_PEEPHOLE(ID, 1, I2); } while (0)
58 #define PRINT_PEEPHOLE3(ID, I1, I2, I3) \
59   do { PRINT_PEEPHOLE(ID, 0, I1); PRINT_PEEPHOLE(ID, 1, I2); \
60        PRINT_PEEPHOLE(ID, 2, I3); } while (0)
61 #define PRINT_PEEPHOLE4(ID, I1, I2, I3, I4) \
62   do { PRINT_PEEPHOLE(ID, 0, I1); PRINT_PEEPHOLE(ID, 1, I2); \
63        PRINT_PEEPHOLE(ID, 2, I3); PRINT_PEEPHOLE(ID, 3, I4); } while (0)
64
65 namespace {
66   struct RPR : public FunctionPass {
67     virtual bool runOnFunction(Function &F);
68
69     virtual void getAnalysisUsage(AnalysisUsage &AU) const {
70       AU.setPreservesCFG();
71       AU.addRequired<TargetData>();
72     }
73
74   private:
75     bool DoRaisePass(Function &F);
76     bool PeepholeOptimize(BasicBlock *BB, BasicBlock::iterator &BI);
77   };
78
79   RegisterOpt<RPR> X("raise", "Raise Pointer References");
80 }
81
82 Pass *createRaisePointerReferencesPass() {
83   return new RPR();
84 }
85
86
87
88 // isReinterpretingCast - Return true if the cast instruction specified will
89 // cause the operand to be "reinterpreted".  A value is reinterpreted if the
90 // cast instruction would cause the underlying bits to change.
91 //
92 static inline bool isReinterpretingCast(const CastInst *CI) {
93   return!CI->getOperand(0)->getType()->isLosslesslyConvertableTo(CI->getType());
94 }
95
96
97 // Peephole optimize the following instructions:
98 // %t1 = cast ? to x *
99 // %t2 = add x * %SP, %t1              ;; Constant must be 2nd operand
100 //
101 // Into: %t3 = getelementptr {<...>} * %SP, <element indices>
102 //       %t2 = cast <eltype> * %t3 to {<...>}*
103 //
104 static bool HandleCastToPointer(BasicBlock::iterator BI,
105                                 const PointerType *DestPTy,
106                                 const TargetData &TD) {
107   CastInst &CI = cast<CastInst>(*BI);
108   if (CI.use_empty()) return false;
109
110   // Scan all of the uses, looking for any uses that are not add
111   // instructions.  If we have non-adds, do not make this transformation.
112   //
113   for (Value::use_iterator I = CI.use_begin(), E = CI.use_end();
114        I != E; ++I) {
115     if (BinaryOperator *BO = dyn_cast<BinaryOperator>(*I)) {
116       if (BO->getOpcode() != Instruction::Add ||
117           // Avoid add sbyte* %X, %X cases...
118           BO->getOperand(0) == BO->getOperand(1))
119         return false;
120     } else {
121       return false;
122     }
123   }
124
125   std::vector<Value*> Indices;
126   Value *Src = CI.getOperand(0);
127   const Type *Result = ConvertableToGEP(DestPTy, Src, Indices, TD, &BI);
128   if (Result == 0) return false;  // Not convertable...
129
130   PRINT_PEEPHOLE2("cast-add-to-gep:in", Src, CI);
131
132   // If we have a getelementptr capability... transform all of the 
133   // add instruction uses into getelementptr's.
134   while (!CI.use_empty()) {
135     BinaryOperator *I = cast<BinaryOperator>(*CI.use_begin());
136     assert(I->getOpcode() == Instruction::Add && I->getNumOperands() == 2 &&
137            "Use is not a valid add instruction!");
138     
139     // Get the value added to the cast result pointer...
140     Value *OtherPtr = I->getOperand((I->getOperand(0) == &CI) ? 1 : 0);
141
142     Instruction *GEP = new GetElementPtrInst(OtherPtr, Indices, I->getName());
143     PRINT_PEEPHOLE1("cast-add-to-gep:i", I);
144
145     if (GEP->getType() == I->getType()) {
146       // Replace the old add instruction with the shiny new GEP inst
147       ReplaceInstWithInst(I, GEP);
148     } else {
149       // If the type produced by the gep instruction differs from the original
150       // add instruction type, insert a cast now.
151       //
152
153       // Insert the GEP instruction before the old add instruction...
154       I->getParent()->getInstList().insert(I, GEP);
155
156       PRINT_PEEPHOLE1("cast-add-to-gep:o", GEP);
157       GEP = new CastInst(GEP, I->getType());
158
159       // Replace the old add instruction with the shiny new GEP inst
160       ReplaceInstWithInst(I, GEP);
161     }
162
163     PRINT_PEEPHOLE1("cast-add-to-gep:o", GEP);
164   }
165   return true;
166 }
167
168 // Peephole optimize the following instructions:
169 // %t1 = cast ulong <const int> to {<...>} *
170 // %t2 = add {<...>} * %SP, %t1              ;; Constant must be 2nd operand
171 //
172 //    or
173 // %t1 = cast {<...>}* %SP to int*
174 // %t5 = cast ulong <const int> to int*
175 // %t2 = add int* %t1, %t5                   ;; int is same size as field
176 //
177 // Into: %t3 = getelementptr {<...>} * %SP, <element indices>
178 //       %t2 = cast <eltype> * %t3 to {<...>}*
179 //
180 static bool PeepholeOptimizeAddCast(BasicBlock *BB, BasicBlock::iterator &BI,
181                                     Value *AddOp1, CastInst *AddOp2,
182                                     const TargetData &TD) {
183   const CompositeType *CompTy;
184   Value *OffsetVal = AddOp2->getOperand(0);
185   Value *SrcPtr = 0;  // Of type pointer to struct...
186
187   if ((CompTy = getPointedToComposite(AddOp1->getType()))) {
188     SrcPtr = AddOp1;                      // Handle the first case...
189   } else if (CastInst *AddOp1c = dyn_cast<CastInst>(AddOp1)) {
190     SrcPtr = AddOp1c->getOperand(0);      // Handle the second case...
191     CompTy = getPointedToComposite(SrcPtr->getType());
192   }
193
194   // Only proceed if we have detected all of our conditions successfully...
195   if (!CompTy || !SrcPtr || !OffsetVal->getType()->isInteger())
196     return false;
197
198   std::vector<Value*> Indices;
199   if (!ConvertableToGEP(SrcPtr->getType(), OffsetVal, Indices, TD, &BI))
200     return false;  // Not convertable... perhaps next time
201
202   if (getPointedToComposite(AddOp1->getType())) {  // case 1
203     PRINT_PEEPHOLE2("add-to-gep1:in", AddOp2, *BI);
204   } else {
205     PRINT_PEEPHOLE3("add-to-gep2:in", AddOp1, AddOp2, *BI);
206   }
207
208   GetElementPtrInst *GEP = new GetElementPtrInst(SrcPtr, Indices,
209                                                  AddOp2->getName(), BI);
210
211   Instruction *NCI = new CastInst(GEP, AddOp1->getType());
212   ReplaceInstWithInst(BB->getInstList(), BI, NCI);
213   PRINT_PEEPHOLE2("add-to-gep:out", GEP, NCI);
214   return true;
215 }
216
217 bool RPR::PeepholeOptimize(BasicBlock *BB, BasicBlock::iterator &BI) {
218   Instruction *I = BI;
219   const TargetData &TD = getAnalysis<TargetData>();
220
221   if (CastInst *CI = dyn_cast<CastInst>(I)) {
222     Value       *Src    = CI->getOperand(0);
223     Instruction *SrcI   = dyn_cast<Instruction>(Src); // Nonnull if instr source
224     const Type  *DestTy = CI->getType();
225
226     // Peephole optimize the following instruction:
227     // %V2 = cast <ty> %V to <ty>
228     //
229     // Into: <nothing>
230     //
231     if (DestTy == Src->getType()) {   // Check for a cast to same type as src!!
232       PRINT_PEEPHOLE1("cast-of-self-ty", CI);
233       CI->replaceAllUsesWith(Src);
234       if (!Src->hasName() && CI->hasName()) {
235         std::string Name = CI->getName();
236         CI->setName("");
237         Src->setName(Name, &BB->getParent()->getSymbolTable());
238       }
239
240       // DCE the instruction now, to avoid having the iterative version of DCE
241       // have to worry about it.
242       //
243       BI = BB->getInstList().erase(BI);
244
245       ++NumCastOfCast;
246       return true;
247     }
248
249     // Check to see if it's a cast of an instruction that does not depend on the
250     // specific type of the operands to do it's job.
251     if (!isReinterpretingCast(CI)) {
252       ValueTypeCache ConvertedTypes;
253
254       // Check to see if we can convert the source of the cast to match the
255       // destination type of the cast...
256       //
257       ConvertedTypes[CI] = CI->getType();  // Make sure the cast doesn't change
258       if (ExpressionConvertableToType(Src, DestTy, ConvertedTypes, TD)) {
259         PRINT_PEEPHOLE3("CAST-SRC-EXPR-CONV:in ", Src, CI, BB->getParent());
260           
261         DEBUG(cerr << "\nCONVERTING SRC EXPR TYPE:\n");
262         { // ValueMap must be destroyed before function verified!
263           ValueMapCache ValueMap;
264           Value *E = ConvertExpressionToType(Src, DestTy, ValueMap, TD);
265
266           if (Constant *CPV = dyn_cast<Constant>(E))
267             CI->replaceAllUsesWith(CPV);
268           
269           PRINT_PEEPHOLE1("CAST-SRC-EXPR-CONV:out", E);
270           DEBUG(cerr << "DONE CONVERTING SRC EXPR TYPE: \n" << BB->getParent());
271         }
272
273         DEBUG(assert(verifyFunction(*BB->getParent()) == false &&
274                      "Function broken!"));
275         BI = BB->begin();  // Rescan basic block.  BI might be invalidated.
276         ++NumExprTreesConv;
277         return true;
278       }
279
280       // Check to see if we can convert the users of the cast value to match the
281       // source type of the cast...
282       //
283       ConvertedTypes.clear();
284       // Make sure the source doesn't change type
285       ConvertedTypes[Src] = Src->getType();
286       if (ValueConvertableToType(CI, Src->getType(), ConvertedTypes, TD)) {
287         PRINT_PEEPHOLE3("CAST-DEST-EXPR-CONV:in ", Src, CI, BB->getParent());
288
289         DEBUG(cerr << "\nCONVERTING EXPR TYPE:\n");
290         { // ValueMap must be destroyed before function verified!
291           ValueMapCache ValueMap;
292           ConvertValueToNewType(CI, Src, ValueMap, TD);  // This will delete CI!
293         }
294
295         PRINT_PEEPHOLE1("CAST-DEST-EXPR-CONV:out", Src);
296         DEBUG(cerr << "DONE CONVERTING EXPR TYPE: \n\n" << BB->getParent());
297
298         DEBUG(assert(verifyFunction(*BB->getParent()) == false &&
299                      "Function broken!"));
300         BI = BB->begin();  // Rescan basic block.  BI might be invalidated.
301         ++NumExprTreesConv;
302         return true;
303       }
304     }
305
306     // Otherwise find out it this cast is a cast to a pointer type, which is
307     // then added to some other pointer, then loaded or stored through.  If
308     // so, convert the add into a getelementptr instruction...
309     //
310     if (const PointerType *DestPTy = dyn_cast<PointerType>(DestTy)) {
311       if (HandleCastToPointer(BI, DestPTy, TD)) {
312         BI = BB->begin();  // Rescan basic block.  BI might be invalidated.
313         ++NumGEPInstFormed;
314         return true;
315       }
316     }
317
318     // Check to see if we are casting from a structure pointer to a pointer to
319     // the first element of the structure... to avoid munching other peepholes,
320     // we only let this happen if there are no add uses of the cast.
321     //
322     // Peephole optimize the following instructions:
323     // %t1 = cast {<...>} * %StructPtr to <ty> *
324     //
325     // Into: %t2 = getelementptr {<...>} * %StructPtr, <0, 0, 0, ...>
326     //       %t1 = cast <eltype> * %t1 to <ty> *
327     //
328     if (const CompositeType *CTy = getPointedToComposite(Src->getType()))
329       if (const PointerType *DestPTy = dyn_cast<PointerType>(DestTy)) {
330
331         // Loop over uses of the cast, checking for add instructions.  If an add
332         // exists, this is probably a part of a more complex GEP, so we don't
333         // want to mess around with the cast.
334         //
335         bool HasAddUse = false;
336         for (Value::use_iterator I = CI->use_begin(), E = CI->use_end();
337              I != E; ++I)
338           if (isa<Instruction>(*I) &&
339               cast<Instruction>(*I)->getOpcode() == Instruction::Add) {
340             HasAddUse = true; break;
341           }
342
343         // If it doesn't have an add use, check to see if the dest type is
344         // losslessly convertable to one of the types in the start of the struct
345         // type.
346         //
347         if (!HasAddUse) {
348           const Type *DestPointedTy = DestPTy->getElementType();
349           unsigned Depth = 1;
350           const CompositeType *CurCTy = CTy;
351           const Type *ElTy = 0;
352
353           // Build the index vector, full of all zeros
354           std::vector<Value*> Indices;
355           Indices.push_back(ConstantSInt::get(Type::LongTy, 0));
356           while (CurCTy && !isa<PointerType>(CurCTy)) {
357             if (const StructType *CurSTy = dyn_cast<StructType>(CurCTy)) {
358               // Check for a zero element struct type... if we have one, bail.
359               if (CurSTy->getElementTypes().size() == 0) break;
360             
361               // Grab the first element of the struct type, which must lie at
362               // offset zero in the struct.
363               //
364               ElTy = CurSTy->getElementTypes()[0];
365             } else {
366               ElTy = cast<ArrayType>(CurCTy)->getElementType();
367             }
368
369             // Insert a zero to index through this type...
370             Indices.push_back(Constant::getNullValue(CurCTy->getIndexType()));
371
372             // Did we find what we're looking for?
373             if (ElTy->isLosslesslyConvertableTo(DestPointedTy)) break;
374             
375             // Nope, go a level deeper.
376             ++Depth;
377             CurCTy = dyn_cast<CompositeType>(ElTy);
378             ElTy = 0;
379           }
380           
381           // Did we find what we were looking for? If so, do the transformation
382           if (ElTy) {
383             PRINT_PEEPHOLE1("cast-for-first:in", CI);
384
385             std::string Name = CI->getName(); CI->setName("");
386
387             // Insert the new T cast instruction... stealing old T's name
388             GetElementPtrInst *GEP = new GetElementPtrInst(Src, Indices,
389                                                            Name, BI);
390
391             // Make the old cast instruction reference the new GEP instead of
392             // the old src value.
393             //
394             CI->setOperand(0, GEP);
395             
396             PRINT_PEEPHOLE2("cast-for-first:out", GEP, CI);
397             ++NumGEPInstFormed;
398             return true;
399           }
400         }
401       }
402
403   } else if (StoreInst *SI = dyn_cast<StoreInst>(I)) {
404     Value *Val     = SI->getOperand(0);
405     Value *Pointer = SI->getPointerOperand();
406     
407     // Peephole optimize the following instructions:
408     // %t = cast <T1>* %P to <T2> * ;; If T1 is losslessly convertable to T2
409     // store <T2> %V, <T2>* %t
410     //
411     // Into: 
412     // %t = cast <T2> %V to <T1>
413     // store <T1> %t2, <T1>* %P
414     //
415     // Note: This is not taken care of by expr conversion because there might
416     // not be a cast available for the store to convert the incoming value of.
417     // This code is basically here to make sure that pointers don't have casts
418     // if possible.
419     //
420     if (CastInst *CI = dyn_cast<CastInst>(Pointer))
421       if (Value *CastSrc = CI->getOperand(0)) // CSPT = CastSrcPointerType
422         if (const PointerType *CSPT = dyn_cast<PointerType>(CastSrc->getType()))
423           // convertable types?
424           if (Val->getType()->isLosslesslyConvertableTo(CSPT->getElementType())) {
425             PRINT_PEEPHOLE3("st-src-cast:in ", Pointer, Val, SI);
426
427             // Insert the new T cast instruction... stealing old T's name
428             std::string Name(CI->getName()); CI->setName("");
429             CastInst *NCI = new CastInst(Val, CSPT->getElementType(),
430                                          Name, BI);
431
432             // Replace the old store with a new one!
433             ReplaceInstWithInst(BB->getInstList(), BI,
434                                 SI = new StoreInst(NCI, CastSrc));
435             PRINT_PEEPHOLE3("st-src-cast:out", NCI, CastSrc, SI);
436             ++NumLoadStorePeepholes;
437             return true;
438           }
439
440   } else if (LoadInst *LI = dyn_cast<LoadInst>(I)) {
441     Value *Pointer = LI->getOperand(0);
442     const Type *PtrElType =
443       cast<PointerType>(Pointer->getType())->getElementType();
444     
445     // Peephole optimize the following instructions:
446     // %Val = cast <T1>* to <T2>*    ;; If T1 is losslessly convertable to T2
447     // %t = load <T2>* %P
448     //
449     // Into: 
450     // %t = load <T1>* %P
451     // %Val = cast <T1> to <T2>
452     //
453     // Note: This is not taken care of by expr conversion because there might
454     // not be a cast available for the store to convert the incoming value of.
455     // This code is basically here to make sure that pointers don't have casts
456     // if possible.
457     //
458     if (CastInst *CI = dyn_cast<CastInst>(Pointer))
459       if (Value *CastSrc = CI->getOperand(0)) // CSPT = CastSrcPointerType
460         if (const PointerType *CSPT = dyn_cast<PointerType>(CastSrc->getType()))
461           // convertable types?
462           if (PtrElType->isLosslesslyConvertableTo(CSPT->getElementType())) {
463             PRINT_PEEPHOLE2("load-src-cast:in ", Pointer, LI);
464
465             // Create the new load instruction... loading the pre-casted value
466             LoadInst *NewLI = new LoadInst(CastSrc, LI->getName(), BI);
467             
468             // Insert the new T cast instruction... stealing old T's name
469             CastInst *NCI = new CastInst(NewLI, LI->getType(), CI->getName());
470
471             // Replace the old store with a new one!
472             ReplaceInstWithInst(BB->getInstList(), BI, NCI);
473             PRINT_PEEPHOLE3("load-src-cast:out", NCI, CastSrc, NewLI);
474             ++NumLoadStorePeepholes;
475             return true;
476           }
477
478   } else if (I->getOpcode() == Instruction::Add &&
479              isa<CastInst>(I->getOperand(1))) {
480
481     if (PeepholeOptimizeAddCast(BB, BI, I->getOperand(0),
482                                 cast<CastInst>(I->getOperand(1)), TD)) {
483       ++NumGEPInstFormed;
484       return true;
485     }
486   } else if (CallInst *CI = dyn_cast<CallInst>(I)) {
487     // If we have a call with all varargs arguments, convert the call to use the
488     // actual argument types present...
489     //
490     const PointerType *PTy = cast<PointerType>(CI->getCalledValue()->getType());
491     const FunctionType *FTy = cast<FunctionType>(PTy->getElementType());
492
493     // Is the call to a vararg variable with no real parameters?
494     if (FTy->isVarArg() && FTy->getNumParams() == 0) {
495       // If so, insert a new cast instruction, casting it to a function type
496       // that matches the current arguments...
497       //
498       std::vector<const Type *> Params;  // Parameter types...
499       for (unsigned i = 1, e = CI->getNumOperands(); i != e; ++i)
500         Params.push_back(CI->getOperand(i)->getType());
501
502       FunctionType *NewFT = FunctionType::get(FTy->getReturnType(),
503                                               Params, false);
504       PointerType *NewPFunTy = PointerType::get(NewFT);
505
506       // Create a new cast, inserting it right before the function call...
507       CastInst *NewCast = new CastInst(CI->getCalledValue(), NewPFunTy,
508                                        CI->getCalledValue()->getName()+"_c",CI);
509
510       // Create a new call instruction...
511       CallInst *NewCall = new CallInst(NewCast,
512                            std::vector<Value*>(CI->op_begin()+1, CI->op_end()));
513       ++BI;
514       ReplaceInstWithInst(CI, NewCall);
515       
516       ++NumVarargCallChanges;
517       return true;
518     }
519
520   }
521
522   return false;
523 }
524
525
526
527
528 bool RPR::DoRaisePass(Function &F) {
529   bool Changed = false;
530   for (Function::iterator BB = F.begin(), BBE = F.end(); BB != BBE; ++BB)
531     for (BasicBlock::iterator BI = BB->begin(); BI != BB->end();) {
532       DEBUG(cerr << "Processing: " << *BI);
533       if (dceInstruction(BI) || doConstantPropogation(BI)) {
534         Changed = true; 
535         ++NumDCEorCP;
536         DEBUG(cerr << "***\t\t^^-- Dead code eliminated!\n");
537       } else if (PeepholeOptimize(BB, BI)) {
538         Changed = true;
539       } else {
540         ++BI;
541       }
542     }
543
544   return Changed;
545 }
546
547
548 // runOnFunction - Raise a function representation to a higher level.
549 bool RPR::runOnFunction(Function &F) {
550   DEBUG(cerr << "\n\n\nStarting to work on Function '" << F.getName() << "'\n");
551
552   // Insert casts for all incoming pointer pointer values that are treated as
553   // arrays...
554   //
555   bool Changed = false, LocalChange;
556
557   // If the StartInst option was specified, then Peephole optimize that
558   // instruction first if it occurs in this function.
559   //
560   if (!StartInst.empty()) {
561     for (Function::iterator BB = F.begin(), BBE = F.end(); BB != BBE; ++BB)
562       for (BasicBlock::iterator BI = BB->begin(); BI != BB->end(); ++BI)
563         if (BI->getName() == StartInst) {
564           bool SavedDebug = DebugFlag;  // Save the DEBUG() controlling flag.
565           DebugFlag = true;             // Turn on DEBUG's
566           Changed |= PeepholeOptimize(BB, BI);
567           DebugFlag = SavedDebug;       // Restore DebugFlag to previous state
568         }
569   }
570
571   do {
572     DEBUG(cerr << "Looping: \n" << F);
573
574     // Iterate over the function, refining it, until it converges on a stable
575     // state
576     LocalChange = false;
577     while (DoRaisePass(F)) LocalChange = true;
578     Changed |= LocalChange;
579
580   } while (LocalChange);
581
582   return Changed;
583 }