Mercurial > hg > CbC > CbC_llvm

annotate llvm/test/Transforms/GlobalOpt/malloc-promote-2.ll @ 201:a96fbbdf2d0f

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
...
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 04 Jun 2021 21:07:06 +0900
parents 0572611fdcc8
children c4bab56944e8
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
150
anatofuz
parents:
diff changeset
1 ; RUN: opt < %s -globalopt -S | FileCheck %s
anatofuz
parents:
diff changeset
2 target datalayout = "E-p:64:64:64-a0:0:8-f32:32:32-f64:64:64-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-v64:64:64-v128:128:128"
anatofuz
parents:
diff changeset
3
anatofuz
parents:
diff changeset
4 @G = internal global i32* null
anatofuz
parents:
diff changeset
5
anatofuz
parents:
diff changeset
6 define void @t() {
anatofuz
parents:
diff changeset
7 ; CHECK: @t()
anatofuz
parents:
diff changeset
8 ; CHECK-NOT: call i8* @malloc
anatofuz
parents:
diff changeset
9 ; CHECK-NEXT: ret void
anatofuz
parents:
diff changeset
10 %malloccall = tail call i8* @malloc(i64 mul (i64 100, i64 4))
anatofuz
parents:
diff changeset
11 %P = bitcast i8* %malloccall to i32*
anatofuz
parents:
diff changeset
12 store i32* %P, i32** @G
anatofuz
parents:
diff changeset
13 %GV = load i32*, i32** @G
anatofuz
parents:
diff changeset
14 %GVe = getelementptr i32, i32* %GV, i32 40
anatofuz
parents:
diff changeset
15 store i32 20, i32* %GVe
anatofuz
parents:
diff changeset
16 ret void
anatofuz
parents:
diff changeset
17 }
anatofuz
parents:
diff changeset
18
anatofuz
parents:
diff changeset
19 declare noalias i8* @malloc(i64)
anatofuz
parents:
diff changeset
20
anatofuz
parents:
diff changeset
21 define void @foo(i64 %Size) nounwind noinline #0 {
anatofuz
parents:
diff changeset
22 entry:
anatofuz
parents:
diff changeset
23 %0 = load i32*, i32** @G, align 4
anatofuz
parents:
diff changeset
24 ret void
anatofuz
parents:
diff changeset
25 }
anatofuz
parents:
diff changeset
26
173
0572611fdcc8 reorgnization done
Shinji KONO <kono@ie.u-ryukyu.ac.jp>
parents: 150
diff changeset
27 attributes #0 = { null_pointer_is_valid }