; 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 false ; <i1*> [#uses=0]
-%i = constant i1 true ; <i1*> [#uses=0]
-%j = constant i1 false ; <i1*> [#uses=0]
-%m = constant i1 true ; <i1*> [#uses=0]
-%n = constant i1 true ; <i1*> [#uses=0]
-%o = constant i1 true ; <i1*> [#uses=0]
-%p = constant i1 true ; <i1*> [#uses=0]
-
-implementation ; Functions:
+@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 sdiv (i1 true, i1 true) ; <i1*> [#uses=0]
+@p = constant i1 sdiv (i1 true, i1 true) ; <i1*> [#uses=0]
+@q = constant i1 true ; <i1*> [#uses=0]
+@r = constant i1 true ; <i1*> [#uses=0]
+@s = constant i1 srem (i1 true, i1 true) ; <i1*> [#uses=0]
+@t = constant i1 false ; <i1*> [#uses=0]
+@u = constant i1 srem (i1 true, i1 true) ; <i1*> [#uses=0]