aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorliushuyu <liushuyu011@gmail.com>2022-09-06 22:41:17 -0600
committerArthur Cohen <arthur.cohen@embecosm.com>2023-01-31 14:16:51 +0100
commit0d5adf09356641070079eadef09717ece164b6b9 (patch)
tree837c100672070e6e5e53cd7a53d9994f066a242b
parentdd9d6656e9a47c0620afc911eb98693fdc2eea94 (diff)
downloadgcc-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.rs21
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
+}