9099       IRTemp sV, dV, s3, s2, s1, s0;  in disInstr_X86_WRK()  local
9447       IRTemp sV, dV;  in disInstr_X86_WRK()  local
9547       IRTemp sV, dV;  in disInstr_X86_WRK()  local
10707       IRTemp dV = newTemp(Ity_V128);  in disInstr_X86_WRK()  local
10789       IRTemp dV = newTemp(Ity_V128);  in disInstr_X86_WRK()  local
11052       IRTemp dV   = newTemp(Ity_V128);  in disInstr_X86_WRK()  local
11173       IRTemp dV = newTemp(Ity_I64);  in disInstr_X86_WRK()  local
11207       IRTemp sV, dV;  in disInstr_X86_WRK()  local
11251       IRTemp dV   = newTemp(Ity_V128);  in disInstr_X86_WRK()  local
11296       IRTemp sV, dV, s3, s2, s1, s0;  in disInstr_X86_WRK()  local
11334       IRTemp sVhi, dVhi, sV, dV, s3, s2, s1, s0;  in disInstr_X86_WRK()  local
11378       IRTemp sVlo, dVlo, sV, dV, s3, s2, s1, s0;  in disInstr_X86_WRK()  local
11436       IRTemp sV, dV, hi64, lo64, hi64r, lo64r;  in disInstr_X86_WRK()  local
11566       IRTemp sV, dV, hi64, lo64, hi64r, lo64r;  in disInstr_X86_WRK()  local
12100       IRTemp dV        = newTemp(Ity_I64);  in disInstr_X86_WRK()  local
12152       IRTemp dV        = newTemp(Ity_V128);  in disInstr_X86_WRK()  local
12222       IRTemp dV     = newTemp(Ity_I64);  in disInstr_X86_WRK()  local
12288       IRTemp dV     = newTemp(Ity_V128);  in disInstr_X86_WRK()  local
12355       IRTemp dV = newTemp(Ity_I64);  in disInstr_X86_WRK()  local
12386       IRTemp dV  = newTemp(Ity_V128);  in disInstr_X86_WRK()  local
12431       IRTemp dV      = newTemp(Ity_I64);  in disInstr_X86_WRK()  local
12473       IRTemp dV      = newTemp(Ity_V128);  in disInstr_X86_WRK()  local
12612       IRTemp dV  = newTemp(Ity_I64);  in disInstr_X86_WRK()  local
12666       IRTemp dV  = newTemp(Ity_V128);  in disInstr_X86_WRK()  local
12750       IRTemp dV      = newTemp(Ity_I64);  in disInstr_X86_WRK()  local
12790       IRTemp dV         = newTemp(Ity_V128);  in disInstr_X86_WRK()  local