message: Add test cases for Kotlin Null Assertions removal
  Summary: Add testcases for Kotlin Null Assertions removal.
diff: @@ -803,3 +803,57 @@ TEST_F(ConstantPropagationTest, ForwardBranchesSwitch) {
  )");
  EXPECT_CODE_EQ(code.get(), expected_code.get());
  }
  +
  +TEST_F(ConstantPropagationTest, RedundantNullCheck) {
  + auto code = assembler::ircode_from_string(R"(
  + (
  + (load-param v0)
  + (load-param v1)
  + (invoke-static (v0) "Lkotlin/jvm/internal/Intrinsics;.$WrCheckParameter:(Ljava/lang/Object;)V")
  + (invoke-static (v1) "Lkotlin/jvm/internal/Intrinsics;.$WrCheckParameter:(Ljava/lang/Object;)V")
  + (invoke-static (v0) "Lkotlin/jvm/internal/Intrinsics;.$WrCheckParameter:(Ljava/lang/Object;)V")
  + (return-void)
  + )
  + )");
  +
  + do_const_prop(code.get(), cp::ConstantPrimitiveAnalyzer(),
  + cp::Transform::Config(),
  + /* editable_cfg */ false);
  +
  + auto expected_code = assembler::ircode_from_string(R"(
  + (
  + (load-param v0)
  + (load-param v1)
  + (invoke-static (v0) "Lkotlin/jvm/internal/Intrinsics;.$WrCheckParameter:(Ljava/lang/Object;)V")
  + (invoke-static (v1) "Lkotlin/jvm/internal/Intrinsics;.$WrCheckParameter:(Ljava/lang/Object;)V")
  + (return-void)
  + )
  + )");
  + EXPECT_CODE_EQ(code.get(), expected_code.get());
  +}
  +
  +TEST_F(ConstantPropagationTest, RedundantNullCheckCmp) {
  + auto code = assembler::ircode_from_string(R"(
  + (
  + (load-param v0)
  + (invoke-static (v0) "Lkotlin/jvm/internal/Intrinsics;.$WrCheckParameter:(Ljava/lang/Object;)V")
  + (if-eqz v0 :L0)
  + (invoke-static (v0) "Lkotlin/jvm/internal/Intrinsics;.$WrCheckParameter:(Ljava/lang/Object;)V")
  + (:L0)
  + (return-void)
  + )
  + )");
  +
  + do_const_prop(code.get(), cp::ConstantPrimitiveAnalyzer(),
  + cp::Transform::Config(),
  + /* editable_cfg */ false);
  +
  + auto expected_code = assembler::ircode_from_string(R"(
  + (
  + (load-param v0)
  + (invoke-static (v0) "Lkotlin/jvm/internal/Intrinsics;.$WrCheckParameter:(Ljava/lang/Object;)V")
  + (return-void)
  + )
  + )");
  + EXPECT_CODE_EQ(code.get(), expected_code.get());
  +}
  