i += i in a # ID: contains
+ b = 0 # to make sure that JUMP_ABSOLUTE is not part of the ID
log = self.run(main, , threshold=80)
loop, = log.loops_by_filename(self.filepath)
- # XXX: haven't confirmed his is correct, it's probably missing a
assert loop.match_by_id("contains", """
+ i12 = int_add_ovf(i5, i7)