121 lines · plain
1; NOTE: Assertions have been autogenerated by utils/update_llc_test_checks.py2; RUN: llc < %s -mtriple=i686-w64-windows-gnu | FileCheck %s3 4@a = global i32 0, align 45@b = global float 0.000000e+00, align 46@d = global float 0.000000e+00, align 47@f = global i32 0, align 48@g = global float 0.000000e+00, align 49@e = global i32 0, align 410@c = global ptr null, align 411 12; The FP stack should be preserved across the call to __alloca.13define void @h(float %i) {14; CHECK-LABEL: h:15; CHECK: # %bb.0: # %entry16; CHECK-NEXT: pushl %ebp17; CHECK-NEXT: .cfi_def_cfa_offset 818; CHECK-NEXT: .cfi_offset %ebp, -819; CHECK-NEXT: movl %esp, %ebp20; CHECK-NEXT: .cfi_def_cfa_register %ebp21; CHECK-NEXT: pushl %esi22; CHECK-NEXT: andl $-16, %esp23; CHECK-NEXT: subl $32, %esp24; CHECK-NEXT: movl %esp, %esi25; CHECK-NEXT: .cfi_offset %esi, -1226; CHECK-NEXT: flds 8(%ebp)27; CHECK-NEXT: movl _a, %ecx28; CHECK-NEXT: leal 3(%ecx), %eax29; CHECK-NEXT: andl $-4, %eax30; CHECK-NEXT: calll __alloca31; CHECK-NEXT: movl %esp, %eax32; CHECK-NEXT: andl $-16, %eax33; CHECK-NEXT: movl %eax, %esp34; CHECK-NEXT: fsts 8(%esi) # 4-byte Folded Spill35; CHECK-NEXT: fadds _b36; CHECK-NEXT: fsts _d37; CHECK-NEXT: fld138; CHECK-NEXT: fldz39; CHECK-NEXT: testl %ecx, %ecx40; CHECK-NEXT: fld %st(0)41; CHECK-NEXT: fld %st(2)42; CHECK-NEXT: je LBB0_243; CHECK-NEXT: # %bb.1: # %for.body.preheader44; CHECK-NEXT: fstp %st(1)45; CHECK-NEXT: fstp %st(0)46; CHECK-NEXT: movl _f, %ecx47; CHECK-NEXT: flds (%eax,%ecx,4)48; CHECK-NEXT: fld %st(3)49; CHECK-NEXT: LBB0_2: # %for.cond1.preheader50; CHECK-NEXT: movl _e, %ecx51; CHECK-NEXT: movl %ecx, 12(%esi)52; CHECK-NEXT: fildl 12(%esi)53; CHECK-NEXT: movl _c, %edx54; CHECK-NEXT: jmp LBB0_355; CHECK-NEXT: .p2align 456; CHECK-NEXT: LBB0_5: # %for.inc57; CHECK-NEXT: # in Loop: Header=BB0_3 Depth=158; CHECK-NEXT: fxch %st(5)59; CHECK-NEXT: fadd %st(4), %st60; CHECK-NEXT: fxch %st(5)61; CHECK-NEXT: LBB0_3: # %for.cond162; CHECK-NEXT: # =>This Inner Loop Header: Depth=163; CHECK-NEXT: fld %st(5)64; CHECK-NEXT: fmul %st(4), %st65; CHECK-NEXT: fdiv %st(2), %st66; CHECK-NEXT: fadd %st(3), %st67; CHECK-NEXT: fsts _g68; CHECK-NEXT: fxch %st(1)69; CHECK-NEXT: fucom %st(1)70; CHECK-NEXT: fstp %st(1)71; CHECK-NEXT: fnstsw %ax72; CHECK-NEXT: # kill: def $ah killed $ah killed $ax73; CHECK-NEXT: sahf74; CHECK-NEXT: jbe LBB0_575; CHECK-NEXT: # %bb.4: # %if.then76; CHECK-NEXT: # in Loop: Header=BB0_3 Depth=177; CHECK-NEXT: flds 8(%esi) # 4-byte Folded Reload78; CHECK-NEXT: fstps (%edx,%ecx,4)79; CHECK-NEXT: jmp LBB0_580entry:81 %0 = load i32, ptr @a, align 482 %1 = alloca i8, i32 %0, align 1683 %2 = load float, ptr @b, align 484 %add = fadd float %2, %i85 store float %add, ptr @d, align 486 %tobool.not = icmp eq i32 %0, 087 br i1 %tobool.not, label %for.cond1.preheader, label %for.body.preheader88 89for.body.preheader: ; preds = %entry90 %3 = load i32, ptr @f, align 491 %arrayidx.le = getelementptr inbounds float, ptr %1, i32 %392 %4 = load float, ptr %arrayidx.le, align 493 br label %for.cond1.preheader94 95for.cond1.preheader: ; preds = %for.body.preheader, %entry96 %k.0.lcssa = phi float [ %4, %for.body.preheader ], [ undef, %entry ]97 %l.0.lcssa = phi float [ %add, %for.body.preheader ], [ 1.000000e+00, %entry ]98 %5 = load i32, ptr @e, align 499 %conv = sitofp i32 %5 to float100 %6 = load ptr, ptr @c, align 4101 %arrayidx4 = getelementptr inbounds float, ptr %6, i32 %5102 br label %for.cond1103 104for.cond1: ; preds = %for.inc, %for.cond1.preheader105 %m.0 = phi float [ %add5, %for.inc ], [ %add, %for.cond1.preheader ]106 %mul = fmul float %m.0, 0.000000e+00107 %div = fdiv float %mul, %l.0.lcssa108 %add2 = fadd float %k.0.lcssa, %div109 store float %add2, ptr @g, align 4110 %cmp = fcmp olt float %add2, %conv111 br i1 %cmp, label %if.then, label %for.inc112 113if.then: ; preds = %for.cond1114 store float %i, ptr %arrayidx4, align 4115 br label %for.inc116 117for.inc: ; preds = %if.then, %for.cond1118 %add5 = fadd float %m.0, 1.000000e+00119 br label %for.cond1120}121