Thu, 22 Jan 2015 13:21:57 +0100
Incorporate requested changes from Mozilla in review:
https://bugzilla.mozilla.org/show_bug.cgi?id=1123480#c6
michael@0 | 1 | timeout(5); |
michael@0 | 2 | function f0(p0,p1,p2,p3,p4,p5,p6,p7,p8) { |
michael@0 | 3 | var v0; |
michael@0 | 4 | p0; |
michael@0 | 5 | v0 = p8; |
michael@0 | 6 | if (v0) { |
michael@0 | 7 | v0; |
michael@0 | 8 | v0 = (p5 ^ (p2 ^ p6)); |
michael@0 | 9 | if (p1) { |
michael@0 | 10 | } else { |
michael@0 | 11 | v0 = (((v0 & p6) ^ v0) + (v0 | p3)); |
michael@0 | 12 | } |
michael@0 | 13 | ((v0 + v0) + v0); |
michael@0 | 14 | (v0 + ((p1 + ((v0 & v0) & p1)) & v0)); |
michael@0 | 15 | p4; |
michael@0 | 16 | p2; |
michael@0 | 17 | v0 = v0; |
michael@0 | 18 | } |
michael@0 | 19 | p4; |
michael@0 | 20 | while ((v0 ^ p0)) { |
michael@0 | 21 | break; |
michael@0 | 22 | (v0 ^ (p1 + p4)); |
michael@0 | 23 | continue; |
michael@0 | 24 | v0; |
michael@0 | 25 | } |
michael@0 | 26 | v0; |
michael@0 | 27 | do { |
michael@0 | 28 | continue; |
michael@0 | 29 | v0 = p5; |
michael@0 | 30 | break; |
michael@0 | 31 | } while (v0); |
michael@0 | 32 | v0 = v0; |
michael@0 | 33 | } |
michael@0 | 34 | f0(0,5695,59,475,4562,6803,6440,6004,0); |
michael@0 | 35 |