import tft_ir_api as IR x = IR.RealVE("x", 0, 0.0, 1.0) x2 = IR.BE("*", 1, x, x) x3 = IR.BE("*", 2, x2, x) rel = None x4 = IR.BE("*", 11, x2, x2) rel_1 = IR.BE("*", 12, IR.FConst(0.5), x) rel_2 = IR.BE("*", 13, IR.FConst(0.125), x2) rel_3 = IR.BE("*", 14, IR.FConst(0.0625), x3) rel_4 = IR.BE("*", 15, IR.FConst(0.0390625), x4) rel = IR.BE( "-", 19, IR.BE("+", 18, IR.BE("-", 17, IR.BE("+", 16, IR.FConst(1.0), rel_1), rel_2), rel_3), rel_4) IR.TuneExpr(rel) IR.ToFPCore(rel, "sqroot.fpcore")
import tft_ir_api as IR A = IR.RealVE("A", 0, 0.0, 100.0) rel = IR.BE("+", 4, A, A) IR.TuneExpr(rel)
import tft_ir_api as IR var_x1 = IR.RealVE("x1", 0, -5.0, 5.0) var_x2 = IR.RealVE("x2", 1, -20.0, 5.0) temp0 = IR.BE("*", 2, var_x1, var_x1) # x1^2 temp1 = IR.BE("*", 3, temp0, var_x1) # x1^3 sub2_0 = IR.BE( "-", 4, IR.BE("+", 5, IR.BE("*", 6, IR.FConst(3.0), temp0), IR.BE("*", 7, IR.FConst(2.0), var_x2)), var_x1) sub2_1 = IR.BE("+", 8, temp0, IR.FConst(1.0)) sub2 = IR.BE("/", 9, sub2_0, sub2_1) sub3_0_0_0 = IR.BE("*", 10, IR.BE("*", 11, IR.FConst(2.0), var_x1), sub2) sub3_0_0_1 = IR.BE("-", 12, sub2, IR.FConst(3.0)) sub3_0_0 = IR.BE("*", 13, sub3_0_0_0, sub3_0_0_1) sub3_0_1 = IR.BE( "*", 14, temp0, IR.BE("-", 15, IR.BE("*", 16, IR.FConst(4.0), sub2), IR.FConst(6.0))) sub3_0 = IR.BE("+", 17, sub3_0_0, sub3_0_1) sub3_1 = IR.BE("+", 18, temp0, IR.FConst(1.0)) sub3 = IR.BE("*", 19, sub3_0, sub3_1) rel_temp0 = IR.BE( "+", 20, IR.BE( "+", 21, IR.BE("+", 22, sub3, IR.BE("*", 23, IR.BE("*", 24, IR.FConst(3.0), temp0), sub2)),
import tft_ir_api as IR gid = 0 a = IR.RealVE('a', gid, -1.0, 1.0) b = IR.RealVE('b', gid + 1, -1.0, 1.0) gid += 2 rel = IR.BE('/', gid + 2, IR.BE('+', gid, a, b), IR.BE('*', gid + 1, a, b)) gid += 3 IR.TuneExpr(rel)
import sys import tft_ir_api as IR var_AA = IR.RealVE("AA", 0, 0.0, 100.0) rel = IR.BE("+", 2, IR.BE("+", 1, var_AA, IR.FConst(99.99)), IR.FConst(99.99)) IR.TuneExpr(rel)
import tft_ir_api as IR var_T = IR.RealVE("T", 0, float(300.0) - float(0.01), float(300.0) + float(0.01)) var_a = IR.RealVE("a", 1, float(0.401) - float(1e-06), float(0.401) + float(1e-06)) var_b = IR.RealVE("b", 2, float(42.7e-06) - float(1e-10), float(42.7e-06) + float(1e-10)) var_N = IR.RealVE("N", 3, float(995.0), float(1005.0)) var_p = IR.FConst(float(3.5e7)) var_V = IR.RealVE("V", 4, float(0.1) - float(0.005), float(0.5) + float(0.005)) const_k = IR.FConst(float(1.3806503e-23)) temp0 = IR.BE("/", 5, var_N, var_V) sub0 = IR.BE("*", 6, temp0, temp0) sub1 = IR.BE("-", 7, var_V, IR.BE("*", 8, var_N, var_b)) sub2 = IR.BE("*", 9, IR.BE("+", 10, var_p, IR.BE("*", 11, var_a, sub0)), sub1) sub3 = IR.BE("*", 12, IR.BE("*", 13, const_k, var_N), var_T) rel = IR.BE("-", 14, sub2, sub3) IR.TuneExpr(rel) IR.ToFPCore(rel, "carbonGas.fpcore")
import tft_ir_api as IR n = 2 unrolls = 2 low = 1.0 high = 10.0 A = list() for j in range(n): row = list() for i in range(n): row.append(IR.RealVE("a{}{}".format(i, j), 0, low, high)) A.append(row) b = list() for i in range(n): b.append(IR.RealVE("b{}".format(i), 1, low, high)) x = list() for i in range(n): x.append(IR.FConst(1.0)) g = 2 #j k = 0 #j while convergence not reached: # while loop for k in range(unrolls): # replacement for while loop for i in range(n): # i loop sigma = IR.FConst(0.0)
import tft_ir_api as IR x = IR.RealVE("x", 0, -2.0, 2.0) x2 = IR.BE("*", 1, x, x) x3 = IR.BE("*", 2, x2, x) rel = None rel_1 = IR.BE("*", 20, IR.FConst(0.954929658551372), x) rel_2 = IR.BE("*", 21, IR.FConst(0.12900613773279798), x3) rel = IR.BE("-", 22, rel_1, rel_2) IR.TuneExpr(rel) IR.ToFPCore(rel, "sineOrder3.fpcore")
import tft_ir_backend import math alen = 16 vlb = -1.0 vub = 1.0 gid_data = 0 assert (alen > 0) assert (vlb < vub) assert (math.log(alen, 2) == int(math.log(alen, 2))) n_stages = int(math.log(alen, 2)) arr = [IR.RealVE("v" + str(i), gid_data, vlb, vub) for i in range(0, alen)] for i_stage in range(1, (n_stages + 1)): l_arr = len(arr) assert (l_arr % 2 == 0) l_arr = int(l_arr / 2) for i in range(0, l_arr): arr[i] = IR.BE("+", i_stage, arr[i], arr[i + l_arr]) arr = arr[0:l_arr] assert (len(arr) == 1) IR.SetGroupWeight(gid_data, 16.0)
import math import tft_ir_api as IR gid_data = 0 gid_data_ave = gid_data gid_data_dev = gid_data gid_data_x = gid_data ave = IR.RealVE("ave", gid_data_ave, -1.0, 1.0) dev = IR.RealVE("dev", gid_data_dev, 1.0, 3.0) x = IR.RealVE("x", gid_data_x, -10.0, 10.0) sqrt_2pi = IR.FConst(math.sqrt(2.0 * math.pi)) temp3 = IR.BE("*", 3, dev, sqrt_2pi) a = IR.BE("/", 4, IR.FConst(1.0), temp3) b = ave c = dev temp5 = IR.BE("-", 5, x, b) temp6 = IR.BE("*", 6, temp5, temp5) temp7 = IR.BE("*", 7, IR.FConst(2.0), IR.BE("*", 7, c, c)) temp8 = IR.UE("-", 8, IR.BE("/", 8, temp6, temp7)) temp9 = IR.UE("exp", 9, temp8) rel = IR.BE("*", 10, a, temp9)
import tft_ir_api as IR delta = 1e-08 var_x1 = IR.RealVE("x1", 0, (-15.0 - delta), (15.0 + delta)) var_x2 = IR.RealVE("x2", 1, (-15.0 - delta), (15.0 + delta)) var_x3 = IR.RealVE("x3", 2, (-15.0 - delta), (15.0 + delta)) sub_x1x2 = IR.BE("*", 3, var_x1, var_x2) sub_x1x2x3 = IR.BE("*", 4, sub_x1x2, var_x3) sub_x3x3 = IR.BE("*", 6, var_x3, var_x3) r2_sub0 = IR.BE("*", 12, IR.FConst(2.0), sub_x1x2x3) r2_sub1 = IR.BE("*", 13, IR.FConst(3.0), sub_x3x3) r2_sub2 = IR.BE("*", 14, var_x2, sub_x1x2x3) r2 = IR.BE( "-", 18, IR.BE("+", 17, IR.BE("-", 16, IR.BE("+", 15, r2_sub0, r2_sub1), r2_sub2), r2_sub1), var_x2) rs = r2 IR.TuneExpr(rs)
# ======== # sin(A/2) = +/- \sqrt{\frac{1 - cos(A)}{2.0}} # ======== import math import tft_ir_api as IR x = IR.RealVE("x", 0, 0.0, 20.0) a = IR.RealVE("a", 0, 1.0, 5.0) x2 = IR.BE("*", 1, x, x) a2 = IR.BE("*", 2, a, a) a3 = IR.BE("*", 3, a, a2) e_0 = IR.BE("*", 4, IR.FConst(-1.0), x2) e_1 = IR.BE("*", 5, IR.FConst(2.0), a2) e_2 = IR.BE("/", 6, e_0, e_1) e = IR.UE("exp", 7, e_2) d_0 = IR.BE("*", 8, x2, e) d = IR.BE("/", 9, d_0, a3) rel = IR.BE("*", 10, IR.FConst(math.sqrt(2.0 / math.pi)), d) IR.SetGroupWeight(7, 100.0) IR.TuneExpr(rel)
import tft_ir_api as IR var_u = IR.RealVE("u", 0, (-125.0 - 0.000000000001), (125.0 + 0.000000000001)) var_v = IR.RealVE("v", 1, (15.0 - 0.001), (25000.0 + 0.001)) var_T = IR.RealVE("T", 2, (-40.0 - 0.00001), (60.0 + 0.00001)) t1 = IR.BE("+", 4, IR.FConst(331.4), IR.BE("*", 3, IR.FConst(0.6), var_T)) temp = IR.BE("+", 5, t1, var_u) temp = IR.BE("*", 8, temp, temp) r = IR.BE("/", 9, IR.BE("*", 7, IR.UE("-", 6, t1), var_v), temp) IR.TuneExpr(r)
import tft_ir_api as IR var_u = IR.RealVE("u", 0, (-30.0 - 0.0001), (120.0 + 0.0001)) var_v = IR.RealVE("v", 1, (320.0 - 0.00001), (20300.0 + 0.00001)) var_T = IR.RealVE("T", 2, (-50.0 - 0.000000001), (30.0 + 0.000000001)) t1 = IR.BE("+", 4, IR.FConst(331.4), IR.BE("*", 3, IR.FConst(0.6), var_T)) temp = IR.BE("+", 5, t1, var_u) temp = IR.BE("*", 8, temp, temp) r = IR.BE("/", 9, IR.BE("*", 7, IR.UE("-", 6, t1), var_v), temp) IR.TuneExpr(r)
import tft_ir_api as IR gid = 0 x = IR.RealVE('x', gid, -10.0, 10.0) e = IR.RealVE('e', gid + 1, -0.000001, 0.000001) gid += 2 temp0 = IR.BE('+', gid, x, e) temp1 = IR.UE('cos', gid + 1, temp0) rel = IR.BE('-', gid + 3, temp1, IR.UE('cos', gid + 2, x)) IR.TuneExpr(rel)
import tft_ir_api as IR const_r = IR.FConst(4.0) const_k = IR.FConst(1.11) var_x = IR.RealVE("x", 0, 0.1, 0.3) temp0 = IR.BE("*", 2, IR.BE("*", 1, const_r, var_x), var_x) temp1 = IR.BE("/", 3, var_x, const_k) temp2 = IR.BE("+", 4, temp1, temp1) temp3 = IR.BE("+", 5, IR.FConst(1.0), temp2) rel = IR.BE("/", 6, temp0, temp3) IR.TuneExpr(rel)
import tft_ir_api as IR gid = 0 x = IR.RealVE("x", gid, 0.01, 100.0) gid += 1 y = IR.RealVE("y", gid, 0.01, 100.0) gid += 1 x2 = IR.BE("*", gid, x, x) gid += 1 y2 = IR.BE("*", gid, y, y) gid += 1 x2y2 = IR.BE("+", gid, x2, y2) gid += 1 sqrt_x2y2 = IR.UE("sqrt", gid, x2y2) gid += 1 sqrt_x = IR.BE("+", gid, sqrt_x2y2, x) gid += 1 two_sqrt_x = IR.BE("*", gid, IR.FConst(2.0), sqrt_x) gid += 1 sqrt_all = IR.UE("sqrt", gid, two_sqrt_x) gid += 1
import tft_ir_api as IR x = IR.RealVE("x", 0, -1.57079632679, 1.57079632679) x2 = IR.BE("*", 1, x, x) x3 = IR.BE("*", 2, x2, x) rel = None x5 = IR.BE("*", 3, x2, x3) x7 = IR.BE("*", 4, x2, x5) rel_1 = IR.BE("/", 5, x3, IR.FConst(6.0)) rel_2 = IR.BE("/", 6, x5, IR.FConst(120.0)) rel_3 = IR.BE("/", 7, x7, IR.FConst(5040.0)) rel = IR.BE("-", 10, IR.BE("+", 9, IR.BE("-", 8, x, rel_1), rel_2), rel_3) IR.TuneExpr(rel) IR.ToFPCore(rel, "sine.fpcore")
import tft_ir_api as IR gid = 0 x = IR.RealVE('x', gid, -1.0, 1.0) gid += 1 temp0 = IR.BE('+', gid , IR.FConst(1.0), x) # (+ 1.0 x) temp1 = IR.BE('*', gid+1, x, x) # (sqr x) temp2 = IR.BE('*', gid+2, IR.FConst(0.5), temp1) # (* 0.5 (sqr x)) temp3 = IR.BE('+', gid+3, temp2, temp0) gid += 4 rel = IR.BE('*', gid, IR.FConst(-1.0), temp3) gid += 1 IR.TuneExpr(rel)
import tft_ir_api as IR var_v = IR.RealVE("v", 0, (-4.5 - 0.0000001), (-0.3 + 0.0000001)) var_w = IR.RealVE("w", 1, (0.4 - 0.000000000001), (0.9 + 0.000000000001)) var_r = IR.RealVE("r", 2, (3.8 - 0.00000001), (7.8 + 0.00000001)) sub_1v = IR.BE("-", 3, IR.FConst(1.0), var_v) sub_ww = IR.BE("*", 4, var_w, var_w) sub_rr = IR.BE("*", 5, var_r, var_r) sub_2v = IR.BE("*", 6, IR.FConst(2.0), var_v) sub_wwrr = IR.BE("*", 7, sub_ww, sub_rr) sub_wwrr1v = IR.BE("/", 8, sub_wwrr, sub_1v) sub_2rr = IR.BE("/", 9, IR.FConst(2.0), sub_rr) r3_sub0 = IR.BE("*", 23, IR.BE("*", 22, IR.FConst(0.125), IR.BE("+", 21, IR.FConst(1.0), sub_2v)), sub_wwrr1v) r3 = IR.BE("-", 26, IR.BE("-", 25, IR.BE("-", 24, IR.FConst(3.0), sub_2rr),
import tft_ir_api as IR A = IR.RealVE("A", 0, 0.0, 100.0) B = IR.RealVE("B", 1, 0.0, 100.0) C = IR.RealVE("C", 2, 0.0, 100.0) rel = IR.BE("*", 4, IR.BE("+", 3, A, B), C) IR.TuneExpr(rel)
import tft_ir_api as IR var_u = IR.RealVE("u", 0, (-100.0 - 0.0000001), (100.0 + 0.0000001)) var_v = IR.RealVE("v", 1, (20.0 - 0.000000001), (20000.0 + 0.000000001)) var_T = IR.RealVE("T", 2, (-30.0 - 0.000001), (50.0 + 0.000001)) t1 = IR.BE("+", 4, IR.FConst(331.4), IR.BE("*", 3, IR.FConst(0.6), var_T)) temp = IR.BE("+", 5, t1, var_u) temp = IR.BE("*", 8, temp, temp) r = IR.BE("/", 9, IR.BE("*", 7, IR.UE("-", 6, t1), var_v), temp) IR.TuneExpr(r)
import tft_ir_api as IR const_r = IR.FConst(4.0) const_k = IR.FConst(1.11) var_x = IR.RealVE("x", 0, (0.1 - 1e-06), (0.3 + 1e-06)) temp0 = IR.BE("*", 1, const_r, var_x) temp1 = IR.BE("/", 2, var_x, const_k) temp2 = IR.BE("+", 3, IR.FConst(1.0), temp1) rel = IR.BE("/", 4, temp0, temp2) IR.TuneExpr(rel)
import math import tft_ir_api as IR r = IR.RealVE("r", 0, 1.0, 10.0) h = IR.RealVE("h", 1, 1.0, 10.0) pi = IR.FConst(math.pi) h2 = IR.BE("*", 2, h, h) r2 = IR.BE("*", 3, r, r) hr2 = IR.BE("+", 4, h2, r2) pir = IR.BE("*", 5, pi, r) tm1 = IR.UE("sqrt", 6, hr2) tm2 = IR.BE("+", 7, r, tm1) rel = IR.BE("*", 8, pir, tm2) IR.SetGroupWeight(6, 16.0) IR.TuneExpr(rel)