1; RUN: llc < %s -mtriple=i386-apple-darwin | FileCheck %s 2 3; There should be no stack manipulations between the inline asm and ret. 4; CHECK: test1 5; CHECK: InlineAsm End 6; CHECK-NEXT: ret 7define x86_fp80 @test1() { 8 %tmp85 = call x86_fp80 asm sideeffect "fld0", "={st(0)}"() 9 ret x86_fp80 %tmp85 10} 11 12; CHECK: test2 13; CHECK: InlineAsm End 14; CHECK-NEXT: ret 15define double @test2() { 16 %tmp85 = call double asm sideeffect "fld0", "={st(0)}"() 17 ret double %tmp85 18} 19 20; Setting up argument in st(0) should be a single fld. 21; CHECK: test3 22; CHECK: fld 23; CHECK-NEXT: InlineAsm Start 24; Asm consumes stack, nothing should be popped. 25; CHECK: InlineAsm End 26; CHECK-NOT: fstp 27; CHECK: ret 28define void @test3(x86_fp80 %X) { 29 call void asm sideeffect "frob ", "{st(0)},~{st},~{dirflag},~{fpsr},~{flags}"( x86_fp80 %X) 30 ret void 31} 32 33; CHECK: test4 34; CHECK: fld 35; CHECK-NEXT: InlineAsm Start 36; CHECK: InlineAsm End 37; CHECK-NOT: fstp 38; CHECK: ret 39define void @test4(double %X) { 40 call void asm sideeffect "frob ", "{st(0)},~{st},~{dirflag},~{fpsr},~{flags}"( double %X) 41 ret void 42} 43 44; Same as test3/4, but using value from fadd. 45; The fadd can be done in xmm or x87 regs - we don't test that. 46; CHECK: test5 47; CHECK: InlineAsm End 48; CHECK-NOT: fstp 49; CHECK: ret 50define void @test5(double %X) { 51 %Y = fadd double %X, 123.0 52 call void asm sideeffect "frob ", "{st(0)},~{st},~{dirflag},~{fpsr},~{flags}"( double %Y) 53 ret void 54} 55 56; CHECK: test6 57define void @test6(double %A, double %B, double %C, 58 double %D, double %E) nounwind { 59entry: 60; Uses the same value twice, should have one fstp after the asm. 61; CHECK: foo 62; CHECK: InlineAsm End 63; CHECK-NEXT: fstp 64; CHECK-NOT: fstp 65 tail call void asm sideeffect "foo $0 $1", "f,f,~{dirflag},~{fpsr},~{flags}"( double %A, double %A ) nounwind 66; Uses two different values, should be in st(0)/st(1) and both be popped. 67; CHECK: bar 68; CHECK: InlineAsm End 69; CHECK-NEXT: fstp 70; CHECK-NEXT: fstp 71 tail call void asm sideeffect "bar $0 $1", "f,f,~{dirflag},~{fpsr},~{flags}"( double %B, double %C ) nounwind 72; Uses two different values, one of which isn't killed in this asm, it 73; should not be popped after the asm. 74; CHECK: baz 75; CHECK: InlineAsm End 76; CHECK-NEXT: fstp 77; CHECK-NOT: fstp 78 tail call void asm sideeffect "baz $0 $1", "f,f,~{dirflag},~{fpsr},~{flags}"( double %D, double %E ) nounwind 79; This is the last use of %D, so it should be popped after. 80; CHECK: baz 81; CHECK: InlineAsm End 82; CHECK-NEXT: fstp 83; CHECK-NOT: fstp 84; CHECK: ret 85 tail call void asm sideeffect "baz $0", "f,~{dirflag},~{fpsr},~{flags}"( double %D ) nounwind 86 ret void 87} 88 89; PR4185 90; Passing a non-killed value to asm in {st}. 91; Make sure it is duped before. 92; asm kills st(0), so we shouldn't pop anything 93; CHECK: testPR4185 94; CHECK: fld %st(0) 95; CHECK: fistpl 96; CHECK-NOT: fstp 97; CHECK: fistpl 98; CHECK-NOT: fstp 99; CHECK: ret 100; A valid alternative would be to remat the constant pool load before each 101; inline asm. 102define void @testPR4185() { 103return: 104 call void asm sideeffect "fistpl $0", "{st},~{st}"(double 1.000000e+06) 105 call void asm sideeffect "fistpl $0", "{st},~{st}"(double 1.000000e+06) 106 ret void 107} 108 109; Passing a non-killed value through asm in {st}. 110; Make sure it is not duped before. 111; Second asm kills st(0), so we shouldn't pop anything 112; CHECK: testPR4185b 113; CHECK-NOT: fld %st(0) 114; CHECK: fistl 115; CHECK-NOT: fstp 116; CHECK: fistpl 117; CHECK-NOT: fstp 118; CHECK: ret 119; A valid alternative would be to remat the constant pool load before each 120; inline asm. 121define void @testPR4185b() { 122return: 123 call void asm sideeffect "fistl $0", "{st}"(double 1.000000e+06) 124 call void asm sideeffect "fistpl $0", "{st},~{st}"(double 1.000000e+06) 125 ret void 126} 127 128; PR4459 129; The return value from ceil must be duped before being consumed by asm. 130; CHECK: testPR4459 131; CHECK: ceil 132; CHECK: fld %st(0) 133; CHECK-NOT: fxch 134; CHECK: fistpl 135; CHECK-NOT: fxch 136; CHECK: fstpt 137; CHECK: test 138define void @testPR4459(x86_fp80 %a) { 139entry: 140 %0 = call x86_fp80 @ceil(x86_fp80 %a) 141 call void asm sideeffect "fistpl $0", "{st},~{st}"( x86_fp80 %0) 142 call void @test3(x86_fp80 %0 ) 143 ret void 144} 145declare x86_fp80 @ceil(x86_fp80) 146 147; PR4484 148; test1 leaves a value on the stack that is needed after the asm. 149; CHECK: testPR4484 150; CHECK: test1 151; CHECK-NOT: fstp 152; Load %a from stack after ceil 153; CHECK: fldt 154; CHECK-NOT: fxch 155; CHECK: fistpl 156; CHECK-NOT: fstp 157; Set up call to test. 158; CHECK: fstpt 159; CHECK: test 160define void @testPR4484(x86_fp80 %a) { 161entry: 162 %0 = call x86_fp80 @test1() 163 call void asm sideeffect "fistpl $0", "{st},~{st}"(x86_fp80 %a) 164 call void @test3(x86_fp80 %0) 165 ret void 166} 167 168; PR4485 169; CHECK: testPR4485 170define void @testPR4485(x86_fp80* %a) { 171entry: 172 %0 = load x86_fp80* %a, align 16 173 %1 = fmul x86_fp80 %0, 0xK4006B400000000000000 174 %2 = fmul x86_fp80 %1, 0xK4012F424000000000000 175 tail call void asm sideeffect "fistpl $0", "{st},~{st}"(x86_fp80 %2) 176 %3 = load x86_fp80* %a, align 16 177 %4 = fmul x86_fp80 %3, 0xK4006B400000000000000 178 %5 = fmul x86_fp80 %4, 0xK4012F424000000000000 179 tail call void asm sideeffect "fistpl $0", "{st},~{st}"(x86_fp80 %5) 180 ret void 181} 182 183; An input argument in a fixed position is implicitly popped by the asm only if 184; the input argument is tied to an output register, or it is in the clobber list. 185; The clobber list case is tested above. 186; 187; This doesn't implicitly pop the stack: 188; 189; void fist1(long double x, int *p) { 190; asm volatile ("fistl %1" : : "t"(x), "m"(*p)); 191; } 192; 193; CHECK: fist1 194; CHECK: fldt 195; CHECK: fistl (%e 196; CHECK: fstp 197; CHECK: ret 198define void @fist1(x86_fp80 %x, i32* %p) nounwind ssp { 199entry: 200 tail call void asm sideeffect "fistl $1", "{st},*m,~{memory},~{dirflag},~{fpsr},~{flags}"(x86_fp80 %x, i32* %p) nounwind 201 ret void 202} 203 204; Here, the input operand is tied to an output which means that is is 205; implicitly popped (and then the output is implicitly pushed). 206; 207; long double fist2(long double x, int *p) { 208; long double y; 209; asm ("fistl %1" : "=&t"(y) : "0"(x), "m"(*p) : "memory"); 210; return y; 211; } 212; 213; CHECK: fist2 214; CHECK: fldt 215; CHECK: fistl (%e 216; CHECK-NOT: fstp 217; CHECK: ret 218define x86_fp80 @fist2(x86_fp80 %x, i32* %p) nounwind ssp { 219entry: 220 %0 = tail call x86_fp80 asm "fistl $2", "=&{st},0,*m,~{memory},~{dirflag},~{fpsr},~{flags}"(x86_fp80 %x, i32* %p) nounwind 221 ret x86_fp80 %0 222} 223 224; An 'f' constraint is never implicitly popped: 225; 226; void fucomp1(long double x, long double y) { 227; asm volatile ("fucomp %1" : : "t"(x), "f"(y) : "st"); 228; } 229; CHECK: fucomp1 230; CHECK: fldt 231; CHECK: fldt 232; CHECK: fucomp %st 233; CHECK: fstp 234; CHECK-NOT: fstp 235; CHECK: ret 236define void @fucomp1(x86_fp80 %x, x86_fp80 %y) nounwind ssp { 237entry: 238 tail call void asm sideeffect "fucomp $1", "{st},f,~{st},~{dirflag},~{fpsr},~{flags}"(x86_fp80 %x, x86_fp80 %y) nounwind 239 ret void 240} 241 242; The 'u' constraint is only popped implicitly when clobbered: 243; 244; void fucomp2(long double x, long double y) { 245; asm volatile ("fucomp %1" : : "t"(x), "u"(y) : "st"); 246; } 247; 248; void fucomp3(long double x, long double y) { 249; asm volatile ("fucompp %1" : : "t"(x), "u"(y) : "st", "st(1)"); 250; } 251; 252; CHECK: fucomp2 253; CHECK: fldt 254; CHECK: fldt 255; CHECK: fucomp %st(1) 256; CHECK: fstp 257; CHECK-NOT: fstp 258; CHECK: ret 259; 260; CHECK: fucomp3 261; CHECK: fldt 262; CHECK: fldt 263; CHECK: fucompp %st(1) 264; CHECK-NOT: fstp 265; CHECK: ret 266define void @fucomp2(x86_fp80 %x, x86_fp80 %y) nounwind ssp { 267entry: 268 tail call void asm sideeffect "fucomp $1", "{st},{st(1)},~{st},~{dirflag},~{fpsr},~{flags}"(x86_fp80 %x, x86_fp80 %y) nounwind 269 ret void 270} 271define void @fucomp3(x86_fp80 %x, x86_fp80 %y) nounwind ssp { 272entry: 273 tail call void asm sideeffect "fucompp $1", "{st},{st(1)},~{st},~{st(1)},~{dirflag},~{fpsr},~{flags}"(x86_fp80 %x, x86_fp80 %y) nounwind 274 ret void 275} 276 277; One input, two outputs, one dead output. 278%complex = type { float, float } 279; CHECK: sincos1 280; CHECK: flds 281; CHECK-NOT: fxch 282; CHECK: sincos 283; CHECK-NOT: fstp 284; CHECK: fstp %st(1) 285; CHECK-NOT: fstp 286; CHECK: ret 287define float @sincos1(float %x) nounwind ssp { 288entry: 289 %0 = tail call %complex asm "sincos", "={st},={st(1)},0,~{dirflag},~{fpsr},~{flags}"(float %x) nounwind 290 %asmresult = extractvalue %complex %0, 0 291 ret float %asmresult 292} 293 294; Same thing, swapped output operands. 295; CHECK: sincos2 296; CHECK: flds 297; CHECK-NOT: fxch 298; CHECK: sincos 299; CHECK-NOT: fstp 300; CHECK: fstp %st(1) 301; CHECK-NOT: fstp 302; CHECK: ret 303define float @sincos2(float %x) nounwind ssp { 304entry: 305 %0 = tail call %complex asm "sincos", "={st(1)},={st},1,~{dirflag},~{fpsr},~{flags}"(float %x) nounwind 306 %asmresult = extractvalue %complex %0, 1 307 ret float %asmresult 308} 309 310; Clobber st(0) after it was live-out/dead from the previous asm. 311; CHECK: sincos3 312; Load x, make a copy for the second asm. 313; CHECK: flds 314; CHECK: fld %st(0) 315; CHECK: sincos 316; Discard dead result in st(0), bring x to the top. 317; CHECK: fstp %st(0) 318; CHECK: fxch 319; x is now in st(0) for the second asm 320; CHECK: sincos 321; Discard both results. 322; CHECK: fstp 323; CHECK: fstp 324; CHECK: ret 325define float @sincos3(float %x) nounwind ssp { 326entry: 327 %0 = tail call %complex asm sideeffect "sincos", "={st(1)},={st},1,~{dirflag},~{fpsr},~{flags}"(float %x) nounwind 328 %1 = tail call %complex asm sideeffect "sincos", "={st(1)},={st},1,~{dirflag},~{fpsr},~{flags}"(float %x) nounwind 329 %asmresult = extractvalue %complex %0, 0 330 ret float %asmresult 331} 332 333; Pass the same value in two fixed stack slots. 334; CHECK: PR10602 335; CHECK: flds LCPI 336; CHECK: fld %st(0) 337; CHECK: fcomi %st(1), %st(0) 338define i32 @PR10602() nounwind ssp { 339entry: 340 %0 = tail call i32 asm "fcomi $2, $1; pushf; pop $0", "=r,{st},{st(1)},~{dirflag},~{fpsr},~{flags}"(double 2.000000e+00, double 2.000000e+00) nounwind 341 ret i32 %0 342} 343