1; RUN: llc < %s -O3
2; PR4626
3; ModuleID = '<stdin>'
4target 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"
5target triple = "i386-pc-linux-gnu"
6@g_3 = common global i8 0, align 1		; <i8*> [#uses=2]
7
8define signext i8 @safe_mul_func_int16_t_s_s(i32 %_si1, i8 signext %_si2) nounwind readnone {
9entry:
10	%tobool = icmp eq i32 %_si1, 0		; <i1> [#uses=1]
11	%cmp = icmp sgt i8 %_si2, 0		; <i1> [#uses=2]
12	%or.cond = or i1 %cmp, %tobool		; <i1> [#uses=1]
13	br i1 %or.cond, label %lor.rhs, label %land.lhs.true3
14
15land.lhs.true3:		; preds = %entry
16	%conv5 = sext i8 %_si2 to i32		; <i32> [#uses=1]
17	%cmp7 = icmp slt i32 %conv5, %_si1		; <i1> [#uses=1]
18	br i1 %cmp7, label %cond.end, label %lor.rhs
19
20lor.rhs:		; preds = %land.lhs.true3, %entry
21	%cmp10.not = icmp slt i32 %_si1, 1		; <i1> [#uses=1]
22	%or.cond23 = and i1 %cmp, %cmp10.not		; <i1> [#uses=1]
23	br i1 %or.cond23, label %lor.end, label %cond.false
24
25lor.end:		; preds = %lor.rhs
26	%tobool19 = icmp ne i8 %_si2, 0		; <i1> [#uses=2]
27	%lor.ext = zext i1 %tobool19 to i32		; <i32> [#uses=1]
28	br i1 %tobool19, label %cond.end, label %cond.false
29
30cond.false:		; preds = %lor.end, %lor.rhs
31	%conv21 = sext i8 %_si2 to i32		; <i32> [#uses=1]
32	br label %cond.end
33
34cond.end:		; preds = %cond.false, %lor.end, %land.lhs.true3
35	%cond = phi i32 [ %conv21, %cond.false ], [ 1, %land.lhs.true3 ], [ %lor.ext, %lor.end ]		; <i32> [#uses=1]
36	%conv22 = trunc i32 %cond to i8		; <i8> [#uses=1]
37	ret i8 %conv22
38}
39
40define i32 @func_34(i8 signext %p_35) nounwind readonly {
41entry:
42	%tobool = icmp eq i8 %p_35, 0		; <i1> [#uses=1]
43	br i1 %tobool, label %lor.lhs.false, label %if.then
44
45lor.lhs.false:		; preds = %entry
46	%tmp1 = load i8, i8* @g_3		; <i8> [#uses=1]
47	%tobool3 = icmp eq i8 %tmp1, 0		; <i1> [#uses=1]
48	br i1 %tobool3, label %return, label %if.then
49
50if.then:		; preds = %lor.lhs.false, %entry
51	%tmp4 = load i8, i8* @g_3		; <i8> [#uses=1]
52	%conv5 = sext i8 %tmp4 to i32		; <i32> [#uses=1]
53	ret i32 %conv5
54
55return:		; preds = %lor.lhs.false
56	ret i32 0
57}
58
59define void @foo(i32 %p_5) noreturn nounwind {
60entry:
61	%cmp = icmp sgt i32 %p_5, 0		; <i1> [#uses=2]
62	%call = tail call i32 @safe() nounwind		; <i32> [#uses=1]
63	%conv1 = trunc i32 %call to i8		; <i8> [#uses=3]
64	%tobool.i = xor i1 %cmp, true		; <i1> [#uses=3]
65	%cmp.i = icmp sgt i8 %conv1, 0		; <i1> [#uses=3]
66	%or.cond.i = or i1 %cmp.i, %tobool.i		; <i1> [#uses=1]
67	br i1 %or.cond.i, label %lor.rhs.i, label %land.lhs.true3.i
68
69land.lhs.true3.i:		; preds = %entry
70	%xor = zext i1 %cmp to i32		; <i32> [#uses=1]
71	%conv5.i = sext i8 %conv1 to i32		; <i32> [#uses=1]
72	%cmp7.i = icmp slt i32 %conv5.i, %xor		; <i1> [#uses=1]
73	%cmp7.i.not = xor i1 %cmp7.i, true		; <i1> [#uses=1]
74	%or.cond23.i = and i1 %cmp.i, %tobool.i		; <i1> [#uses=1]
75	%or.cond = and i1 %cmp7.i.not, %or.cond23.i		; <i1> [#uses=1]
76	br i1 %or.cond, label %lor.end.i, label %for.inc
77
78lor.rhs.i:		; preds = %entry
79	%or.cond23.i.old = and i1 %cmp.i, %tobool.i		; <i1> [#uses=1]
80	br i1 %or.cond23.i.old, label %lor.end.i, label %for.inc
81
82lor.end.i:		; preds = %lor.rhs.i, %land.lhs.true3.i
83	%tobool19.i = icmp eq i8 %conv1, 0		; <i1> [#uses=0]
84	br label %for.inc
85
86for.inc:		; preds = %for.inc, %lor.end.i, %lor.rhs.i, %land.lhs.true3.i
87	br label %for.inc
88}
89
90define i32 @func_35(i8 signext %p_35) nounwind readonly {
91entry:
92  %tobool = icmp eq i8 %p_35, 0                   ; <i1> [#uses=1]
93  br i1 %tobool, label %lor.lhs.false, label %if.then
94
95lor.lhs.false:                                    ; preds = %entry
96  %tmp1 = load i8, i8* @g_3                           ; <i8> [#uses=1]
97  %tobool3 = icmp eq i8 %tmp1, 0                  ; <i1> [#uses=1]
98  br i1 %tobool3, label %return, label %if.then
99
100if.then:                                          ; preds = %lor.lhs.false, %entry
101  %tmp4 = load i8, i8* @g_3                           ; <i8> [#uses=1]
102  %conv5 = sext i8 %tmp4 to i32                   ; <i32> [#uses=1]
103  ret i32 %conv5
104
105return:                                           ; preds = %lor.lhs.false
106  ret i32 0
107}
108
109define void @bar(i32 %p_5) noreturn nounwind {
110entry:
111  %cmp = icmp sgt i32 %p_5, 0                     ; <i1> [#uses=2]
112  %call = tail call i32 @safe() nounwind          ; <i32> [#uses=1]
113  %conv1 = trunc i32 %call to i8                  ; <i8> [#uses=3]
114  %tobool.i = xor i1 %cmp, true                   ; <i1> [#uses=3]
115  %cmp.i = icmp sgt i8 %conv1, 0                  ; <i1> [#uses=3]
116  %or.cond.i = or i1 %cmp.i, %tobool.i            ; <i1> [#uses=1]
117  br i1 %or.cond.i, label %lor.rhs.i, label %land.lhs.true3.i
118
119land.lhs.true3.i:                                 ; preds = %entry
120  %xor = zext i1 %cmp to i32                      ; <i32> [#uses=1]
121  %conv5.i = sext i8 %conv1 to i32                ; <i32> [#uses=1]
122  %cmp7.i = icmp slt i32 %conv5.i, %xor           ; <i1> [#uses=1]
123  %cmp7.i.not = xor i1 %cmp7.i, true              ; <i1> [#uses=1]
124  %or.cond23.i = and i1 %cmp.i, %tobool.i         ; <i1> [#uses=1]
125  %or.cond = and i1 %cmp7.i.not, %or.cond23.i     ; <i1> [#uses=1]
126  br i1 %or.cond, label %lor.end.i, label %for.inc
127
128lor.rhs.i:                                        ; preds = %entry
129  %or.cond23.i.old = and i1 %cmp.i, %tobool.i     ; <i1> [#uses=1]
130  br i1 %or.cond23.i.old, label %lor.end.i, label %for.inc
131
132lor.end.i:                                        ; preds = %lor.rhs.i, %land.lhs.true3.i
133  %tobool19.i = icmp eq i8 %conv1, 0              ; <i1> [#uses=0]
134  br label %for.inc
135
136for.inc:                                          ; preds = %for.inc, %lor.end.i, %lor.rhs.i, %land.lhs.true3.i
137  br label %for.inc
138}
139
140declare i32 @safe()
141