RFR: 8266854: LibraryCallKit::inline_preconditions_checkIndex modifies control flow even if the intrinsic bailed out [v3]

[Sandhya Viswanathan]

> LibraryCallKit::inline_preconditions_checkIndex can result in the following assert sometimes:
>    "# assert(ctrl == kit.control()) failed: Control flow was added although the intrinsic bailed out"
> 
> Consider the following code snippet:
>  ...
>  set_control(_gvn.transform(new IfTrueNode(rc)));
>  {
>    PreserveJVMState pjvms(this);
>    set_control(_gvn.transform(new IfFalseNode(rc)));
>    uncommon_trap(Deoptimization::Reason_range_check,
>                  Deoptimization::Action_make_not_entrant);
>  }
>  ..
>  Here the control is being modified by set_control even though a bailout is possible afterwards.
>  Moving the set_control later in the intrinsic fixes this.
> 
>  This is a small fix. Please review.
> 
> Best Regards,
> Sandhya

Sandhya Viswanathan has updated the pull request incrementally with one additional commit since the last revision:

  return true if stopped

-------------

Changes:
  - all: https://git.openjdk.java.net/jdk/pull/3958/files
  - new: https://git.openjdk.java.net/jdk/pull/3958/files/1283b4a6..4f78a782

Webrevs:
 - full: https://webrevs.openjdk.java.net/?repo=jdk&pr=3958&range=02
 - incr: https://webrevs.openjdk.java.net/?repo=jdk&pr=3958&range=01-02

  Stats: 18 lines in 1 file changed: 8 ins; 10 del; 0 mod
  Patch: https://git.openjdk.java.net/jdk/pull/3958.diff
  Fetch: git fetch https://git.openjdk.java.net/jdk pull/3958/head:pull/3958

PR: https://git.openjdk.java.net/jdk/pull/3958