13 lwpins $0, 485498096, %r15d  label
17 lwpins $0, 485498096, %r15  label
21 lwpins $0, 64(%rdx), %r15d  label
25 lwpins $0, 64(%rdx), %r15  label
29 lwpins $0, 64(%rdx,%rax,4), %r15d  label
33 lwpins $0, 64(%rdx,%rax,4), %r15  label
37 lwpins $0, -64(%rdx,%rax,4), %r15d  label
41 lwpins $0, -64(%rdx,%rax,4), %r15  label
45 lwpins $0, 64(%rdx,%rax), %r15d  label
49 lwpins $0, 64(%rdx,%rax), %r15  label
53 lwpins $0, %r13d, %r15d  label
57 lwpins $0, %r13d, %r15  label
61 lwpins $0, (%rdx), %r15d  label
65 lwpins $0, (%rdx), %r15  label