Bug 361155

Description Paul Harmon 2011-10-17 11:08:36 EDT

For the following EGL code:

program pgm1 type BasicProgram {}
	
	myInt int = 4;
	function main()

		aaa boolean;
		index int;
		
		for (index from 1 to f3(aaa) by 5)
			SysLib.writeStdout("inside loop");
		end
		
	end
	function f3(p1 boolean inout) returns(int)
		SysLib.writeStdout("myint = " + myint);
		myint = myint + 1;	
		return (myInt);
	end
	
end


The for statement produced by java gen looks like this:
		boolean eze$Temp1 = false;
		AnyBoxedObject<Boolean> eze$Temp3;
		eze$Temp3 = EAny.ezeWrap(aaa);
		int eze$Temp2;
		eze$Temp2 = f3(eze$Temp3);
		aaa = eze$Temp3.ezeUnbox();
		for (index = (short) 1; index <= eze$Temp2; index += (short) 5) {
			if (eze$Temp1) {
				AnyBoxedObject<Boolean> eze$Temp6;
				eze$Temp6 = EAny.ezeWrap(aaa);
				eze$Temp2 = f3(eze$Temp6);
				aaa = eze$Temp6.ezeUnbox();
			}
			else {
				eze$Temp1 = true;
			}
			SysLib.writeStdout("inside loop");
		}


However, this is not right. With this logic, F3 will be invoked before the first entry into the loop (which is fine), but F3 will not be invoked again until AFTER the loop in entered the 2nd time. I have set up this scenerio to show that F3 is only invoked 1 time, when in fact it should be invoked 3 times. 

Attached is the hand written java equivalent to the EGL program. When it runs, it produces:
   myint = 4
   inside loop
   myint = 5
   inside loop
   myint = 6

But the generated EGL only produces:
   myint = 4
   inside loop


The generated java should look more like this:

		AnyBoxedObject<Boolean> eze$Temp3;
		eze$Temp3 = EAny.ezeWrap(aaa);
		int eze$Temp2;
		eze$Temp2 = f3(eze$Temp3);
		aaa = eze$Temp3.ezeUnbox();
		for (index = (short) 1; index <= eze$Temp2; index += (short) 5) {
			SysLib.writeStdout("inside loop");
			AnyBoxedObject<Boolean> eze$Temp6;
			eze$Temp6 = EAny.ezeWrap(aaa);
			eze$Temp2 = f3(eze$Temp6);
			aaa = eze$Temp6.ezeUnbox();
		}


The problem is in the IRs produced by ReorganizeCode