2003-04-17 21:21:22 +02:00
|
|
|
; This test checks to make sure that constant exprs fold in some simple situations
|
|
|
|
|
2008-02-17 00:55:46 +01:00
|
|
|
; RUN: llvm-as < %s | llvm-dis | not grep cast
|
2003-04-17 21:21:22 +02:00
|
|
|
|
2008-02-17 00:55:46 +01:00
|
|
|
@A = global i32* bitcast (i8* null to i32*) ; Cast null -> fold
|
|
|
|
@B = global i32** bitcast (i32** @A to i32**) ; Cast to same type -> fold
|
|
|
|
@C = global i32 trunc (i64 42 to i32) ; Integral casts
|
|
|
|
@D = global i32* bitcast(float* bitcast (i32* @C to float*) to i32*) ; cast of cast ptr->ptr
|
|
|
|
@E = global i32 ptrtoint(float* inttoptr (i8 5 to float*) to i32) ; i32 -> ptr -> i32
|
2003-04-17 21:21:22 +02:00
|
|
|
|
|
|
|
; Test folding of binary instrs
|
2008-02-17 00:55:46 +01:00
|
|
|
@F = global i32* inttoptr (i32 add (i32 5, i32 -5) to i32*)
|
|
|
|
@G = global i32* inttoptr (i32 sub (i32 5, i32 5) to i32*)
|
2003-04-17 21:21:22 +02:00
|
|
|
|