[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / GlobalDCE / 2002-08-17-WorkListTest.ll
blob4e45e2bb468a1d634ddafc364455baeb785b94f7
1 ; This testcase tests that a worklist is being used, and that globals can be 
2 ; removed if they are the subject of a constexpr and ConstantPointerRef
4 ; RUN: opt < %s -globaldce -S | FileCheck %s
6 ; CHECK-NOT: global
8 @t0 = internal global [4 x i8] c"foo\00"                ; <[4 x i8]*> [#uses=1]
9 @t1 = internal global [4 x i8] c"bar\00"                ; <[4 x i8]*> [#uses=1]
10 @s1 = internal global [1 x i8*] [ i8* getelementptr ([4 x i8], [4 x i8]* @t0, i32 0, i32 0) ]             ; <[1 x i8*]*> [#uses=0]
11 @s2 = internal global [1 x i8*] [ i8* getelementptr ([4 x i8], [4 x i8]* @t1, i64 0, i64 0) ]             ; <[1 x i8*]*> [#uses=0]
12 @b = internal global i32* @a            ; <i32**> [#uses=0]
13 @a = internal global i32 7              ; <i32*> [#uses=1]