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
