Gitiles
Code Review Sign In
gerrit-public.fairphone.software / toolchain / llvm-project / 79e6c74981f4755ed55b38175d8cd34ec91395b1 / . / llvm / test / Transforms / DeadStoreElimination / const-pointers.ll
blob: f2c5c6acf2ff006dcc5d3cef76977f58bc4b2e77 [file] [log] [blame]
Dmitri Gribenkod7beca82013-01-01 13:57:25 +0000[diff] [blame]1; RUN: opt -basicaa -dse -S < %s | FileCheck %s
Hal Finkeldd38c0b2014-10-17 11:56:00 +0000[diff] [blame]2target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
Nick Lewyckyc53e2ec2009-11-14 06:15:14 +0000[diff] [blame]3
4%t = type { i32 }
5
Dan Gohmanfb419362010-01-05 17:55:26 +0000[diff] [blame]6@g = global i32 42
Nick Lewyckyc53e2ec2009-11-14 06:15:14 +0000[diff] [blame]7
8define void @test1(%t* noalias %pp) {
David Blaikie79e6c742015-02-27 19:29:02 +0000[diff] [blame^]9 %p = getelementptr inbounds %t, %t* %pp, i32 0, i32 0
Nick Lewyckyc53e2ec2009-11-14 06:15:14 +0000[diff] [blame]10
11 store i32 1, i32* %p; <-- This is dead
12 %x = load i32* inttoptr (i32 12345 to i32*)
13 store i32 %x, i32* %p
14 ret void
Stephen Lina76289a2013-07-14 01:50:49 +0000[diff] [blame]15; CHECK-LABEL: define void @test1(
Nick Lewyckyc53e2ec2009-11-14 06:15:14 +0000[diff] [blame]16; CHECK: store
17; CHECK-NOT: store
18; CHECK: ret void
19}
20
21define void @test3() {
22 store i32 1, i32* @g; <-- This is dead.
23 store i32 42, i32* @g
24 ret void
Stephen Lina76289a2013-07-14 01:50:49 +0000[diff] [blame]25; CHECK-LABEL: define void @test3(
Benjamin Kramer401e6092009-12-12 09:25:50 +0000[diff] [blame]26; CHECK: store
27; CHECK-NOT: store
28; CHECK: ret void
Nick Lewyckyc53e2ec2009-11-14 06:15:14 +0000[diff] [blame]29}
30
31define void @test4(i32* %p) {
32 store i32 1, i32* %p
33 %x = load i32* @g; <-- %p and @g could alias
34 store i32 %x, i32* %p
35 ret void
Stephen Lina76289a2013-07-14 01:50:49 +0000[diff] [blame]36; CHECK-LABEL: define void @test4(
Nick Lewyckyc53e2ec2009-11-14 06:15:14 +0000[diff] [blame]37; CHECK: store
38; CHECK: store
39; CHECK: ret void
40}