diff options
author | liushuyu <liushuyu011@gmail.com> | 2022-09-06 22:41:17 -0600 |
---|---|---|
committer | Arthur Cohen <arthur.cohen@embecosm.com> | 2023-01-31 14:16:51 +0100 |
commit | 0d5adf09356641070079eadef09717ece164b6b9 (patch) | |
tree | 837c100672070e6e5e53cd7a53d9994f066a242b | |
parent | dd9d6656e9a47c0620afc911eb98693fdc2eea94 (diff) | |
download | gcc-0d5adf09356641070079eadef09717ece164b6b9.zip gcc-0d5adf09356641070079eadef09717ece164b6b9.tar.gz gcc-0d5adf09356641070079eadef09717ece164b6b9.tar.bz2 |
gccrs: testsuite: add loop condition execution test
gcc/testsuite/ChangeLog:
* rust/execute/torture/loop-condition-eval.rs: New test.
Signed-off-by: Zixing Liu <liushuyu011@gmail.com>
-rw-r--r-- | gcc/testsuite/rust/execute/torture/loop-condition-eval.rs | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/gcc/testsuite/rust/execute/torture/loop-condition-eval.rs b/gcc/testsuite/rust/execute/torture/loop-condition-eval.rs new file mode 100644 index 0000000..0089659 --- /dev/null +++ b/gcc/testsuite/rust/execute/torture/loop-condition-eval.rs @@ -0,0 +1,21 @@ +// { dg-output "1\n" } +pub fn test() -> u64 { + let mut n = 113383; // #20 in https://oeis.org/A006884 + while n != 1 { + n = if n % 2 == 0 { n / 2 } else { 3 * n + 1 }; + } + n +} + +pub fn test_1() -> u64 { + test() +} + +extern "C" { + fn printf(fmt: *const i8, ...); +} + +fn main() -> i32 { + unsafe { printf("%lu\n" as *const str as *const i8, test_1()) } + 0 +} |