summaryrefslogtreecommitdiff
path: root/test/Assembler/ConstantExprFoldCast.ll
diff options
context:
space:
mode:
Diffstat (limited to 'test/Assembler/ConstantExprFoldCast.ll')
-rw-r--r--test/Assembler/ConstantExprFoldCast.ll14
1 files changed, 11 insertions, 3 deletions
diff --git a/test/Assembler/ConstantExprFoldCast.ll b/test/Assembler/ConstantExprFoldCast.ll
index dfe840cc37dd6..ed32b41674455 100644
--- a/test/Assembler/ConstantExprFoldCast.ll
+++ b/test/Assembler/ConstantExprFoldCast.ll
@@ -1,8 +1,13 @@
; This test checks to make sure that constant exprs fold in some simple situations
-; RUN: llvm-as < %s | llvm-dis | not grep cast
+; RUN: llvm-as < %s | llvm-dis | FileCheck %s
; RUN: verify-uselistorder %s
+; CHECK-NOT: bitcast
+; CHECK-NOT: trunc
+; CHECK: addrspacecast
+; CHECK: addrspacecast
+
@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
@@ -16,6 +21,9 @@
; Address space cast AS0 null-> AS1 null
@H = global i32 addrspace(1)* addrspacecast(i32* null to i32 addrspace(1)*)
+; Address space cast AS1 null-> AS0 null
+@I = global i32* addrspacecast(i32 addrspace(1)* null to i32*)
+
; Bitcast -> GEP
-@I = external global { i32 }
-@J = global i32* bitcast ({ i32 }* @I to i32*)
+@J = external global { i32 }
+@K = global i32* bitcast ({ i32 }* @J to i32*)