openpower.test.shift_rot package¶
Submodules¶
openpower.test.shift_rot.shift_rot_cases module¶
-
class
openpower.test.shift_rot.shift_rot_cases.ShiftRotTestCase¶ Bases:
openpower.test.common.TestAccumulatorBase-
case_0_proof_regression_rlwnm()¶
-
case_extswsli()¶
-
case_regression_extswsli()¶
-
case_regression_extswsli_2()¶
-
case_regression_extswsli_3()¶
-
case_regression_rldicr_0()¶
-
case_regression_rldicr_1()¶
-
case_rlc()¶
-
case_rldicl()¶
-
case_rldicr()¶
-
case_rlwimi()¶
-
case_rlwinm()¶
-
case_rlwnm()¶
-
case_shift()¶
-
case_shift_arith()¶
-
case_shift_once()¶
-
case_sld_rb_is_zero()¶
-
case_sld_rb_too_big()¶
-