# HG changeset patch
# User Michael Starzinger <michi@complang.tuwien.ac.at>
# Date 1301953266 -7200
# Node ID 08de240ca6d8c3f6ea9cf2240c6318657e6fe4f9
# Parent  8c0170381072a6277ba1859e1ff0a99982ca630d
Added regression test for long shifting bug.

* rewriter/LongShiftTest.java: New regression test.

diff -r 8c0170381072 -r 08de240ca6d8 src/test/java/org/icedrobot/daneel/rewriter/LongShiftTest.java
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/src/test/java/org/icedrobot/daneel/rewriter/LongShiftTest.java	Mon Apr 04 23:41:06 2011 +0200
@@ -0,0 +1,94 @@
+/*
+ * Daneel - Dalvik to Java bytecode compiler
+ * Copyright (C) 2011  IcedRobot team
+ *
+ * This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU General Public License as published by
+ * the Free Software Foundation, either version 3 of the License, or
+ * (at your option) any later version.
+ *
+ * This program 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 for more details.
+ *
+ * You should have received a copy of the GNU General Public License
+ * along with this program.  If not, see <http://www.gnu.org/licenses/>.
+ *
+ * This file is subject to the "Classpath" exception:
+ *
+ * Linking this library statically or dynamically with other modules is
+ * making a combined work based on this library.  Thus, the terms and
+ * conditions of the GNU General Public License cover the whole
+ * combination.
+ *
+ * As a special exception, the copyright holders of this library give you
+ * permission to link this library with independent modules to produce an
+ * executable, regardless of the license terms of these independent
+ * modules, and to copy and distribute the resulting executable under terms
+ * of your choice, provided that you also meet, for each linked independent
+ * module, the terms and conditions of the license of that module.  An
+ * independent module is a module which is not derived from or based on
+ * this library.  If you modify this library, you may extend this exception
+ * to your version of the library, but you are not obligated to do so.  If
+ * you do not wish to do so, delete this exception statement from your
+ * version.
+ */
+
+package org.icedrobot.daneel.rewriter;
+
+import static org.junit.Assert.assertEquals;
+
+import org.icedrobot.daneel.DexifyingRunner;
+import org.junit.Test;
+import org.junit.runner.RunWith;
+
+/**
+ * This is a regression test for a bug which happens if you actually stick to
+ * the Dalvik VM bytecode specification. The long versions of the shifting
+ * operations actually have a different signature:
+ * <pre>
+ *   shr-long
+ *   int64 a, int32 b;
+ *   int64 result = a >> (b & 0x3f);
+ * </pre>
+ */
+@RunWith(DexifyingRunner.class)
+public class LongShiftTest {
+
+    @Test
+    public void testShl() {
+        assertEquals(23 << 1, DEXCode.shl(23, 1));
+        assertEquals(42 << 2, DEXCode.shl(42, 2));
+        assertEquals(-1 << 18, DEXCode.shl(-1, 18));
+    }
+
+    @Test
+    public void testShr() {
+        assertEquals(23 >> 1, DEXCode.shr(23, 1));
+        assertEquals(42 >> 2, DEXCode.shr(42, 2));
+        assertEquals(-1 >> 36, DEXCode.shr(-1, 36));
+    }
+
+    @Test
+    public void testUshr() {
+        assertEquals(23 >>> 1, DEXCode.ushr(23, 1));
+        assertEquals(42 >>> 2, DEXCode.ushr(42, 2));
+        assertEquals(-1 >>> 36, DEXCode.ushr(-1, 36));
+    }
+
+    // Keep this class named "DEXCode" to push it through Daneel.
+    private static class DEXCode {
+        public static int shl(long val, int shift) {
+            return (int) (val << shift);
+        }
+
+        public static int shr(long val, int shift) {
+            return (int) (val >> shift);
+        }
+
+        public static int ushr(long val, int shift) {
+            return (int) (val >>> shift);
+        }
+    };
+}