diff options
| author | Alasdair Armstrong | 2018-06-07 18:15:05 +0100 |
|---|---|---|
| committer | Alasdair Armstrong | 2018-06-07 18:15:38 +0100 |
| commit | 6eaf3159474aa62b9afee843b0983dcfb23a4157 (patch) | |
| tree | cfd7fe7c1cb65794ee9f17d058eec8c063d5f5cf /src | |
| parent | 45554f2893667d951e39c8049631a986c1683857 (diff) | |
Fix bug in add_bits optimization
Diffstat (limited to 'src')
| -rw-r--r-- | src/c_backend.ml | 8 |
1 files changed, 2 insertions, 6 deletions
diff --git a/src/c_backend.ml b/src/c_backend.ml index 59656152..f58093b0 100644 --- a/src/c_backend.ml +++ b/src/c_backend.ml @@ -977,13 +977,9 @@ let analyze_primop' ctx env l id args typ = | "eq_int", [AV_C_fragment (v1, typ1); AV_C_fragment (v2, typ2)] -> AE_val (AV_C_fragment (F_op (v1, "==", v2), typ)) - (* - | "add_int", [AV_C_fragment (v1, typ1); AV_C_fragment (v2, typ2)] -> - AE_val (AV_C_fragment (F_op (v1, "+", v2), typ)) - *) - + (* | "add_bits", [AV_C_fragment (v1, typ1); AV_C_fragment (v2, typ2)] -> - AE_val (AV_C_fragment (F_op (v1, "+", v2), typ)) + AE_val (AV_C_fragment (F_op (v1, "+", v2), typ)) *) | "xor_bits", [AV_C_fragment (v1, typ1); AV_C_fragment (v2, typ2)] -> AE_val (AV_C_fragment (F_op (v1, "^", v2), typ)) |