diff options
author | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-05-31 07:50:33 +0200 |
---|---|---|
committer | Léo Gourdin <leo.gourdin@univ-grenoble-alpes.fr> | 2021-05-31 07:50:33 +0200 |
commit | 3bf9a4fc0606c94d743b0fb7c0b59143c0417f17 (patch) | |
tree | ace41447a627e4a9e3dc3b5bc4f3b28abd89dfc1 /riscV | |
parent | 537e20b6963e2eb60be1b1cb98807f3bb2ea9d75 (diff) | |
parent | 25a3de1e003f02012eefe427ea24c875972c5c22 (diff) | |
download | compcert-kvx-3bf9a4fc0606c94d743b0fb7c0b59143c0417f17.tar.gz compcert-kvx-3bf9a4fc0606c94d743b0fb7c0b59143c0417f17.zip |
Merge branch 'kvx-work' of gricad-gitlab.univ-grenoble-alpes.fr:sixcy/CompCert into kvx-work
Diffstat (limited to 'riscV')
-rw-r--r-- | riscV/ExpansionOracle.ml | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/riscV/ExpansionOracle.ml b/riscV/ExpansionOracle.ml index 1384b9b3..b3f1f8ce 100644 --- a/riscV/ExpansionOracle.ml +++ b/riscV/ExpansionOracle.ml @@ -696,7 +696,6 @@ let expanse (sb : superblock) code pm = was_exp := false; let inst = get_some @@ PTree.get n code in (if !Clflags.option_fexpanse_rtlcond then - debug "We are checking node %d\n" (p2i n); match inst with (* Expansion of conditions - Ocmp *) | Iop (Ocmp (Ccomp c), a1 :: a2 :: nil, dest, succ) -> |