[InstCombine] Signed saturation patterns
[llvm-complete.git] / test / Transforms / GVN / 2009-03-10-PREOnVoid.ll
bloba0cf92989b81859c8bcae7d8182cb5860dacb152
1 ; RUN: opt < %s -gvn -disable-output
2 ; PR3775
4 ; ModuleID = 'bugpoint-reduced-simplified.bc'
5 target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32"
6 target triple = "i386-pc-linux-gnu"
7         %llvm.dbg.anchor.type = type { i32, i32 }
8         %"struct.__gnu_cxx::hash<void*>" = type <{ i8 }>
9         %struct.__sched_param = type { i32 }
10         %struct._pthread_descr_struct = type opaque
11         %struct.pthread_attr_t = type { i32, i32, %struct.__sched_param, i32, i32, i32, i32, i8*, i32 }
12         %struct.pthread_mutex_t = type { i32, i32, %struct._pthread_descr_struct*, i32, %llvm.dbg.anchor.type }
13         %"struct.std::_Rb_tree<void*,std::pair<void* const, std::vector<ShadowInfo, std::allocator<ShadowInfo> > >,std::_Select1st<std::pair<void* const, std::vector<ShadowInfo, std::allocator<ShadowInfo> > > >,std::less<void*>,std::allocator<std::pair<void* const, std::vector<ShadowInfo, std::allocator<ShadowInfo> > > > >" = type { %"struct.std::_Rb_tree<void*,std::pair<void* const, std::vector<ShadowInfo, std::allocator<ShadowInfo> > >,std::_Select1st<std::pair<void* const, std::vector<ShadowInfo, std::allocator<ShadowInfo> > > >,std::less<void*>,std::allocator<std::pair<void* const, std::vector<ShadowInfo, std::allocator<ShadowInfo> > > > >::_Rb_tree_impl<std::less<void*>,false>" }
14         %"struct.std::_Rb_tree<void*,std::pair<void* const, std::vector<ShadowInfo, std::allocator<ShadowInfo> > >,std::_Select1st<std::pair<void* const, std::vector<ShadowInfo, std::allocator<ShadowInfo> > > >,std::less<void*>,std::allocator<std::pair<void* const, std::vector<ShadowInfo, std::allocator<ShadowInfo> > > > >::_Rb_tree_impl<std::less<void*>,false>" = type { %"struct.__gnu_cxx::hash<void*>", %"struct.std::_Rb_tree_node_base", i32 }
15         %"struct.std::_Rb_tree_iterator<std::pair<void* const, std::vector<ShadowInfo, std::allocator<ShadowInfo> > > >" = type { %"struct.std::_Rb_tree_node_base"* }
16         %"struct.std::_Rb_tree_node_base" = type { i32, %"struct.std::_Rb_tree_node_base"*, %"struct.std::_Rb_tree_node_base"*, %"struct.std::_Rb_tree_node_base"* }
17         %"struct.std::pair<std::_Rb_tree_iterator<std::pair<void* const, std::vector<ShadowInfo, std::allocator<ShadowInfo> > > >,bool>" = type { %"struct.std::_Rb_tree_iterator<std::pair<void* const, std::vector<ShadowInfo, std::allocator<ShadowInfo> > > >", i8 }
18         %"struct.std::pair<void* const,void*>" = type { i8*, i8* }
20 @_ZL20__gthrw_pthread_oncePiPFvvE = weak alias i32 (i32*, void ()*), i32 (i32*, void ()*)* @pthread_once                ; <i32 (i32*, void ()*)*> [#uses=0]
21 @_ZL27__gthrw_pthread_getspecificj = weak alias i8* (i32), i8* (i32)* @pthread_getspecific              ; <i8* (i32)*> [#uses=0]
22 @_ZL27__gthrw_pthread_setspecificjPKv = weak alias i32 (i32, i8*), i32 (i32, i8*)* @pthread_setspecific         ; <i32 (i32, i8*)*> [#uses=0]
23 @_ZL22__gthrw_pthread_createPmPK16__pthread_attr_sPFPvS3_ES3_ = weak alias i32 (i32*, %struct.pthread_attr_t*, i8* (i8*)*, i8*), i32 (i32*, %struct.pthread_attr_t*, i8* (i8*)*, i8*)* @pthread_create          ; <i32 (i32*, %struct.pthread_attr_t*, i8* (i8*)*, i8*)*> [#uses=0]
24 @_ZL22__gthrw_pthread_cancelm = weak alias i32 (i32), i32 (i32)* @pthread_cancel                ; <i32 (i32)*> [#uses=0]
25 @_ZL26__gthrw_pthread_mutex_lockP15pthread_mutex_t = weak alias i32 (%struct.pthread_mutex_t*), i32 (%struct.pthread_mutex_t*)* @pthread_mutex_lock             ; <i32 (%struct.pthread_mutex_t*)*> [#uses=0]
26 @_ZL29__gthrw_pthread_mutex_trylockP15pthread_mutex_t = weak alias i32 (%struct.pthread_mutex_t*), i32 (%struct.pthread_mutex_t*)* @pthread_mutex_trylock               ; <i32 (%struct.pthread_mutex_t*)*> [#uses=0]
27 @_ZL28__gthrw_pthread_mutex_unlockP15pthread_mutex_t = weak alias i32 (%struct.pthread_mutex_t*), i32 (%struct.pthread_mutex_t*)* @pthread_mutex_unlock         ; <i32 (%struct.pthread_mutex_t*)*> [#uses=0]
28 @_ZL26__gthrw_pthread_mutex_initP15pthread_mutex_tPK19pthread_mutexattr_t = weak alias i32 (%struct.pthread_mutex_t*, %struct.__sched_param*), i32 (%struct.pthread_mutex_t*, %struct.__sched_param*)* @pthread_mutex_init              ; <i32 (%struct.pthread_mutex_t*, %struct.__sched_param*)*> [#uses=0]
29 @_ZL26__gthrw_pthread_key_createPjPFvPvE = weak alias i32 (i32*, void (i8*)*), i32 (i32*, void (i8*)*)* @pthread_key_create             ; <i32 (i32*, void (i8*)*)*> [#uses=0]
30 @_ZL26__gthrw_pthread_key_deletej = weak alias i32 (i32), i32 (i32)* @pthread_key_delete                ; <i32 (i32)*> [#uses=0]
31 @_ZL30__gthrw_pthread_mutexattr_initP19pthread_mutexattr_t = weak alias i32 (%struct.__sched_param*), i32 (%struct.__sched_param*)* @pthread_mutexattr_init             ; <i32 (%struct.__sched_param*)*> [#uses=0]
32 @_ZL33__gthrw_pthread_mutexattr_settypeP19pthread_mutexattr_ti = weak alias i32 (%struct.__sched_param*, i32), i32 (%struct.__sched_param*, i32)* @pthread_mutexattr_settype            ; <i32 (%struct.__sched_param*, i32)*> [#uses=0]
33 @_ZL33__gthrw_pthread_mutexattr_destroyP19pthread_mutexattr_t = weak alias i32 (%struct.__sched_param*), i32 (%struct.__sched_param*)* @pthread_mutexattr_destroy               ; <i32 (%struct.__sched_param*)*> [#uses=0]
35 declare fastcc void @_ZNSt10_Select1stISt4pairIKPvS1_EEC1Ev() nounwind readnone
37 define fastcc void @_ZNSt8_Rb_treeIPvSt4pairIKS0_S0_ESt10_Select1stIS3_ESt4lessIS0_ESaIS3_EE16_M_insert_uniqueERKS3_(%"struct.std::pair<std::_Rb_tree_iterator<std::pair<void* const, std::vector<ShadowInfo, std::allocator<ShadowInfo> > > >,bool>"* noalias nocapture sret %agg.result, %"struct.std::_Rb_tree<void*,std::pair<void* const, std::vector<ShadowInfo, std::allocator<ShadowInfo> > >,std::_Select1st<std::pair<void* const, std::vector<ShadowInfo, std::allocator<ShadowInfo> > > >,std::less<void*>,std::allocator<std::pair<void* const, std::vector<ShadowInfo, std::allocator<ShadowInfo> > > > >"* %this, %"struct.std::pair<void* const,void*>"* %__v) nounwind {
38 entry:
39         br i1 false, label %bb7, label %bb
41 bb:             ; preds = %bb, %entry
42         br i1 false, label %bb5, label %bb
44 bb5:            ; preds = %bb
45         call fastcc void @_ZNSt10_Select1stISt4pairIKPvS1_EEC1Ev() nounwind
46         br i1 false, label %bb11, label %bb7
48 bb7:            ; preds = %bb5, %entry
49         br label %bb11
51 bb11:           ; preds = %bb7, %bb5
52         call fastcc void @_ZNSt10_Select1stISt4pairIKPvS1_EEC1Ev() nounwind
53         unreachable
56 define i32 @pthread_once(i32*, void ()*) {
57        ret i32 0
60 define i8* @pthread_getspecific(i32) {
61        ret i8* null
64 define i32 @pthread_setspecific(i32, i8*) {
65         ret i32 0
68 define i32 @pthread_create(i32*, %struct.pthread_attr_t*, i8* (i8*)*, i8*) {
69        ret i32 0
72 define i32 @pthread_cancel(i32) {
73       ret i32 0
76 define i32 @pthread_mutex_lock(%struct.pthread_mutex_t*) {
77        ret i32 0
80 define i32 @pthread_mutex_trylock(%struct.pthread_mutex_t*) {
81        ret i32 0
84 define i32 @pthread_mutex_unlock(%struct.pthread_mutex_t*) {
85        ret i32 0
88 define i32 @pthread_mutex_init(%struct.pthread_mutex_t*, %struct.__sched_param*) {
89         ret i32 0
92 define i32 @pthread_key_create(i32*, void (i8*)*) {
93        ret i32 0
96 define i32 @pthread_key_delete(i32) {
97         ret i32 0
100 define i32 @pthread_mutexattr_init(%struct.__sched_param*) {
101         ret i32 0
104 define i32 @pthread_mutexattr_settype(%struct.__sched_param*, i32) {
105         ret i32 0
108 define i32 @pthread_mutexattr_destroy(%struct.__sched_param*) {
109        ret i32 0