aboutsummaryrefslogtreecommitdiffstats
path: root/lib/hipe
diff options
context:
space:
mode:
authorSverker Eriksson <[email protected]>2018-01-29 15:55:52 +0100
committerGitHub <[email protected]>2018-01-29 15:55:52 +0100
commite584c594c167020b5db2b6c9813a6bd2a14d3589 (patch)
treefd4a0f2a5070bedac43cc76e78e35ae8c31a8c32 /lib/hipe
parentcaec48ae5d76fff1b3aee5ae8fafb81c1d9fc931 (diff)
parent165ab6aafd9b17ac402cca78bbeddc7a7c293dd5 (diff)
downloadotp-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/hipe')
-rw-r--r--lib/hipe/main/hipe_main.erl6
-rw-r--r--lib/hipe/rtl/hipe_rtl_verify_gcsafe.erl1
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;