git.iko.soy/Idris-dev
on master help sign in
Merge pull request #387 from Ralith/restored-itnative-codegen
5606f7fEdwin Brady
src/IRTS/CodegenC.hs+2
compare with master
unifiedsplit
@@ -384,6 +384,8 @@ doOp v (LZExt (ITFixed from) ITChar) [x]
384 = doOp v (LZExt (ITFixed from) ITNative) [x]
384 = doOp v (LZExt (ITFixed from) ITNative) [x]
385doOp v (LZExt (ITFixed from) ITBig) [x]
385doOp v (LZExt (ITFixed from) ITBig) [x]
386 = v ++ "MKBIGUI(vm, " ++ creg x ++ "->info.bits" ++ show (nativeTyWidth from) ++ ")"
386 = v ++ "MKBIGUI(vm, " ++ creg x ++ "->info.bits" ++ show (nativeTyWidth from) ++ ")"
387+doOp v (LZExt ITNative ITBig) [x]
388+ = v ++ "MKBIGUI(vm, (uintptr_t)GETINT(" ++ creg x ++ "))"
387doOp v (LZExt (ITFixed from) (ITFixed to)) [x]
389doOp v (LZExt (ITFixed from) (ITFixed to)) [x]
388 | nativeTyWidth from < nativeTyWidth to = bitCoerce v "Z" from to x
390 | nativeTyWidth from < nativeTyWidth to = bitCoerce v "Z" from to x
389doOp v (LTrunc ITNative (ITFixed to)) [x]
391doOp v (LTrunc ITNative (ITFixed to)) [x]
src/IRTS/CodegenLLVM.hs+14
@@ -857,6 +857,20 @@ cgOp (LOr ITBig) [x,y] = mpzBin "ior" x y
857cgOp (LXOr ITBig) [x,y] = mpzBin "xor" x y
857cgOp (LXOr ITBig) [x,y] = mpzBin "xor" x y
858cgOp (LCompl ITBig) [x] = mpzUn "com" x
858cgOp (LCompl ITBig) [x] = mpzUn "com" x
859
859
860+cgOp (LTrunc ITNative (ITFixed to)) [x]
861+ | 32 >= nativeTyWidth to = iCoerce Trunc IT32 to x
862+cgOp (LZExt ITNative (ITFixed to)) [x]
863+ | 32 <= nativeTyWidth to = iCoerce ZExt IT32 to x
864+cgOp (LSExt ITNative (ITFixed to)) [x]
865+ | 32 <= nativeTyWidth to = iCoerce SExt IT32 to x
866+
867+cgOp (LTrunc (ITFixed from) ITNative) [x]
868+ | nativeTyWidth from >= 32 = iCoerce Trunc from IT32 x
869+cgOp (LZExt (ITFixed from) ITNative) [x]
870+ | nativeTyWidth from <= 32 = iCoerce ZExt from IT32 x
871+cgOp (LSExt (ITFixed from) ITNative) [x]
872+ | nativeTyWidth from <= 32 = iCoerce SExt from IT32 x
873+
860cgOp (LTrunc (ITFixed from) (ITFixed to)) [x]
874cgOp (LTrunc (ITFixed from) (ITFixed to)) [x]
861 | nativeTyWidth from > nativeTyWidth to = iCoerce Trunc from to x
875 | nativeTyWidth from > nativeTyWidth to = iCoerce Trunc from to x
862cgOp (LZExt (ITFixed from) (ITFixed to)) [x]
876cgOp (LZExt (ITFixed from) (ITFixed to)) [x]