diff options
| author | Magnus Lång <[email protected]> | 2016-11-14 15:31:28 +0100 |
|---|---|---|
| committer | Magnus Lång <[email protected]> | 2016-11-16 17:22:05 +0100 |
| commit | 6ce54e9665788e6a172950c68fb58158e923c6ec (patch) | |
| tree | e32019645cf6faa338115538ade7044340b60b9f /lib/hipe/icode/hipe_icode.erl | |
| parent | 40b7dc3ce63999a6e8d40c20a098de6d85676aeb (diff) | |
| download | otp-6ce54e9665788e6a172950c68fb58158e923c6ec.tar.gz otp-6ce54e9665788e6a172950c68fb58158e923c6ec.tar.bz2 otp-6ce54e9665788e6a172950c68fb58158e923c6ec.zip | |
hipe_icode: Always const-propagate if&call args
Diffstat (limited to 'lib/hipe/icode/hipe_icode.erl')
| -rw-r--r-- | lib/hipe/icode/hipe_icode.erl | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/hipe/icode/hipe_icode.erl b/lib/hipe/icode/hipe_icode.erl index dce2fcb392..d2d08e0253 100644 --- a/lib/hipe/icode/hipe_icode.erl +++ b/lib/hipe/icode/hipe_icode.erl @@ -438,6 +438,7 @@ if_true_label/1, if_false_label/1, if_args/1, + if_args_update/2, if_pred/1, %% is_if/1, @@ -714,6 +715,9 @@ if_op_update(IF, NewOp) -> IF#icode_if{op=NewOp}. -spec if_args(#icode_if{}) -> [icode_term_arg()]. if_args(#icode_if{args=Args}) -> Args. +-spec if_args_update(#icode_if{}, [icode_term_arg()]) -> #icode_if{}. +if_args_update(IF, Args) -> IF#icode_if{args=Args}. + -spec if_true_label(#icode_if{}) -> icode_lbl(). if_true_label(#icode_if{true_label=TrueLbl}) -> TrueLbl. |