diff options
| author | Sverker Eriksson <[email protected]> | 2018-01-29 15:55:52 +0100 |
|---|---|---|
| committer | GitHub <[email protected]> | 2018-01-29 15:55:52 +0100 |
| commit | e584c594c167020b5db2b6c9813a6bd2a14d3589 (patch) | |
| tree | fd4a0f2a5070bedac43cc76e78e35ae8c31a8c32 /lib | |
| parent | caec48ae5d76fff1b3aee5ae8fafb81c1d9fc931 (diff) | |
| parent | 165ab6aafd9b17ac402cca78bbeddc7a7c293dd5 (diff) | |
| download | otp-e584c594c167020b5db2b6c9813a6bd2a14d3589.tar.gz otp-e584c594c167020b5db2b6c9813a6bd2a14d3589.tar.bz2 otp-e584c594c167020b5db2b6c9813a6bd2a14d3589.zip | |
Merge PR-1685 from sverker/sverker/hipe-verify-gcsafe OTP-14900
Make hipe compile option verify_gcsafe the default
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/hipe/main/hipe_main.erl | 6 | ||||
| -rw-r--r-- | lib/hipe/rtl/hipe_rtl_verify_gcsafe.erl | 1 |
2 files changed, 4 insertions, 3 deletions
diff --git a/lib/hipe/main/hipe_main.erl b/lib/hipe/main/hipe_main.erl index 4b5eb4c63e..6e48f0cffd 100644 --- a/lib/hipe/main/hipe_main.erl +++ b/lib/hipe/main/hipe_main.erl @@ -410,9 +410,9 @@ icode_to_rtl(MFA, Icode, Options, Servers) -> hipe_llvm_liveness:analyze(RtlCfg4) end, pp(RtlCfg5, MFA, rtl, pp_rtl, Options, Servers), - case proplists:get_bool(verify_gcsafe, Options) of - false -> ok; - true -> + case proplists:get_bool(no_verify_gcsafe, Options) of + true -> ok; + false -> ok = hipe_rtl_verify_gcsafe:check(RtlCfg5) end, LinearRTL1 = hipe_rtl_cfg:linearize(RtlCfg5), diff --git a/lib/hipe/rtl/hipe_rtl_verify_gcsafe.erl b/lib/hipe/rtl/hipe_rtl_verify_gcsafe.erl index c3f20bfec1..01d7e89ccd 100644 --- a/lib/hipe/rtl/hipe_rtl_verify_gcsafe.erl +++ b/lib/hipe/rtl/hipe_rtl_verify_gcsafe.erl @@ -76,6 +76,7 @@ safe_primop(bs_allocate) -> true; safe_primop(bs_reallocate) -> true; safe_primop(bs_utf8_size) -> true; safe_primop(bs_get_utf8) -> true; +safe_primop(bs_put_utf8) -> true; safe_primop(bs_utf16_size) -> true; safe_primop(bs_get_utf16) -> true; safe_primop(bs_validate_unicode_retract) -> true; |