1; This test checks to make sure that constant exprs fold in some simple situations
2
3; RUN: llvm-as < %s | llvm-dis | FileCheck %s
4; RUN: verify-uselistorder %s
5
6; CHECK-NOT: bitcast
7; CHECK-NOT: trunc
8; CHECK: addrspacecast
9; CHECK: addrspacecast
10
11@A = global i32* bitcast (i8* null to i32*)  ; Cast null -> fold
12@B = global i32** bitcast (i32** @A to i32**)   ; Cast to same type -> fold
13@C = global i32 trunc (i64 42 to i32)        ; Integral casts
14@D = global i32* bitcast(float*  bitcast (i32* @C to float*) to i32*)  ; cast of cast ptr->ptr
15@E = global i32 ptrtoint(float* inttoptr (i8 5 to float*) to i32)  ; i32 -> ptr -> i32
16
17; Test folding of binary instrs
18@F = global i32* inttoptr (i32 add (i32 5, i32 -5) to i32*)
19@G = global i32* inttoptr (i32 sub (i32 5, i32 5) to i32*)
20
21; Address space cast AS0 null-> AS1 null
22@H = global i32 addrspace(1)* addrspacecast(i32* null to i32 addrspace(1)*)
23
24; Address space cast AS1 null-> AS0 null
25@I = global i32* addrspacecast(i32 addrspace(1)* null to i32*)
26
27; Bitcast -> GEP
28@J = external global { i32 }
29@K = global i32* bitcast ({ i32 }* @J to i32*)
30