Commit Graph

161 Commits

Author SHA1 Message Date
Jorge Aparicio
2c520f10b9 README: fix link 2016-08-23 20:17:39 -05:00
Jorge Aparicio
47c5322e3c Merge pull request #54 from japaric/gist
CI: gist the disassemblies
2016-08-22 21:48:09 -05:00
Jorge Aparicio
316f5cb9ba use the gist crate
but not on OSX because it doesn't work there

closes #53
cc #51
2016-08-22 21:22:16 -05:00
Matt Ickstadt
5c9bfabcdf appveyor: Use gist to post disassembly 2016-08-22 17:49:39 -05:00
Matt Ickstadt
27cbb963a3 travis: Use wgetpaste to post disassemblies to gist 2016-08-22 17:49:39 -05:00
Jorge Aparicio
9307ee99b5 Merge pull request #52 from mattico/add-readme-port-help
Add a `Porting Reminders` section to the README
2016-08-21 18:13:29 -05:00
Matt Ickstadt
3986d1e3b6 Add a Porting Reminders section to the README 2016-08-21 15:49:32 -05:00
Jorge Aparicio
7811f92bea Merge pull request #50 from japaric/post-43
use utility function to compare the repr of floats
2016-08-21 12:22:14 -05:00
Jorge Aparicio
2e561b3869 use utility function to compare the repr of floats
follow up of #43
2016-08-21 11:24:58 -05:00
Jorge Aparicio
10fdc9b535 only show disassembly of optimized build
we can't really compare the disassembly of the debug build to
libcompiler-rt.a anyways
2016-08-21 11:09:32 -05:00
Jorge Aparicio
c427112561 Merge pull request #49 from japaric/edge
qc: bias towards generation of edge cases
2016-08-21 11:03:44 -05:00
Jorge Aparicio
ebadb12986 Merge pull request #43 from mattico/add-add_f3-builtins
Add soft float addition builtins
2016-08-21 11:03:10 -05:00
Matt Ickstadt
da53b70d34 Use mem::swap to swap variables 2016-08-20 22:30:02 -05:00
Jorge Aparicio
fc0cdeb7f1 qc: bias towards generation of edge cases 2016-08-20 22:17:50 -05:00
Matt Ickstadt
ef16de3d37 Implement soft float add builtins 2016-08-20 16:06:02 -05:00
Matt Ickstadt
6f0d50ebea Move integer functions to separate module 2016-08-20 15:55:06 -05:00
Jorge Aparicio
8603e64554 Merge pull request #44 from Amanieu/sdiv
Add signed division functions
2016-08-19 09:16:53 -05:00
Amanieu d'Antras
b9e916c769 Add tests for ARM division builtins 2016-08-19 12:13:02 +01:00
Amanieu d'Antras
f919660be5 Add signed division functions 2016-08-19 12:13:02 +01:00
Jorge Aparicio
6508c55b7d Merge pull request #47 from japaric/muldi
rename muldi4 to muldi3
2016-08-18 21:44:42 -05:00
Jorge Aparicio
5e47ca2699 rename muldi4 to muldi3
closes #42
2016-08-18 21:27:16 -05:00
Jorge Aparicio
74cd512caa Merge pull request #40 from mattico/add-x86_64
Add x86_64 builtins
2016-08-18 20:31:53 -05:00
Jorge Aparicio
999d82a0df Merge pull request #41 from mattico/dumpbin
appveyor: inspect binaries
2016-08-17 14:39:13 -05:00
Matt Ickstadt
6b7a00325c Check off x86_64 builtins in README
[ci ignore]
2016-08-17 14:35:48 -05:00
Matt Ickstadt
34f8273e5c Appveyor: Ignore errors from dumpbin parsing rlib 2016-08-17 14:14:47 -05:00
Matt Ickstadt
ed7262b0a5 Appveyor: Source vcvarsall to get dumpbin in path 2016-08-17 13:51:35 -05:00
Matt Ickstadt
aab3a10a9d Disable mangling for msvc stack builtins
This prevents linker errors in test builds due to the `jmp` instruction in __alloca
2016-08-17 12:55:15 -05:00
Matt Ickstadt
c9bff743cd Use jmp to implement __alloca fallthrough 2016-08-17 12:11:38 -05:00
Matt Ickstadt
b6091ababa Add x86_64 builtins 2016-08-16 19:55:17 -05:00
Jorge Aparicio
89594e16ae Merge pull request #29 from japaric/weak-memcpy
add weak `memcpy` et al symbols
2016-08-15 21:29:11 -05:00
Jorge Aparicio
ac352a3512 add core_intrinsics feature gate 2016-08-15 21:08:04 -05:00
Jorge Aparicio
94ab3e09c5 adjust test: weak symbols are now in librlibc.rlib 2016-08-15 20:22:58 -05:00
Jorge Aparicio
55eb1b71a0 remove unused feature gates 2016-08-14 22:08:36 -05:00
Jorge Aparicio
8965b061c2 use rlibc crate instead 2016-08-14 22:03:19 -05:00
Jorge Aparicio
5abf6b5d7c check presence of weak symbols 2016-08-14 22:02:43 -05:00
Jorge Aparicio
fdbb7883da exclude windows and macos 2016-08-14 22:01:15 -05:00
Jorge Aparicio
265939fc00 add weak memcpy et al symbols
closes #28
2016-08-14 22:00:31 -05:00
Jorge Aparicio
adfb1ff851 sort targets 2016-08-13 20:25:16 -05:00
Jorge Aparicio
18c2894f64 Merge pull request #38 from japaric/ppc64le
try 32-bit qemu for ppc64le
2016-08-13 20:24:35 -05:00
Jorge Aparicio
95651f62a9 disable tests for ppc64le, drop logic around QEMU_ARCH 2016-08-13 19:56:34 -05:00
Jorge Aparicio
9bee966c00 add missing apt-get update 2016-08-13 19:30:30 -05:00
Jorge Aparicio
1f3bad04bc Merge pull request #36 from japaric/qc
quickcheck: better generation of input arguments
2016-08-13 19:27:54 -05:00
Jorge Aparicio
c34b356c44 try 32-bit qemu for ppc64le 2016-08-13 18:58:41 -05:00
Jorge Aparicio
f300480aa9 Merge pull request #37 from japaric/docker
CI: run all Linux targets inside docker
2016-08-13 18:53:08 -05:00
Jorge Aparicio
45aec943d3 use wrapping_add in muldi4 2016-08-13 18:47:39 -05:00
Jorge Aparicio
f3eb08a96d fix a bug in udivmoddi4 2016-08-13 18:45:00 -05:00
Jorge Aparicio
b5b28c02ba qemu-ppc64le still doesn't work 2016-08-13 18:33:40 -05:00
Jorge Aparicio
9c651118fe enable tests for ppc64le 2016-08-13 18:00:49 -05:00
Jorge Aparicio
ac8370b4ac need to set PATH for macos 2016-08-13 17:53:26 -05:00
Jorge Aparicio
7111a4a0dd arm targets no longer have flaky tests 2016-08-13 17:46:12 -05:00