llvm/test/Assembler/ConstantExprFoldCast.ll

   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