diff --git a/src/alloy/frontend/ppc/test/bin/instr_addic.bin b/src/alloy/frontend/ppc/test/bin/instr_addic.bin
new file mode 100644
index 000000000..b7154c4b9
Binary files /dev/null and b/src/alloy/frontend/ppc/test/bin/instr_addic.bin differ
diff --git a/src/alloy/frontend/ppc/test/bin/instr_addic.dis b/src/alloy/frontend/ppc/test/bin/instr_addic.dis
new file mode 100644
index 000000000..62eb33ef7
--- /dev/null
+++ b/src/alloy/frontend/ppc/test/bin/instr_addic.dis
@@ -0,0 +1,15 @@
+
+/vagrant/src/alloy/frontend/ppc/test/bin//instr_addic.o:     file format elf64-powerpc
+
+
+Disassembly of section .text:
+
+0000000000100000 <test_addic_1>:
+  100000:	30 84 00 01 	addic   r4,r4,1
+  100004:	7c c0 01 14 	adde    r6,r0,r0
+  100008:	4e 80 00 20 	blr
+
+000000000010000c <test_addic_2>:
+  10000c:	30 84 00 01 	addic   r4,r4,1
+  100010:	7c c0 01 14 	adde    r6,r0,r0
+  100014:	4e 80 00 20 	blr
diff --git a/src/alloy/frontend/ppc/test/bin/instr_addic.map b/src/alloy/frontend/ppc/test/bin/instr_addic.map
new file mode 100644
index 000000000..de7ccdb31
--- /dev/null
+++ b/src/alloy/frontend/ppc/test/bin/instr_addic.map
@@ -0,0 +1,2 @@
+0000000000000000 t test_addic_1
+000000000000000c t test_addic_2
diff --git a/src/alloy/frontend/ppc/test/instr_addic.s b/src/alloy/frontend/ppc/test/instr_addic.s
new file mode 100644
index 000000000..13b96d6f7
--- /dev/null
+++ b/src/alloy/frontend/ppc/test/instr_addic.s
@@ -0,0 +1,15 @@
+test_addic_1:
+  #_ REGISTER_IN r4 1
+  addic r4, r4, 1
+  adde r6, r0, r0
+  blr
+  #_ REGISTER_OUT r4 2
+  #_ REGISTER_OUT r6 0
+
+test_addic_2:
+  #_ REGISTER_IN r4 0xFFFFFFFFFFFFFFFF
+  addic r4, r4, 1
+  adde r6, r0, r0
+  blr
+  #_ REGISTER_OUT r4 0
+  #_ REGISTER_OUT r6 1