[COMMITTED] gccrs: add testcase with struct to test component_ref and constructor codes..

Message ID 20230131132604.662832-1-arthur.cohen@embecosm.com
State Committed
Commit dd9d6656e9a47c0620afc911eb98693fdc2eea94
Headers
Series [COMMITTED] gccrs: add testcase with struct to test component_ref and constructor codes.. |

Commit Message

Arthur Cohen Jan. 31, 2023, 1:26 p.m. UTC
  From: Faisal Abbas <90.abbasfaisal@gmail.com>

..in eval_constant_expression()

gcc/testsuite/ChangeLog:

	* rust/compile/const8.rs: New test.

Signed-off-by: Faisal Abbas <90.abbasfaisal@gmail.com>

Tested on x86_64-pc-linux-gnu, committed on master.

---
 gcc/testsuite/rust/compile/const8.rs | 40 ++++++++++++++++++++++++++++
 1 file changed, 40 insertions(+)
 create mode 100644 gcc/testsuite/rust/compile/const8.rs
  

Patch

diff --git a/gcc/testsuite/rust/compile/const8.rs b/gcc/testsuite/rust/compile/const8.rs
new file mode 100644
index 00000000000..94c4268ec8c
--- /dev/null
+++ b/gcc/testsuite/rust/compile/const8.rs
@@ -0,0 +1,40 @@ 
+// { dg-options "-w -O0 -fdump-tree-gimple" }
+struct Foo {
+    First: i32,
+    Second: f32
+}
+
+struct Bar {
+    First: i32,
+    Second: f32
+}
+
+struct Baz {
+    First: i32,
+    Second: f32
+}
+const A:Foo = Foo { First: 1, Second: 1.0 };
+const B:Bar = Bar { First: 2, Second: 2.0 };
+const C:Baz = Baz { First: 3, Second: 2.0 };
+
+const fn test() -> f32 {
+    if (A.First == 2) {
+        return A.Second;
+    }
+    else if (B.First == 2) {
+        return B.Second;
+    }
+    else if (C.First == 2) {
+        return C.Second;
+    }
+
+    return 0.0;
+}
+
+const D:f32 = test();
+
+fn main() {
+    // { dg-final { scan-tree-dump-times {d = 2.0} 1 gimple } }
+    let d = D;
+}
+