@@ -364,8 +364,6 @@ doOp v (LSRem (ATInt (ITFixed ty))) [x, y] = bitOp v "SRem" ty [x, y]
365doOp v (LSExt (ITFixed from) ITBig) [x]
365doOp v (LSExt (ITFixed from) ITBig) [x]
366 = v ++ "MKBIGSI(vm, (" ++ signedTy from ++ ")" ++ creg x ++ "->info.bits" ++ show (nativeTyWidth from) ++ ")"
366 = v ++ "MKBIGSI(vm, (" ++ signedTy from ++ ")" ++ creg x ++ "->info.bits" ++ show (nativeTyWidth from) ++ ")"
367−doOp v (LZExt ITNative ITBig) [x]
368− = v ++ "MKBIGSI(vm, GETINT(" ++ creg x ++ "))"
369doOp v (LSExt ITNative (ITFixed to)) [x]
367doOp v (LSExt ITNative (ITFixed to)) [x]
370 = v ++ "idris_b" ++ show (nativeTyWidth to) ++ "const(vm, GETINT(" ++ creg x ++ "))"
368 = v ++ "idris_b" ++ show (nativeTyWidth to) ++ "const(vm, GETINT(" ++ creg x ++ "))"
371doOp v (LSExt ITChar (ITFixed to)) [x]
369doOp v (LSExt ITChar (ITFixed to)) [x]
@@ -386,8 +384,8 @@ doOp v (LZExt (ITFixed from) ITChar) [x]
386 = doOp v (LZExt (ITFixed from) ITNative) [x]
384 = doOp v (LZExt (ITFixed from) ITNative) [x]
387doOp v (LZExt (ITFixed from) ITBig) [x]
385doOp v (LZExt (ITFixed from) ITBig) [x]
388 = v ++ "MKBIGUI(vm, " ++ creg x ++ "->info.bits" ++ show (nativeTyWidth from) ++ ")"
386 = v ++ "MKBIGUI(vm, " ++ creg x ++ "->info.bits" ++ show (nativeTyWidth from) ++ ")"
389−-- doOp v (LZExt ITNative ITBig) [x]
387+doOp v (LZExt ITNative ITBig) [x]
390−-- = v ++ "MKBIGUI(vm, (uintptr_t)GETINT(" ++ creg x ++ "))"
388+ = v ++ "MKBIGUI(vm, (uintptr_t)GETINT(" ++ creg x ++ "))"
391doOp v (LZExt (ITFixed from) (ITFixed to)) [x]
389doOp v (LZExt (ITFixed from) (ITFixed to)) [x]
392 | nativeTyWidth from < nativeTyWidth to = bitCoerce v "Z" from to x
390 | nativeTyWidth from < nativeTyWidth to = bitCoerce v "Z" from to x
393doOp v (LTrunc ITNative (ITFixed to)) [x]
391doOp v (LTrunc ITNative (ITFixed to)) [x]