|  | ; ModuleID = '<stdin>' | 
|  | @b = constant i1 false		; <i1*> [#uses=0] | 
|  | @c = constant i1 false		; <i1*> [#uses=0] | 
|  | @d = constant i1 false		; <i1*> [#uses=0] | 
|  | @e = constant i1 false		; <i1*> [#uses=0] | 
|  | @f = constant i1 false		; <i1*> [#uses=0] | 
|  | @g = constant i1 false		; <i1*> [#uses=0] | 
|  | @h = constant i1 undef		; <i1*> [#uses=0] | 
|  | @i = constant i1 true		; <i1*> [#uses=0] | 
|  | @j = constant i1 undef		; <i1*> [#uses=0] | 
|  | @m = constant i1 undef		; <i1*> [#uses=0] | 
|  | @n = constant i1 true		; <i1*> [#uses=0] | 
|  | @o = constant i1 true		; <i1*> [#uses=0] | 
|  | @p = constant i1 true		; <i1*> [#uses=0] | 
|  | @q = constant i1 true		; <i1*> [#uses=0] | 
|  | @r = constant i1 true		; <i1*> [#uses=0] | 
|  | @s = constant i1 false		; <i1*> [#uses=0] | 
|  | @t = constant i1 false		; <i1*> [#uses=0] | 
|  | @u = constant i1 false		; <i1*> [#uses=0] |