Subzero: Write float/double constant pools directly to the ELF file.

tests_lit/llvm2ice_tests/elf_container.ll

 ; Tests that we generate an ELF container with fields that make sense,
 ; cross-validating against llvm-mc.
 
 ; For the integrated ELF writer, we can't pipe the output because we need
 ; to seek backward and patch up the file headers. So, use a temporary file.
 ; RUN: %p2i -i %s --args -O2 --verbose none -elf-writer -o %t \
 ; RUN:   && llvm-readobj -file-headers -sections -section-data \
 ; RUN:       -relocations -symbols %t | FileCheck %s
 
 ; RUN: %p2i -i %s --args -O2 --verbose none \
@@ skipping 20 matching lines @@
 @const_short_zero = internal constant [2 x i8] zeroinitializer, align 2
 @const_double_zero = internal constant [8 x i8] zeroinitializer, align 8
 
 
 @addend_ptr = internal global i32 add (i32 ptrtoint (i32* @ptr to i32), i32 128)
 @const_addend_ptr = internal constant i32 add (i32 ptrtoint (i32* @ptr to i32), i32 64)
 
 ; Use float/double constants to test constant pools.
 define internal float @returnFloatConst() {
 entry:
-  %f = fadd float 0x3FF3AE1480000000, 0x3FF3AE1400000000
+  %f = fadd float -0.0, 0x3FF3AE1400000000
   ret float %f
 }
 
 define internal double @returnDoubleConst() {
 entry:
-  %d = fadd double 1.230000e+00, 3.210000e+00
-  ret double %d
+  %d = fadd double 0x7FFFFFFFFFFFFFFFF, 0xFFF7FFFFFFFFFFFF
+  %d2 = fadd double %d, 0xFFF8000000000003
+  ret double %d2
 }
 
 define internal void @test_memcpy(i32 %iptr_dst, i32 %len) {
 entry:
   %dst = inttoptr i32 %iptr_dst to i8*
   %src = bitcast [7 x i8]* @bytes to i8*
   call void @llvm.memcpy.p0i8.p0i8.i32(i8* %dst, i8* %src,
                                        i32 %len, i32 1, i1 false)
   ret void
 }
@@ skipping 75 matching lines @@
 ; CHECK:     Info: 0
 ; CHECK:     AddressAlignment: 32
 ; CHECK:     EntrySize: 0
 ; CHECK:     SectionData (
 ;   There's probably halt padding (0xF4) in there somewhere.
 ; CHECK:       {{.*}}F4
 ; CHECK:     )
 ; CHECK:   }
 ; CHECK:   Section {
 ; CHECK:     Index: {{[1-9][0-9]*}}
+; CHECK:     Name: .rodata.cst4
+; CHECK:     Type: SHT_PROGBITS
+; CHECK:     Flags [ (0x12)
+; CHECK:       SHF_ALLOC
+; CHECK:       SHF_MERGE
+; CHECK:     ]
+; CHECK:     Address: 0x0
+; CHECK:     Offset: 0x{{[1-9A-F][0-9A-F]*}}
+; CHECK:     Size: 8
+; CHECK:     Link: 0
+; CHECK:     Info: 0
+; CHECK:     AddressAlignment: 4
+; CHECK:     EntrySize: 4
+; CHECK:     SectionData (
+; CHECK:       0000: A0709D3F 00000080
+; CHECK:     )
+; CHECK:   }
+; CHECK:   Section {
+; CHECK:     Index: {{[1-9][0-9]*}}
+; CHECK:     Name: .rodata.cst8
+; CHECK:     Type: SHT_PROGBITS
+; CHECK:     Flags [ (0x12)
+; CHECK:       SHF_ALLOC
+; CHECK:       SHF_MERGE
+; CHECK:     ]
+; CHECK:     Address: 0x0
+; CHECK:     Offset: 0x{{[1-9A-F][0-9A-F]*}}
+; CHECK:     Size: 24
+; CHECK:     Link: 0
+; CHECK:     Info: 0
+; CHECK:     AddressAlignment: 8
+; CHECK:     EntrySize: 8
+; CHECK:     SectionData (
+; CHECK:       0000: 03000000 0000F8FF FFFFFFFF FFFFF7FF
+; CHECK:       0010: FFFFFFFF FFFFFFFF
+; CHECK:     )
+; CHECK:   }
+; CHECK:   Section {
+; CHECK:     Index: {{[1-9][0-9]*}}
 ; CHECK:     Name: .shstrtab
 ; CHECK:     Type: SHT_STRTAB
 ; CHECK:     Flags [ (0x0)
 ; CHECK:     ]
 ; CHECK:     Address: 0x0
 ; CHECK:     Offset: 0x{{[1-9A-F][0-9A-F]*}}
 ; CHECK:     Size: {{[1-9][0-9]*}}
 ; CHECK:     Link: 0
 ; CHECK:     Info: 0
 ; CHECK:     AddressAlignment: 1
@@ skipping 42 matching lines @@
 ; CHECK-NEXT:     Name: (0)
 ; CHECK-NEXT:     Value: 0x0
 ; CHECK-NEXT:     Size: 0
 ; CHECK-NEXT:     Binding: Local
 ; CHECK-NEXT:     Type: None
 ; CHECK-NEXT:     Other: 0
 ; CHECK-NEXT:     Section: Undefined (0x0)
 ; CHECK-NEXT:   }
 ;  TODO: fill in the data symbols.
 ; CHECK:        Symbol {
+; CHECK:          Name: .L$double$0
+; CHECK-NEXT:     Value: 0x10
+; CHECK-NEXT:     Size: 0
+; CHECK-NEXT:     Binding: Local (0x0)
+; CHECK-NEXT:     Type: None (0x0)
+; CHECK-NEXT:     Other: 0
+; CHECK-NEXT:     Section: .rodata.cst8
+; CHECK-NEXT:   }
+; CHECK:        Symbol {
+; CHECK:          Name: .L$double$2
+; CHECK-NEXT:     Value: 0x0
+; CHECK-NEXT:     Size: 0
+; CHECK-NEXT:     Binding: Local (0x0)
+; CHECK-NEXT:     Type: None (0x0)
+; CHECK-NEXT:     Other: 0
+; CHECK-NEXT:     Section: .rodata.cst8
+; CHECK-NEXT:   }
+; CHECK:        Symbol {
+; CHECK:          Name: .L$float$0
+; CHECK-NEXT:     Value: 0x4
+; CHECK-NEXT:     Size: 0
+; CHECK-NEXT:     Binding: Local (0x0)
+; CHECK-NEXT:     Type: None (0x0)
+; CHECK-NEXT:     Other: 0
+; CHECK-NEXT:     Section: .rodata.cst4
+; CHECK-NEXT:   }
+; CHECK:        Symbol {
+; CHECK:          Name: .L$float$1
+; CHECK-NEXT:     Value: 0x0
+; CHECK-NEXT:     Size: 0
+; CHECK-NEXT:     Binding: Local (0x0)
+; CHECK-NEXT:     Type: None (0x0)
+; CHECK-NEXT:     Other: 0
+; CHECK-NEXT:     Section: .rodata.cst4
+; CHECK-NEXT:   }
+; CHECK:        Symbol {
 ; CHECK:          Name: returnDoubleConst
 ; CHECK-NEXT:     Value: 0x{{[1-9A-F][0-9A-F]*}}
 ; CHECK-NEXT:     Size: 0
 ; CHECK-NEXT:     Binding: Local
 ; CHECK-NEXT:     Type: None
 ; CHECK-NEXT:     Other: 0
 ; CHECK-NEXT:     Section: .text
 ; CHECK-NEXT:   }
 ; CHECK:        Symbol {
 ; CHECK:          Name: returnFloatConst
@@ skipping 17 matching lines @@
 ; CHECK:        Symbol {
 ; CHECK:          Name: _start
 ; CHECK-NEXT:     Value: 0x{{[1-9A-F][0-9A-F]*}}
 ; CHECK-NEXT:     Size: 0
 ; CHECK-NEXT:     Binding: Global
 ; CHECK-NEXT:     Type: Function
 ; CHECK-NEXT:     Other: 0
 ; CHECK-NEXT:     Section: .text
 ; CHECK-NEXT:   }
 ; CHECK: ]