Lines Matching defs:tn
471 and tn = SInt (top_half rn) and tm = SInt (top_half rm)
474 of Parallel_add_16 => (bn + bm, tn + tm)
475 | Parallel_add_sub_exchange => (bn - tm, tn + bm)
476 | Parallel_sub_add_exchange => (bn + tm, tn - bm)
477 | Parallel_sub_16 => (bn - bm, tn - tm)`;
524 and tn = UInt (top_half rn) and tm = UInt (top_half rm)
527 of Parallel_add_16 => (bn + bm, tn + tm)
528 | Parallel_add_sub_exchange => (bn - tm, tn + bm)
529 | Parallel_sub_add_exchange => (bn + tm, tn - bm)
530 | Parallel_sub_16 => (bn - bm, tn - tm)`;