1 ; RUN: llvm-as -f %s -o - | llc
3 ; Test that a negative constant smaller than 64 bits (e.g., int)
4 ; is correctly implemented with sign-extension.
5 ; In particular, the current code generated is:
10 ; setx .G_fmtArg_1, %o1, %o0
11 ; setuw 1, %o1 ! i = 1
12 ; setuw 4294967295, %o3 ! THE BUG: 0x00000000ffffffff
14 ; add %i6, 1999, %o2 ! fval
17 ; mulx %o1, %o3, %o1 ! ERROR: 0xffffffff; should be -1
18 ; add %o1, 3, %o1 ! ERROR: 0x100000002; should be 0x2
20 ; add %o2, %o3, %o3 ! produces bad address!
27 ; ioff = 2 fval = 0xffffffff7fffec90 &fval[2] = 0xb7fffeca8
29 ; ioff = 2 fval = 0xffffffff7fffec90 &fval[2] = 0xffffffff7fffeca8
32 %Results = type { float, float, float }
34 %fmtArg = internal global [39 x sbyte] c"ioff = %u\09fval = 0x%p\09&fval[2] = 0x%p\0A\00"; <[39 x sbyte]*> [#uses=1]
38 declare int "printf"(sbyte*, ...)
42 %fval = alloca %Results, uint 4
43 %i = add uint 1, 0 ; i = 1
44 %iscale = mul uint %i, 4294967295 ; i*-1 = -1
45 %ioff = add uint %iscale, 3 ; 3+(-i) = 2
46 %ioff = cast uint %ioff to long
47 %fptr = getelementptr %Results* %fval, long %ioff ; &fval[2]
48 %castFmt = getelementptr [39 x sbyte]* %fmtArg, long 0, long 0
49 call int (sbyte*, ...)* %printf(sbyte* %castFmt, uint %ioff, %Results* %fval, %Results* %fptr)