Commit 0091072c authored by Heiko Becker's avatar Heiko Becker

Add testcase with Downcast and mixed precision maps

parent c5954f13
......@@ -5,11 +5,11 @@ import Real._
object BallBeam {
// s1 <1, 16, 14>, s2, s3, s4: <1, 16, 15>
def out(s1: Real, s2: Real, s3: Real, s4: Real) = {
def ballbeam(s1: Real, s2: Real, s3: Real, s4: Real) = {
require(0 <= s1 && s1 <= 1 && -0.5 <= s2 && s2 <= 0.5 && 0 <= s3 && s3 <= 0.5 && 0 <= s4 && s4 <= 0.5)
(-1828.6) * s1 + (-1028.6) * s2 + (-2008.0) * s3 + (-104.0) * s4
}
}
\ No newline at end of file
}
import daisy.lang._
import Real._
object BallBeam {
// s1 <1, 16, 14>, s2, s3, s4: <1, 16, 15>
def ballBeamDowncast(s1: Real, s2: Real, s3: Real, s4: Real) = {
require(0 <= s1 && s1 <= 1 && -0.5 <= s2 && s2 <= 0.5 && 0 <= s3 && s3 <= 0.5 && 0 <= s4 && s4 <= 0.5)
val s5 = (-1828.6) * s1
s5 + (-1028.6) * s2 + (-2008.0) * s3 + (-104.0) * s4
}
}
ballBeam = {
s1: Double
s2: Double
s3:Float
s4:Double
}
ballBeamDowncast = {
s1: Double
s2: Double
s3:Float
s4:Double
s5:Float
}
out1 = {
s1: Float
s2: Double
s3: Double
s4: Float
}
out2 = {
s1: Double
s2: Float
s3: Float
s4: Double
}
state1 = {
s1: Float
s2: Float
s3: Double
s4: Float
y1: Double
}
state2 = {
s1: Float
s2: Double
s3: Double
s4: Float
y1: Float
y2: Double
}
state3 = {
s1: Float
s2: Double
s3: Double
s4: Float
y1: Double
y2: Float
}
state4 = {
s1: Float
s2: Float
s3: Double
s4: Float
y1: Float
y2: Float
}
doppler = {
u: Double
v: Double
T: Float
t1: Float
}
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment