Lines Matching refs:assign
31 (declare-fun assign (var) reg)
32 (assert (or (= (assign a1_1) r0) (= (assign a1_1) r1) (= (assign a1_1) r2) (= (assign a1_1) r3) (= …
33 (assert (or (= (assign a2_1) r0) (= (assign a2_1) r1) (= (assign a2_1) r2) (= (assign a2_1) r3) (= …
34 (assert (or (= (assign c_3) r0) (= (assign c_3) r1) (= (assign c_3) r2) (= (assign c_3) r3) (= (ass…
35 (assert (or (= (assign c_4) r0) (= (assign c_4) r1) (= (assign c_4) r2) (= (assign c_4) r3) (= (ass…
36 (assert (or (= (assign b_3) r0) (= (assign b_3) r1) (= (assign b_3) r2) (= (assign b_3) r3) (= (ass…
37 (assert (not (= (assign a1_1) (assign c_4))))
38 (assert (not (= (assign a2_1) (assign c_3))))
39 (assert (not (= (assign a2_1) (assign b_3))))
40 (assert (not (= (assign c_3) (assign b_3))))
41 (assert (not (= (assign c_4) (assign b_3))))
42 (assert (= (assign a1_1) r0))
43 (assert (= (assign a2_1) r2))
44 (assert (= (assign c_3) r1))
45 (assert (= (assign c_4) r1))
46 (assert (= (assign b_3) r0))