blob: 74429c382e71ea1c5e3c54229f27a6eb81c3fd53 [file] [log] [blame]
Dan Gohman36a09472009-09-08 23:54:48 +00001; RUN: llc < %s -march=x86 | not grep "movl %eax, %eax"
2; RUN: llc < %s -march=x86 | not grep "movl %edx, %edx"
3; RUN: llc < %s -march=x86 | not grep "movl (%eax), %eax"
4; RUN: llc < %s -march=x86 | not grep "movl (%edx), %edx"
5; RUN: llc < %s -march=x86 -regalloc=local | not grep "movl %eax, %eax"
6; RUN: llc < %s -march=x86 -regalloc=local | not grep "movl %edx, %edx"
7; RUN: llc < %s -march=x86 -regalloc=local | not grep "movl (%eax), %eax"
8; RUN: llc < %s -march=x86 -regalloc=local | not grep "movl (%edx), %edx"
Dale Johannesen91aac102008-09-17 21:13:11 +00009
10; %0 must not be put in EAX or EDX.
11; In the first asm, $0 and $2 must not be put in EAX.
12; In the second asm, $0 and $2 must not be put in EDX.
13; This is kind of hard to test thoroughly, but the things above should continue
14; to pass, I think.
15; ModuleID = '<stdin>'
16target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128"
17target triple = "i386-apple-darwin8"
18@x = common global i32 0 ; <i32*> [#uses=1]
19
20define i32 @aci(i32* %pw) nounwind {
21entry:
22 %0 = load i32* @x, align 4 ; <i32> [#uses=1]
23 %asmtmp = tail call { i32, i32 } asm "movl $0, %eax\0A\090:\0A\09test %eax, %eax\0A\09je 1f\0A\09movl %eax, $2\0A\09incl $2\0A\09lock\0A\09cmpxchgl $2, $0\0A\09jne 0b\0A\091:", "=*m,=&{ax},=&r,*m,~{dirflag},~{fpsr},~{flags},~{memory},~{cc}"(i32* %pw, i32* %pw) nounwind ; <{ i32, i32 }> [#uses=0]
24 %asmtmp2 = tail call { i32, i32 } asm "movl $0, %edx\0A\090:\0A\09test %edx, %edx\0A\09je 1f\0A\09movl %edx, $2\0A\09incl $2\0A\09lock\0A\09cmpxchgl $2, $0\0A\09jne 0b\0A\091:", "=*m,=&{dx},=&r,*m,~{dirflag},~{fpsr},~{flags},~{memory},~{cc}"(i32* %pw, i32* %pw) nounwind ; <{ i32, i32 }> [#uses=1]
25 %asmresult3 = extractvalue { i32, i32 } %asmtmp2, 0 ; <i32> [#uses=1]
26 %1 = add i32 %asmresult3, %0 ; <i32> [#uses=1]
27 ret i32 %1
28}