Пример #1
0
func (v ConstValue) LLVMValue() llvm.Value {
	typ := types.Underlying(v.Type())
	switch typ {
	case types.Int, types.Uint:
		return llvm.ConstInt(llvm.Int32Type(), uint64(v.Int64()), true)
		// TODO 32/64bit (probably wait for gc)
		//int_val := v.Val.(*big.Int)
		//if int_val.Cmp(maxBigInt32) > 0 || int_val.Cmp(minBigInt32) < 0 {
		//	panic(fmt.Sprint("const ", int_val, " overflows int"))
		//}
		//return llvm.ConstInt(v.compiler.target.IntPtrType(), uint64(v.Int64()), true)
	case types.Uint:
		return llvm.ConstInt(llvm.Int32Type(), uint64(v.Int64()), false)

	case types.Int8:
		return llvm.ConstInt(llvm.Int8Type(), uint64(v.Int64()), true)
	case types.Uint8, types.Byte:
		return llvm.ConstInt(llvm.Int8Type(), uint64(v.Int64()), false)

	case types.Int16:
		return llvm.ConstInt(llvm.Int16Type(), uint64(v.Int64()), true)
	case types.Uint16:
		return llvm.ConstInt(llvm.Int16Type(), uint64(v.Int64()), false)

	case types.Int32, types.Rune:
		return llvm.ConstInt(llvm.Int32Type(), uint64(v.Int64()), true)
	case types.Uint32:
		return llvm.ConstInt(llvm.Int32Type(), uint64(v.Int64()), false)

	case types.Int64:
		return llvm.ConstInt(llvm.Int64Type(), uint64(v.Int64()), true)
	case types.Uint64:
		return llvm.ConstInt(llvm.Int64Type(), uint64(v.Int64()), true)

	case types.Float32:
		return llvm.ConstFloat(llvm.FloatType(), float64(v.Float64()))
	case types.Float64:
		return llvm.ConstFloat(llvm.DoubleType(), float64(v.Float64()))

	case types.UnsafePointer, types.Uintptr:
		inttype := v.compiler.target.IntPtrType()
		return llvm.ConstInt(inttype, uint64(v.Int64()), false)

	case types.String:
		strval := (v.Val).(string)
		ptr := v.compiler.builder.CreateGlobalStringPtr(strval, "")
		len_ := llvm.ConstInt(llvm.Int32Type(), uint64(len(strval)), false)
		return llvm.ConstStruct([]llvm.Value{ptr, len_}, false)

	case types.Bool:
		if v := v.Val.(bool); v {
			return llvm.ConstAllOnes(llvm.Int1Type())
		}
		return llvm.ConstNull(llvm.Int1Type())
	}
	panic(fmt.Errorf("Unhandled type: %v", typ)) //v.typ.Kind))
}
Пример #2
0
func (tm *TypeMap) basicLLVMType(b *types.Basic) llvm.Type {
	switch b.Kind {
	case types.BoolKind:
		return llvm.Int1Type()
	case types.Int8Kind, types.Uint8Kind:
		return llvm.Int8Type()
	case types.Int16Kind, types.Uint16Kind:
		return llvm.Int16Type()
	case types.Int32Kind, types.Uint32Kind:
		return llvm.Int32Type()
	case types.Int64Kind, types.Uint64Kind:
		return llvm.Int64Type()
	case types.Float32Kind:
		return llvm.FloatType()
	case types.Float64Kind:
		return llvm.DoubleType()
	case types.UnsafePointerKind, types.UintptrKind,
		types.UintKind, types.IntKind:
		return tm.target.IntPtrType()
	//case Complex64: TODO
	//case Complex128:
	//case UntypedInt:
	//case UntypedFloat:
	//case UntypedComplex:
	case types.StringKind:
		i8ptr := llvm.PointerType(llvm.Int8Type(), 0)
		elements := []llvm.Type{i8ptr, llvm.Int32Type()}
		return llvm.StructType(elements, false)
	}
	panic(fmt.Sprint("unhandled kind: ", b.Kind))
}
Пример #3
0
func (tm *llvmTypeMap) basicLLVMType(b *types.Basic) llvm.Type {
	switch b.Kind() {
	case types.Bool:
		return llvm.Int1Type()
	case types.Int8, types.Uint8:
		return llvm.Int8Type()
	case types.Int16, types.Uint16:
		return llvm.Int16Type()
	case types.Int32, types.Uint32:
		return llvm.Int32Type()
	case types.Uint, types.Int:
		return tm.inttype
	case types.Int64, types.Uint64:
		return llvm.Int64Type()
	case types.Float32:
		return llvm.FloatType()
	case types.Float64:
		return llvm.DoubleType()
	case types.UnsafePointer, types.Uintptr:
		return tm.target.IntPtrType()
	case types.Complex64:
		f32 := llvm.FloatType()
		elements := []llvm.Type{f32, f32}
		return llvm.StructType(elements, false)
	case types.Complex128:
		f64 := llvm.DoubleType()
		elements := []llvm.Type{f64, f64}
		return llvm.StructType(elements, false)
	case types.String:
		i8ptr := llvm.PointerType(llvm.Int8Type(), 0)
		elements := []llvm.Type{i8ptr, tm.inttype}
		return llvm.StructType(elements, false)
	}
	panic(fmt.Sprint("unhandled kind: ", b.Kind))
}
Пример #4
0
func (v ConstValue) LLVMValue() llvm.Value {
	typ := types.Underlying(v.Type())
	if name, ok := typ.(*types.Name); ok {
		typ = name.Underlying
	}

	switch typ.(*types.Basic).Kind {
	case types.IntKind, types.UintKind:
		return llvm.ConstInt(llvm.Int32Type(), uint64(v.Int64()), true)
		// TODO 32/64bit (probably wait for gc)
		//int_val := v.Val.(*big.Int)
		//if int_val.Cmp(maxBigInt32) > 0 || int_val.Cmp(minBigInt32) < 0 {
		//	panic(fmt.Sprint("const ", int_val, " overflows int"))
		//}
		//return llvm.ConstInt(v.compiler.target.IntPtrType(), uint64(v.Int64()), true)

	case types.Int8Kind:
		return llvm.ConstInt(llvm.Int8Type(), uint64(v.Int64()), true)
	case types.Uint8Kind:
		return llvm.ConstInt(llvm.Int8Type(), uint64(v.Int64()), false)

	case types.Int16Kind:
		return llvm.ConstInt(llvm.Int16Type(), uint64(v.Int64()), true)
	case types.Uint16Kind:
		return llvm.ConstInt(llvm.Int16Type(), uint64(v.Int64()), false)

	case types.Int32Kind:
		return llvm.ConstInt(llvm.Int32Type(), uint64(v.Int64()), true)
	case types.Uint32Kind:
		return llvm.ConstInt(llvm.Int32Type(), uint64(v.Int64()), false)

	case types.Int64Kind:
		return llvm.ConstInt(llvm.Int64Type(), uint64(v.Int64()), true)
	case types.Uint64Kind:
		return llvm.ConstInt(llvm.Int64Type(), uint64(v.Int64()), false)

	case types.Float32Kind:
		return llvm.ConstFloat(llvm.FloatType(), float64(v.Float64()))
	case types.Float64Kind:
		return llvm.ConstFloat(llvm.DoubleType(), float64(v.Float64()))

	case types.Complex64Kind:
		r_, i_ := v.Complex()
		r := llvm.ConstFloat(llvm.FloatType(), r_)
		i := llvm.ConstFloat(llvm.FloatType(), i_)
		return llvm.ConstStruct([]llvm.Value{r, i}, false)
	case types.Complex128Kind:
		r_, i_ := v.Complex()
		r := llvm.ConstFloat(llvm.DoubleType(), r_)
		i := llvm.ConstFloat(llvm.DoubleType(), i_)
		return llvm.ConstStruct([]llvm.Value{r, i}, false)

	case types.UnsafePointerKind, types.UintptrKind:
		inttype := v.compiler.target.IntPtrType()
		return llvm.ConstInt(inttype, uint64(v.Int64()), false)

	case types.StringKind:
		strval := (v.Val).(string)
		strlen := len(strval)
		i8ptr := llvm.PointerType(llvm.Int8Type(), 0)
		var ptr llvm.Value
		if strlen > 0 {
			ptr = v.compiler.builder.CreateGlobalStringPtr(strval, "")
			ptr = llvm.ConstBitCast(ptr, i8ptr)
		} else {
			ptr = llvm.ConstNull(i8ptr)
		}
		len_ := llvm.ConstInt(llvm.Int32Type(), uint64(strlen), false)
		return llvm.ConstStruct([]llvm.Value{ptr, len_}, false)

	case types.BoolKind:
		if v := v.Val.(bool); v {
			return llvm.ConstAllOnes(llvm.Int1Type())
		}
		return llvm.ConstNull(llvm.Int1Type())
	}
	panic(fmt.Errorf("Unhandled type: %v", typ)) //v.typ.Kind))
}
Пример #5
0
func (i *Instruction) Compile(c *Compilation) {
	c.debugPrint(fmt.Sprintf("%s\n", i.ResolveRender()))

	var labelAddr int
	var ok bool
	if i.LabelName != "" {
		labelAddr, ok = c.program.Labels[i.LabelName]
		if !ok {
			panic(fmt.Sprintf("label %s addr not defined: %s", i.LabelName, i.Render()))
		}
	}
	var immedValue llvm.Value
	if i.Type == ImmediateInstruction {
		immedValue = llvm.ConstInt(llvm.Int8Type(), uint64(i.Value), false)
	}

	var addrNext = i.Offset + len(i.Payload)

	switch i.OpCode {
	default:
		c.Errors = append(c.Errors, fmt.Sprintf("unrecognized instruction: %s", i.Render()))
	case 0xa2: // ldx immediate
		c.builder.CreateStore(immedValue, c.rX)
		c.testAndSetZero(i.Value)
		c.testAndSetNeg(i.Value)
		c.cycle(2, addrNext)
	case 0xa0: // ldy immediate
		c.performLdy(immedValue)
		c.cycle(2, addrNext)
	case 0xa9: // lda immediate
		c.builder.CreateStore(immedValue, c.rA)
		c.testAndSetZero(i.Value)
		c.testAndSetNeg(i.Value)
		c.cycle(2, addrNext)
	case 0x69: // adc immediate
		c.performAdc(immedValue)
		c.cycle(2, addrNext)
	case 0xe9: // sbc immediate
		c.performSbc(immedValue)
		c.cycle(2, addrNext)
	case 0x29: // and immediate
		c.performAnd(immedValue)
		c.cycle(2, addrNext)
	case 0xc9: // cmp immediate
		reg := c.builder.CreateLoad(c.rA, "")
		c.performCmp(reg, immedValue)
		c.cycle(2, addrNext)
	case 0xe0: // cpx immediate
		reg := c.builder.CreateLoad(c.rX, "")
		c.performCmp(reg, immedValue)
		c.cycle(2, addrNext)
	case 0xc0: // cpy immediate
		reg := c.builder.CreateLoad(c.rY, "")
		c.performCmp(reg, immedValue)
		c.cycle(2, addrNext)
	case 0x49: // eor immediate
		c.performEor(immedValue)
		c.cycle(2, addrNext)
	case 0x09: // ora immediate
		c.performOra(immedValue)
		c.cycle(2, addrNext)
	case 0x0a: // asl implied
		a := c.builder.CreateLoad(c.rA, "")
		c.builder.CreateStore(c.performAsl(a), c.rA)
		c.cycle(2, addrNext)
	case 0x00: // brk implied
		c.pushWordToStack(llvm.ConstInt(llvm.Int16Type(), uint64(i.Offset+2), false))
		c.pushToStack(c.getStatusByte())
		c.setInt()
		c.cycle(7, -1)
		c.currentBlock = nil
		c.builder.CreateBr(*c.resetBlock)
	case 0x18: // clc implied
		c.clearCarry()
		c.cycle(2, addrNext)
	case 0x38: // sec implied
		c.setCarry()
		c.cycle(2, addrNext)
	case 0xd8: // cld implied
		c.clearDec()
		c.cycle(2, addrNext)
	case 0x58: // cli implied
		c.clearInt()
		c.cycle(2, addrNext)
	case 0xb8: // clv implied
		c.clearOverflow()
		c.cycle(2, addrNext)
	case 0xca: // dex implied
		c.increment(c.rX, -1)
		c.cycle(2, addrNext)
	case 0x88: // dey implied
		c.increment(c.rY, -1)
		c.cycle(2, addrNext)
	case 0xe8: // inx implied
		c.increment(c.rX, 1)
		c.cycle(2, addrNext)
	case 0xc8: // iny implied
		c.increment(c.rY, 1)
		c.cycle(2, addrNext)
	case 0x4a: // lsr implied
		oldValue := c.builder.CreateLoad(c.rA, "")
		newValue := c.performLsr(oldValue)
		c.builder.CreateStore(newValue, c.rA)
		c.cycle(2, addrNext)
	case 0xea: // nop implied
		c.cycle(2, addrNext)
	case 0x48: // pha implied
		a := c.builder.CreateLoad(c.rA, "")
		c.pushToStack(a)
		c.cycle(3, addrNext)
	case 0x68: // pla implied
		v := c.pullFromStack()
		c.builder.CreateStore(v, c.rA)
		c.dynTestAndSetZero(v)
		c.dynTestAndSetNeg(v)
		c.cycle(4, addrNext)
	//case 0x08: // php implied
	case 0x28: // plp implied
		c.pullStatusReg()
		c.cycle(4, addrNext)
	case 0x2a: // rol implied
		a := c.builder.CreateLoad(c.rA, "")
		c.builder.CreateStore(c.performRol(a), c.rA)
		c.cycle(2, addrNext)
	case 0x6a: // ror implied
		a := c.builder.CreateLoad(c.rA, "")
		c.builder.CreateStore(c.performRor(a), c.rA)
		c.cycle(2, addrNext)
	case 0x40: // rti implied
		c.pullStatusReg()
		pc := c.pullWordFromStack()
		c.builder.CreateStore(pc, c.rPC)
		c.cycle(6, -1) // -1 because we already stored the PC
		c.builder.CreateRetVoid()
		c.currentBlock = nil
	case 0x60: // rts implied
		pc := c.pullWordFromStack()
		pc = c.builder.CreateAdd(pc, llvm.ConstInt(pc.Type(), 1, false), "")
		c.debugPrintf("rts: new pc $%04x\n", []llvm.Value{pc})
		c.builder.CreateStore(pc, c.rPC)
		c.cycle(6, -1)
		c.builder.CreateBr(c.dynJumpBlock)
		c.currentBlock = nil
	case 0xf8: // sed implied
		c.setDec()
		c.cycle(2, addrNext)
	case 0x78: // sei implied
		c.setInt()
		c.cycle(2, addrNext)
	case 0xaa: // tax implied
		c.transfer(c.rA, c.rX)
		c.cycle(2, addrNext)
	case 0xa8: // tay implied
		c.transfer(c.rA, c.rY)
		c.cycle(2, addrNext)
	case 0xba: // tsx implied
		c.transfer(c.rSP, c.rX)
		c.cycle(2, addrNext)
	case 0x8a: // txa implied
		c.transfer(c.rX, c.rA)
		c.cycle(2, addrNext)
	case 0x9a: // txs implied
		// TXS does not set flags
		v := c.builder.CreateLoad(c.rX, "")
		c.builder.CreateStore(v, c.rSP)
		c.cycle(2, addrNext)
	case 0x98: // tya implied
		c.transfer(c.rY, c.rA)
		c.cycle(2, addrNext)

	case 0x79: // adc abs y
		v := c.dynLoadIndexed(i.Value, c.rY)
		c.performAdc(v)
		c.cyclesForAbsoluteIndexedPtr(i.Value, c.rY, addrNext)
	case 0xf9: // sbc abs y
		v := c.dynLoadIndexed(i.Value, c.rY)
		c.performSbc(v)
		c.cyclesForAbsoluteIndexedPtr(i.Value, c.rY, addrNext)
	case 0xd9: // cmp abs y
		reg := c.builder.CreateLoad(c.rA, "")
		mem := c.dynLoadIndexed(i.Value, c.rY)
		c.performCmp(reg, mem)
		c.cyclesForAbsoluteIndexedPtr(i.Value, c.rX, addrNext)
	case 0xdd: // cmp abs x
		reg := c.builder.CreateLoad(c.rA, "")
		mem := c.dynLoadIndexed(i.Value, c.rX)
		c.performCmp(reg, mem)
		c.cyclesForAbsoluteIndexedPtr(i.Value, c.rX, addrNext)
	case 0xd5: // cmp zpg x
		reg := c.builder.CreateLoad(c.rA, "")
		mem := c.dynLoadZpgIndexed(i.Value, c.rX)
		c.performCmp(reg, mem)
		c.cycle(4, addrNext)
	case 0xb9: // lda abs y
		c.absoluteIndexedLoad(c.rA, i.Value, c.rY, addrNext)
	case 0xbe: // ldx abs y
		c.absoluteIndexedLoad(c.rX, i.Value, c.rY, addrNext)
	case 0xbd: // lda abs x
		c.absoluteIndexedLoad(c.rA, i.Value, c.rX, addrNext)
	case 0xbc: // ldy abs x
		c.absoluteIndexedLoad(c.rY, i.Value, c.rX, addrNext)
	case 0x99: // sta abs y
		c.absoluteIndexedStore(c.rA, i.Value, c.rY, addrNext)
	case 0x9d: // sta abs x
		c.absoluteIndexedStore(c.rA, i.Value, c.rX, addrNext)
	case 0x96: // stx zpg y
		v := c.builder.CreateLoad(c.rX, "")
		c.dynStoreZpgIndexed(i.Value, c.rY, v)
		c.cycle(4, addrNext)
	case 0x95: // sta zpg x
		v := c.builder.CreateLoad(c.rA, "")
		c.dynStoreZpgIndexed(i.Value, c.rX, v)
		c.cycle(4, addrNext)
	case 0x94: // sty zpg x
		v := c.builder.CreateLoad(c.rY, "")
		c.dynStoreZpgIndexed(i.Value, c.rX, v)
		c.cycle(4, addrNext)
	case 0xb6: // ldx zpg y
		v := c.dynLoadZpgIndexed(i.Value, c.rY)
		c.builder.CreateStore(v, c.rX)
		c.dynTestAndSetZero(v)
		c.dynTestAndSetNeg(v)
		c.cycle(4, addrNext)
	case 0xb4: // ldy zpg x
		v := c.dynLoadZpgIndexed(i.Value, c.rX)
		c.performLdy(v)
		c.cycle(4, addrNext)
	case 0xb5: // lda zpg x
		v := c.dynLoadZpgIndexed(i.Value, c.rX)
		c.performLda(v)
		c.cycle(4, addrNext)
	case 0x7d: // adc abs x
		v := c.dynLoadIndexed(i.Value, c.rX)
		c.performAdc(v)
		c.cyclesForAbsoluteIndexedPtr(i.Value, c.rX, addrNext)
	case 0xfd: // sbc abs x
		v := c.dynLoadIndexed(i.Value, c.rX)
		c.performSbc(v)
		c.cyclesForAbsoluteIndexedPtr(i.Value, c.rX, addrNext)
	case 0x75: // adc zpg x
		v := c.dynLoadZpgIndexed(i.Value, c.rX)
		c.performAdc(v)
		c.cycle(4, addrNext)
	case 0xf5: // sbc zpg x
		v := c.dynLoadZpgIndexed(i.Value, c.rX)
		c.performSbc(v)
		c.cycle(4, addrNext)
	case 0x1e: // asl abs x
		oldValue := c.dynLoadIndexed(i.Value, c.rX)
		newValue := c.performAsl(oldValue)
		c.dynStoreIndexed(i.Value, c.rX, newValue)
		c.cycle(7, addrNext)
	case 0x16: // asl zpg x
		oldValue := c.dynLoadZpgIndexed(i.Value, c.rX)
		newValue := c.performAsl(oldValue)
		c.dynStoreZpgIndexed(i.Value, c.rX, newValue)
		c.cycle(6, addrNext)
	case 0xde: // dec abs x
		oldValue := c.dynLoadIndexed(i.Value, c.rX)
		newValue := c.incrementVal(oldValue, -1)
		c.dynStoreIndexed(i.Value, c.rX, newValue)
		c.dynTestAndSetZero(newValue)
		c.dynTestAndSetNeg(newValue)
		c.cycle(7, addrNext)
	case 0xfe: // inc abs x
		oldValue := c.dynLoadIndexed(i.Value, c.rX)
		newValue := c.incrementVal(oldValue, 1)
		c.dynStoreIndexed(i.Value, c.rX, newValue)
		c.dynTestAndSetZero(newValue)
		c.dynTestAndSetNeg(newValue)
		c.cycle(7, addrNext)
	case 0xd6: // dec zpg x
		oldValue := c.dynLoadZpgIndexed(i.Value, c.rX)
		newValue := c.incrementVal(oldValue, -1)
		c.dynStoreZpgIndexed(i.Value, c.rX, newValue)
		c.dynTestAndSetZero(newValue)
		c.dynTestAndSetNeg(newValue)
		c.cycle(6, addrNext)
	case 0xf6: // inc zpg x
		oldValue := c.dynLoadZpgIndexed(i.Value, c.rX)
		newValue := c.incrementVal(oldValue, 1)
		c.dynStoreZpgIndexed(i.Value, c.rX, newValue)
		c.dynTestAndSetZero(newValue)
		c.dynTestAndSetNeg(newValue)
		c.cycle(6, addrNext)
	case 0x3e: // rol abs x
		oldValue := c.dynLoadIndexed(i.Value, c.rX)
		newValue := c.performRol(oldValue)
		c.dynStoreIndexed(i.Value, c.rX, newValue)
		c.cycle(7, addrNext)
	case 0x7e: // ror abs x
		oldValue := c.dynLoadIndexed(i.Value, c.rX)
		newValue := c.performRor(oldValue)
		c.dynStoreIndexed(i.Value, c.rX, newValue)
		c.cycle(7, addrNext)
	case 0x39: // and abs y
		v := c.dynLoadIndexed(i.Value, c.rY)
		c.performAnd(v)
		c.cyclesForAbsoluteIndexedPtr(i.Value, c.rY, addrNext)
	case 0x3d: // and abs x
		v := c.dynLoadIndexed(i.Value, c.rX)
		c.performAnd(v)
		c.cyclesForAbsoluteIndexedPtr(i.Value, c.rX, addrNext)
	case 0x35: // and zpg x
		v := c.dynLoadZpgIndexed(i.Value, c.rX)
		c.performAnd(v)
		c.cycle(4, addrNext)
	case 0x5d: // eor abs x
		v := c.dynLoadIndexed(i.Value, c.rX)
		c.performEor(v)
		c.cyclesForAbsoluteIndexedPtr(i.Value, c.rX, addrNext)
	case 0x55: // eor zpg x
		v := c.dynLoadZpgIndexed(i.Value, c.rX)
		c.performEor(v)
		c.cycle(4, addrNext)
	case 0x59: // eor abs y
		v := c.dynLoadIndexed(i.Value, c.rY)
		c.performEor(v)
		c.cyclesForAbsoluteIndexedPtr(i.Value, c.rY, addrNext)
	case 0x19: // ora abs y
		v := c.dynLoadIndexed(i.Value, c.rY)
		c.performOra(v)
		c.cyclesForAbsoluteIndexedPtr(i.Value, c.rY, addrNext)
	case 0x1d: // ora abs x
		v := c.dynLoadIndexed(i.Value, c.rX)
		c.performOra(v)
		c.cyclesForAbsoluteIndexedPtr(i.Value, c.rX, addrNext)
	case 0x15: // ora zpg x
		v := c.dynLoadZpgIndexed(i.Value, c.rX)
		c.performOra(v)
		c.cycle(4, addrNext)
	//case 0x5e: // lsr abs x
	//case 0x56: // lsr zpg x
	//case 0x36: // rol zpg x
	//case 0x76: // ror zpg x

	case 0x6c: // jmp indirect
		newPc := c.loadWord(i.Value)
		c.builder.CreateStore(newPc, c.rPC)
		c.cycle(5, -1)
		c.builder.CreateBr(c.dynJumpBlock)
		c.currentBlock = nil
	case 0x4c: // jmp
		// branch instruction - cycle before execution
		c.cycle(3, labelAddr)
		destBlock, ok := c.labeledBlocks[i.LabelName]
		if ok {
			// cool, we're jumping into statically compiled code
			c.builder.CreateBr(destBlock)
		} else {
			// damn, we'll have to interpret the next instruction
			c.builder.CreateBr(c.interpretBlock)
		}
		c.currentBlock = nil
	case 0x20: // jsr
		pc := llvm.ConstInt(llvm.Int16Type(), uint64(i.Offset+2), false)

		c.debugPrintf("jsr: saving $%04x\n", []llvm.Value{pc})

		c.pushWordToStack(pc)
		c.cycle(6, i.Value)
		destBlock, ok := c.labeledBlocks[i.LabelName]
		if ok {
			// cool, we're jumping into statically compiled code
			c.builder.CreateBr(destBlock)
		} else {
			// damn, we'll have to interpret the next instruction
			c.builder.CreateBr(c.interpretBlock)

		}
		c.currentBlock = nil
	case 0xf0: // beq
		isZero := c.builder.CreateLoad(c.rSZero, "")
		c.createBranch(isZero, i.LabelName, i.Offset)
	case 0x90: // bcc
		isCarry := c.builder.CreateLoad(c.rSCarry, "")
		notCarry := c.builder.CreateNot(isCarry, "")
		c.createBranch(notCarry, i.LabelName, i.Offset)
	case 0xb0: // bcs
		isCarry := c.builder.CreateLoad(c.rSCarry, "")
		c.createBranch(isCarry, i.LabelName, i.Offset)
	case 0x30: // bmi
		isNeg := c.builder.CreateLoad(c.rSNeg, "")
		c.createBranch(isNeg, i.LabelName, i.Offset)
	case 0xd0: // bne
		isZero := c.builder.CreateLoad(c.rSZero, "")
		notZero := c.builder.CreateNot(isZero, "")
		c.createBranch(notZero, i.LabelName, i.Offset)
	case 0x10: // bpl
		isNeg := c.builder.CreateLoad(c.rSNeg, "")
		notNeg := c.builder.CreateNot(isNeg, "")
		c.createBranch(notNeg, i.LabelName, i.Offset)
	//case 0x50: // bvc
	//case 0x70: // bvs

	case 0xa5:
		c.performLda(c.load(i.Value))
		c.cycle(3, addrNext)
	case 0xad:
		c.performLda(c.load(i.Value))
		c.cycle(4, addrNext)
	case 0xa4: // ldy zpg
		c.performLdy(c.load(i.Value))
		c.cycle(3, addrNext)
	case 0xac: // ldy abs
		c.performLdy(c.load(i.Value))
		c.cycle(4, addrNext)
	case 0xa6, 0xae: // ldx (zpg, abs)
		v := c.load(i.Value)
		c.builder.CreateStore(v, c.rX)
		c.dynTestAndSetZero(v)
		c.dynTestAndSetNeg(v)
		if i.OpCode == 0xa6 {
			c.cycle(3, addrNext)
		} else {
			c.cycle(4, addrNext)
		}
	case 0xc6: // dec zpg
		c.incrementMem(i.Value, -1)
		c.cycle(5, addrNext)
	case 0xce: // dec abs
		c.incrementMem(i.Value, -1)
		c.cycle(6, addrNext)
	case 0xe6: // inc zpg
		c.incrementMem(i.Value, 1)
		c.cycle(5, addrNext)
	case 0xee: // inc abs
		c.incrementMem(i.Value, 1)
		c.cycle(6, addrNext)
	case 0x46: // lsr zpg
		newValue := c.performLsr(c.load(i.Value))
		c.store(i.Value, newValue)
		c.cycle(5, addrNext)
	case 0x4e: // lsr abs
		newValue := c.performLsr(c.load(i.Value))
		c.store(i.Value, newValue)
		c.cycle(6, addrNext)
	case 0x45: // eor zpg
		c.performEor(c.load(i.Value))
		c.cycle(3, addrNext)
	case 0x4d: // eor abs
		c.performEor(c.load(i.Value))
		c.cycle(4, addrNext)
	case 0xc5: // cmp zpg
		reg := c.builder.CreateLoad(c.rA, "")
		c.performCmp(reg, c.load(i.Value))
		c.cycle(3, addrNext)
	case 0xcd: // cmp abs
		reg := c.builder.CreateLoad(c.rA, "")
		c.performCmp(reg, c.load(i.Value))
		c.cycle(4, addrNext)
	case 0xe4: // cpx zpg
		reg := c.builder.CreateLoad(c.rX, "")
		c.performCmp(reg, c.load(i.Value))
		c.cycle(3, addrNext)
	case 0xc4: // cpy zpg
		reg := c.builder.CreateLoad(c.rY, "")
		c.performCmp(reg, c.load(i.Value))
		c.cycle(3, addrNext)
	case 0xec: // cpx abs
		reg := c.builder.CreateLoad(c.rX, "")
		c.performCmp(reg, c.load(i.Value))
		c.cycle(4, addrNext)
	case 0xcc: // cpy abs
		reg := c.builder.CreateLoad(c.rY, "")
		c.performCmp(reg, c.load(i.Value))
		c.cycle(4, addrNext)
	case 0x65: // adc zpg
		c.performAdc(c.load(i.Value))
		c.cycle(3, addrNext)
	case 0x6d: // adc abs
		c.performAdc(c.load(i.Value))
		c.cycle(4, addrNext)
	case 0xe5: // sbc zpg
		c.performSbc(c.load(i.Value))
		c.cycle(3, addrNext)
	case 0xed: // sbc abs
		c.performSbc(c.load(i.Value))
		c.cycle(4, addrNext)
	case 0x05: // ora zpg
		c.performOra(c.load(i.Value))
		c.cycle(3, addrNext)
	case 0x0d: // ora abs
		c.performOra(c.load(i.Value))
		c.cycle(4, addrNext)
	case 0x25: // and zpg
		c.performAnd(c.load(i.Value))
		c.cycle(3, addrNext)
	case 0x2d: // and abs
		c.performAnd(c.load(i.Value))
		c.cycle(4, addrNext)
	case 0x24: // bit zpg
		c.performBit(c.load(i.Value))
		c.cycle(3, addrNext)
	case 0x2c: // bit abs
		c.performBit(c.load(i.Value))
		c.cycle(4, addrNext)
	case 0x06: // asl zpg
		oldValue := c.load(i.Value)
		newValue := c.performAsl(oldValue)
		c.store(i.Value, newValue)
		c.cycle(5, addrNext)
	case 0x0e: // asl abs
		oldValue := c.load(i.Value)
		newValue := c.performAsl(oldValue)
		c.store(i.Value, newValue)
		c.cycle(6, addrNext)
	case 0x26: // rol zpg
		oldValue := c.load(i.Value)
		newValue := c.performRol(oldValue)
		c.store(i.Value, newValue)
		c.cycle(5, addrNext)
	case 0x66: // ror zpg
		oldValue := c.load(i.Value)
		newValue := c.performRor(oldValue)
		c.store(i.Value, newValue)
		c.cycle(5, addrNext)
	case 0x2e: // rol abs
		oldValue := c.load(i.Value)
		newValue := c.performRol(oldValue)
		c.store(i.Value, newValue)
		c.cycle(6, addrNext)
	case 0x6e: // ror abs
		oldValue := c.load(i.Value)
		newValue := c.performRor(oldValue)
		c.store(i.Value, newValue)
		c.cycle(6, addrNext)
	case 0x85: // sta zpg
		c.store(i.Value, c.builder.CreateLoad(c.rA, ""))
		c.cycle(3, addrNext)
	case 0x8d: // sta abs
		c.store(i.Value, c.builder.CreateLoad(c.rA, ""))
		c.cycle(4, addrNext)
	case 0x86: // stx zpg
		c.store(i.Value, c.builder.CreateLoad(c.rX, ""))
		c.cycle(3, addrNext)
	case 0x8e: // stx abs
		c.store(i.Value, c.builder.CreateLoad(c.rX, ""))
		c.cycle(4, addrNext)
	case 0x84: // sty zpg
		c.store(i.Value, c.builder.CreateLoad(c.rY, ""))
		c.cycle(3, addrNext)
	case 0x8c: // sty abs
		c.store(i.Value, c.builder.CreateLoad(c.rY, ""))
		c.cycle(4, addrNext)

	case 0xa1: // lda indirect x
		index := c.builder.CreateLoad(c.rX, "")
		base := llvm.ConstInt(llvm.Int8Type(), uint64(i.Value), false)
		addr := c.builder.CreateAdd(base, index, "")
		v := c.dynLoad(addr, 0, 0xff)
		c.performLda(v)
		c.cycle(6, addrNext)
	//case 0x61: // adc indirect x
	//case 0x21: // and indirect x
	//case 0xc1: // cmp indirect x
	//case 0x41: // eor indirect x
	//case 0x01: // ora indirect x
	//case 0xe1: // sbc indirect x
	//case 0x81: // sta indirect x

	//case 0x71: // adc indirect y
	//case 0x31: // and indirect y
	//case 0xd1: // cmp indirect y
	//case 0x51: // eor indirect y
	case 0xb1: // lda indirect y
		baseAddr := c.loadWord(i.Value)
		rY := c.builder.CreateLoad(c.rY, "")
		rYw := c.builder.CreateZExt(rY, llvm.Int16Type(), "")
		addr := c.builder.CreateAdd(baseAddr, rYw, "")
		val := c.dynLoad(addr, 0, 0xffff)
		c.performLda(val)
		c.cyclesForIndirectY(baseAddr, addr, addrNext)
	//case 0x11: // ora indirect y
	//case 0xf1: // sbc indirect y
	case 0x91: // sta indirect y
		baseAddr := c.loadWord(i.Value)
		rY := c.builder.CreateLoad(c.rY, "")
		rYw := c.builder.CreateZExt(rY, llvm.Int16Type(), "")
		addr := c.builder.CreateAdd(baseAddr, rYw, "")
		rA := c.builder.CreateLoad(c.rA, "")
		c.dynStore(addr, 0, 0xffff, rA)
		c.cycle(6, addrNext)
	}
}