tests/language/rewrite_swap_test.dart

// Copyright (c) 2014, the Dart project authors.  Please see the AUTHORS file
// for details. All rights reserved. Use of this source code is governed by a
// BSD-style license that can be found in the LICENSE file.

import "package:expect/expect.dart";

swap1(x,y,b) {
    if (b) {
        var t = x;
        x = y;
        y = t;
    }
    Expect.equals(2, x);
    Expect.equals(1, y);
}

swap2(x,y,z,w,b) {
    if (b) {
        var t = x;
        x = y;
        y = t;

        var q = z;
        z = w;
        w = q;
    }
    Expect.equals(2, x);
    Expect.equals(1, y);
    Expect.equals(4, z);
    Expect.equals(3, w);
}

swap3(x,y,z,b) {
    if (b) {
        var t = x;
        x = y;
        y = z;
        z = t;
    }
    Expect.equals(2, x);
    Expect.equals(3, y);
    Expect.equals(1, z);
}

swap4(x,y,z,b) {
    if (b) {
        var t = x;
        x = y;
        y = z; // swap cycle involves unused variable 'y'
        z = t;
    }
    Expect.equals(2, x);
    Expect.equals(1, z);
}

swap5(x,y,z,w,b,b2) {
    if (b) {
        var t = x;
        x = y;
        y = t;
    }
    if (b2) {
        var q = z;
        z = w;
        w = q;
    }
    Expect.equals(2, x);
    Expect.equals(1, y);
    Expect.equals(4, z);
    Expect.equals(3, w);
}

main() {
    swap1(1,2,true);
    swap1(2,1,false);

    swap2(1,2,3,4,true);
    swap2(2,1,4,3,false);

    swap3(1,2,3,true);
    swap3(2,3,1,false);

    swap4(1,2,3,true);
    swap4(2,3,1,false);

    swap5(1,2,3,4,true, true);
    swap5(1,2,4,3,true, false);
    swap5(2,1,3,4,false, true);
    swap5(2,1,4,3,false, false);
}