| Dan Gohman | c1be92f | 2010-10-18 18:04:47 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -basicaa -memcpyopt -dse -S | grep {call.*memcpy} | count 1 |
| Owen Anderson | 6f7a52d | 2008-02-04 02:59:58 +0000 | [diff] [blame] | 2 | |
| 3 | target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:128:128" |
| 4 | target triple = "i686-apple-darwin9" |
| 5 | |
| Chris Lattner | 7cac8e1 | 2010-11-18 07:49:32 +0000 | [diff] [blame^] | 6 | define void @test1({ x86_fp80, x86_fp80 }* sret %agg.result, x86_fp80 %z.0, x86_fp80 %z.1) nounwind { |
| Owen Anderson | 6f7a52d | 2008-02-04 02:59:58 +0000 | [diff] [blame] | 7 | entry: |
| 8 | %tmp2 = alloca { x86_fp80, x86_fp80 } ; <{ x86_fp80, x86_fp80 }*> [#uses=1] |
| 9 | %memtmp = alloca { x86_fp80, x86_fp80 }, align 16 ; <{ x86_fp80, x86_fp80 }*> [#uses=2] |
| Dan Gohman | ae3a0be | 2009-06-04 22:49:04 +0000 | [diff] [blame] | 10 | %tmp5 = fsub x86_fp80 0xK80000000000000000000, %z.1 ; <x86_fp80> [#uses=1] |
| Owen Anderson | 6f7a52d | 2008-02-04 02:59:58 +0000 | [diff] [blame] | 11 | call void @ccoshl( { x86_fp80, x86_fp80 }* sret %memtmp, x86_fp80 %tmp5, x86_fp80 %z.0 ) nounwind |
| 12 | %tmp219 = bitcast { x86_fp80, x86_fp80 }* %tmp2 to i8* ; <i8*> [#uses=2] |
| 13 | %memtmp20 = bitcast { x86_fp80, x86_fp80 }* %memtmp to i8* ; <i8*> [#uses=1] |
| 14 | call void @llvm.memcpy.i32( i8* %tmp219, i8* %memtmp20, i32 32, i32 16 ) |
| 15 | %agg.result21 = bitcast { x86_fp80, x86_fp80 }* %agg.result to i8* ; <i8*> [#uses=1] |
| 16 | call void @llvm.memcpy.i32( i8* %agg.result21, i8* %tmp219, i32 32, i32 16 ) |
| Chris Lattner | 7cac8e1 | 2010-11-18 07:49:32 +0000 | [diff] [blame^] | 17 | |
| 18 | ; Check that one of the memcpy's are removed. |
| 19 | ;; FIXME: PR 8643 We should be able to eliminate the last memcpy here. |
| 20 | |
| 21 | ; CHECK: @test1 |
| 22 | ; CHECK: call void @ccoshl |
| 23 | ; CHECK: call @llvm.memcpy |
| 24 | ; CHECK-NOT: llvm.memcpy |
| 25 | ; CHECK: ret void |
| Owen Anderson | 6f7a52d | 2008-02-04 02:59:58 +0000 | [diff] [blame] | 26 | ret void |
| 27 | } |
| 28 | |
| 29 | declare void @ccoshl({ x86_fp80, x86_fp80 }* sret , x86_fp80, x86_fp80) nounwind |
| 30 | |
| 31 | declare void @llvm.memcpy.i32(i8*, i8*, i32, i32) nounwind |