more test cases

Author: rmanohar

test/122.act

@@ -0,0 +1,22 @@
+namespace pfloat {
+ function f(int<4> x) : int<3> {
+ chp {
+ self := int(x{0}, 3)
+ }
+ }
+
+ export
+ defproc test() {
+ int<15> x;
+ chp {
+ x := 123;
+ log(f(x));
+ log(int(7, 3) - f(x))
+ }
+ }
+}
+
+defproc test()
+{
+ pfloat::test t;
+}

test/123.act

@@ -0,0 +1,37 @@
+namespace pfloat {
+ export
+ template<pint EXP,MAN>
+ deftype float(int<1> sign; int<EXP> exponent; int<MAN> significand) {
+ methods {
+ function is_infinite() : bool {
+ chp {
+ self := exponent = (1 << EXP) - 1 & significand = 0
+ }
+ }
+
+ function is_finite() : bool {
+ chp {
+ // self := ~(exponent = (1 << EXP) - 1 & significand != 0)
+ self := is_infinite()
+ }
+ }
+ }
+ }
+
+ export
+ defproc test() {
+ float<1,5> y;
+ chp {
+ y := float<1,5>(0);
+ [ y.is_finite() -> log("here ")
+ [] else -> log ("there ")
+ ]
+ }
+ }
+}
+
+
+defproc test()
+{
+ pfloat::test t;
+}

test/runs/122.act.stderr

@@ -0,0 +1 @@
+WARNING: test<>: substituting chp model (requested prs, not found)

test/runs/122.act.stdout

@@ -0,0 +1,2 @@
+[ 10] <t> 1
+[ 10] <t> 6

test/runs/123.act.stderr

@@ -0,0 +1 @@
+WARNING: test<>: substituting chp model (requested prs, not found)

test/runs/123.act.stdout

@@ -0,0 +1 @@
+[ 10] <t> there