; This is a smoke test for floating-point constant pooling. It tests
; pooling of various float and double constants (including positive
; and negative NaN) within functions and across functions. Note that
; in LLVM bitcode, hex constants are used for an FP constant whenever
; the constant "cannot be represented as a decimal floating point
; number in a reasonable number of digits". See
; http://llvm.org/docs/LangRef.html#simple-constants .
; RUN: %p2i --assemble --disassemble --filetype=obj --dis-flags=-s \
; RUN: -i %s --args -O2 --verbose none -allow-externally-defined-symbols \
; RUN: | FileCheck %s
; RUN: %p2i --assemble --disassemble --filetype=obj --dis-flags=-s \
; RUN: -i %s --args -Om1 --verbose none -allow-externally-defined-symbols \
; RUN: | FileCheck %s
; RUN: %if --need allow_dump --command %p2i --assemble --disassemble \
; RUN: --dis-flags=-s -i %s --args -O2 --verbose none \
; RUN: -allow-externally-defined-symbols \
; RUN: | %if --need allow_dump --command FileCheck %s
; RUN: %if --need allow_dump --command %p2i --assemble --disassemble \
; RUN: --dis-flags=-s -i %s --args -Om1 --verbose none \
; RUN: -allow-externally-defined-symbols \
; RUN: | %if --need allow_dump --command FileCheck %s
@__init_array_start = internal constant [0 x i8] zeroinitializer, align 4
@__fini_array_start = internal constant [0 x i8] zeroinitializer, align 4
@__tls_template_start = internal constant [0 x i8] zeroinitializer, align 8
@__tls_template_alignment = internal constant [4 x i8] c"\01\00\00\00", align 4
define internal float @FpLookup1(i32 %Arg) {
entry:
switch i32 %Arg, label %return [
i32 0, label %sw.bb
i32 1, label %sw.bb1
i32 2, label %sw.bb4
i32 3, label %sw.bb7
i32 -1, label %sw.bb10
i32 -2, label %sw.bb14
i32 -3, label %sw.bb19
i32 10, label %sw.bb24
i32 -10, label %sw.bb27
i32 100, label %sw.bb30
i32 101, label %sw.bb33
i32 102, label %sw.bb36
i32 103, label %sw.bb39
i32 -101, label %sw.bb42
i32 -102, label %sw.bb47
i32 -103, label %sw.bb52
i32 110, label %sw.bb57
i32 -110, label %sw.bb60
]
sw.bb: ; preds = %entry
%call = call float @Dummy(i32 0)
%add = fadd float %call, 1.000000e+00
br label %return
sw.bb1: ; preds = %entry
%call2 = call float @Dummy(i32 1)
%add3 = fadd float %call2, 2.000000e+00
br label %return
sw.bb4: ; preds = %entry
%call5 = call float @Dummy(i32 2)
%add6 = fadd float %call5, 4.000000e+00
br label %return
sw.bb7: ; preds = %entry
%call8 = call float @Dummy(i32 3)
%add9 = fadd float %call8, 8.000000e+00
br label %return
sw.bb10: ; preds = %entry
%call11 = call float @Dummy(i32 -1)
%conv13 = fadd float %call11, 5.000000e-01
br label %return
sw.bb14: ; preds = %entry
%call15 = call float @Dummy(i32 -2)
%conv16 = fpext float %call15 to double
%add17 = fadd double %conv16, 0x3FD5555555555555
%conv18 = fptrunc double %add17 to float
br label %return
sw.bb19: ; preds = %entry
%call20 = call float @Dummy(i32 -3)
%conv23 = fadd float %call20, 2.500000e-01
br label %return
sw.bb24: ; preds = %entry
%call25 = call float @Dummy(i32 10)
%add26 = fadd float %call25, 0x7FF8000000000000
br label %return
sw.bb27: ; preds = %entry
%call28 = call float @Dummy(i32 -10)
%add29 = fadd float %call28, 0xFFF8000000000000
br label %return
sw.bb30: ; preds = %entry
%call31 = call float @Dummy(i32 100)
%add32 = fadd float %call31, 1.000000e+00
br label %return
sw.bb33: ; preds = %entry
%call34 = call float @Dummy(i32 101)
%add35 = fadd float %call34, 2.000000e+00
br label %return
sw.bb36: ; preds = %entry
%call37 = call float @Dummy(i32 102)
%add38 = fadd float %call37, 4.000000e+00
br label %return
sw.bb39: ; preds = %entry
%call40 = call float @Dummy(i32 103)
%add41 = fadd float %call40, 8.000000e+00
br label %return
sw.bb42: ; preds = %entry
%call43 = call float @Dummy(i32 -101)
%conv46 = fadd float %call43, 5.000000e-01
br label %return
sw.bb47: ; preds = %entry
%call48 = call float @Dummy(i32 -102)
%conv49 = fpext float %call48 to double
%add50 = fadd double %conv49, 0x3FD5555555555555
%conv51 = fptrunc double %add50 to float
br label %return
sw.bb52: ; preds = %entry
%call53 = call float @Dummy(i32 -103)
%conv56 = fadd float %call53, 2.500000e-01
br label %return
sw.bb57: ; preds = %entry
%call58 = call float @Dummy(i32 110)
%add59 = fadd float %call58, 0x7FF8000000000000
br label %return
sw.bb60: ; preds = %entry
%call61 = call float @Dummy(i32 -110)
%add62 = fadd float %call61, 0xFFF8000000000000
br label %return
return: ; preds = %entry, %sw.bb60, %sw.bb57, %sw.bb52, %sw.bb47, %sw.bb42, %sw.bb39, %sw.bb36, %sw.bb33, %sw.bb30, %sw.bb27, %sw.bb24, %sw.bb19, %sw.bb14, %sw.bb10, %sw.bb7, %sw.bb4, %sw.bb1, %sw.bb
%retval.0 = phi float [ %add62, %sw.bb60 ], [ %add59, %sw.bb57 ], [ %conv56, %sw.bb52 ], [ %conv51, %sw.bb47 ], [ %conv46, %sw.bb42 ], [ %add41, %sw.bb39 ], [ %add38, %sw.bb36 ], [ %add35, %sw.bb33 ], [ %add32, %sw.bb30 ], [ %add29, %sw.bb27 ], [ %add26, %sw.bb24 ], [ %conv23, %sw.bb19 ], [ %conv18, %sw.bb14 ], [ %conv13, %sw.bb10 ], [ %add9, %sw.bb7 ], [ %add6, %sw.bb4 ], [ %add3, %sw.bb1 ], [ %add, %sw.bb ], [ 0.000000e+00, %entry ]
ret float %retval.0
}
declare float @Dummy(i32)
define internal float @FpLookup2(i32 %Arg) {
entry:
switch i32 %Arg, label %return [
i32 0, label %sw.bb
i32 1, label %sw.bb1
i32 2, label %sw.bb4
i32 3, label %sw.bb7
i32 -1, label %sw.bb10
i32 -2, label %sw.bb14
i32 -3, label %sw.bb19
i32 10, label %sw.bb24
i32 -10, label %sw.bb27
i32 100, label %sw.bb30
i32 101, label %sw.bb33
i32 102, label %sw.bb36
i32 103, label %sw.bb39
i32 -101, label %sw.bb42
i32 -102, label %sw.bb47
i32 -103, label %sw.bb52
i32 110, label %sw.bb57
i32 -110, label %sw.bb60
]
sw.bb: ; preds = %entry
%call = call float @Dummy(i32 0)
%add = fadd float %call, 1.000000e+00
br label %return
sw.bb1: ; preds = %entry
%call2 = call float @Dummy(i32 1)
%add3 = fadd float %call2, 2.000000e+00
br label %return
sw.bb4: ; preds = %entry
%call5 = call float @Dummy(i32 2)
%add6 = fadd float %call5, 4.000000e+00
br label %return
sw.bb7: ; preds = %entry
%call8 = call float @Dummy(i32 3)
%add9 = fadd float %call8, 8.000000e+00
br label %return
sw.bb10: ; preds = %entry
%call11 = call float @Dummy(i32 -1)
%conv13 = fadd float %call11, 5.000000e-01
br label %return
sw.bb14: ; preds = %entry
%call15 = call float @Dummy(i32 -2)
%conv16 = fpext float %call15 to double
%add17 = fadd double %conv16, 0x3FD5555555555555
%conv18 = fptrunc double %add17 to float
br label %return
sw.bb19: ; preds = %entry
%call20 = call float @Dummy(i32 -3)
%conv23 = fadd float %call20, 2.500000e-01
br label %return
sw.bb24: ; preds = %entry
%call25 = call float @Dummy(i32 10)
%add26 = fadd float %call25, 0x7FF8000000000000
br label %return
sw.bb27: ; preds = %entry
%call28 = call float @Dummy(i32 -10)
%add29 = fadd float %call28, 0xFFF8000000000000
br label %return
sw.bb30: ; preds = %entry
%call31 = call float @Dummy(i32 100)
%add32 = fadd float %call31, 1.000000e+00
br label %return
sw.bb33: ; preds = %entry
%call34 = call float @Dummy(i32 101)
%add35 = fadd float %call34, 2.000000e+00
br label %return
sw.bb36: ; preds = %entry
%call37 = call float @Dummy(i32 102)
%add38 = fadd float %call37, 4.000000e+00
br label %return
sw.bb39: ; preds = %entry
%call40 = call float @Dummy(i32 103)
%add41 = fadd float %call40, 8.000000e+00
br label %return
sw.bb42: ; preds = %entry
%call43 = call float @Dummy(i32 -101)
%conv46 = fadd float %call43, 5.000000e-01
br label %return
sw.bb47: ; preds = %entry
%call48 = call float @Dummy(i32 -102)
%conv49 = fpext float %call48 to double
%add50 = fadd double %conv49, 0x3FD5555555555555
%conv51 = fptrunc double %add50 to float
br label %return
sw.bb52: ; preds = %entry
%call53 = call float @Dummy(i32 -103)
%conv56 = fadd float %call53, 2.500000e-01
br label %return
sw.bb57: ; preds = %entry
%call58 = call float @Dummy(i32 110)
%add59 = fadd float %call58, 0x7FF8000000000000
br label %return
sw.bb60: ; preds = %entry
%call61 = call float @Dummy(i32 -110)
%add62 = fadd float %call61, 0xFFF8000000000000
br label %return
return: ; preds = %entry, %sw.bb60, %sw.bb57, %sw.bb52, %sw.bb47, %sw.bb42, %sw.bb39, %sw.bb36, %sw.bb33, %sw.bb30, %sw.bb27, %sw.bb24, %sw.bb19, %sw.bb14, %sw.bb10, %sw.bb7, %sw.bb4, %sw.bb1, %sw.bb
%retval.0 = phi float [ %add62, %sw.bb60 ], [ %add59, %sw.bb57 ], [ %conv56, %sw.bb52 ], [ %conv51, %sw.bb47 ], [ %conv46, %sw.bb42 ], [ %add41, %sw.bb39 ], [ %add38, %sw.bb36 ], [ %add35, %sw.bb33 ], [ %add32, %sw.bb30 ], [ %add29, %sw.bb27 ], [ %add26, %sw.bb24 ], [ %conv23, %sw.bb19 ], [ %conv18, %sw.bb14 ], [ %conv13, %sw.bb10 ], [ %add9, %sw.bb7 ], [ %add6, %sw.bb4 ], [ %add3, %sw.bb1 ], [ %add, %sw.bb ], [ 0.000000e+00, %entry ]
ret float %retval.0
}
define internal double @FpLookup3(i32 %Arg) {
entry:
switch i32 %Arg, label %return [
i32 0, label %sw.bb
i32 1, label %sw.bb1
i32 2, label %sw.bb5
i32 3, label %sw.bb9
i32 -1, label %sw.bb13
i32 -2, label %sw.bb17
i32 -3, label %sw.bb21
i32 10, label %sw.bb25
i32 -10, label %sw.bb29
i32 100, label %sw.bb33
i32 101, label %sw.bb37
i32 102, label %sw.bb41
i32 103, label %sw.bb45
i32 -101, label %sw.bb49
i32 -102, label %sw.bb53
i32 -103, label %sw.bb57
i32 110, label %sw.bb61
i32 -110, label %sw.bb65
]
sw.bb: ; preds = %entry
%call = call float @Dummy(i32 0)
%add = fadd float %call, 1.000000e+00
%conv = fpext float %add to double
br label %return
sw.bb1: ; preds = %entry
%call2 = call float @Dummy(i32 1)
%add3 = fadd float %call2, 2.000000e+00
%conv4 = fpext float %add3 to double
br label %return
sw.bb5: ; preds = %entry
%call6 = call float @Dummy(i32 2)
%add7 = fadd float %call6, 4.000000e+00
%conv8 = fpext float %add7 to double
br label %return
sw.bb9: ; preds = %entry
%call10 = call float @Dummy(i32 3)
%add11 = fadd float %call10, 8.000000e+00
%conv12 = fpext float %add11 to double
br label %return
sw.bb13: ; preds = %entry
%call14 = call float @Dummy(i32 -1)
%conv15 = fpext float %call14 to double
%add16 = fadd double %conv15, 5.000000e-01
br label %return
sw.bb17: ; preds = %entry
%call18 = call float @Dummy(i32 -2)
%conv19 = fpext float %call18 to double
%add20 = fadd double %conv19, 0x3FD5555555555555
br label %return
sw.bb21: ; preds = %entry
%call22 = call float @Dummy(i32 -3)
%conv23 = fpext float %call22 to double
%add24 = fadd double %conv23, 2.500000e-01
br label %return
sw.bb25: ; preds = %entry
%call26 = call float @Dummy(i32 10)
%conv27 = fpext float %call26 to double
%add28 = fadd double %conv27, 0x7FF8000000000000
br label %return
sw.bb29: ; preds = %entry
%call30 = call float @Dummy(i32 -10)
%conv31 = fpext float %call30 to double
%add32 = fadd double %conv31, 0xFFF8000000000000
br label %return
sw.bb33: ; preds = %entry
%call34 = call float @Dummy(i32 100)
%add35 = fadd float %call34, 1.000000e+00
%conv36 = fpext float %add35 to double
br label %return
sw.bb37: ; preds = %entry
%call38 = call float @Dummy(i32 101)
%add39 = fadd float %call38, 2.000000e+00
%conv40 = fpext float %add39 to double
br label %return
sw.bb41: ; preds = %entry
%call42 = call float @Dummy(i32 102)
%add43 = fadd float %call42, 4.000000e+00
%conv44 = fpext float %add43 to double
br label %return
sw.bb45: ; preds = %entry
%call46 = call float @Dummy(i32 103)
%add47 = fadd float %call46, 8.000000e+00
%conv48 = fpext float %add47 to double
br label %return
sw.bb49: ; preds = %entry
%call50 = call float @Dummy(i32 -101)
%conv51 = fpext float %call50 to double
%add52 = fadd double %conv51, 5.000000e-01
br label %return
sw.bb53: ; preds = %entry
%call54 = call float @Dummy(i32 -102)
%conv55 = fpext float %call54 to double
%add56 = fadd double %conv55, 0x3FD5555555555555
br label %return
sw.bb57: ; preds = %entry
%call58 = call float @Dummy(i32 -103)
%conv59 = fpext float %call58 to double
%add60 = fadd double %conv59, 2.500000e-01
br label %return
sw.bb61: ; preds = %entry
%call62 = call float @Dummy(i32 110)
%conv63 = fpext float %call62 to double
%add64 = fadd double %conv63, 0x7FF8000000000000
br label %return
sw.bb65: ; preds = %entry
%call66 = call float @Dummy(i32 -110)
%conv67 = fpext float %call66 to double
%add68 = fadd double %conv67, 0xFFF8000000000000
br label %return
return: ; preds = %entry, %sw.bb65, %sw.bb61, %sw.bb57, %sw.bb53, %sw.bb49, %sw.bb45, %sw.bb41, %sw.bb37, %sw.bb33, %sw.bb29, %sw.bb25, %sw.bb21, %sw.bb17, %sw.bb13, %sw.bb9, %sw.bb5, %sw.bb1, %sw.bb
%retval.0 = phi double [ %add68, %sw.bb65 ], [ %add64, %sw.bb61 ], [ %add60, %sw.bb57 ], [ %add56, %sw.bb53 ], [ %add52, %sw.bb49 ], [ %conv48, %sw.bb45 ], [ %conv44, %sw.bb41 ], [ %conv40, %sw.bb37 ], [ %conv36, %sw.bb33 ], [ %add32, %sw.bb29 ], [ %add28, %sw.bb25 ], [ %add24, %sw.bb21 ], [ %add20, %sw.bb17 ], [ %add16, %sw.bb13 ], [ %conv12, %sw.bb9 ], [ %conv8, %sw.bb5 ], [ %conv4, %sw.bb1 ], [ %conv, %sw.bb ], [ 0.000000e+00, %entry ]
ret double %retval.0
}
define internal double @FpLookup4(i32 %Arg) {
entry:
switch i32 %Arg, label %return [
i32 0, label %sw.bb
i32 1, label %sw.bb1
i32 2, label %sw.bb5
i32 3, label %sw.bb9
i32 -1, label %sw.bb13
i32 -2, label %sw.bb17
i32 -3, label %sw.bb21
i32 10, label %sw.bb25
i32 -10, label %sw.bb29
i32 100, label %sw.bb33
i32 101, label %sw.bb37
i32 102, label %sw.bb41
i32 103, label %sw.bb45
i32 -101, label %sw.bb49
i32 -102, label %sw.bb53
i32 -103, label %sw.bb57
i32 110, label %sw.bb61
i32 -110, label %sw.bb65
]
sw.bb: ; preds = %entry
%call = call float @Dummy(i32 0)
%add = fadd float %call, 1.000000e+00
%conv = fpext float %add to double
br label %return
sw.bb1: ; preds = %entry
%call2 = call float @Dummy(i32 1)
%add3 = fadd float %call2, 2.000000e+00
%conv4 = fpext float %add3 to double
br label %return
sw.bb5: ; preds = %entry
%call6 = call float @Dummy(i32 2)
%add7 = fadd float %call6, 4.000000e+00
%conv8 = fpext float %add7 to double
br label %return
sw.bb9: ; preds = %entry
%call10 = call float @Dummy(i32 3)
%add11 = fadd float %call10, 8.000000e+00
%conv12 = fpext float %add11 to double
br label %return
sw.bb13: ; preds = %entry
%call14 = call float @Dummy(i32 -1)
%conv15 = fpext float %call14 to double
%add16 = fadd double %conv15, 5.000000e-01
br label %return
sw.bb17: ; preds = %entry
%call18 = call float @Dummy(i32 -2)
%conv19 = fpext float %call18 to double
%add20 = fadd double %conv19, 0x3FD5555555555555
br label %return
sw.bb21: ; preds = %entry
%call22 = call float @Dummy(i32 -3)
%conv23 = fpext float %call22 to double
%add24 = fadd double %conv23, 2.500000e-01
br label %return
sw.bb25: ; preds = %entry
%call26 = call float @Dummy(i32 10)
%conv27 = fpext float %call26 to double
%add28 = fadd double %conv27, 0x7FF8000000000000
br label %return
sw.bb29: ; preds = %entry
%call30 = call float @Dummy(i32 -10)
%conv31 = fpext float %call30 to double
%add32 = fadd double %conv31, 0xFFF8000000000000
br label %return
sw.bb33: ; preds = %entry
%call34 = call float @Dummy(i32 100)
%add35 = fadd float %call34, 1.000000e+00
%conv36 = fpext float %add35 to double
br label %return
sw.bb37: ; preds = %entry
%call38 = call float @Dummy(i32 101)
%add39 = fadd float %call38, 2.000000e+00
%conv40 = fpext float %add39 to double
br label %return
sw.bb41: ; preds = %entry
%call42 = call float @Dummy(i32 102)
%add43 = fadd float %call42, 4.000000e+00
%conv44 = fpext float %add43 to double
br label %return
sw.bb45: ; preds = %entry
%call46 = call float @Dummy(i32 103)
%add47 = fadd float %call46, 8.000000e+00
%conv48 = fpext float %add47 to double
br label %return
sw.bb49: ; preds = %entry
%call50 = call float @Dummy(i32 -101)
%conv51 = fpext float %call50 to double
%add52 = fadd double %conv51, 5.000000e-01
br label %return
sw.bb53: ; preds = %entry
%call54 = call float @Dummy(i32 -102)
%conv55 = fpext float %call54 to double
%add56 = fadd double %conv55, 0x3FD5555555555555
br label %return
sw.bb57: ; preds = %entry
%call58 = call float @Dummy(i32 -103)
%conv59 = fpext float %call58 to double
%add60 = fadd double %conv59, 2.500000e-01
br label %return
sw.bb61: ; preds = %entry
%call62 = call float @Dummy(i32 110)
%conv63 = fpext float %call62 to double
%add64 = fadd double %conv63, 0x7FF8000000000000
br label %return
sw.bb65: ; preds = %entry
%call66 = call float @Dummy(i32 -110)
%conv67 = fpext float %call66 to double
%add68 = fadd double %conv67, 0xFFF8000000000000
br label %return
return: ; preds = %entry, %sw.bb65, %sw.bb61, %sw.bb57, %sw.bb53, %sw.bb49, %sw.bb45, %sw.bb41, %sw.bb37, %sw.bb33, %sw.bb29, %sw.bb25, %sw.bb21, %sw.bb17, %sw.bb13, %sw.bb9, %sw.bb5, %sw.bb1, %sw.bb
%retval.0 = phi double [ %add68, %sw.bb65 ], [ %add64, %sw.bb61 ], [ %add60, %sw.bb57 ], [ %add56, %sw.bb53 ], [ %add52, %sw.bb49 ], [ %conv48, %sw.bb45 ], [ %conv44, %sw.bb41 ], [ %conv40, %sw.bb37 ], [ %conv36, %sw.bb33 ], [ %add32, %sw.bb29 ], [ %add28, %sw.bb25 ], [ %add24, %sw.bb21 ], [ %add20, %sw.bb17 ], [ %add16, %sw.bb13 ], [ %conv12, %sw.bb9 ], [ %conv8, %sw.bb5 ], [ %conv4, %sw.bb1 ], [ %conv, %sw.bb ], [ 0.000000e+00, %entry ]
ret double %retval.0
}
; The FP constant pool entries for each type are dumped in some
; implementation-dependent order. So for the purposes of lit, we just
; pick one value for each type, and make sure it appears exactly once.
; Check for float 0.5
; CHECK-LABEL: .rodata.cst4
; CHECK: 0000003f
; CHECK-NOT: 0000003f
; Check for double 0.5
; CHECK-LABEL: .rodata.cst8
; CHECK: 00000000 0000e03f
; CHECK-NOT: 00000000 0000e03f
; CHECK-LABEL: .text