diff options
author | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-30 21:40:13 +0100 |
---|---|---|
committer | David Monniaux <david.monniaux@univ-grenoble-alpes.fr> | 2019-01-30 21:40:13 +0100 |
commit | b72a0e584fa9aca315cbedda067ece63dee2217d (patch) | |
tree | 6b4bf499758182609887d38a204dbe83a5543973 /test/monniaux/bitsliced-aes | |
parent | be449553d2fa4c801e2c05c129cab0be8673f35d (diff) | |
download | compcert-kvx-b72a0e584fa9aca315cbedda067ece63dee2217d.tar.gz compcert-kvx-b72a0e584fa9aca315cbedda067ece63dee2217d.zip |
show cycles
Diffstat (limited to 'test/monniaux/bitsliced-aes')
-rw-r--r-- | test/monniaux/bitsliced-aes/Makefile | 12 | ||||
-rw-r--r-- | test/monniaux/bitsliced-aes/Makefile.ccomp | 12 | ||||
-rw-r--r-- | test/monniaux/bitsliced-aes/main.c | 9 |
3 files changed, 20 insertions, 13 deletions
diff --git a/test/monniaux/bitsliced-aes/Makefile b/test/monniaux/bitsliced-aes/Makefile index 9073b602..65de1e2e 100644 --- a/test/monniaux/bitsliced-aes/Makefile +++ b/test/monniaux/bitsliced-aes/Makefile @@ -3,16 +3,18 @@ obj = $(src:.c=.o) CC=k1-mbr-gcc LDFLAGS = -Wl,--gc-sections -CFLAGS = -O3 -fdata-sections -ffunction-sections -DUNROLL_TRANSPOSE +CFLAGS = -O3 -fdata-sections -ffunction-sections # -DUNROLL_TRANSPOSE name = bitslice -$(name): _testbench $(obj) - $(CC) $(LDFLAGS) -o $@ $(obj) $(LDFLAGS) - +%.s : %.c + $(CC) $(CFLAGS) -S -o $@ $< test: _test $(obj) - $(CC) $(LDFLAGS) -o $(name) $(obj) $(LDFLAGS) + $(CC) $(LDFLAGS) -o $(name) $(obj) ../clock.o $(LDFLAGS) + +$(name): _testbench $(obj) + $(CC) $(LDFLAGS) -o $@ $(obj) $(LDFLAGS) footprint: _footprint $(obj) $(CC) $(LDFLAGS) -o $(name) $(obj) $(LDFLAGS) diff --git a/test/monniaux/bitsliced-aes/Makefile.ccomp b/test/monniaux/bitsliced-aes/Makefile.ccomp index 84bc3212..beb0ad39 100644 --- a/test/monniaux/bitsliced-aes/Makefile.ccomp +++ b/test/monniaux/bitsliced-aes/Makefile.ccomp @@ -2,17 +2,19 @@ src = $(wildcard *.c) obj = $(src:.c=.o) LDFLAGS = -Wl,--gc-sections -CFLAGS = -O3 -DUNROLL_TRANSPOSE -D_DEFAULT_SOURCE +CFLAGS = -O3 -D_DEFAULT_SOURCE # -DUNROLL_TRANSPOSE # CC=ccomp CC=../../../ccomp name = bitslice -$(name): _testbench $(obj) - $(CC) $(LDFLAGS) -o $@ $(obj) $(LDFLAGS) - +%.s : %.c + $(CC) $(CFLAGS) -S -o $@ $< test: _test $(obj) - $(CC) $(LDFLAGS) -o $(name) $(obj) $(LDFLAGS) + $(CC) $(LDFLAGS) -o $(name) $(obj) ../clock.o $(LDFLAGS) + +$(name): _testbench $(obj) + $(CC) $(LDFLAGS) -o $@ $(obj) $(LDFLAGS) footprint: _footprint $(obj) $(CC) $(LDFLAGS) -o $(name) $(obj) $(LDFLAGS) diff --git a/test/monniaux/bitsliced-aes/main.c b/test/monniaux/bitsliced-aes/main.c index 0ceb8ab2..5c730308 100644 --- a/test/monniaux/bitsliced-aes/main.c +++ b/test/monniaux/bitsliced-aes/main.c @@ -4,6 +4,7 @@ #include "bs.h" #include "aes.h" #include "utils.h" +#include "../clock.h" #include "testbench/app.h" #ifdef RUN_TESTS @@ -19,7 +20,8 @@ int main(int argc, char * argv[]) { - + clock_start(); + #ifdef RUN_TESTS #ifndef TEST_FOOTPRINT aes_ecb_test(); @@ -32,8 +34,9 @@ int main(int argc, char * argv[]) #endif - - + clock_stop(); + print_total_clock(); + return 0; } |