michael@0: //test no multitrees assert
michael@0: function testBug463490() {
michael@0:     function f(a, b, d) {
michael@0:         for (var i = 0; i < 10; i++) {
michael@0:             if (d)
michael@0:                 b /= 2;
michael@0:         }
michael@0:         return a + b;
michael@0:     }
michael@0:     //integer stable loop
michael@0:     f(2, 2, false);
michael@0:     //double stable loop
michael@0:     f(3, 4.5, false);
michael@0:     //integer unstable branch
michael@0:     f(2, 2, true);
michael@0:     return true;
michael@0: };
michael@0: assertEq(testBug463490(), true);