1f08c3bdfSopenharmony_ci_Bool eqs0(  signed char a) { return a == 0; }
2f08c3bdfSopenharmony_ci_Bool eqs1(  signed char a) { return a == 1; }
3f08c3bdfSopenharmony_ci_Bool nes0(  signed char a) { return a != 0; }
4f08c3bdfSopenharmony_ci_Bool nes1(  signed char a) { return a != 1; }
5f08c3bdfSopenharmony_ci
6f08c3bdfSopenharmony_ci/*
7f08c3bdfSopenharmony_ci * check-name: bool-sext-test
8f08c3bdfSopenharmony_ci * check-command: test-linearize -Wno-decl $file
9f08c3bdfSopenharmony_ci *
10f08c3bdfSopenharmony_ci * check-output-ignore
11f08c3bdfSopenharmony_ci * check-output-excludes: sext\\.
12f08c3bdfSopenharmony_ci */
13