buzbee | c143c55 | 2011-08-20 17:38:58 -0700 | [diff] [blame] | 1 | // Copyright 2011 Google Inc. All Rights Reserved. |
| 2 | |
| 3 | #include "class_linker.h" |
| 4 | #include "common_test.h" |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 5 | #include "compiler.h" |
buzbee | 9e0f9b0 | 2011-08-24 15:32:46 -0700 | [diff] [blame] | 6 | #include "compiler_test.h" |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 7 | #include "dex_cache.h" |
buzbee | c143c55 | 2011-08-20 17:38:58 -0700 | [diff] [blame] | 8 | #include "dex_file.h" |
| 9 | #include "heap.h" |
| 10 | #include "object.h" |
| 11 | #include "scoped_ptr.h" |
| 12 | |
| 13 | #include <stdint.h> |
| 14 | #include <stdio.h> |
buzbee | c143c55 | 2011-08-20 17:38:58 -0700 | [diff] [blame] | 15 | |
| 16 | namespace art { |
| 17 | |
| 18 | class CompilerTest : public CommonTest { |
Brian Carlstrom | bffb155 | 2011-08-25 12:23:53 -0700 | [diff] [blame] | 19 | protected: |
| 20 | void CompileDex(const char* base64_dex, const char* base64_name) { |
| 21 | dex_file_.reset(OpenDexFileBase64(base64_dex, base64_name)); |
| 22 | class_linker_->RegisterDexFile(*dex_file_.get()); |
| 23 | std::vector<const DexFile*> class_path; |
| 24 | class_path.push_back(dex_file_.get()); |
| 25 | Compiler compiler; |
| 26 | const ClassLoader* class_loader = compiler.Compile(class_path); |
| 27 | Thread::Current()->SetClassLoaderOverride(class_loader); |
| 28 | } |
| 29 | |
| 30 | void AssertStaticIntMethod(const char* klass, const char* method, const char* signature, |
| 31 | jint expected, ...) { |
| 32 | JNIEnv* env = Thread::Current()->GetJniEnv(); |
| 33 | jclass c = env->FindClass(klass); |
| 34 | CHECK(c != NULL); |
| 35 | jmethodID m = env->GetStaticMethodID(c, method, signature); |
| 36 | CHECK(m != NULL); |
| 37 | #if defined(__arm__) |
| 38 | va_list args; |
| 39 | va_start(args, expected); |
| 40 | jint result = env->CallStaticIntMethodV(c, m, args); |
| 41 | va_end(args); |
| 42 | LOG(INFO) << klass << "." << method << "(...) result is " << result; |
| 43 | EXPECT_EQ(expected, result); |
| 44 | #endif // __arm__ |
| 45 | } |
buzbee | bafc342 | 2011-08-25 15:22:55 -0700 | [diff] [blame] | 46 | void AssertStaticLongMethod(const char* klass, const char* method, |
| 47 | const char* signature, jlong expected, ...) { |
| 48 | JNIEnv* env = Thread::Current()->GetJniEnv(); |
| 49 | jclass c = env->FindClass(klass); |
| 50 | CHECK(c != NULL); |
| 51 | jmethodID m = env->GetStaticMethodID(c, method, signature); |
| 52 | CHECK(m != NULL); |
| 53 | #if defined(__arm__) |
| 54 | va_list args; |
| 55 | va_start(args, expected); |
buzbee | c5ef046 | 2011-08-25 18:44:49 -0700 | [diff] [blame^] | 56 | jlong result = env->CallStaticLongMethodV(c, m, args); |
buzbee | bafc342 | 2011-08-25 15:22:55 -0700 | [diff] [blame] | 57 | va_end(args); |
| 58 | LOG(INFO) << klass << "." << method << "(...) result is " << result; |
| 59 | EXPECT_EQ(expected, result); |
| 60 | #endif // __arm__ |
| 61 | } |
Brian Carlstrom | bffb155 | 2011-08-25 12:23:53 -0700 | [diff] [blame] | 62 | private: |
| 63 | scoped_ptr<DexFile> dex_file_; |
buzbee | c143c55 | 2011-08-20 17:38:58 -0700 | [diff] [blame] | 64 | }; |
| 65 | |
Brian Carlstrom | bffb155 | 2011-08-25 12:23:53 -0700 | [diff] [blame] | 66 | TEST_F(CompilerTest, CompileDexLibCore) { |
| 67 | // TODO renenable when compiler can handle libcore |
| 68 | if (true) { |
| 69 | return; |
| 70 | } |
Brian Carlstrom | 9ea1cb1 | 2011-08-24 23:18:18 -0700 | [diff] [blame] | 71 | Compiler compiler; |
| 72 | compiler.Compile(boot_class_path_); |
| 73 | |
| 74 | // All libcore references should resolve |
| 75 | const DexFile* dex = java_lang_dex_file_.get(); |
| 76 | DexCache* dex_cache = class_linker_->FindDexCache(*dex); |
| 77 | EXPECT_EQ(dex->NumStringIds(), dex_cache->NumStrings()); |
| 78 | for (size_t i = 0; i < dex_cache->NumStrings(); i++) { |
| 79 | String* string = dex_cache->GetResolvedString(i); |
| 80 | EXPECT_TRUE(string != NULL); |
| 81 | } |
| 82 | EXPECT_EQ(dex->NumTypeIds(), dex_cache->NumTypes()); |
| 83 | for (size_t i = 0; i < dex_cache->NumTypes(); i++) { |
| 84 | Class* type = dex_cache->GetResolvedType(i); |
| 85 | EXPECT_TRUE(type != NULL); |
| 86 | } |
| 87 | EXPECT_EQ(dex->NumMethodIds(), dex_cache->NumMethods()); |
| 88 | for (size_t i = 0; i < dex_cache->NumMethods(); i++) { |
| 89 | // TODO: ClassLinker::ResolveMethod |
| 90 | // Method* method = dex_cache->GetResolvedMethod(i); |
| 91 | // EXPECT_TRUE(method != NULL); |
| 92 | } |
| 93 | EXPECT_EQ(dex->NumFieldIds(), dex_cache->NumFields()); |
| 94 | for (size_t i = 0; i < dex_cache->NumFields(); i++) { |
| 95 | // TODO: ClassLinker::ResolveField |
| 96 | // Field* field = dex_cache->GetResolvedField(i); |
| 97 | // EXPECT_TRUE(field != NULL); |
| 98 | } |
| 99 | |
| 100 | } |
| 101 | |
buzbee | c143c55 | 2011-08-20 17:38:58 -0700 | [diff] [blame] | 102 | TEST_F(CompilerTest, BasicCodegen) { |
Brian Carlstrom | bffb155 | 2011-08-25 12:23:53 -0700 | [diff] [blame] | 103 | CompileDex(kFibonacciDex, "kFibonacciDex"); |
| 104 | AssertStaticIntMethod("Fibonacci", "fibonacci", "(I)I", 55, |
| 105 | 10); |
buzbee | c143c55 | 2011-08-20 17:38:58 -0700 | [diff] [blame] | 106 | } |
buzbee | 3ea4ec5 | 2011-08-22 17:37:19 -0700 | [diff] [blame] | 107 | |
| 108 | TEST_F(CompilerTest, UnopTest) { |
Brian Carlstrom | bffb155 | 2011-08-25 12:23:53 -0700 | [diff] [blame] | 109 | CompileDex(kIntMathDex, "kIntMathDex"); |
| 110 | AssertStaticIntMethod("IntMath", "unopTest", "(I)I", 37, |
| 111 | 38); |
buzbee | 3ea4ec5 | 2011-08-22 17:37:19 -0700 | [diff] [blame] | 112 | } |
| 113 | |
buzbee | 3ea4ec5 | 2011-08-22 17:37:19 -0700 | [diff] [blame] | 114 | TEST_F(CompilerTest, ShiftTest1) { |
Brian Carlstrom | bffb155 | 2011-08-25 12:23:53 -0700 | [diff] [blame] | 115 | CompileDex(kIntMathDex, "kIntMathDex"); |
| 116 | AssertStaticIntMethod("IntMath", "shiftTest1", "()I", 0); |
buzbee | 3ea4ec5 | 2011-08-22 17:37:19 -0700 | [diff] [blame] | 117 | } |
buzbee | c143c55 | 2011-08-20 17:38:58 -0700 | [diff] [blame] | 118 | |
buzbee | 3ea4ec5 | 2011-08-22 17:37:19 -0700 | [diff] [blame] | 119 | TEST_F(CompilerTest, ShiftTest2) { |
Brian Carlstrom | bffb155 | 2011-08-25 12:23:53 -0700 | [diff] [blame] | 120 | CompileDex(kIntMathDex, "kIntMathDex"); |
| 121 | AssertStaticIntMethod("IntMath", "shiftTest2", "()I", 0); |
buzbee | 3ea4ec5 | 2011-08-22 17:37:19 -0700 | [diff] [blame] | 122 | } |
buzbee | 3ea4ec5 | 2011-08-22 17:37:19 -0700 | [diff] [blame] | 123 | |
| 124 | TEST_F(CompilerTest, UnsignedShiftTest) { |
Brian Carlstrom | bffb155 | 2011-08-25 12:23:53 -0700 | [diff] [blame] | 125 | CompileDex(kIntMathDex, "kIntMathDex"); |
| 126 | AssertStaticIntMethod("IntMath", "unsignedShiftTest", "()I", 0); |
buzbee | 3ea4ec5 | 2011-08-22 17:37:19 -0700 | [diff] [blame] | 127 | } |
| 128 | |
buzbee | 3ea4ec5 | 2011-08-22 17:37:19 -0700 | [diff] [blame] | 129 | TEST_F(CompilerTest, ConvTest) { |
Brian Carlstrom | bffb155 | 2011-08-25 12:23:53 -0700 | [diff] [blame] | 130 | CompileDex(kIntMathDex, "kIntMathDex"); |
| 131 | AssertStaticIntMethod("IntMath", "convTest", "()I", 0); |
buzbee | 3ea4ec5 | 2011-08-22 17:37:19 -0700 | [diff] [blame] | 132 | } |
buzbee | 3ea4ec5 | 2011-08-22 17:37:19 -0700 | [diff] [blame] | 133 | |
| 134 | TEST_F(CompilerTest, CharSubTest) { |
Brian Carlstrom | bffb155 | 2011-08-25 12:23:53 -0700 | [diff] [blame] | 135 | CompileDex(kIntMathDex, "kIntMathDex"); |
| 136 | AssertStaticIntMethod("IntMath", "charSubTest", "()I", 0); |
buzbee | 3ea4ec5 | 2011-08-22 17:37:19 -0700 | [diff] [blame] | 137 | } |
| 138 | |
buzbee | 3ea4ec5 | 2011-08-22 17:37:19 -0700 | [diff] [blame] | 139 | TEST_F(CompilerTest, IntOperTest) { |
Brian Carlstrom | bffb155 | 2011-08-25 12:23:53 -0700 | [diff] [blame] | 140 | CompileDex(kIntMathDex, "kIntMathDex"); |
| 141 | AssertStaticIntMethod("IntMath", "intOperTest", "(II)I", 0, |
| 142 | 70000, -3); |
buzbee | 3ea4ec5 | 2011-08-22 17:37:19 -0700 | [diff] [blame] | 143 | } |
buzbee | 3ea4ec5 | 2011-08-22 17:37:19 -0700 | [diff] [blame] | 144 | |
buzbee | 3ea4ec5 | 2011-08-22 17:37:19 -0700 | [diff] [blame] | 145 | TEST_F(CompilerTest, Lit16Test) { |
Brian Carlstrom | bffb155 | 2011-08-25 12:23:53 -0700 | [diff] [blame] | 146 | CompileDex(kIntMathDex, "kIntMathDex"); |
| 147 | AssertStaticIntMethod("IntMath", "lit16Test", "(I)I", 0, |
| 148 | 77777); |
buzbee | 3ea4ec5 | 2011-08-22 17:37:19 -0700 | [diff] [blame] | 149 | } |
buzbee | 3ea4ec5 | 2011-08-22 17:37:19 -0700 | [diff] [blame] | 150 | |
buzbee | 3ea4ec5 | 2011-08-22 17:37:19 -0700 | [diff] [blame] | 151 | TEST_F(CompilerTest, Lit8Test) { |
Brian Carlstrom | bffb155 | 2011-08-25 12:23:53 -0700 | [diff] [blame] | 152 | CompileDex(kIntMathDex, "kIntMathDex"); |
| 153 | AssertStaticIntMethod("IntMath", "lit8Test", "(I)I", 0, |
| 154 | -55555); |
buzbee | 3ea4ec5 | 2011-08-22 17:37:19 -0700 | [diff] [blame] | 155 | } |
buzbee | 3ea4ec5 | 2011-08-22 17:37:19 -0700 | [diff] [blame] | 156 | |
buzbee | 3ea4ec5 | 2011-08-22 17:37:19 -0700 | [diff] [blame] | 157 | TEST_F(CompilerTest, IntShiftTest) { |
Brian Carlstrom | bffb155 | 2011-08-25 12:23:53 -0700 | [diff] [blame] | 158 | CompileDex(kIntMathDex, "kIntMathDex"); |
| 159 | AssertStaticIntMethod("IntMath", "intShiftTest", "(II)I", 0, |
| 160 | 0xff00aa01, 8); |
buzbee | 3ea4ec5 | 2011-08-22 17:37:19 -0700 | [diff] [blame] | 161 | } |
buzbee | 3ea4ec5 | 2011-08-22 17:37:19 -0700 | [diff] [blame] | 162 | |
buzbee | 3ea4ec5 | 2011-08-22 17:37:19 -0700 | [diff] [blame] | 163 | TEST_F(CompilerTest, LongOperTest) { |
Brian Carlstrom | bffb155 | 2011-08-25 12:23:53 -0700 | [diff] [blame] | 164 | CompileDex(kIntMathDex, "kIntMathDex"); |
| 165 | AssertStaticIntMethod("IntMath", "longOperTest", "(JJ)I", 0, |
| 166 | 70000000000LL, 3); |
buzbee | 3ea4ec5 | 2011-08-22 17:37:19 -0700 | [diff] [blame] | 167 | } |
buzbee | 3ea4ec5 | 2011-08-22 17:37:19 -0700 | [diff] [blame] | 168 | |
buzbee | 3ea4ec5 | 2011-08-22 17:37:19 -0700 | [diff] [blame] | 169 | TEST_F(CompilerTest, LongShiftTest) { |
Brian Carlstrom | bffb155 | 2011-08-25 12:23:53 -0700 | [diff] [blame] | 170 | CompileDex(kIntMathDex, "kIntMathDex"); |
buzbee | bafc342 | 2011-08-25 15:22:55 -0700 | [diff] [blame] | 171 | AssertStaticLongMethod("IntMath", "longShiftTest", "(JI)J", 0, |
| 172 | 0xd5aa96deff00aa01LL, 8); |
buzbee | 3ea4ec5 | 2011-08-22 17:37:19 -0700 | [diff] [blame] | 173 | } |
buzbee | 3ea4ec5 | 2011-08-22 17:37:19 -0700 | [diff] [blame] | 174 | |
buzbee | 9e0f9b0 | 2011-08-24 15:32:46 -0700 | [diff] [blame] | 175 | TEST_F(CompilerTest, SwitchTest1) { |
Brian Carlstrom | bffb155 | 2011-08-25 12:23:53 -0700 | [diff] [blame] | 176 | CompileDex(kIntMathDex, "kIntMathDex"); |
| 177 | AssertStaticIntMethod("IntMath", "switchTest", "(I)I", 1234, |
| 178 | 1); |
buzbee | 9e0f9b0 | 2011-08-24 15:32:46 -0700 | [diff] [blame] | 179 | } |
| 180 | |
| 181 | TEST_F(CompilerTest, IntCompare) { |
Brian Carlstrom | bffb155 | 2011-08-25 12:23:53 -0700 | [diff] [blame] | 182 | CompileDex(kIntMathDex, "kIntMathDex"); |
| 183 | AssertStaticIntMethod("IntMath", "testIntCompare", "(IIII)I", 1111, |
| 184 | -5, 4, 4, 0); |
buzbee | 9e0f9b0 | 2011-08-24 15:32:46 -0700 | [diff] [blame] | 185 | } |
| 186 | |
| 187 | TEST_F(CompilerTest, LongCompare) { |
Brian Carlstrom | bffb155 | 2011-08-25 12:23:53 -0700 | [diff] [blame] | 188 | CompileDex(kIntMathDex, "kIntMathDex"); |
| 189 | AssertStaticIntMethod("IntMath", "testLongCompare", "(JJJJ)I", 2222, |
| 190 | -5LL, -4294967287LL, 4LL, 8LL); |
buzbee | 9e0f9b0 | 2011-08-24 15:32:46 -0700 | [diff] [blame] | 191 | } |
| 192 | |
Brian Carlstrom | bffb155 | 2011-08-25 12:23:53 -0700 | [diff] [blame] | 193 | #if 0 |
buzbee | 9e0f9b0 | 2011-08-24 15:32:46 -0700 | [diff] [blame] | 194 | TEST_F(CompilerTest, FloatCompare) { |
Brian Carlstrom | bffb155 | 2011-08-25 12:23:53 -0700 | [diff] [blame] | 195 | CompileDex(kIntMathDex, "kIntMathDex"); |
| 196 | AssertStaticIntMethod("IntMath", "testFloatCompare", "(FFFF)I", 3333 |
| 197 | -5.0f, 4.0f, 4.0f, |
| 198 | (1.0f/0.0f) / (1.0f/0.0f)); |
buzbee | 9e0f9b0 | 2011-08-24 15:32:46 -0700 | [diff] [blame] | 199 | } |
Brian Carlstrom | bffb155 | 2011-08-25 12:23:53 -0700 | [diff] [blame] | 200 | #endif |
buzbee | 9e0f9b0 | 2011-08-24 15:32:46 -0700 | [diff] [blame] | 201 | |
| 202 | TEST_F(CompilerTest, DoubleCompare) { |
Brian Carlstrom | bffb155 | 2011-08-25 12:23:53 -0700 | [diff] [blame] | 203 | CompileDex(kIntMathDex, "kIntMathDex"); |
| 204 | AssertStaticIntMethod("IntMath", "testDoubleCompare", "(DDDD)I", 4444, |
| 205 | -5.0, 4.0, 4.0, |
| 206 | (1.0/0.0) / (1.0/0.0)); |
buzbee | 9e0f9b0 | 2011-08-24 15:32:46 -0700 | [diff] [blame] | 207 | } |
| 208 | |
buzbee | c5ef046 | 2011-08-25 18:44:49 -0700 | [diff] [blame^] | 209 | #if 0 // Re-enable when method resolution in place |
| 210 | TEST_F(CompilerTest, RecursiveFibonacci) { |
| 211 | CompileDex(kIntMathDex, "kIntMathDex"); |
| 212 | AssertStaticIntMethod("IntMath", "fibonacci", "(I)I", 55, |
| 213 | 10); |
| 214 | } |
| 215 | #endif |
| 216 | |
buzbee | c143c55 | 2011-08-20 17:38:58 -0700 | [diff] [blame] | 217 | } // namespace art |