Lines Matching refs:ext

9 define available_externally void @assume1(i64 %i.ext, i64 %a) alwaysinline {
10   %cmp0 = icmp ne i64 %i.ext, %a
14   %cmp1 = icmp ne i64 %i.ext, %a1
18   %cmp2 = icmp ne i64 %i.ext, %a2
22   %cmp3 = icmp ne i64 %i.ext, %a3
26   %cmp4 = icmp ne i64 %i.ext, %a4
32 define available_externally void @assume2(i64 %i.ext, i64 %a) alwaysinline {
33   call void @assume1(i64 %i.ext, i64 %a)
36   %cmp1 = icmp ne i64 %i.ext, %a1
37   call void @assume1(i64 %i.ext, i64 %a1)
40   %cmp2 = icmp ne i64 %i.ext, %a2
41   call void @assume1(i64 %i.ext, i64 %a2)
44   %cmp3 = icmp ne i64 %i.ext, %a3
45   call void @assume1(i64 %i.ext, i64 %a3)
48   %cmp4 = icmp ne i64 %i.ext, %a4
49   call void @assume1(i64 %i.ext, i64 %a4)
54 define available_externally void @assume3(i64 %i.ext, i64 %a) alwaysinline {
55   call void @assume2(i64 %i.ext, i64 %a)
58   %cmp1 = icmp ne i64 %i.ext, %a1
59   call void @assume2(i64 %i.ext, i64 %a1)
62   %cmp2 = icmp ne i64 %i.ext, %a2
63   call void @assume2(i64 %i.ext, i64 %a2)
66   %cmp3 = icmp ne i64 %i.ext, %a3
67   call void @assume2(i64 %i.ext, i64 %a3)
70   %cmp4 = icmp ne i64 %i.ext, %a4
71   call void @assume2(i64 %i.ext, i64 %a4)
76 define available_externally void @assume4(i64 %i.ext, i64 %a) alwaysinline {
77   call void @assume3(i64 %i.ext, i64 %a)
80   %cmp1 = icmp ne i64 %i.ext, %a1
81   call void @assume3(i64 %i.ext, i64 %a1)
84   %cmp2 = icmp ne i64 %i.ext, %a2
85   call void @assume3(i64 %i.ext, i64 %a2)
88   %cmp3 = icmp ne i64 %i.ext, %a3
89   call void @assume3(i64 %i.ext, i64 %a3)
92   %cmp4 = icmp ne i64 %i.ext, %a4
93   call void @assume3(i64 %i.ext, i64 %a4)
98 define available_externally void @assume5(i64 %i.ext, i64 %a) alwaysinline {
99   call void @assume4(i64 %i.ext, i64 %a)
102   %cmp1 = icmp ne i64 %i.ext, %a1
103   call void @assume4(i64 %i.ext, i64 %a1)
106   %cmp2 = icmp ne i64 %i.ext, %a2
107   call void @assume4(i64 %i.ext, i64 %a2)
110   %cmp3 = icmp ne i64 %i.ext, %a3
111   call void @assume4(i64 %i.ext, i64 %a3)
114   %cmp4 = icmp ne i64 %i.ext, %a4
115   call void @assume4(i64 %i.ext, i64 %a4)
128   %i.ext = zext i32 %i to i64
130   call void @assume5(i64 %i.ext, i64 500000000)
132   %i.next = add i64 %i.ext, 1