fb2c6ea · Idris-dev · git.iko.soy

git.iko.soy/Idris-dev

Rename float negation primitive for more uniformity

commitfb2c6ea8968ac4324fde9a61f110b7b42fd2be6d authorMarkus Pfeiffer <markus.pfeiffer@morphism.de> dateMon 22 Sep 2014, 11:36 (12 years ago) parente1371f7

3 files changed+4−5

compare with master

unifiedsplit

src/IRTS/CodegenC.hs+1−1 src/IRTS/Lang.hs+1−1 src/Idris/Primitives.hs+2−3

src/IRTS/CodegenC.hs+1−1

@@ -474,7 +474,7 @@ doOp v LFATan [x] = v ++ flUnOp "atan" (creg x)

474474doOp v LFSqrt [x] = v ++ flUnOp "sqrt" (creg x)

475475doOp v LFFloor [x] = v ++ flUnOp "floor" (creg x)

476476doOp v LFCeil [x] = v ++ flUnOp "ceil" (creg x)

477−doOp v LNegFloat [x] = v ++ "MKFLOAT(vm, -GETFLOAT(" ++ (creg x) ++ "))"

477+doOp v LFNegate [x] = v ++ "MKFLOAT(vm, -GETFLOAT(" ++ (creg x) ++ "))"

478478

479479doOp v LStrHead [x] = v ++ "idris_strHead(vm, " ++ creg x ++ ")"

480480doOp v LStrTail [x] = v ++ "idris_strTail(vm, " ++ creg x ++ ")"

src/IRTS/Lang.hs+1−1

@@ -52,7 +52,7 @@ data PrimFn = LPlus ArithTy | LMinus ArithTy | LTimes ArithTy

5252 | LBitCast ArithTy ArithTy -- Only for values of equal width

5353

55− | LFSqrt | LFFloor | LFCeil | LNegFloat

55+ | LFSqrt | LFFloor | LFCeil | LFNegate

5656

5757 -- construction element extraction element insertion

5858 | LMkVec NativeTy Int | LIdxVec NativeTy Int | LUpdateVec NativeTy Int

src/Idris/Primitives.hs+2−3

@@ -95,9 +95,6 @@ primitives =

9595 iCoerce ITNative (ITFixed IT64) "trunc" trunc LTrunc,

9696 iCoerce ITBig ITChar "trunc" trunc LTrunc,

9797

98−

99− Prim (sUN "prim__negFloat") (ty [(AType ATFloat)] (AType ATFloat)) 1 (c_negFloat)

100− (1, LNegFloat) total,

10198 Prim (sUN "prim__addFloat") (ty [(AType ATFloat), (AType ATFloat)] (AType ATFloat)) 2 (fBin (+))

10299 (2, LPlus ATFloat) total,

103100 Prim (sUN "prim__subFloat") (ty [(AType ATFloat), (AType ATFloat)] (AType ATFloat)) 2 (fBin (-))

@@ -156,6 +153,8 @@ primitives =

156153 (1, LFFloor) total,

157154 Prim (sUN "prim__floatCeil") (ty [(AType ATFloat)] (AType ATFloat)) 1 (p_floatCeil)

158155 (1, LFCeil) total,

156+ Prim (sUN "prim__negFloat") (ty [(AType ATFloat)] (AType ATFloat)) 1 (c_negFloat)

157+ (1, LFNegate) total,

159158

160159 Prim (sUN "prim__strHead") (ty [StrType] (AType (ATInt ITChar))) 1 (p_strHead)

161160 (1, LStrHead) partial,