Jakob Stoklund Olesen | 4180d48 | 2010-07-10 16:30:25 +0000 | [diff] [blame] | 1 | ; RUN: llc < %s -march=x86 | FileCheck %s |
Rafael Espindola | 6d7e76f | 2009-06-29 20:29:59 +0000 | [diff] [blame] | 2 | ; PR4459 |
| 3 | |
Jakob Stoklund Olesen | 4180d48 | 2010-07-10 16:30:25 +0000 | [diff] [blame] | 4 | ; The return value from ceil must be duped before being consumed by asm. |
| 5 | ; CHECK: ceil |
| 6 | ; CHECK: fld %st(0) |
| 7 | ; CHECK-NOT: fxch |
| 8 | ; CHECK: fistpl |
| 9 | ; CHECK-NOT: fxch |
| 10 | ; CHECK: fstpt |
| 11 | ; CHECK: test |
Rafael Espindola | 6d7e76f | 2009-06-29 20:29:59 +0000 | [diff] [blame] | 12 | define void @test2(x86_fp80 %a) { |
| 13 | entry: |
| 14 | %0 = call x86_fp80 @ceil(x86_fp80 %a) |
| 15 | call void asm sideeffect "fistpl $0", "{st}"( x86_fp80 %0) |
| 16 | call void @test(x86_fp80 %0 ) |
| 17 | ret void |
| 18 | } |
Jakob Stoklund Olesen | 4180d48 | 2010-07-10 16:30:25 +0000 | [diff] [blame] | 19 | declare x86_fp80 @ceil(x86_fp80) |
| 20 | declare void @test(x86_fp80) |