Mercurial > hg > CbC > CbC_llvm

annotate test/Transforms/NewGVN/pr32934.ll @ 121:803732b1fca8

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
LLVM 5.0
author kono
date Fri, 27 Oct 2017 17:07:41 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
121
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
1 ; RUN: opt -S -newgvn %s | FileCheck %s
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
2
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
3 ; CHECK: define void @tinkywinky() {
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
4 ; CHECK-NEXT: entry:
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
5 ; CHECK-NEXT: %d = alloca i32, align 4
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
6 ; CHECK-NEXT: store i32 0, i32* null, align 4
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
7 ; CHECK-NEXT: br label %for.cond
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
8 ; CHECK: for.cond: ; preds = %if.end, %entry
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
9 ; CHECK-NEXT: %0 = load i32, i32* null, align 4
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
10 ; CHECK-NEXT: %cmp = icmp slt i32 %0, 1
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
11 ; CHECK-NEXT: br i1 %cmp, label %for.body, label %while.cond
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
12 ; CHECK: for.body: ; preds = %for.cond
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
13 ; CHECK-NEXT: %1 = load i32, i32* @a, align 4
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
14 ; CHECK-NEXT: store i32 %1, i32* %d, align 4
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
15 ; CHECK-NEXT: br label %L
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
16 ; CHECK: L: ; preds = %if.then, %for.body
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
17 ; CHECK-NEXT: %tobool = icmp ne i32 %1, 0
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
18 ; CHECK-NEXT: br i1 %tobool, label %if.then, label %if.end
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
19 ; CHECK: if.then: ; preds = %L
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
20 ; CHECK-NEXT: call void (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @patatino, i32 0, i32 0))
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
21 ; CHECK-NEXT: br label %L
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
22 ; CHECK: if.end: ; preds = %L
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
23 ; CHECK-NEXT: br label %for.cond
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
24 ; CHECK: while.cond: ; preds = %while.body, %for.cond
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
25 ; CHECK-NEXT: br i1 undef, label %while.body, label %while.end
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
26 ; CHECK: while.body: ; preds = %while.cond
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
27 ; CHECK-NEXT: call void (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @patatino, i32 0, i32 0))
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
28 ; CHECK-NEXT: br label %while.cond
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
29 ; CHECK: while.end:
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
30 ; CHECK-NEXT: %2 = load i32, i32* @a, align 4
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
31 ; CHECK-NEXT: store i32 %2, i32* undef, align 4
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
32 ; CHECK-NEXT: ret void
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
33
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
34 @a = external global i32, align 4
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
35 @patatino = external unnamed_addr constant [2 x i8], align 1
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
36 define void @tinkywinky() {
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
37 entry:
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
38 %d = alloca i32, align 4
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
39 store i32 0, i32* null, align 4
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
40 br label %for.cond
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
41 for.cond:
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
42 %0 = load i32, i32* null, align 4
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
43 %cmp = icmp slt i32 %0, 1
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
44 br i1 %cmp, label %for.body, label %while.cond
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
45 for.body:
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
46 %1 = load i32, i32* @a, align 4
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
47 store i32 %1, i32* %d, align 4
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
48 br label %L
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
49 L:
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
50 %2 = load i32, i32* %d, align 4
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
51 %tobool = icmp ne i32 %2, 0
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
52 br i1 %tobool, label %if.then, label %if.end
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
53 if.then:
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
54 call void (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @patatino, i32 0, i32 0))
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
55 br label %L
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
56 if.end:
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
57 br label %for.cond
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
58 while.cond:
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
59 br i1 undef, label %while.body, label %while.end
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
60 while.body:
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
61 call void (i8*, ...) @printf(i8* getelementptr inbounds ([2 x i8], [2 x i8]* @patatino, i32 0, i32 0))
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
62 br label %while.cond
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
63 while.end:
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
64 %3 = load i32, i32* @a, align 4
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
65 store i32 %3, i32* undef, align 4
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
66 ret void
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
67 }
803732b1fca8 LLVM 5.0
kono
parents:
diff changeset
68 declare void @printf(i8*, ...) #1