From 2f549eaf7f6bc7e97d8f8a830d18808c2ae66186 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Thu, 25 Apr 2019 11:36:28 +0200 Subject: read from bit fields --- test/monniaux/bitfields/bitfields.c | 20 ++++++++++++++++++++ 1 file changed, 20 insertions(+) create mode 100644 test/monniaux/bitfields/bitfields.c (limited to 'test/monniaux/bitfields') diff --git a/test/monniaux/bitfields/bitfields.c b/test/monniaux/bitfields/bitfields.c new file mode 100644 index 00000000..868d7483 --- /dev/null +++ b/test/monniaux/bitfields/bitfields.c @@ -0,0 +1,20 @@ +#include + +struct fields { + unsigned f0 : 3; + unsigned f1 : 5; + signed f2 : 3; +}; + +int get_f1(struct fields x) { + return x.f1; +} + +int get_f2(struct fields x) { + return x.f2; +} + +int main() { + struct fields x = {1, 2, -1}; + printf("%d %d\n", get_f1(x), get_f2(x)); +} -- cgit From ff1e531a3f2a58b6fbdc4a5a29f2520d5367c01c Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Thu, 25 Apr 2019 16:24:10 +0200 Subject: start of extfzl/extfsl --- test/monniaux/bitfields/bitfields.c | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'test/monniaux/bitfields') diff --git a/test/monniaux/bitfields/bitfields.c b/test/monniaux/bitfields/bitfields.c index 868d7483..f9e84399 100644 --- a/test/monniaux/bitfields/bitfields.c +++ b/test/monniaux/bitfields/bitfields.c @@ -14,7 +14,13 @@ int get_f2(struct fields x) { return x.f2; } +void set_f1(struct fields *x, unsigned v) { + x->f1 = v; +} + int main() { struct fields x = {1, 2, -1}; printf("%d %d\n", get_f1(x), get_f2(x)); + set_f1(&x, 4); + printf("%d %d\n", get_f1(x), get_f2(x)); } -- cgit From f2e996383571ba2cb794f9ecf9487a53bd370a0c Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Mon, 29 Apr 2019 07:43:28 +0200 Subject: test for long bitfields --- test/monniaux/bitfields/bitfields_long.c | 19 +++++++++++++++++++ 1 file changed, 19 insertions(+) create mode 100644 test/monniaux/bitfields/bitfields_long.c (limited to 'test/monniaux/bitfields') diff --git a/test/monniaux/bitfields/bitfields_long.c b/test/monniaux/bitfields/bitfields_long.c new file mode 100644 index 00000000..93bba8d0 --- /dev/null +++ b/test/monniaux/bitfields/bitfields_long.c @@ -0,0 +1,19 @@ +#include +#include + +#define GET_FIELD_L(x, stop, start) (((x) << (63-(stop))) >> (63-(stop)+(start))) +#define FIELD_MASK(stop, start) ((1ULL<<(stop)) - (1ULL<<(start)) + (1ULL<<(stop))) + +#define SET_FIELD_L(x, stop, start, y) (((x) & ~FIELD_MASK(stop, start)) | ((y << start) & FIELD_MASK(stop, start))) + +uint64_t get_f2(uint64_t x) { + return GET_FIELD_L(x, 47, 16); +} + +uint64_t set_f2(uint64_t x, uint64_t y) { + return SET_FIELD_L(x, 47, 16, y); +} + +int main() { + printf("%lx %lx\n", FIELD_MASK(47, 16), set_f2(0x12345678ABCD1234ULL, 0x11112222ULL)); +} -- cgit From cd3642815d4260a9e7868fce3fb6a4a8a8ea8746 Mon Sep 17 00:00:00 2001 From: David Monniaux Date: Mon, 29 Apr 2019 10:29:00 +0200 Subject: Srsd / Srsw --- test/monniaux/bitfields/bitfields.c | 10 ++++++++++ 1 file changed, 10 insertions(+) (limited to 'test/monniaux/bitfields') diff --git a/test/monniaux/bitfields/bitfields.c b/test/monniaux/bitfields/bitfields.c index f9e84399..16ad5a61 100644 --- a/test/monniaux/bitfields/bitfields.c +++ b/test/monniaux/bitfields/bitfields.c @@ -4,8 +4,18 @@ struct fields { unsigned f0 : 3; unsigned f1 : 5; signed f2 : 3; + unsigned toto1: 16; + unsigned toto2: 16; }; +unsigned get_toto1(struct fields x) { + return x.toto1; +} + +unsigned get_toto2(struct fields x) { + return x.toto2; +} + int get_f1(struct fields x) { return x.f1; } -- cgit