diff options
author | Michael Schmidt <github@mschmidt.me> | 2015-12-11 10:15:33 +0100 |
---|---|---|
committer | Michael Schmidt <github@mschmidt.me> | 2015-12-11 10:15:33 +0100 |
commit | 66ae780e8a94f676480e9eec40354a3a8cbc3041 (patch) | |
tree | c45a1c3471eb2cf93f1fb7fc7cd3a4c910890847 /powerpc/Asmexpand.ml | |
parent | a7f005b94a1dac82ac106950f643507a268ff1c9 (diff) | |
download | compcert-kvx-66ae780e8a94f676480e9eec40354a3a8cbc3041.tar.gz compcert-kvx-66ae780e8a94f676480e9eec40354a3a8cbc3041.zip |
bug 17752, add builtin_nop for PowerPC
Diffstat (limited to 'powerpc/Asmexpand.ml')
-rwxr-xr-x[-rw-r--r--] | powerpc/Asmexpand.ml | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/powerpc/Asmexpand.ml b/powerpc/Asmexpand.ml index 20ae0f66..93a0b17f 100644..100755 --- a/powerpc/Asmexpand.ml +++ b/powerpc/Asmexpand.ml @@ -510,6 +510,9 @@ let expand_builtin_inline name args res = end; emit (Por (res, res, GPR0)) end + (* no operation *) + | "__builtin_nop", [], _ -> + emit (Pori (GPR0, GPR0, Cint _0)) (* atomic operations *) | "__builtin_atomic_exchange", [BA (IR a1); BA (IR a2); BA (IR a3)],_ -> emit (Plwz (GPR10,Cint _0,a2)); |