#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*/ msglist(char **);
void Characteristics(void) {
  static char *chars[] = {
      "Running this program should reveal these characteristics:",
      "     Radix = 1, 2, 4, 8, 10, 16, 100, 256 ...",
      "     Precision = number of significant digits carried.",
      "     U2 = Radix/Radix^Precision = One Ulp",
      "\t(OneUlpnit in the Last Place) of 1.000xxx .",
      "     U1 = 1/Radix^Precision = One Ulp of numbers a little less than 1.0 "
      ".",
      "     Adequacy of guard digits for Mult., Div. and Subt.",
      "     Whether arithmetic is chopped, correctly rounded, or something "
      "else",
      "\tfor Mult., Div., Add/Subt. and Sqrt.",
      "     Whether a Sticky Bit used correctly for rounding.",
      "     UnderflowThreshold = an underflow threshold.",
      "     E0 and PseudoZero tell whether underflow is abrupt, gradual, or "
      "fuzzy.",
      "     V = an overflow threshold, roughly.",
      "     V0  tells, roughly, whether  Infinity  is represented.",
      "     Comparisions are checked for consistency with subtraction",
      "\tand for contamination with pseudo-zeros.",
      "     Sqrt is tested.  Y^X is not tested.",
      "     Extra-precise subexpressions are revealed but NOT YET tested.",
      "     Decimal-Binary conversion is NOT YET tested for accuracy.",
      0};
  msglist(chars);
}


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

x86 assembly (clang, -O2):
<Characteristics>:
lea    0x2f19(%rip),%rdi
jmp    1030 <msglist@plt>

LLVM IR (-O0):
@Characteristics.chars = internal global [20 x i8*] [i8* getelementptr inbounds ([58 x i8], [58 x i8]* @.str, i32 0, i32 0), i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.1, i32 0, i32 0), i8* getelementptr inbounds ([55 x i8], [55 x i8]* @.str.2, i32 0, i32 0), i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.3, i32 0, i32 0), i8* getelementptr inbounds ([45 x i8], [45 x i8]* @.str.4, i32 0, i32 0), i8* getelementptr inbounds ([74 x i8], [74 x i8]* @.str.5, i32 0, i32 0), i8* getelementptr inbounds ([56 x i8], [56 x i8]* @.str.6, i32 0, i32 0), i8* getelementptr inbounds ([73 x i8], [73 x i8]* @.str.7, i32 0, i32 0), i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.8, i32 0, i32 0), i8* getelementptr inbounds ([55 x i8], [55 x i8]* @.str.9, i32 0, i32 0), i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.10, i32 0, i32 0), i8* getelementptr inbounds ([76 x i8], [76 x i8]* @.str.11, i32 0, i32 0), i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.12, i32 0, i32 0), i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str.13, i32 0, i32 0), i8* getelementptr inbounds ([63 x i8], [63 x i8]* @.str.14, i32 0, i32 0), i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.15, i32 0, i32 0), i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.16, i32 0, i32 0), i8* getelementptr inbounds ([67 x i8], [67 x i8]* @.str.17, i32 0, i32 0), i8* getelementptr inbounds ([63 x i8], [63 x i8]* @.str.18, i32 0, i32 0), i8* null]
@.str = [58 x i8] c"Running this program should reveal these characteristics:\00"
@.str.1 = [46 x i8] c" Radix = 1, 2, 4, 8, 10, 16, 100, 256 ...\00"
@.str.2 = [55 x i8] c" Precision = number of significant digits carried.\00"
@.str.3 = [42 x i8] c" U2 = Radix/Radix^Precision = One Ulp\00"
@.str.4 = [45 x i8] c"\09(OneUlpnit in the Last Place) of 1.000xxx .\00"
@.str.5 = [74 x i8] c" U1 = 1/Radix^Precision = One Ulp of numbers a little less than 1.0 .\00"
@.str.6 = [56 x i8] c" Adequacy of guard digits for Mult., Div. and Subt.\00"
@.str.7 = [73 x i8] c" Whether arithmetic is chopped, correctly rounded, or something else\00"
@.str.8 = [38 x i8] c"\09for Mult., Div., Add/Subt. and Sqrt.\00"
@.str.9 = [55 x i8] c" Whether a Sticky Bit used correctly for rounding.\00"
@.str.10 = [50 x i8] c" UnderflowThreshold = an underflow threshold.\00"
@.str.11 = [76 x i8] c" E0 and PseudoZero tell whether underflow is abrupt, gradual, or fuzzy.\00"
@.str.12 = [41 x i8] c" V = an overflow threshold, roughly.\00"
@.str.13 = [60 x i8] c" V0 tells, roughly, whether Infinity is represented.\00"
@.str.14 = [63 x i8] c" Comparisions are checked for consistency with subtraction\00"
@.str.15 = [42 x i8] c"\09and for contamination with pseudo-zeros.\00"
@.str.16 = [41 x i8] c" Sqrt is tested. Y^X is not tested.\00"
@.str.17 = [67 x i8] c" Extra-precise subexpressions are revealed but NOT YET tested.\00"
@.str.18 = [63 x i8] c" Decimal-Binary conversion is NOT YET tested for accuracy.\00"
define void @Characteristics() {
%1 = call i32 @msglist(i8** getelementptr inbounds ([20 x i8*], [20 x i8*]* @Characteristics.chars, i64 0, i64 0))
ret void
}

LLVM IR (-O2):
@Characteristics.chars = internal global [20 x i8*] [i8* getelementptr inbounds ([58 x i8], [58 x i8]* @.str, i32 0, i32 0), i8* getelementptr inbounds ([46 x i8], [46 x i8]* @.str.1, i32 0, i32 0), i8* getelementptr inbounds ([55 x i8], [55 x i8]* @.str.2, i32 0, i32 0), i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.3, i32 0, i32 0), i8* getelementptr inbounds ([45 x i8], [45 x i8]* @.str.4, i32 0, i32 0), i8* getelementptr inbounds ([74 x i8], [74 x i8]* @.str.5, i32 0, i32 0), i8* getelementptr inbounds ([56 x i8], [56 x i8]* @.str.6, i32 0, i32 0), i8* getelementptr inbounds ([73 x i8], [73 x i8]* @.str.7, i32 0, i32 0), i8* getelementptr inbounds ([38 x i8], [38 x i8]* @.str.8, i32 0, i32 0), i8* getelementptr inbounds ([55 x i8], [55 x i8]* @.str.9, i32 0, i32 0), i8* getelementptr inbounds ([50 x i8], [50 x i8]* @.str.10, i32 0, i32 0), i8* getelementptr inbounds ([76 x i8], [76 x i8]* @.str.11, i32 0, i32 0), i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.12, i32 0, i32 0), i8* getelementptr inbounds ([60 x i8], [60 x i8]* @.str.13, i32 0, i32 0), i8* getelementptr inbounds ([63 x i8], [63 x i8]* @.str.14, i32 0, i32 0), i8* getelementptr inbounds ([42 x i8], [42 x i8]* @.str.15, i32 0, i32 0), i8* getelementptr inbounds ([41 x i8], [41 x i8]* @.str.16, i32 0, i32 0), i8* getelementptr inbounds ([67 x i8], [67 x i8]* @.str.17, i32 0, i32 0), i8* getelementptr inbounds ([63 x i8], [63 x i8]* @.str.18, i32 0, i32 0), i8* null]
@.str = [58 x i8] c"Running this program should reveal these characteristics:\00"
@.str.1 = [46 x i8] c" Radix = 1, 2, 4, 8, 10, 16, 100, 256 ...\00"
@.str.2 = [55 x i8] c" Precision = number of significant digits carried.\00"
@.str.3 = [42 x i8] c" U2 = Radix/Radix^Precision = One Ulp\00"
@.str.4 = [45 x i8] c"\09(OneUlpnit in the Last Place) of 1.000xxx .\00"
@.str.5 = [74 x i8] c" U1 = 1/Radix^Precision = One Ulp of numbers a little less than 1.0 .\00"
@.str.6 = [56 x i8] c" Adequacy of guard digits for Mult., Div. and Subt.\00"
@.str.7 = [73 x i8] c" Whether arithmetic is chopped, correctly rounded, or something else\00"
@.str.8 = [38 x i8] c"\09for Mult., Div., Add/Subt. and Sqrt.\00"
@.str.9 = [55 x i8] c" Whether a Sticky Bit used correctly for rounding.\00"
@.str.10 = [50 x i8] c" UnderflowThreshold = an underflow threshold.\00"
@.str.11 = [76 x i8] c" E0 and PseudoZero tell whether underflow is abrupt, gradual, or fuzzy.\00"
@.str.12 = [41 x i8] c" V = an overflow threshold, roughly.\00"
@.str.13 = [60 x i8] c" V0 tells, roughly, whether Infinity is represented.\00"
@.str.14 = [63 x i8] c" Comparisions are checked for consistency with subtraction\00"
@.str.15 = [42 x i8] c"\09and for contamination with pseudo-zeros.\00"
@.str.16 = [41 x i8] c" Sqrt is tested. Y^X is not tested.\00"
@.str.17 = [67 x i8] c" Extra-precise subexpressions are revealed but NOT YET tested.\00"
@.str.18 = [63 x i8] c" Decimal-Binary conversion is NOT YET tested for accuracy.\00"
define void @Characteristics() {
%1 = tail call i32 @msglist(i8** getelementptr inbounds ([20 x i8*], [20 x i8*]* @Characteristics.chars, i64 0, i64 0))
ret void
}