annotate test/Assembler/ConstantExprFoldCast.ll @ 122:36195a0db682

merging ( incomplete )
author Shinji KONO <kono@ie.u-ryukyu.ac.jp>
date Fri, 17 Nov 2017 20:32:31 +0900 (2017-11-17)
parents 1172e4bd9c6f
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 ; This test checks to make sure that constant exprs fold in some simple situations
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
3 ; RUN: llvm-as < %s | llvm-dis | FileCheck %s
77
54457678186b LLVM 3.6
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents: 0
diff changeset
4 ; RUN: verify-uselistorder %s
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
6 ; CHECK-NOT: bitcast
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
7 ; CHECK-NOT: trunc
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
8 ; CHECK: addrspacecast
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
9 ; CHECK: addrspacecast
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
10
0
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 @A = global i32* bitcast (i8* null to i32*) ; Cast null -> fold
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 @B = global i32** bitcast (i32** @A to i32**) ; Cast to same type -> fold
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 @C = global i32 trunc (i64 42 to i32) ; Integral casts
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 @D = global i32* bitcast(float* bitcast (i32* @C to float*) to i32*) ; cast of cast ptr->ptr
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 @E = global i32 ptrtoint(float* inttoptr (i8 5 to float*) to i32) ; i32 -> ptr -> i32
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 ; Test folding of binary instrs
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 @F = global i32* inttoptr (i32 add (i32 5, i32 -5) to i32*)
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 @G = global i32* inttoptr (i32 sub (i32 5, i32 5) to i32*)
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 ; Address space cast AS0 null-> AS1 null
95c75e76d11b LLVM 3.4
Kaito Tokumori <e105711@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 @H = global i32 addrspace(1)* addrspacecast(i32* null to i32 addrspace(1)*)
100
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
23
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
24 ; Address space cast AS1 null-> AS0 null
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
25 @I = global i32* addrspacecast(i32 addrspace(1)* null to i32*)
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
26
100
7d135dc70f03 LLVM 3.9
Miyagi Mitsuki <e135756@ie.u-ryukyu.ac.jp>
parents: 77
diff changeset
27 ; Bitcast -> GEP
120
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
28 @J = external global { i32 }
1172e4bd9c6f update 4.0.0
mir3636
parents: 100
diff changeset
29 @K = global i32* bitcast ({ i32 }* @J to i32*)