Searched refs:tSC1 (Results 1 – 1 of 1) sorted by relevance
17532 IRTemp tSC1 = newTemp(Ity_I1); in disInstr_ARM_WRK() local17551 stmt( IRStmt_LLSC(Iend_LE, tSC1, mkexpr(tRn), in disInstr_ARM_WRK()17558 stmt( IRStmt_LLSC(Iend_LE, tSC1, mkexpr(tRn), in disInstr_ARM_WRK()17561 stmt( IRStmt_Exit(unop(Iop_Not1, mkexpr(tSC1)), in disInstr_ARM_WRK()