Lines Matching refs:a4
24 %a4 = add i64 %a3, 1
25 %cmp4 = icmp ne i64 %i.ext, %a4
46 %a4 = add i64 %a3, 5
47 %cmp4 = icmp ne i64 %i.ext, %a4
48 call void @assume1(i64 %i.ext, i64 %a4)
68 %a4 = add i64 %a3, 25
69 %cmp4 = icmp ne i64 %i.ext, %a4
70 call void @assume2(i64 %i.ext, i64 %a4)
90 %a4 = add i64 %a3, 125
91 %cmp4 = icmp ne i64 %i.ext, %a4
92 call void @assume3(i64 %i.ext, i64 %a4)
112 %a4 = add i64 %a3, 625
113 %cmp4 = icmp ne i64 %i.ext, %a4
114 call void @assume4(i64 %i.ext, i64 %a4)