150 lines
2.6 KiB
C++
150 lines
2.6 KiB
C++
|
// Copyright 2021 The Tint Authors.
|
||
|
|
//
|
||
|
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
||
|
|
// you may not use this file except in compliance with the License.
|
||
|
|
// You may obtain a copy of the License at
|
||
|
|
//
|
||
|
|
// http://www.apache.org/licenses/LICENSE-2.0
|
||
|
|
//
|
||
|
|
// Unless required by applicable law or agreed to in writing, software
|
||
|
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
||
|
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
||
|
|
// See the License for the specific language governing permissions and
|
||
|
|
// limitations under the License.
|
||
|
|
|
||
|
|
#include "src/transform/fold_trivial_single_use_lets.h"
|
||
|
|
|
||
|
|
#include "src/transform/test_helper.h"
|
||
|
|
|
||
|
|
namespace tint {
|
||
|
|
namespace transform {
|
||
|
|
namespace {
|
||
|
|
|
||
|
|
using FoldTrivialSingleUseLetsTest = TransformTest;
|
||
|
|
|
||
|
|
TEST_F(FoldTrivialSingleUseLetsTest, EmptyModule) {
|
||
|
|
auto* src = "";
|
||
|
|
auto* expect = "";
|
||
|
|
|
||
|
|
auto got = Run<FoldTrivialSingleUseLets>(src);
|
||
|
|
|
||
|
|
EXPECT_EQ(expect, str(got));
|
||
|
|
}
|
||
|
|
|
||
|
|
TEST_F(FoldTrivialSingleUseLetsTest, Single) {
|
||
|
|
auto* src = R"(
|
||
|
|
fn f() {
|
||
|
|
let x = 1;
|
||
|
|
ignore(x);
|
||
|
|
}
|
||
|
|
)";
|
||
|
|
|
||
|
|
auto* expect = R"(
|
||
|
|
fn f() {
|
||
|
|
ignore(1);
|
||
|
|
}
|
||
|
|
)";
|
||
|
|
|
||
|
|
auto got = Run<FoldTrivialSingleUseLets>(src);
|
||
|
|
|
||
|
|
EXPECT_EQ(expect, str(got));
|
||
|
|
}
|
||
|
|
|
||
|
|
TEST_F(FoldTrivialSingleUseLetsTest, Multiple) {
|
||
|
|
auto* src = R"(
|
||
|
|
fn f() {
|
||
|
|
let x = 1;
|
||
|
|
let y = 2;
|
||
|
|
let z = 3;
|
||
|
|
ignore(x + y + z);
|
||
|
|
}
|
||
|
|
)";
|
||
|
|
|
||
|
|
auto* expect = R"(
|
||
|
|
fn f() {
|
||
|
|
ignore(((1 + 2) + 3));
|
||
|
|
}
|
||
|
|
)";
|
||
|
|
|
||
|
|
auto got = Run<FoldTrivialSingleUseLets>(src);
|
||
|
|
|
||
|
|
EXPECT_EQ(expect, str(got));
|
||
|
|
}
|
||
|
|
|
||
|
|
TEST_F(FoldTrivialSingleUseLetsTest, Chained) {
|
||
|
|
auto* src = R"(
|
||
|
|
fn f() {
|
||
|
|
let x = 1;
|
||
|
|
let y = x;
|
||
|
|
let z = y;
|
||
|
|
ignore(z);
|
||
|
|
}
|
||
|
|
)";
|
||
|
|
|
||
|
|
auto* expect = R"(
|
||
|
|
fn f() {
|
||
|
|
ignore(1);
|
||
|
|
}
|
||
|
|
)";
|
||
|
|
|
||
|
|
auto got = Run<FoldTrivialSingleUseLets>(src);
|
||
|
|
|
||
|
|
EXPECT_EQ(expect, str(got));
|
||
|
|
}
|
||
|
|
|
||
|
|
TEST_F(FoldTrivialSingleUseLetsTest, NoFold_NonTrivialLet) {
|
||
|
|
auto* src = R"(
|
||
|
|
fn function_with_posssible_side_effect() -> i32 {
|
||
|
|
return 1;
|
||
|
|
}
|
||
|
|
|
||
|
|
fn f() {
|
||
|
|
let x = 1;
|
||
|
|
let y = function_with_posssible_side_effect();
|
||
|
|
ignore((x + y));
|
||
|
|
}
|
||
|
|
)";
|
||
|
|
|
||
|
|
auto* expect = src;
|
||
|
|
|
||
|
|
auto got = Run<FoldTrivialSingleUseLets>(src);
|
||
|
|
|
||
|
|
EXPECT_EQ(expect, str(got));
|
||
|
|
}
|
||
|
|
|
||
|
|
TEST_F(FoldTrivialSingleUseLetsTest, NoFold_UseInSubBlock) {
|
||
|
|
auto* src = R"(
|
||
|
|
fn f() {
|
||
|
|
let x = 1;
|
||
|
|
{
|
||
|
|
ignore(x);
|
||
|
|
}
|
||
|
|
}
|
||
|
|
)";
|
||
|
|
|
||
|
|
auto* expect = src;
|
||
|
|
|
||
|
|
auto got = Run<FoldTrivialSingleUseLets>(src);
|
||
|
|
|
||
|
|
EXPECT_EQ(expect, str(got));
|
||
|
|
}
|
||
|
|
|
||
|
|
TEST_F(FoldTrivialSingleUseLetsTest, NoFold_MultipleUses) {
|
||
|
|
auto* src = R"(
|
||
|
|
fn f() {
|
||
|
|
let x = 1;
|
||
|
|
ignore((x + x));
|
||
|
|
}
|
||
|
|
)";
|
||
|
|
|
||
|
|
auto* expect = src;
|
||
|
|
|
||
|
|
auto got = Run<FoldTrivialSingleUseLets>(src);
|
||
|
|
|
||
|
|
EXPECT_EQ(expect, str(got));
|
||
|
|
}
|
||
|
|
|
||
|
|
} // namespace
|
||
|
|
} // namespace transform
|
||
|
|
} // namespace tint
|