artiq/lit-test/compiler/typing/gcd.py

# RUN: %python -m artiq.compiler.typing %s >%t

def _gcd(a, b):
    if a < 0:
        a = -a
    while a:
        c = a
        a = b % a
        b = c
    return b

# CHECK-L: _gcd:(a:int(width='a), b:int(width='a))->int(width='a)(10:int(width='a), 25:int(width='a)):int(width='a)
_gcd(10, 25)
Rename package py2llvm to compiler. Since the package implements a typechecker along with a code generator, and the typechecker will be run before or together with transformations, this name is more descriptive. 2015-06-30 01:12:09 +08:00			`# RUN: %python -m artiq.compiler.typing %s >%t`
Implement Call. 2015-06-15 21:55:13 +08:00
			`def _gcd(a, b):`
			`if a < 0:`
			`a = -a`
			`while a:`
			`c = a`
			`a = b % a`
			`b = c`
			`return b`

Fix type of Call. 2015-06-15 22:16:44 +08:00			`# CHECK-L: _gcd:(a:int(width='a), b:int(width='a))->int(width='a)(10:int(width='a), 25:int(width='a)):int(width='a)`
Implement Call. 2015-06-15 21:55:13 +08:00			`_gcd(10, 25)`