volatile uint64_t *out_args = (volatile uint64_t*)args;
volatile uint32_t *in_args = (volatile uint32_t*)args;
- out_args[1] = *(uint64_t*)&in_args[1];
+ out_args[1] = *(volatile uint64_t*)&in_args[1];
out_args[0] = in_args[0];
}
volatile uint64_t *out_args = (volatile uint64_t*)args;
volatile uint32_t *in_args = (volatile uint32_t*)args;
- out_args[2] = *(uint64_t*)&in_args[2];
+ out_args[2] = *(volatile uint64_t*)&in_args[2];
out_args[1] = in_args[1];
out_args[0] = in_args[0];
}
volatile uint32_t *in_args = (volatile uint32_t*)args;
out_args[3] = in_args[4];
- out_args[2] = *(uint64_t*)&in_args[2];
+ out_args[2] = *(volatile uint64_t*)&in_args[2];
out_args[1] = in_args[1];
out_args[0] = in_args[0];
}
volatile uint64_t *out_args = (volatile uint64_t*)args;
volatile uint32_t *in_args = (volatile uint32_t*)args;
- out_args[4] = *(uint64_t*)&in_args[6];
- out_args[3] = *(uint64_t*)&in_args[4];
- out_args[2] = *(uint64_t*)&in_args[2];
+ out_args[4] = *(volatile uint64_t*)&in_args[6];
+ out_args[3] = *(volatile uint64_t*)&in_args[4];
+ out_args[2] = *(volatile uint64_t*)&in_args[2];
out_args[1] = in_args[1];
out_args[0] = in_args[0];
}
out_args[5] = in_args[7];
out_args[4] = in_args[6];
- out_args[3] = *(uint64_t*)&in_args[4];
- out_args[2] = *(uint64_t*)&in_args[2];
+ out_args[3] = *(volatile uint64_t*)&in_args[4];
+ out_args[2] = *(volatile uint64_t*)&in_args[2];
out_args[1] = in_args[1];
out_args[0] = in_args[0];
}
volatile uint32_t *in_args = (volatile uint32_t*)args;
out_args[2] = in_args[3];
- out_args[1] = *(uint64_t*)&in_args[1];
+ out_args[1] = *(volatile uint64_t*)&in_args[1];
+ out_args[0] = in_args[0];
+}
+
+void
+munge_wlww(void *args)
+{
+ volatile uint64_t *out_args = (volatile uint64_t*)args;
+ volatile uint32_t *in_args = (volatile uint32_t*)args;
+
+ out_args[3] = in_args[4];
+ out_args[2] = in_args[3];
+ out_args[1] = *(volatile uint64_t*)&in_args[1];
out_args[0] = in_args[0];
}
volatile uint64_t *out_args = (volatile uint64_t*)args;
volatile uint32_t *in_args = (volatile uint32_t*)args;
- out_args[6] = *(uint64_t*)&in_args[8];
- out_args[5] = *(uint64_t*)&in_args[6];
+ out_args[6] = *(volatile uint64_t*)&in_args[8];
+ out_args[5] = *(volatile uint64_t*)&in_args[6];
out_args[4] = in_args[5];
out_args[3] = in_args[4];
out_args[2] = in_args[3];
- out_args[1] = *(uint64_t*)&in_args[1];
+ out_args[1] = *(volatile uint64_t*)&in_args[1];
out_args[0] = in_args[0];
}
volatile uint32_t *in_args = (volatile uint32_t*)args;
out_args[7] = in_args[10];
- out_args[6] = *(uint64_t*)&in_args[8];
+ out_args[6] = *(volatile uint64_t*)&in_args[8];
out_args[5] = in_args[7];
- out_args[4] = *(uint64_t*)&in_args[5];
+ out_args[4] = *(volatile uint64_t*)&in_args[5];
out_args[3] = in_args[4];
out_args[2] = in_args[3];
- out_args[1] = *(uint64_t*)&in_args[1];
+ out_args[1] = *(volatile uint64_t*)&in_args[1];
out_args[0] = in_args[0];
}
volatile uint64_t *out_args = (volatile uint64_t*)args;
volatile uint32_t *in_args = (volatile uint32_t*)args;
- out_args[2] = *(uint64_t*)&in_args[3];
- out_args[1] = *(uint64_t*)&in_args[1];
+ out_args[2] = *(volatile uint64_t*)&in_args[3];
+ out_args[1] = *(volatile uint64_t*)&in_args[1];
out_args[0] = in_args[0];
}
volatile uint64_t *out_args = (volatile uint64_t*)args;
volatile uint32_t *in_args = (volatile uint32_t*)args;
- out_args[3] = *(uint64_t*)&in_args[5];
- out_args[2] = *(uint64_t*)&in_args[3];
- out_args[1] = *(uint64_t*)&in_args[1];
+ out_args[3] = *(volatile uint64_t*)&in_args[5];
+ out_args[2] = *(volatile uint64_t*)&in_args[3];
+ out_args[1] = *(volatile uint64_t*)&in_args[1];
out_args[0] = in_args[0];
}
volatile uint64_t *out_args = (volatile uint64_t*)args;
volatile uint32_t *in_args = (volatile uint32_t*)args;
- out_args[4] = *(uint64_t*)&in_args[7];
- out_args[3] = *(uint64_t*)&in_args[5];
- out_args[2] = *(uint64_t*)&in_args[3];
- out_args[1] = *(uint64_t*)&in_args[1];
+ out_args[4] = *(volatile uint64_t*)&in_args[7];
+ out_args[3] = *(volatile uint64_t*)&in_args[5];
+ out_args[2] = *(volatile uint64_t*)&in_args[3];
+ out_args[1] = *(volatile uint64_t*)&in_args[1];
out_args[0] = in_args[0];
}
out_args[4] = in_args[6];
out_args[3] = in_args[5];
- out_args[2] = *(uint64_t*)&in_args[3];
- out_args[1] = *(uint64_t*)&in_args[1];
+ out_args[2] = *(volatile uint64_t*)&in_args[3];
+ out_args[1] = *(volatile uint64_t*)&in_args[1];
out_args[0] = in_args[0];
}
volatile uint64_t *out_args = (volatile uint64_t*)args;
volatile uint32_t *in_args = (volatile uint32_t*)args;
- out_args[6] = *(uint64_t*)&in_args[9];
- out_args[5] = *(uint64_t*)&in_args[7];
+ out_args[6] = *(volatile uint64_t*)&in_args[9];
+ out_args[5] = *(volatile uint64_t*)&in_args[7];
out_args[4] = in_args[6];
out_args[3] = in_args[5];
- out_args[2] = *(uint64_t*)&in_args[3];
- out_args[1] = *(uint64_t*)&in_args[1];
+ out_args[2] = *(volatile uint64_t*)&in_args[3];
+ out_args[1] = *(volatile uint64_t*)&in_args[1];
out_args[0] = in_args[0];
}
volatile uint32_t *in_args = (volatile uint32_t*)args;
out_args[4] = in_args[5];
- out_args[3] = *(uint64_t*)&in_args[3];
+ out_args[3] = *(volatile uint64_t*)&in_args[3];
out_args[2] = in_args[2];
out_args[1] = in_args[1];
out_args[0] = in_args[0];
out_args[5] = in_args[6];
out_args[4] = in_args[5];
- out_args[3] = *(uint64_t*)&in_args[3];
+ out_args[3] = *(volatile uint64_t*)&in_args[3];
out_args[2] = in_args[2];
out_args[1] = in_args[1];
out_args[0] = in_args[0];
volatile uint64_t *out_args = (volatile uint64_t*)args;
volatile uint32_t *in_args = (volatile uint32_t*)args;
- out_args[3] = *(uint64_t*)&in_args[3];
+ out_args[3] = *(volatile uint64_t*)&in_args[3];
out_args[2] = in_args[2];
out_args[1] = in_args[1];
out_args[0] = in_args[0];
volatile uint32_t *in_args = (volatile uint32_t*)args;
out_args[5] = in_args[6];
- out_args[4] = *(uint64_t*)&in_args[4];
+ out_args[4] = *(volatile uint64_t*)&in_args[4];
out_args[3] = in_args[3];
out_args[2] = in_args[2];
out_args[1] = in_args[1];
volatile uint64_t *out_args = (volatile uint64_t*)args;
volatile uint32_t *in_args = (volatile uint32_t*)args;
- out_args[4] = *(uint64_t*)&in_args[4];
+ out_args[4] = *(volatile uint64_t*)&in_args[4];
out_args[3] = in_args[3];
out_args[2] = in_args[2];
out_args[1] = in_args[1];
volatile uint64_t *out_args = (volatile uint64_t*)args;
volatile uint32_t *in_args = (volatile uint32_t*)args;
- out_args[5] = *(uint64_t*)&in_args[5];
+ out_args[5] = *(volatile uint64_t*)&in_args[5];
out_args[4] = in_args[4];
out_args[3] = in_args[3];
out_args[2] = in_args[2];
out_args[7] = in_args[8];
out_args[6] = in_args[7];
- out_args[5] = *(uint64_t*)&in_args[5];
+ out_args[5] = *(volatile uint64_t*)&in_args[5];
out_args[4] = in_args[4];
out_args[3] = in_args[3];
out_args[2] = in_args[2];
volatile uint32_t *in_args = (volatile uint32_t*)args;
out_args[7] = in_args[9];
- out_args[6] = *(uint64_t*)&in_args[7];
- out_args[5] = *(uint64_t*)&in_args[5];
+ out_args[6] = *(volatile uint64_t*)&in_args[7];
+ out_args[5] = *(volatile uint64_t*)&in_args[5];
out_args[4] = in_args[4];
out_args[3] = in_args[3];
out_args[2] = in_args[2];
volatile uint64_t *out_args = (volatile uint64_t*)args;
volatile uint32_t *in_args = (volatile uint32_t*)args;
- out_args[7] = *(uint64_t*)&in_args[9];
- out_args[6] = *(uint64_t*)&in_args[7];
- out_args[5] = *(uint64_t*)&in_args[5];
+ out_args[7] = *(volatile uint64_t*)&in_args[9];
+ out_args[6] = *(volatile uint64_t*)&in_args[7];
+ out_args[5] = *(volatile uint64_t*)&in_args[5];
out_args[4] = in_args[4];
out_args[3] = in_args[3];
out_args[2] = in_args[2];
volatile uint64_t *out_args = (volatile uint64_t*)args;
volatile uint32_t *in_args = (volatile uint32_t*)args;
- out_args[6] = *(uint64_t*)&in_args[6];
+ out_args[6] = *(volatile uint64_t*)&in_args[6];
out_args[5] = in_args[5];
out_args[4] = in_args[4];
out_args[3] = in_args[3];
volatile uint32_t *in_args = (volatile uint32_t*)args;
out_args[7] = in_args[8];
- out_args[6] = *(uint64_t*)&in_args[6];
+ out_args[6] = *(volatile uint64_t*)&in_args[6];
out_args[5] = in_args[5];
out_args[4] = in_args[4];
out_args[3] = in_args[3];
volatile uint64_t *out_args = (volatile uint64_t*)args;
volatile uint32_t *in_args = (volatile uint32_t*)args;
- out_args[7] = *(uint64_t*)&in_args[8];
- out_args[6] = *(uint64_t*)&in_args[6];
+ out_args[7] = *(volatile uint64_t*)&in_args[8];
+ out_args[6] = *(volatile uint64_t*)&in_args[6];
out_args[5] = in_args[5];
out_args[4] = in_args[4];
out_args[3] = in_args[3];
}
void
+munge_wwws(void *args)
+{
+ volatile uint64_t *out_args = (volatile uint64_t*)args;
+ volatile uint32_t *in_args = (volatile uint32_t*)args;
+
+ out_args[3] = (int64_t)(int)in_args[3]; /* Sign-extend */
+ out_args[2] = in_args[2];
+ out_args[1] = in_args[1];
+ out_args[0] = in_args[0];
+}
+
+
+void
munge_wwwsw(void *args)
{
volatile uint64_t *out_args = (volatile uint64_t*)args;
volatile uint32_t *in_args = (volatile uint32_t*)args;
out_args[1] = in_args[2];
- out_args[0] = *(uint64_t*)&in_args[0];
+ out_args[0] = *(volatile uint64_t*)&in_args[0];
}
void
out_args[3] = in_args[4];
out_args[2] = in_args[3];
out_args[1] = in_args[2];
- out_args[0] = *(uint64_t*)&in_args[0];
+ out_args[0] = *(volatile uint64_t*)&in_args[0];
+}
+
+void
+munge_lwwwwwww(void *args)
+{
+ volatile uint64_t *out_args = (volatile uint64_t*)args;
+ volatile uint32_t *in_args = (volatile uint32_t*)args;
+
+ out_args[7] = in_args[8];
+ out_args[6] = in_args[7];
+ out_args[5] = in_args[6];
+ out_args[4] = in_args[5];
+ out_args[3] = in_args[4];
+ out_args[2] = in_args[3];
+ out_args[1] = in_args[2];
+ out_args[0] = *(volatile uint64_t*)&in_args[0];
+}
+
+void
+munge_wwlww(void *args)
+{
+ volatile uint64_t *out_args = (volatile uint64_t*)args;
+ volatile uint32_t *in_args = (volatile uint32_t*)args;
+
+ out_args[4] = in_args[5];
+ out_args[3] = in_args[4];
+ out_args[2] = *(volatile uint64_t*)&in_args[2];
+ out_args[1] = in_args[1];
+ out_args[0] = in_args[0];
}
void
out_args[5] = in_args[6];
out_args[4] = in_args[5];
out_args[3] = in_args[4];
- out_args[2] = *(uint64_t*)&in_args[2];
+ out_args[2] = *(volatile uint64_t*)&in_args[2];
+ out_args[1] = in_args[1];
+ out_args[0] = in_args[0];
+}
+
+void
+munge_wlwwwl(void *args)
+{
+ volatile uint64_t *out_args = (volatile uint64_t*)args;
+ volatile uint32_t *in_args = (volatile uint32_t*)args;
+
+ out_args[5] = *(volatile uint64_t*)&in_args[6];
+ out_args[4] = in_args[5];
+ out_args[3] = in_args[4];
+ out_args[2] = in_args[3];
+ out_args[1] = *(volatile uint64_t*)&in_args[1];
+ out_args[0] = in_args[0];
+}
+
+void
+munge_wwlwwwl(void *args)
+{
+ volatile uint64_t *out_args = (volatile uint64_t*)args;
+ volatile uint32_t *in_args = (volatile uint32_t*)args;
+
+ out_args[6] = *(volatile uint64_t*)&in_args[7];
+ out_args[5] = in_args[6];
+ out_args[4] = in_args[5];
+ out_args[3] = in_args[4];
+ out_args[2] = *(volatile uint64_t*)&in_args[2];
out_args[1] = in_args[1];
out_args[0] = in_args[0];
}