From 59bec0e3c0c39cf704c6eb7fb2a44e787dbab4a0 Mon Sep 17 00:00:00 2001 From: Reid Kleckner Date: Tue, 28 Jan 2014 02:38:36 +0000 Subject: Update optimization passes to handle inalloca arguments Summary: I searched Transforms/ and Analysis/ for 'ByVal' and updated those call sites to check for inalloca if appropriate. I added tests for any change that would allow an optimization to fire on inalloca. Reviewers: nlewycky Differential Revision: http://llvm-reviews.chandlerc.com/D2449 git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@200281 91177308-0d34-0410-b5e6-96231b3b80d8 --- test/Transforms/FunctionAttrs/readattrs.ll | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'test/Transforms/FunctionAttrs') diff --git a/test/Transforms/FunctionAttrs/readattrs.ll b/test/Transforms/FunctionAttrs/readattrs.ll index 0842f566d1..7ae38bbb10 100644 --- a/test/Transforms/FunctionAttrs/readattrs.ll +++ b/test/Transforms/FunctionAttrs/readattrs.ll @@ -45,3 +45,9 @@ define void @test6_2(i8** %p, i8* %q) { call void @test6_1() ret void } + +; CHECK: define void @test7_1(i32* inalloca nocapture %a) +; inalloca parameters are always considered written +define void @test7_1(i32* inalloca %a) { + ret void +} -- cgit v1.2.3