985    vassert(typeOfIRExpr(irsb->tyenv, expr) == Ity_F64);  in put_fpr_dw0()
994    return IRExpr_Get(fpr_dw0_offset(archreg), Ity_F64);  in get_fpr_dw0()
7215    IRTemp src4 = newTemp(Ity_F64);  in s390_irgen_PFPO()
7217    IRTemp src5 = newTemp(Ity_F64);  in s390_irgen_PFPO()
7219    IRTemp src6 = newTemp(Ity_F64);  in s390_irgen_PFPO()
7230    IRTemp dst11 = newTemp(Ity_F64);  in s390_irgen_PFPO()
7236    IRTemp dst14 = newTemp(Ity_F64);  in s390_irgen_PFPO()
7242    IRTemp dst17 = newTemp(Ity_F64);  in s390_irgen_PFPO()
8776    put_fpr_dw0(r1, load(Ity_F64, mkexpr(op2addr)));  in s390_irgen_LD()
8792    put_fpr_dw0(r1, load(Ity_F64, mkexpr(op2addr)));  in s390_irgen_LDY()
8966    IRTemp op1 = newTemp(Ity_F64);  in s390_irgen_ADBR()
8967    IRTemp op2 = newTemp(Ity_F64);  in s390_irgen_ADBR()
8968    IRTemp result = newTemp(Ity_F64);  in s390_irgen_ADBR()
9002    IRTemp op1 = newTemp(Ity_F64);  in s390_irgen_ADB()
9003    IRTemp op2 = newTemp(Ity_F64);  in s390_irgen_ADB()
9004    IRTemp result = newTemp(Ity_F64);  in s390_irgen_ADB()
9008    assign(op2, load(Ity_F64, mkexpr(op2addr)));  in s390_irgen_ADB()
9171       IRTemp op = newTemp(Ity_F64);  in s390_irgen_CLFDBR()
9211       IRTemp op = newTemp(Ity_F64);  in s390_irgen_CLGDBR()
9245    IRTemp op = newTemp(Ity_F64);  in s390_irgen_CFDBR()
9279    IRTemp op = newTemp(Ity_F64);  in s390_irgen_CGDBR()
9312    IRTemp op1 = newTemp(Ity_F64);  in s390_irgen_DDBR()
9313    IRTemp op2 = newTemp(Ity_F64);  in s390_irgen_DDBR()
9314    IRTemp result = newTemp(Ity_F64);  in s390_irgen_DDBR()
9346    IRTemp op1 = newTemp(Ity_F64);  in s390_irgen_DDB()
9347    IRTemp op2 = newTemp(Ity_F64);  in s390_irgen_DDB()
9348    IRTemp result = newTemp(Ity_F64);  in s390_irgen_DDB()
9352    assign(op2, load(Ity_F64, mkexpr(op2addr)));  in s390_irgen_DDB()
9375    IRTemp result = newTemp(Ity_F64);  in s390_irgen_LTDBR()
9399    IRTemp result = newTemp(Ity_F64);  in s390_irgen_LCDBR()
9438    IRTemp op = newTemp(Ity_F64);  in s390_irgen_LEDBR()
9468    IRTemp op1 = newTemp(Ity_F64);  in s390_irgen_MDBR()
9469    IRTemp op2 = newTemp(Ity_F64);  in s390_irgen_MDBR()
9470    IRTemp result = newTemp(Ity_F64);  in s390_irgen_MDBR()
9502    IRTemp op1 = newTemp(Ity_F64);  in s390_irgen_MDB()
9503    IRTemp op2 = newTemp(Ity_F64);  in s390_irgen_MDB()
9504    IRTemp result = newTemp(Ity_F64);  in s390_irgen_MDB()
9508    assign(op2, load(Ity_F64, mkexpr(op2addr)));  in s390_irgen_MDB()
9537    IRTemp op1 = newTemp(Ity_F64);  in s390_irgen_SDBR()
9538    IRTemp op2 = newTemp(Ity_F64);  in s390_irgen_SDBR()
9539    IRTemp result = newTemp(Ity_F64);  in s390_irgen_SDBR()
9573    IRTemp op1 = newTemp(Ity_F64);  in s390_irgen_SDB()
9574    IRTemp op2 = newTemp(Ity_F64);  in s390_irgen_SDB()
9575    IRTemp result = newTemp(Ity_F64);  in s390_irgen_SDB()
9579    assign(op2, load(Ity_F64, mkexpr(op2addr)));  in s390_irgen_SDB()
12101    IRTemp op1 = newTemp(Ity_F64);  in s390_irgen_CDBR()
12102    IRTemp op2 = newTemp(Ity_F64);  in s390_irgen_CDBR()
12155    IRTemp op1 = newTemp(Ity_F64);  in s390_irgen_CDB()
12156    IRTemp op2 = newTemp(Ity_F64);  in s390_irgen_CDB()
12161    assign(op2, load(Ity_F64, mkexpr(op2addr)));  in s390_irgen_CDB()
12345    IRTemp op = newTemp(Ity_F64);  in s390_irgen_LXDBR()
12367    IRTemp op = newTemp(Ity_F64);  in s390_irgen_LXDB()
12369    assign(op, load(Ity_F64, mkexpr(op2addr)));  in s390_irgen_LXDB()
12403    IRTemp result = newTemp(Ity_F64);  in s390_irgen_FIDBRA()
12440    IRTemp result = newTemp(Ity_F64);  in s390_irgen_LNDBR()
12476    IRTemp result = newTemp(Ity_F64);  in s390_irgen_LPDBR()
12505    IRTemp result = newTemp(Ity_F64);  in s390_irgen_LDXBR()
12585    IRExpr *op2 = load(Ity_F64, mkexpr(op2addr));  in s390_irgen_MADB()
12631    IRExpr *op2 = load(Ity_F64, mkexpr(op2addr));  in s390_irgen_MSDB()
12655    IRTemp result = newTemp(Ity_F64);  in s390_irgen_SQDBR()
12692    IRTemp op = newTemp(Ity_F64);  in s390_irgen_SQDB()
12695    assign(op, load(Ity_F64, mkexpr(op2addr)));  in s390_irgen_SQDB()
12734    IRTemp value = newTemp(Ity_F64);  in s390_irgen_TCDB()
12758    IRTemp result = newTemp(Ity_F64);  in s390_irgen_LCDFR()
12769    IRTemp result = newTemp(Ity_F64);  in s390_irgen_LNDFR()
12780    IRTemp result = newTemp(Ity_F64);  in s390_irgen_LPDFR()