char *do_efmt(d, obuf, Width, Precision, Alt, Plus, Minus, Zero, UpperCase)
char *obuf;
double d;
{
  char *Ecvt;
  char *ob;
  int decpt, sign, E;
  int len;
  int AllZeroes = 0;
  Ecvt = ecvt(d, Precision + 1, &decpt, &sign);
  len = strlen(Ecvt);
  if (strspn(Ecvt, "0") == len)
    AllZeroes = 1;
  ob = obuf;
  if (sign)
    *ob++ = '-';
  else if (Plus)
    *ob++ = '+';
  *ob++ = Ecvt[0];
  if (Precision > 0 || Alt)
    *ob++ = '.';
  strcpy(ob, &Ecvt[1]);
  ob += strlen(ob);
  *ob++ = UpperCase ? 'E' : 'e';
  if (AllZeroes)
    E = 0;
  else
    E = decpt - 1;
  if (E < 0) {
    *ob++ = '-';
    E = -E;
  } else {
    *ob++ = '+';
  }
  sprintf(ob, "%.2d", E);
  if (Width > strlen(obuf))
    return Fill(obuf, Width, Minus, Zero);
  else
    return obuf;
}


x86 assembly (clang, -O0):
<do_efmt>:
push   %rbp
mov    %rsp,%rbp
sub    $0x60,%rsp
mov    0x18(%rbp),%eax
mov    0x10(%rbp),%eax
movsd  %xmm0,-0x10(%rbp)
mov    %rdi,-0x18(%rbp)
mov    %esi,-0x1c(%rbp)
mov    %edx,-0x20(%rbp)
mov    %ecx,-0x24(%rbp)
mov    %r8d,-0x28(%rbp)
mov    %r9d,-0x2c(%rbp)
movl   $0x0,-0x54(%rbp)
movsd  -0x10(%rbp),%xmm0
mov    -0x20(%rbp),%edi
add    $0x1,%edi
lea    -0x44(%rbp),%rsi
lea    -0x48(%rbp),%rdx
mov    $0x1,%al
call   1060 <ecvt@plt>
cltq
mov    %rax,-0x38(%rbp)
mov    -0x38(%rbp),%rdi
call   1050 <strlen@plt>
mov    %eax,-0x50(%rbp)
mov    -0x38(%rbp),%rdi
lea    0xe3a(%rip),%rsi
call   1070 <strspn@plt>
movslq -0x50(%rbp),%rcx
cmp    %rcx,%rax
jne    11df <do_efmt+0x7f>
movl   $0x1,-0x54(%rbp)
mov    -0x18(%rbp),%rax
mov    %rax,-0x40(%rbp)
cmpl   $0x0,-0x48(%rbp)
je     1208 <do_efmt+0xa8>
mov    -0x40(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x40(%rbp)
movb   $0x2d,(%rax)
jmp    1229 <do_efmt+0xc9>
cmpl   $0x0,-0x28(%rbp)
je     1224 <do_efmt+0xc4>
mov    -0x40(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x40(%rbp)
movb   $0x2b,(%rax)
jmp    1229 <do_efmt+0xc9>
mov    -0x38(%rbp),%rax
mov    (%rax),%cl
mov    -0x40(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x40(%rbp)
mov    %cl,(%rax)
cmpl   $0x0,-0x20(%rbp)
jg     1254 <do_efmt+0xf4>
cmpl   $0x0,-0x24(%rbp)
je     1266 <do_efmt+0x106>
mov    -0x40(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x40(%rbp)
movb   $0x2e,(%rax)
mov    -0x40(%rbp),%rdi
mov    -0x38(%rbp),%rsi
add    $0x1,%rsi
call   1040 <strcpy@plt>
mov    -0x40(%rbp),%rdi
call   1050 <strlen@plt>
add    -0x40(%rbp),%rax
mov    %rax,-0x40(%rbp)
mov    0x18(%rbp),%edx
mov    $0x65,%eax
mov    $0x45,%ecx
cmp    $0x0,%edx
cmovne %ecx,%eax
mov    %al,%cl
mov    -0x40(%rbp),%rax
mov    %rax,%rdx
add    $0x1,%rdx
mov    %rdx,-0x40(%rbp)
mov    %cl,(%rax)
cmpl   $0x0,-0x54(%rbp)
je     12c4 <do_efmt+0x164>
movl   $0x0,-0x4c(%rbp)
jmp    12cd <do_efmt+0x16d>
mov    -0x44(%rbp),%eax
sub    $0x1,%eax
mov    %eax,-0x4c(%rbp)
cmpl   $0x0,-0x4c(%rbp)
jge    12f6 <do_efmt+0x196>
mov    -0x40(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x40(%rbp)
movb   $0x2d,(%rax)
xor    %eax,%eax
sub    -0x4c(%rbp),%eax
mov    %eax,-0x4c(%rbp)
jmp    1308 <do_efmt+0x1a8>
mov    -0x40(%rbp),%rax
mov    %rax,%rcx
add    $0x1,%rcx
mov    %rcx,-0x40(%rbp)
movb   $0x2b,(%rax)
mov    -0x40(%rbp),%rdi
mov    -0x4c(%rbp),%edx
lea    0xcec(%rip),%rsi
mov    $0x0,%al
call   1080 <sprintf@plt>
movslq -0x1c(%rbp),%rax
mov    %rax,-0x60(%rbp)
mov    -0x18(%rbp),%rdi
call   1050 <strlen@plt>
mov    %rax,%rcx
mov    -0x60(%rbp),%rax
cmp    %rcx,%rax
jbe    135d <do_efmt+0x1fd>
mov    -0x18(%rbp),%rdi
mov    -0x1c(%rbp),%esi
mov    -0x2c(%rbp),%edx
mov    0x10(%rbp),%ecx
mov    $0x0,%al
call   1030 <Fill@plt>
cltq
mov    %rax,-0x8(%rbp)
jmp    1365 <do_efmt+0x205>
mov    -0x18(%rbp),%rax
mov    %rax,-0x8(%rbp)
mov    -0x8(%rbp),%rax
add    $0x60,%rsp
pop    %rbp
ret

x86 assembly (clang, -O2):
<do_efmt>:
push   %rbp
push   %r15
push   %r14
push   %r13
push   %r12
push   %rbx
sub    $0x18,%rsp
mov    %r9d,0x8(%rsp)
mov    %r8d,%ebx
mov    %ecx,0xc(%rsp)
mov    %edx,%r14d
mov    %esi,0x4(%rsp)
mov    %rdi,%r15
lea    0x1(%r14),%edi
lea    0x14(%rsp),%rsi
lea    0x10(%rsp),%rdx
mov    $0x1,%al
call   1060 <ecvt@plt>
movslq %eax,%rbp
mov    %rbp,%rdi
call   1050 <strlen@plt>
mov    %rax,%r12
lea    0xe52(%rip),%rsi
mov    %rbp,%rdi
call   1070 <strspn@plt>
mov    $0x2d,%dl
cmpl   $0x0,0x10(%rsp)
jne    11ca <do_efmt+0x6a>
mov    $0x2b,%dl
mov    %ebx,%ecx
mov    %r15,%rbx
test   %ecx,%ecx
je     11d1 <do_efmt+0x71>
lea    0x1(%r15),%rbx
mov    %dl,(%r15)
mov    0x58(%rsp),%r13d
movslq %r12d,%r12
mov    0x0(%rbp),%cl
mov    %cl,(%rbx)
test   %r14d,%r14d
jg     11f3 <do_efmt+0x93>
cmpl   $0x0,0xc(%rsp)
jne    11f3 <do_efmt+0x93>
mov    %rax,%r14
add    $0x1,%rbx
jmp    11fe <do_efmt+0x9e>
mov    %rax,%r14
movb   $0x2e,0x1(%rbx)
add    $0x2,%rbx
add    $0x1,%rbp
mov    %rbx,%rdi
mov    %rbp,%rsi
call   1040 <strcpy@plt>
mov    %rbx,%rdi
call   1050 <strlen@plt>
test   %r13d,%r13d
sete   %cl
shl    $0x5,%cl
or     $0x45,%cl
mov    %cl,(%rbx,%rax,1)
mov    0x14(%rsp),%ecx
add    $0xffffffff,%ecx
xor    %edx,%edx
cmp    %r12,%r14
lea    0x1(%rbx,%rax,1),%rdi
cmovne %ecx,%edx
test   %edx,%edx
js     1241 <do_efmt+0xe1>
movb   $0x2b,(%rdi)
jmp    1246 <do_efmt+0xe6>
movb   $0x2d,(%rdi)
neg    %edx
mov    0x4(%rsp),%ebp
add    $0x1,%rdi
lea    0xdad(%rip),%rsi
xor    %eax,%eax
call   1080 <sprintf@plt>
movslq %ebp,%rbx
mov    %r15,%rdi
call   1050 <strlen@plt>
cmp    %rbx,%rax
jae    1283 <do_efmt+0x123>
mov    0x50(%rsp),%ecx
mov    %r15,%rdi
mov    %ebp,%esi
mov    0x8(%rsp),%edx
xor    %eax,%eax
call   1030 <Fill@plt>
movslq %eax,%r15
mov    %r15,%rax
add    $0x18,%rsp
pop    %rbx
pop    %r12
pop    %r13
pop    %r14
pop    %r15
pop    %rbp
ret

LLVM IR (-O0):
@.str = [2 x i8] c"0\00"
@.str.1 = [5 x i8] c"%.2d\00"
define i8* @do_efmt(double %0, i8* %1, i32 %2, i32 %3, i32 %4, i32 %5, i32 %6, i32 %7, i32 %8) {
%10 = alloca i8*
%11 = alloca double
%12 = alloca i8*
%13 = alloca i32
%14 = alloca i32
%15 = alloca i32
%16 = alloca i32
%17 = alloca i32
%18 = alloca i32
%19 = alloca i32
%20 = alloca i8*
%21 = alloca i8*
%22 = alloca i32
%23 = alloca i32
%24 = alloca i32
%25 = alloca i32
%26 = alloca i32
store double %0, double* %11
store i8* %1, i8** %12
store i32 %2, i32* %13
store i32 %3, i32* %14
store i32 %4, i32* %15
store i32 %5, i32* %16
store i32 %6, i32* %17
store i32 %7, i32* %18
store i32 %8, i32* %19
store i32 0, i32* %26
%27 = load double, double* %11
%28 = load i32, i32* %14
%29 = add nsw i32 %28, 1
%30 = call i32 (double, i32, i32*, i32*, ...) bitcast (i32 (...)* @ecvt to i32 (double, i32, i32*, i32*, ...)*)(double %27, i32 %29, i32* %22, i32* %23)
%31 = sext i32 %30 to i64
%32 = inttoptr i64 %31 to i8*
store i8* %32, i8** %20
%33 = load i8*, i8** %20
%34 = call i64 @strlen(i8* %33)
%35 = trunc i64 %34 to i32
store i32 %35, i32* %25
%36 = load i8*, i8** %20
%37 = call i64 @strspn(i8* %36, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%38 = load i32, i32* %25
%39 = sext i32 %38 to i64
%40 = icmp eq i64 %37, %39
br i1 %40, label %41, label %42
41: ; preds = %9
store i32 1, i32* %26
br label %42
42: ; preds = %41, %9
%43 = load i8*, i8** %12
store i8* %43, i8** %21
%44 = load i32, i32* %23
%45 = icmp ne i32 %44, 0
br i1 %45, label %46, label %49
46: ; preds = %42
%47 = load i8*, i8** %21
%48 = getelementptr inbounds i8, i8* %47, i32 1
store i8* %48, i8** %21
store i8 45, i8* %47
br label %56
49: ; preds = %42
%50 = load i32, i32* %16
%51 = icmp ne i32 %50, 0
br i1 %51, label %52, label %55
52: ; preds = %49
%53 = load i8*, i8** %21
%54 = getelementptr inbounds i8, i8* %53, i32 1
store i8* %54, i8** %21
store i8 43, i8* %53
br label %55
55: ; preds = %52, %49
br label %56
56: ; preds = %55, %46
%57 = load i8*, i8** %20
%58 = getelementptr inbounds i8, i8* %57, i64 0
%59 = load i8, i8* %58
%60 = load i8*, i8** %21
%61 = getelementptr inbounds i8, i8* %60, i32 1
store i8* %61, i8** %21
store i8 %59, i8* %60
%62 = load i32, i32* %14
%63 = icmp sgt i32 %62, 0
br i1 %63, label %67, label %64
64: ; preds = %56
%65 = load i32, i32* %15
%66 = icmp ne i32 %65, 0
br i1 %66, label %67, label %70
67: ; preds = %64, %56
%68 = load i8*, i8** %21
%69 = getelementptr inbounds i8, i8* %68, i32 1
store i8* %69, i8** %21
store i8 46, i8* %68
br label %70
70: ; preds = %67, %64
%71 = load i8*, i8** %21
%72 = load i8*, i8** %20
%73 = getelementptr inbounds i8, i8* %72, i64 1
%74 = call i8* @strcpy(i8* %71, i8* %73)
%75 = load i8*, i8** %21
%76 = call i64 @strlen(i8* %75)
%77 = load i8*, i8** %21
%78 = getelementptr inbounds i8, i8* %77, i64 %76
store i8* %78, i8** %21
%79 = load i32, i32* %19
%80 = icmp ne i32 %79, 0
%81 = zext i1 %80 to i64
%82 = select i1 %80, i32 69, i32 101
%83 = trunc i32 %82 to i8
%84 = load i8*, i8** %21
%85 = getelementptr inbounds i8, i8* %84, i32 1
store i8* %85, i8** %21
store i8 %83, i8* %84
%86 = load i32, i32* %26
%87 = icmp ne i32 %86, 0
br i1 %87, label %88, label %89
88: ; preds = %70
store i32 0, i32* %24
br label %92
89: ; preds = %70
%90 = load i32, i32* %22
%91 = sub nsw i32 %90, 1
store i32 %91, i32* %24
br label %92
92: ; preds = %89, %88
%93 = load i32, i32* %24
%94 = icmp slt i32 %93, 0
br i1 %94, label %95, label %100
95: ; preds = %92
%96 = load i8*, i8** %21
%97 = getelementptr inbounds i8, i8* %96, i32 1
store i8* %97, i8** %21
store i8 45, i8* %96
%98 = load i32, i32* %24
%99 = sub nsw i32 0, %98
store i32 %99, i32* %24
br label %103
100: ; preds = %92
%101 = load i8*, i8** %21
%102 = getelementptr inbounds i8, i8* %101, i32 1
store i8* %102, i8** %21
store i8 43, i8* %101
br label %103
103: ; preds = %100, %95
%104 = load i8*, i8** %21
%105 = load i32, i32* %24
%106 = call i32 (i8*, i8*, ...) @sprintf(i8* %104, i8* getelementptr inbounds ([5 x i8], [5 x i8]* @.str.1, i64 0, i64 0), i32 %105)
%107 = load i32, i32* %13
%108 = sext i32 %107 to i64
%109 = load i8*, i8** %12
%110 = call i64 @strlen(i8* %109)
%111 = icmp ugt i64 %108, %110
br i1 %111, label %112, label %120
112: ; preds = %103
%113 = load i8*, i8** %12
%114 = load i32, i32* %13
%115 = load i32, i32* %17
%116 = load i32, i32* %18
%117 = call i32 (i8*, i32, i32, i32, ...) bitcast (i32 (...)* @Fill to i32 (i8*, i32, i32, i32, ...)*)(i8* %113, i32 %114, i32 %115, i32 %116)
%118 = sext i32 %117 to i64
%119 = inttoptr i64 %118 to i8*
store i8* %119, i8** %10
br label %122
120: ; preds = %103
%121 = load i8*, i8** %12
store i8* %121, i8** %10
br label %122
122: ; preds = %120, %112
%123 = load i8*, i8** %10
ret i8* %123
}

LLVM IR (-O2):
@.str = [2 x i8] c"0\00"
@.str.1 = [5 x i8] c"%.2d\00"
define i8* @do_efmt(double %0, i8* %1, i32 %2, i32 %3, i32 %4, i32 %5, i32 %6, i32 %7, i32 %8) {
%10 = alloca i32
%11 = alloca i32
%12 = bitcast i32* %10 to i8*
%13 = bitcast i32* %11 to i8*
%14 = add nsw i32 %3, 1
%15 = call i32 (double, i32, i32*, i32*, ...) bitcast (i32 (...)* @ecvt to i32 (double, i32, i32*, i32*, ...)*)(double %0, i32 %14, i32* %10, i32* %11)
%16 = sext i32 %15 to i64
%17 = inttoptr i64 %16 to i8*
%18 = call i64 @strlen(i8* dereferenceable(1) %17)
%19 = call i64 @strspn(i8* %17, i8* getelementptr inbounds ([2 x i8], [2 x i8]* @.str, i64 0, i64 0))
%20 = shl i64 %18, 32
%21 = ashr exact i64 %20, 32
%22 = icmp eq i64 %19, %21
%23 = load i32, i32* %11
%24 = icmp eq i32 %23, 0
br i1 %24, label %25, label %27
25: ; preds = %9
%26 = icmp eq i32 %5, 0
br i1 %26, label %30, label %27
27: ; preds = %25, %9
%28 = phi i8 [ 45, %9 ], [ 43, %25 ]
%29 = getelementptr inbounds i8, i8* %1, i64 1
store i8 %28, i8* %1
br label %30
30: ; preds = %27, %25
%31 = phi i8* [ %1, %25 ], [ %29, %27 ]
%32 = load i8, i8* %17
%33 = getelementptr inbounds i8, i8* %31, i64 1
store i8 %32, i8* %31
%34 = icmp sgt i32 %3, 0
%35 = icmp ne i32 %4, 0
%36 = or i1 %34, %35
br i1 %36, label %37, label %39
37: ; preds = %30
%38 = getelementptr inbounds i8, i8* %31, i64 2
store i8 46, i8* %33
br label %39
39: ; preds = %30, %37
%40 = phi i8* [ %38, %37 ], [ %33, %30 ]
%41 = getelementptr inbounds i8, i8* %17, i64 1
%42 = call i8* @strcpy(i8* %40, i8* %41)
%43 = call i64 @strlen(i8* %40)
%44 = getelementptr inbounds i8, i8* %40, i64 %43
%45 = icmp eq i32 %8, 0
%46 = select i1 %45, i8 101, i8 69
%47 = getelementptr inbounds i8, i8* %44, i64 1
store i8 %46, i8* %44
%48 = load i32, i32* %10
%49 = add nsw i32 %48, -1
%50 = select i1 %22, i32 0, i32 %49
%51 = icmp slt i32 %50, 0
br i1 %51, label %52, label %54
52: ; preds = %39
store i8 45, i8* %47
%53 = sub nsw i32 0, %50
br label %55
54: ; preds = %39
store i8 43, i8* %47
br label %55
55: ; preds = %54, %52
%56 = phi i32 [ %53, %52 ], [ %50, %54 ]
%57 = getelementptr inbounds i8, i8* %47, i64 1
%58 = call i32 (i8*, i8*, ...) @sprintf(i8* %57, i8* dereferenceable(1) getelementptr inbounds ([5 x i8], [5 x i8]* @.str.1, i64 0, i64 0), i32 %56)
%59 = sext i32 %2 to i64
%60 = call i64 @strlen(i8* dereferenceable(1) %1)
%61 = icmp ult i64 %60, %59
br i1 %61, label %62, label %66
62: ; preds = %55
%63 = call i32 (i8*, i32, i32, i32, ...) bitcast (i32 (...)* @Fill to i32 (i8*, i32, i32, i32, ...)*)(i8* %1, i32 %2, i32 %6, i32 %7)
%64 = sext i32 %63 to i64
%65 = inttoptr i64 %64 to i8*
br label %66
66: ; preds = %55, %62
%67 = phi i8* [ %65, %62 ], [ %1, %55 ]
ret i8* %67
}