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 ptr null ; Cast null -> fold 12@B = global ptr @A ; Cast to same type -> fold 13@C = global i32 trunc (i64 42 to i32) ; Integral casts 14@D = global ptr @C ; cast of cast ptr->ptr 15@E = global i32 ptrtoint(ptr inttoptr (i8 5 to ptr) to i32) ; i32 -> ptr -> i32 16 17; Test folding of binary instrs 18@F = global ptr inttoptr (i32 add (i32 5, i32 -5) to ptr) 19@G = global ptr inttoptr (i32 sub (i32 5, i32 5) to ptr) 20 21; Address space cast AS0 null-> AS1 null 22@H = global ptr addrspace(1) addrspacecast(ptr null to ptr addrspace(1)) 23 24; Address space cast AS1 null-> AS0 null 25@I = global ptr addrspacecast(ptr addrspace(1) null to ptr) 26 27; Bitcast -> GEP 28@J = external global { i32 } 29@K = global ptr @J 30