Eli Friedman | 5842c99 | 2009-12-17 21:07:31 +0000 | [diff] [blame] | 1 | ; RUN: opt < %s -instcombine -S | FileCheck %s |
| 2 | |
Chris Lattner | 98e8267 | 2010-10-01 05:47:16 +0000 | [diff] [blame] | 3 | declare void @llvm.memcpy.p0i8.p0i8.i32(i8* nocapture, i8* nocapture, i32, i32, i1) nounwind |
Eli Friedman | 5842c99 | 2009-12-17 21:07:31 +0000 | [diff] [blame] | 4 | |
Chris Lattner | c663a67 | 2010-10-01 05:51:02 +0000 | [diff] [blame] | 5 | define void @test1(i8* %a) { |
Chris Lattner | 98e8267 | 2010-10-01 05:47:16 +0000 | [diff] [blame] | 6 | tail call void @llvm.memcpy.p0i8.p0i8.i32(i8* %a, i8* %a, i32 100, i32 1, i1 false) |
Eli Friedman | 5842c99 | 2009-12-17 21:07:31 +0000 | [diff] [blame] | 7 | ret void |
Chris Lattner | c663a67 | 2010-10-01 05:51:02 +0000 | [diff] [blame] | 8 | ; CHECK: define void @test1 |
Eli Friedman | 5842c99 | 2009-12-17 21:07:31 +0000 | [diff] [blame] | 9 | ; CHECK-NEXT: ret void |
Chris Lattner | c663a67 | 2010-10-01 05:51:02 +0000 | [diff] [blame] | 10 | } |
| 11 | |
| 12 | |
| 13 | ; PR8267 |
| 14 | define void @test2(i8* %a) { |
| 15 | tail call void @llvm.memcpy.p0i8.p0i8.i32(i8* %a, i8* %a, i32 100, i32 1, i1 true) |
| 16 | ret void |
| 17 | ; CHECK: define void @test2 |
| 18 | ; CHECK-NEXT: call void @llvm.memcpy |
| 19 | } |