/*
 * Copyright (c) 2014, Oracle and/or its affiliates. All rights reserved.
 * DO NOT ALTER OR REMOVE COPYRIGHT NOTICES OR THIS FILE HEADER.
 *
 * This code is free software; you can redistribute it and/or modify it
 * under the terms of the GNU General Public License version 2 only, as
 * published by the Free Software Foundation.
 *
 * This code is distributed in the hope that it will be useful, but WITHOUT
 * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or
 * FITNESS FOR A PARTICULAR PURPOSE.  See the GNU General Public License
 * version 2 for more details (a copy is included in the LICENSE file that
 * accompanied this code).
 *
 * You should have received a copy of the GNU General Public License version
 * 2 along with this work; if not, write to the Free Software Foundation,
 * Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA.
 *
 * Please contact Oracle, 500 Oracle Parkway, Redwood Shores, CA 94065 USA
 * or visit www.oracle.com if you need additional information or have any
 * questions.
 */

/*
 * @test
 * @bug 8031321
 * @summary Support BMI1 instructions on x86/x64
 * @run main/othervm -server -Xbatch -XX:-TieredCompilation -XX:CompileCommand=compileonly,BMITests.* BMI1
 *
 */

class MemI {
  public int x;
  public MemI(int x) { this.x = x; }
}

class MemL {
  public long x;
  public MemL(long x) { this.x = x; }
}

class BMITests {
  static int andnl(int src1, int src2) {
    return ~src1 & src2;
  }
  static long andnq(long src1, long src2) {
    return ~src1 & src2;
  }
  static int andnl(int src1, MemI src2) {
    return ~src1 & src2.x;
  }
  static long andnq(long src1, MemL src2) {
    return ~src1 & src2.x;
  }
  static int blsil(int src1) {
    return src1 & -src1;
  }
  static long blsiq(long src1) {
    return src1 & -src1;
  }
  static int blsil(MemI src1) {
    return src1.x & -src1.x;
  }
  static long blsiq(MemL src1) {
    return src1.x & -src1.x;
  }
  static int blsmskl(int src1) {
    return (src1 - 1) ^ src1;
  }
  static long blsmskq(long src1) {
    return (src1 - 1) ^ src1;
  }
  static int blsmskl(MemI src1) {
    return (src1.x - 1) ^ src1.x;
  }
  static long blsmskq(MemL src1) {
    return (src1.x - 1) ^ src1.x;
  }
  static int blsrl(int src1) {
    return (src1 - 1) & src1;
  }
  static long blsrq(long src1) {
    return (src1 - 1) & src1;
  }
  static int blsrl(MemI src1) {
    return (src1.x - 1) & src1.x;
  }
  static long blsrq(MemL src1) {
    return (src1.x - 1) & src1.x;
  }
  static int lzcntl(int src1) {
    return Integer.numberOfLeadingZeros(src1);
  }
  static int lzcntq(long src1) {
    return Long.numberOfLeadingZeros(src1);
  }
  static int tzcntl(int src1) {
    return Integer.numberOfTrailingZeros(src1);
  }
  static int tzcntq(long src1) {
    return Long.numberOfTrailingZeros(src1);
  }
}

public class BMI1 {
  private static void fail() {
    System.out.println("FAILED");
    System.exit(97);
  }
  private final static int ITERATIONS = 1000000;

  public static void main(String[] args) {
    int ix = 0x01234567;
    int iy = 0x89abcdef;
    MemI imy = new MemI(iy);
    long lx = 0x0123456701234567L;
    long ly = 0x89abcdef89abcdefL;
    MemL lmy = new MemL(ly);

    { // match(Set dst (AndI (XorI src1 minus_1) src2))
      int z = BMITests.andnl(ix, iy);
      for (int i = 0; i < ITERATIONS; i++) {
        int ii = BMITests.andnl(ix, iy);
        if (ii != z) {
          fail();
        }
      }
    }
    { // match(Set dst (AndL (XorL src1 minus_1) src2))
      long z = BMITests.andnq(lx, ly);
      for (int i = 0; i < ITERATIONS; i++) {
        long ll = BMITests.andnq(lx, ly);
        if (ll != z) {
          fail();
        }
      }
    }
    { // match(Set dst (AndI (XorI src1 minus_1) (LoadI src2)))
      int z = BMITests.andnl(ix, imy);
      for (int i = 0; i < ITERATIONS; i++) {
        int ii = BMITests.andnl(ix, imy);
        if (ii != z) {
          fail();
        }
      }
    }
    { // match(Set dst (AndL (XorL src1 minus_1) (LoadL src2)))
      long z = BMITests.andnq(lx, lmy);
      for (int i = 0; i < ITERATIONS; i++) {
        long ll = BMITests.andnq(lx, lmy);
        if (ll != z) {
          fail();
        }
      }
    }
    { // match(Set dst (AndI (SubI imm_zero src) src))
      int z = BMITests.blsil(ix);
      for (int i = 0; i < ITERATIONS; i++) {
        int ii = BMITests.blsil(ix);
        if (ii != z) {
          fail();
        }
      }
    }
    { // match(Set dst (AndL (SubL imm_zero src) src))
      long z = BMITests.blsiq(lx);
      for (int i = 0; i < ITERATIONS; i++) {
        long ll = BMITests.blsiq(lx);
        if (ll != z) {
          fail();
        }
      }
    }
    { // match(Set dst (AndI (SubI imm_zero (LoadI src) ) (LoadI src) ))
      int z = BMITests.blsil(imy);
      for (int i = 0; i < ITERATIONS; i++) {
        int ii = BMITests.blsil(imy);
        if (ii != z) {
          fail();
        }
      }
    }
    { // match(Set dst (AndL (SubL imm_zero (LoadL src) ) (LoadL src) ))
      long z = BMITests.blsiq(lmy);
      for (int i = 0; i < ITERATIONS; i++) {
        long ll = BMITests.blsiq(lmy);
        if (ll != z) {
          fail();
        }
      }
    }

    { // match(Set dst (XorI (AddI src minus_1) src))
      int z = BMITests.blsmskl(ix);
      for (int i = 0; i < ITERATIONS; i++) {
        int ii = BMITests.blsmskl(ix);
        if (ii != z) {
          fail();
        }
      }
    }
    { // match(Set dst (XorL (AddL src minus_1) src))
      long z = BMITests.blsmskq(lx);
      for (int i = 0; i < ITERATIONS; i++) {
        long ll = BMITests.blsmskq(lx);
        if (ll != z) {
          fail();
        }
      }
    }
    { // match(Set dst (XorI (AddI (LoadI src) minus_1) (LoadI src) ) )
      int z = BMITests.blsmskl(imy);
      for (int i = 0; i < ITERATIONS; i++) {
        int ii = BMITests.blsmskl(imy);
        if (ii != z) {
          fail();
        }
      }
    }
    {  // match(Set dst (XorL (AddL (LoadL src) minus_1) (LoadL src) ) )
      long z = BMITests.blsmskq(lmy);
      for (int i = 0; i < ITERATIONS; i++) {
        long ll = BMITests.blsmskq(lmy);
        if (ll != z) {
          fail();
        }
      }
    }

    { //  match(Set dst (AndI (AddI src minus_1) src) )
      int z = BMITests.blsrl(ix);
      for (int i = 0; i < ITERATIONS; i++) {
        int ii = BMITests.blsrl(ix);
        if (ii != z) {
          fail();
        }
      }
    }
    { // match(Set dst (AndL (AddL src minus_1) src) )
      long z = BMITests.blsrq(lx);
      for (int i = 0; i < ITERATIONS; i++) {
        long ll = BMITests.blsrq(lx);
        if (ll != z) {
          fail();
        }
      }
    }
    { // match(Set dst (AndI (AddI (LoadI src) minus_1) (LoadI src) ) )
      int z = BMITests.blsrl(imy);
      for (int i = 0; i < ITERATIONS; i++) {
        int ii = BMITests.blsrl(imy);
        if (ii != z) {
          fail();
        }
      }
    }
    { // match(Set dst (AndL (AddL (LoadL src) minus_1) (LoadL src)) )
      long z = BMITests.blsrq(lmy);
      for (int i = 0; i < ITERATIONS; i++) {
        long ll = BMITests.blsrq(lmy);
        if (ll != z) {
          fail();
        }
      }
    }

    {
      int z = BMITests.lzcntl(ix);
      for (int i = 0; i < ITERATIONS; i++) {
        int ii = BMITests.lzcntl(ix);
        if (ii != z) {
          fail();
        }
      }
    }
    {
      int z = BMITests.lzcntq(lx);
      for (int i = 0; i < ITERATIONS; i++) {
        int ii = BMITests.lzcntq(lx);
        if (ii != z) {
          fail();
        }
      }
    }

    {
      int z = BMITests.tzcntl(ix);
      for (int i = 0; i < ITERATIONS; i++) {
        int ii = BMITests.tzcntl(ix);
        if (ii != z) {
          fail();
        }
      }
    }
    {
      int z = BMITests.tzcntq(lx);
      for (int i = 0; i < ITERATIONS; i++) {
        int ii = BMITests.tzcntq(lx);
        if (ii != z) {
          fail();
        }
      }
    }
  }
}