Lines Matching refs:args

34     ((args (bv 64)) (ret (bv 8)) (canon (bv 8)))
35     ((args (bv 64)) (ret (bv 16)) (canon (bv 16)))
36     ((args (bv 64)) (ret (bv 32)) (canon (bv 32)))
37     ((args (bv 64)) (ret (bv 64)) (canon (bv 64)))
72     ((args (bv 8) (bv 8) (bv 8)) (ret (bv 8)) (canon (bv 8)))
73     ((args (bv 8) (bv 16) (bv 16)) (ret (bv 8)) (canon (bv 16)))
74     ((args (bv 8) (bv 32) (bv 32)) (ret (bv 8)) (canon (bv 32)))
75     ((args (bv 8) (bv 64) (bv 64)) (ret (bv 8)) (canon (bv 64)))
201     ((args (bv 8)) (ret (bv 8)) (canon (bv 8)))
202     ((args (bv 8)) (ret (bv 16)) (canon (bv 8)))
203     ((args (bv 8)) (ret (bv 32)) (canon (bv 8)))
204     ((args (bv 8)) (ret (bv 64)) (canon (bv 8)))
205     ((args (bv 16)) (ret (bv 16)) (canon (bv 16)))
206     ((args (bv 16)) (ret (bv 32)) (canon (bv 16)))
207     ((args (bv 16)) (ret (bv 64)) (canon (bv 16)))
208     ((args (bv 32)) (ret (bv 32)) (canon (bv 32)))
209     ((args (bv 32)) (ret (bv 64)) (canon (bv 32)))
210     ((args (bv 64)) (ret (bv 64)) (canon (bv 64)))
223     ((args (bv 16) (bv 64) (bv 32)) (ret (bv 8)) (canon (bv 8)))
224     ((args (bv 16) (bv 64) (bv 32)) (ret (bv 16)) (canon (bv 16)))
225     ((args (bv 16) (bv 64) (bv 32)) (ret (bv 32)) (canon (bv 32)))
226     ((args (bv 16) (bv 64) (bv 32)) (ret (bv 64)) (canon (bv 64)))
234     ((args (bv 16) (bv 8) (bv 64) (bv 32)) (ret Unit) (canon (bv 8)))
235     ((args (bv 16) (bv 16) (bv 64) (bv 32)) (ret Unit) (canon (bv 16)))
236     ((args (bv 16) (bv 32) (bv 64) (bv 32)) (ret Unit) (canon (bv 32)))
237     ((args (bv 16) (bv 64) (bv 64) (bv 32)) (ret Unit) (canon (bv 64)))