| OLD | NEW |
| 1 //===- llvm/unittest/Bitcode/NaClParseTypesTest.cpp ---------------------===// | 1 //===- llvm/unittest/Bitcode/NaClParseTypesTest.cpp ---------------------===// |
| 2 // Tests parser for PNaCl bitcode. | 2 // Tests parser for PNaCl bitcode. |
| 3 // | 3 // |
| 4 // The LLVM Compiler Infrastructure | 4 // The LLVM Compiler Infrastructure |
| 5 // | 5 // |
| 6 // This file is distributed under the University of Illinois Open Source | 6 // This file is distributed under the University of Illinois Open Source |
| 7 // License. See LICENSE.TXT for details. | 7 // License. See LICENSE.TXT for details. |
| 8 // | 8 // |
| 9 //===----------------------------------------------------------------------===// | 9 //===----------------------------------------------------------------------===// |
| 10 | 10 |
| 11 // Tests record errors in the types block when parsing PNaCl bitcode. | 11 // Tests record errors in the types block when parsing PNaCl bitcode. |
| 12 | 12 |
| 13 // TODO(kschimpf) Add more tests. | 13 // TODO(kschimpf) Add more tests. |
| 14 | 14 |
| 15 #include "llvm/ADT/STLExtras.h" | 15 #include "NaClMungeTest.h" |
| 16 #include "llvm/Bitcode/NaCl/NaClBitcodeMunge.h" | |
| 17 | |
| 18 #include "gtest/gtest.h" | |
| 19 | 16 |
| 20 using namespace llvm; | 17 using namespace llvm; |
| 21 | 18 |
| 22 namespace { | 19 namespace naclmungetest { |
| 23 | |
| 24 static const uint64_t Terminator = 0x5768798008978675LL; | |
| 25 | 20 |
| 26 TEST(NaClParseTypesTest, BadTypeReferences) { | 21 TEST(NaClParseTypesTest, BadTypeReferences) { |
| 27 const uint64_t BitcodeRecords[] = { | 22 const uint64_t BitcodeRecords[] = { |
| 28 1, 65535, 8, 2, Terminator, | 23 1, 65535, 8, 2, Terminator, |
| 29 1, 65535, 17, 2, Terminator, | 24 1, 65535, 17, 2, Terminator, |
| 30 3, 1, 2, Terminator, | 25 3, 1, 2, Terminator, |
| 31 3, 7, 32, Terminator, | 26 3, 7, 32, Terminator, |
| 32 3, 3, Terminator, | 27 3, 3, Terminator, |
| 33 0, 65534, Terminator, | 28 0, 65534, Terminator, |
| 34 0, 65534, Terminator | 29 0, 65534, Terminator |
| 35 }; | 30 }; |
| 36 | 31 |
| 37 const uint64_t ReplaceIndex = 4; | 32 const uint64_t ReplaceIndex = 4; |
| 38 | 33 |
| 39 // Show text of base input. | 34 // Show text of base input. |
| 40 NaClObjDumpMunger BaseMunger(BitcodeRecords, | 35 NaClObjDumpMunger BaseMunger(ARRAY_TERM(BitcodeRecords)); |
| 41 array_lengthof(BitcodeRecords), Terminator); | 36 EXPECT_TRUE(BaseMunger.runTest()); |
| 42 EXPECT_TRUE(BaseMunger.runTest("Bad type references base")); | |
| 43 EXPECT_EQ( | 37 EXPECT_EQ( |
| 44 " 0:0|<65532, 80, 69, 88, 69, 1, 0,|Magic Number: 'PEXE' (80, 69, " | 38 " 0:0|<65532, 80, 69, 88, 69, 1, 0,|Magic Number: 'PEXE' (80, 69, " |
| 45 "88, 69)\n" | 39 "88, 69)\n" |
| 46 " | 8, 0, 17, 0, 4, 0, 2, 0, 0, |PNaCl Version: 2\n" | 40 " | 8, 0, 17, 0, 4, 0, 2, 0, 0, |PNaCl Version: 2\n" |
| 47 " | 0> |\n" | 41 " | 0> |\n" |
| 48 " 16:0|1: <65535, 8, 2> |module { // BlockID = 8\n" | 42 " 16:0|1: <65535, 8, 2> |module { // BlockID = 8\n" |
| 49 " 24:0| 1: <65535, 17, 2> | types { // BlockID = 17\n" | 43 " 24:0| 1: <65535, 17, 2> | types { // BlockID = 17\n" |
| 50 " 32:0| 3: <1, 2> | count 2;\n" | 44 " 32:0| 3: <1, 2> | count 2;\n" |
| 51 " 34:4| 3: <7, 32> | @t0 = i32;\n" | 45 " 34:4| 3: <7, 32> | @t0 = i32;\n" |
| 52 " 37:6| 3: <3> | @t1 = float;\n" | 46 " 37:6| 3: <3> | @t1 = float;\n" |
| 53 " 39:4| 0: <65534> | }\n" | 47 " 39:4| 0: <65534> | }\n" |
| 54 " 40:0|0: <65534> |}\n", | 48 " 40:0|0: <65534> |}\n", |
| 55 BaseMunger.getTestResults()); | 49 BaseMunger.getTestResults()); |
| 56 | 50 |
| 57 // Show that we successfully parse the base input. | 51 // Show that we successfully parse the base input. |
| 58 NaClParseBitcodeMunger Munger(BitcodeRecords, | 52 NaClParseBitcodeMunger Munger(ARRAY_TERM(BitcodeRecords)); |
| 59 array_lengthof(BitcodeRecords), Terminator); | 53 EXPECT_TRUE(Munger.runTest(true)); |
| 60 EXPECT_TRUE(Munger.runTest("base parse", true)); | |
| 61 EXPECT_EQ( | 54 EXPECT_EQ( |
| 62 "Successful parse!\n", | 55 "Successful parse!\n", |
| 63 Munger.getTestResults()); | 56 Munger.getTestResults()); |
| 64 | 57 |
| 65 // Show what happens when misdefining: @t1 = float" | 58 // Show what happens when misdefining: @t1 = float" |
| 66 const uint64_t AddSelfReference[] = { | 59 const uint64_t AddSelfReference[] = { |
| 67 ReplaceIndex, NaClMungedBitcode::Replace, 3, 3, 1, Terminator | 60 ReplaceIndex, NaClMungedBitcode::Replace, 3, 3, 1, Terminator |
| 68 }; | 61 }; |
| 69 EXPECT_FALSE(Munger.runTest( | 62 EXPECT_FALSE(Munger.runTest(ARRAY(AddSelfReference), false)); |
| 70 "@t1 = float(1)", | |
| 71 AddSelfReference, array_lengthof(AddSelfReference), | |
| 72 false)); | |
| 73 EXPECT_EQ( | 63 EXPECT_EQ( |
| 74 "Error: Record doesn't have expected size or structure\n", | 64 "Error: Record doesn't have expected size or structure\n", |
| 75 Munger.getTestResults()); | 65 Munger.getTestResults()); |
| 76 EXPECT_FALSE(Munger.runTest( | 66 EXPECT_FALSE(Munger.runTest(ARRAY(AddSelfReference), true)); |
| 77 "@t1 = float(1)", | |
| 78 AddSelfReference, array_lengthof(AddSelfReference), | |
| 79 true)); | |
| 80 EXPECT_EQ( | 67 EXPECT_EQ( |
| 81 "Error(40:2): Invalid TYPE_CODE_FLOAT record\n" | 68 "Error(40:2): Invalid TYPE_CODE_FLOAT record\n" |
| 82 "Error: Record doesn't have expected size or structure\n", | 69 "Error: Record doesn't have expected size or structure\n", |
| 83 Munger.getTestResults()); | 70 Munger.getTestResults()); |
| 84 } | 71 } |
| 85 | 72 |
| 86 } // end of anonamous namespace. | 73 } // end of namespace naclmungetest |
| OLD | NEW |