From ccb5562d254b3a82cc0b09b35126aac05edcc1aa Mon Sep 17 00:00:00 2001 From: Michael Schmidt Date: Tue, 15 Dec 2015 10:47:00 +0100 Subject: bug 17752, rename builtin64_X to __builtin_X64 --- powerpc/Asmexpand.ml | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) (limited to 'powerpc/Asmexpand.ml') diff --git a/powerpc/Asmexpand.ml b/powerpc/Asmexpand.ml index ee9dcccb..b50065f7 100644 --- a/powerpc/Asmexpand.ml +++ b/powerpc/Asmexpand.ml @@ -506,19 +506,19 @@ let expand_builtin_inline name args res = | "__builtin_set_spr", _, _ -> raise (Error "the first argument of __builtin_set_spr must be a constant") (* Special registers in 32bit hybrid mode *) - | "__builtin64_get_spr", [BA_int n], BR_splitlong(BR(IR rh), BR(IR rl)) -> + | "__builtin_get_spr64", [BA_int n], BR_splitlong(BR(IR rh), BR(IR rl)) -> emit (Pmfspr(rl, n)); emit (Prldicl(rh, rl, _32, _32)); emit (Prldicl(rl, rl, _0, _32)) - | "__builtin64_get_spr", _, _ -> - raise (Error "the argument of __builtin64_get_spr must be a constant") - | "__builtin64_set_spr", [BA_int n; BA_splitlong(BA(IR ah), BA(IR al))], _ -> + | "__builtin_get_spr64", _, _ -> + raise (Error "the argument of __builtin_get_spr64 must be a constant") + | "__builtin_set_spr64", [BA_int n; BA_splitlong(BA(IR ah), BA(IR al))], _ -> emit (Prldicr(GPR10, ah, _32, _31)); emit (Prldicl(al, al, _0, _32)); emit (Pori(GPR10, al, Cint _0)); emit (Pmtspr(n, GPR10)) - | "__builtin64_set_spr", _, _ -> - raise (Error "the first argument of __builtin64_set_spr must be a constant") + | "__builtin_set_spr64", _, _ -> + raise (Error "the first argument of __builtin_set_spr64 must be a constant") (* Move registers *) | "__builtin_mr", [BA_int dst; BA_int src], _ -> (match int_to_int_reg (Z.to_int dst), int_to_int_reg (Z.to_int src) with -- cgit