Lines Matching defs:half16
7386 IRTemp half16 = newTemp(Ity_I64);7387 assign(half16, mkU64(0x1010101010101010ULL));7397 assign(all16, binop(Iop_64HLtoV128, mkexpr(half16), mkexpr(half16)));