File: Bitmasks.cpp

package info (click to toggle)
storm-lang 0.7.5-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid
  • size: 52,028 kB
  • sloc: ansic: 261,471; cpp: 140,432; sh: 14,891; perl: 9,846; python: 2,525; lisp: 2,504; asm: 860; makefile: 678; pascal: 70; java: 52; xml: 37; awk: 12
file content (88 lines) | stat: -rw-r--r-- 2,749 bytes parent folder | download | duplicates (3)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
#include "stdafx.h"
#include "Code/Binary.h"
#include "Code/Listing.h"

#include "Code/Arm64/Asm.h"

using namespace code;

static Nat bitmask(Nat n, Nat imms, Nat immr) {
	return n << 12 | immr << 6 | imms;
}

BEGIN_TEST(Arm64BitmaskGenerator, Code) {
	// Some basic tests of the bitmask generator.
	CHECK_EQ(code::arm64::encodeBitmask(0x00FFFF00, false), bitmask(0, 0x0F, 0x18));
	CHECK_EQ(code::arm64::encodeBitmask(0xEEEEEEEE, false), bitmask(0, 0x3A, 0x3));
	CHECK_EQ(code::arm64::encodeBitmask(0x0000FFFFFFFF0000, true), bitmask(1, 0x1F, 0x30));
	CHECK_EQ(code::arm64::encodeBitmask(0xEEEEEEEEEEEEEEEE, true), bitmask(0, 0x3A, 0x3));
	CHECK_EQ(code::arm64::encodeBitmask(0xE1E1E1E1E1E1E1E1, true), bitmask(0, 0x33, 0x3));
	CHECK_EQ(code::arm64::encodeBitmask(0x0000000000100000, true), bitmask(1, 0x00, 0x2C));

	// These are not possible to encode:
	CHECK_EQ(code::arm64::encodeBitmask(0x0010001000001000, true), 0);
	CHECK_EQ(code::arm64::encodeBitmask(0x0000000000000000, true), 0);
	CHECK_EQ(code::arm64::encodeBitmask(0xFFFFFFFFFFFFFFFF, true), 0);
} END_TEST


// Generates code that uses bitmasks on the ARM platform.
static Nat useBitmask32(Word bitmask) {
	Engine &e = gEngine();
	Arena *arena = code::arena(e);

	Listing *l = new (e) Listing(false, intDesc(e));

	*l << prolog();

	*l << mov(eax, intConst(0));

	// On ARM, the or operation is encoded using the bitmask method.
	*l << bor(eax, intConst(Nat(bitmask)));

	*l << fnRet(eax);

	Binary *b = new (e) Binary(arena, l);
	typedef Nat (*Fn)();
	Fn fn = (Fn)b->address();
	return (*fn)();
}

static Word useBitmask64(Word bitmask) {
	Engine &e = gEngine();
	Arena *arena = code::arena(e);

	Listing *l = new (e) Listing(false, longDesc(e));

	*l << prolog();

	*l << mov(rax, wordConst(0));

	// On ARM, the or operation is encoded using the bitmask method.
	*l << bor(rax, wordConst(bitmask));

	*l << fnRet(rax);

	Binary *b = new (e) Binary(arena, l);
	typedef Word (*Fn)();
	Fn fn = (Fn)b->address();
	return (*fn)();
}

BEGIN_TEST(Arm64BitmaskTest, Code) {
	CHECK_EQ(useBitmask32(0x0FF00FF0), 0x0FF00FF0);
	CHECK_EQ(useBitmask32(0x00FFFF00), 0x00FFFF00);
	CHECK_EQ(useBitmask32(0xEEEEEEEE), 0xEEEEEEEE);

	CHECK_EQ(useBitmask64(0x000FFFFFF0000000), 0x000FFFFFF0000000);
	CHECK_EQ(useBitmask64(0xEEEEEEEEEEEEEEEE), 0xEEEEEEEEEEEEEEEE);
	CHECK_EQ(useBitmask64(0xE1E1E1E1E1E1E1E1), 0xE1E1E1E1E1E1E1E1);
	CHECK_EQ(useBitmask64(0x0000000000001000), 0x0000000000001000);

	// These will have to use some fallback.
	CHECK_EQ(useBitmask64(0x0010000010001001), 0x0010000010001001);

	// These might be a special case in the implementation.
	CHECK_EQ(useBitmask64(0x0000000000000000), 0x0000000000000000);
	CHECK_EQ(useBitmask64(0xFFFFFFFFFFFFFFFF), 0xFFFFFFFFFFFFFFFF);
} END_TEST