#define NULL ((void *)0)
typedef unsigned long size_t; // Customize by platform.
typedef long intptr_t;
typedef unsigned long uintptr_t;
typedef long scalar_t__; // Either arithmetic or pointer type.
/* By default, we understand bool (as a convenience). */
typedef int bool;
#define false 0
#define true 1

/* Forward declarations */

/* Type definitions */

/* Variables and functions */
int /*<<< orphan*/ printf(char *);
void show_eci(void) {
  printf(" 3: ISO-8859-1 - Latin alphabet No. 1 (default)\n"
         " 4: ISO-8859-2 - Latin alphabet No. 2\n"
         " 5: ISO-8859-3 - Latin alphabet No. 3\n"
         " 6: ISO-8859-4 - Latin alphabet No. 4\n"
         " 7: ISO-8859-5 - Latin/Cyrillic alphabet\n"
         " 8: ISO-8859-6 - Latin/Arabic alphabet\n"
         " 9: ISO-8859-7 - Latin/Greek alphabet\n"
         "10: ISO-8859-8 - Latin/Hebrew alphabet\n"
         "11: ISO-8859-9 - Latin alphabet No. 5\n"
         "12: ISO-8859-10 - Latin alphabet No. 6\n"
         "13: ISO-8859-11 - Latin/Thai alphabet\n"
         "15: ISO-8859-13 - Latin alphabet No. 7\n"
         "16: ISO-8859-14 - Latin alphabet No. 8 (Celtic)\n"
         "17: ISO-8859-15 - Latin alphabet No. 9\n"
         "18: ISO-8859-16 - Latin alphabet No. 10\n"
         "20: ** Shift-JIS (JISX 0208 amd JISX 0201)\n"
         "21: Windows-1250\n"
         "22: Windows-1251\n"
         "23: Windows-1252\n"
         "24: Windows-1256\n"
         "25: ** UCS-2 Unicode (High order byte first)\n"
         "26: Unicode (UTF-8)\n"
         "27: ISO-646:1991 7-bit character set\n"
         "28: ** Big-5 (Taiwan) Chinese Character Set\n"
         "29: ** GB (PRC) Chinese Character Set\n"
         "30: ** Korean Character Set (KSX1001:1998)\n"
         "** See note in section 4.10 of the manual\n");
}


x86 assembly (clang, -O0):
<show_eci>:
push   %rbp
mov    %rsp,%rbp
lea    0xee5(%rip),%rdi
call   1030 <printf@plt>
pop    %rbp
ret

x86 assembly (clang, -O2):
<show_eci>:
lea    0xee9(%rip),%rdi
jmp    1030 <puts@plt>

LLVM IR (-O0):
@.str = [981 x i8] c" 3: ISO-8859-1 - Latin alphabet No. 1 (default)\0A 4: ISO-8859-2 - Latin alphabet No. 2\0A 5: ISO-8859-3 - Latin alphabet No. 3\0A 6: ISO-8859-4 - Latin alphabet No. 4\0A 7: ISO-8859-5 - Latin/Cyrillic alphabet\0A 8: ISO-8859-6 - Latin/Arabic alphabet\0A 9: ISO-8859-7 - Latin/Greek alphabet\0A10: ISO-8859-8 - Latin/Hebrew alphabet\0A11: ISO-8859-9 - Latin alphabet No. 5\0A12: ISO-8859-10 - Latin alphabet No. 6\0A13: ISO-8859-11 - Latin/Thai alphabet\0A15: ISO-8859-13 - Latin alphabet No. 7\0A16: ISO-8859-14 - Latin alphabet No. 8 (Celtic)\0A17: ISO-8859-15 - Latin alphabet No. 9\0A18: ISO-8859-16 - Latin alphabet No. 10\0A20: ** Shift-JIS (JISX 0208 amd JISX 0201)\0A21: Windows-1250\0A22: Windows-1251\0A23: Windows-1252\0A24: Windows-1256\0A25: ** UCS-2 Unicode (High order byte first)\0A26: Unicode (UTF-8)\0A27: ISO-646:1991 7-bit character set\0A28: ** Big-5 (Taiwan) Chinese Character Set\0A29: ** GB (PRC) Chinese Character Set\0A30: ** Korean Character Set (KSX1001:1998)\0A** See note in section 4.10 of the manual\0A\00"
define void @show_eci() {
%1 = call i32 @printf(i8* getelementptr inbounds ([981 x i8], [981 x i8]* @.str, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@str = [980 x i8] c" 3: ISO-8859-1 - Latin alphabet No. 1 (default)\0A 4: ISO-8859-2 - Latin alphabet No. 2\0A 5: ISO-8859-3 - Latin alphabet No. 3\0A 6: ISO-8859-4 - Latin alphabet No. 4\0A 7: ISO-8859-5 - Latin/Cyrillic alphabet\0A 8: ISO-8859-6 - Latin/Arabic alphabet\0A 9: ISO-8859-7 - Latin/Greek alphabet\0A10: ISO-8859-8 - Latin/Hebrew alphabet\0A11: ISO-8859-9 - Latin alphabet No. 5\0A12: ISO-8859-10 - Latin alphabet No. 6\0A13: ISO-8859-11 - Latin/Thai alphabet\0A15: ISO-8859-13 - Latin alphabet No. 7\0A16: ISO-8859-14 - Latin alphabet No. 8 (Celtic)\0A17: ISO-8859-15 - Latin alphabet No. 9\0A18: ISO-8859-16 - Latin alphabet No. 10\0A20: ** Shift-JIS (JISX 0208 amd JISX 0201)\0A21: Windows-1250\0A22: Windows-1251\0A23: Windows-1252\0A24: Windows-1256\0A25: ** UCS-2 Unicode (High order byte first)\0A26: Unicode (UTF-8)\0A27: ISO-646:1991 7-bit character set\0A28: ** Big-5 (Taiwan) Chinese Character Set\0A29: ** GB (PRC) Chinese Character Set\0A30: ** Korean Character Set (KSX1001:1998)\0A** See note in section 4.10 of the manual\00"
define void @show_eci() {
%1 = tail call i32 @puts(i8* dereferenceable(1) getelementptr inbounds ([980 x i8], [980 x i8]* @str, i64 0, i64 0))
ret void
}