26 __msg(" 2: .1........ (bf) r2 = r1")
27 __msg(" 3: ..2....... (bf) r3 = r2")
41 		"r2 = r1;"  in assign_chain()
42 		"r3 = r2;"  in assign_chain()
58 __msg("2: .......... (b7) r2 = 7")
60 __msg("4: ..23...... (0f) r2 += r3")
68 		"r2 = 7;"  in arithmetics()
70 		"r2 += r3;"  in arithmetics()
81 __msg("  3: .1........ (b7) r2 = 42")
82 __msg("  4: .12....... (7b) *(u64 *)(r1 +0) = r2")
83 __msg("  5: .12....... (7b) *(u64 *)(r1 +0) = r2")
91 		"r2 = 42;"  in store()
92 		"*(u64 *)(r1 +0) = r2;"  in store()
93 		"*(u64 *)(r1 +0) = r2;"  in store()
119 __msg("0: .1........ (61) r2 = *(u32 *)(r1 +0)")
120 __msg("1: ..2....... (d4) r2 = le64 r2")
121 __msg("2: ..2....... (bf) r0 = r2")
125 		"r2 = *(u32 *)(r1 +0);"  in endian()
126 		"r2 = le64 r2;"  in endian()
127 		"r0 = r2;"  in endian()
138 __msg("12: 01........ (bf) r2 = r0")
140 __msg("14: 012....... (db) r0 = atomic64_cmpxchg((u64 *)(r2 +0), r0, r1)")
144 		"r2 = r10;"  in atomic()
145 		"r2 += -8;"  in atomic()
147 		"*(u64 *)(r2 +0) = r1;"  in atomic()
155 		"r2 = r0;"  in atomic()
157 		"r0 = cmpxchg_64(r2 + 0, r0, r1);"  in atomic()
170 __msg("2: .12....... (db) store_release((u64 *)(r2 -8), r1)")
177 		"r2 = r10;"  in atomic_load_acq_store_rel()
178 		".8byte %[store_release_insn];" /* store_release((u64 *)(r2 - 8), r1); */  in atomic_load_acq_store_rel()
203 		"r2 = 1;"  in regular_call()
215 __msg("3: ..2....... (bf) r0 = r2")
220 		"r2 = 2;"  in if1()
222 		"r0 = r2;"  in if1()
230 __msg("4: ..2....... (bf) r0 = r2")
235 		"r2 = 2;"  in if2()
238 		"r0 = r2;"  in if2()
243 /* Verifier misses that r2 is alive if jset is not handled properly */
251 		"r2 = 2;"  in if3_jset_bug()
254 		"r0 = r2;"  in if3_jset_bug()
262 __msg("1: .1........ (b7) r2 = 7")
265 __msg("4: .12....... (27) r2 *= 2")
274 		"r2 = 7;"  in loop()
277 		"r2 *= 2;"  in loop()
291 __msg("3: ..2....... (bf) r0 = r2")
298 		"r2 = 42;"  in gotol()
301 		"r0 = r2;"  in gotol()
334 __msg("1: 0......... (18) r2 = 0x7")
335 __msg("3: 0.2....... (0f) r0 += r2")
340 		"r2 = 0x7 ll;"  in ldimm64()
341 		"r0 += r2;"  in ldimm64()
378 __msg(" 8: .1........ (b7) r2 = 42")
383 		"r2 = 0;"  in addr_space_cast()
389 		"r2 = 42;"  in addr_space_cast()
390 		"*(u64 *)(r1 +0) = r2;"  in addr_space_cast()
404 		"r0 += r2;"  in aux1()
412 __msg("1: .1..45.... (b7) r2 = 2")
419 __msg("7: 0.2....... (0f) r0 += r2")
426 		"r2 = 2;"  in subprog1()