diff options
| author | Cyril SIX <cyril.six@kalray.eu> | 2018-04-04 11:40:16 +0200 |
|---|---|---|
| committer | Cyril SIX <cyril.six@kalray.eu> | 2018-04-04 16:30:10 +0200 |
| commit | 36076263491312d634bd0d39f8de718f32462da2 (patch) | |
| tree | 3cfd58bba2cccd1bd52aae00d411c3f9ee2aa1cf /test/mppa | |
| parent | 69813ed0107cd76caa322db5e1df1b7b969b7012 (diff) | |
| download | compcert-kvx-36076263491312d634bd0d39f8de718f32462da2.tar.gz compcert-kvx-36076263491312d634bd0d39f8de718f32462da2.zip | |
MPPA - Added signed immediate comparison
Diffstat (limited to 'test/mppa')
| -rw-r--r-- | test/mppa/Makefile | 5 | ||||
| -rw-r--r-- | test/mppa/for.c | 9 |
2 files changed, 13 insertions, 1 deletions
diff --git a/test/mppa/Makefile b/test/mppa/Makefile index e73dcb38..b1f25ef1 100644 --- a/test/mppa/Makefile +++ b/test/mppa/Makefile @@ -1,8 +1,11 @@ -ELF=simple.bin call.bin branch.bin +ELF=simple.bin call.bin branch.bin for.bin +ASM=$(subst .bin,.s,$(ELF)) DEBUG:=$(if $(DEBUG),"-dall",) all: $(ELF) +nobin: $(ASM) + %.bin: %.s k1-gcc $< -o $@ diff --git a/test/mppa/for.c b/test/mppa/for.c new file mode 100644 index 00000000..6a3a6cc8 --- /dev/null +++ b/test/mppa/for.c @@ -0,0 +1,9 @@ +int main(void){ + int a = 4; + int i; + + for (i = 0 ; i < 12 ; i++) + a++; + + return a; +} |