diff options
| author | Nick Lewycky <nicholas@mxc.ca> | 2011-05-29 18:41:56 +0000 |
|---|---|---|
| committer | Nick Lewycky <nicholas@mxc.ca> | 2011-05-29 18:41:56 +0000 |
| commit | 1f237b00279ada1ccce35ab924a7f797d9dea25d (patch) | |
| tree | 74c06278eeec0e86abc77fbe35f7132d08e0757b /test/Transforms | |
| parent | 0ccc12ae8bab69d4ec8e265fff1865db9553137f (diff) | |
| download | llvm-1f237b00279ada1ccce35ab924a7f797d9dea25d.tar.gz llvm-1f237b00279ada1ccce35ab924a7f797d9dea25d.tar.bz2 llvm-1f237b00279ada1ccce35ab924a7f797d9dea25d.tar.xz | |
Obey the isVolatile bit on memory intrinsics when analyzing uses of a global
variable. Noticed by inspection.
Simulate memset in EvaluateFunction where the target of the memset and the
value we're setting are both the null value. Fixes PR10047!
git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@132288 91177308-0d34-0410-b5e6-96231b3b80d8
Diffstat (limited to 'test/Transforms')
| -rw-r--r-- | test/Transforms/GlobalOpt/memset-null.ll | 19 |
1 files changed, 19 insertions, 0 deletions
diff --git a/test/Transforms/GlobalOpt/memset-null.ll b/test/Transforms/GlobalOpt/memset-null.ll new file mode 100644 index 0000000000..7a24a2a22b --- /dev/null +++ b/test/Transforms/GlobalOpt/memset-null.ll @@ -0,0 +1,19 @@ +; RUN: opt -globalopt %s -S -o - | FileCheck %s +; PR10047 + + +%0 = type { i32, void ()* } +%struct.A = type { [100 x i32] } + +; CHECK: @a +@a = global %struct.A zeroinitializer, align 4 +@llvm.global_ctors = appending global [1 x %0] [%0 { i32 65535, void ()* @_GLOBAL__I_a }] + +declare void @llvm.memset.p0i8.i64(i8* nocapture, i8, i64, i32, i1) nounwind + +; CHECK-NOT: GLOBAL__I_a +define internal void @_GLOBAL__I_a() nounwind { +entry: + tail call void @llvm.memset.p0i8.i64(i8* bitcast (%struct.A* @a to i8*), i8 0, i64 400, i32 4, i1 false) nounwind + ret void +} |