libgpuverify

Signature verification on GPUs (WiP)
Log | Files | Refs | README | LICENSE

commit 76b274ec0c4dcd417b394c54115694d8e05de703
parent 8b93b6635c36c5a5c3902af59bc0e614628b009d
Author: Cedric <cedric.zwahlen@students.bfh.ch>
Date:   Sun, 24 Dec 2023 11:49:19 +0100

Fix Montgomery

Diffstat:
Msource/montgomery.c | 620+++++++++++++++++++++++++++++++++++++++++++++++++------------------------------
Msource/montgomery.h | 10+++++++++-
Msource/montmodmult.c | 112++++++++++++++++++++++++++++++++++++++++++++++++++++---------------------------
Msource/util.h | 1+
Mxcode/lib-gpu-generate/msgsig.txt | 4++--
Mxcode/lib-gpu-generate/publickey.txt | 4++--
Mxcode/lib-gpu-verify.xcodeproj/project.pbxproj | 2++
Mxcode/lib-gpu-verify.xcodeproj/project.xcworkspace/xcuserdata/cedriczwahlen.xcuserdatad/UserInterfaceState.xcuserstate | 0
Mxcode/lib-gpu-verify.xcodeproj/xcuserdata/cedriczwahlen.xcuserdatad/xcdebugger/Breakpoints_v2.xcbkptlist | 4031++++++++++++++++++++++++++++++++++++++++---------------------------------------
Mxcode/montgomery.cl | 2+-
Mxcode/montmodmult.cl | 88++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++++---------------
11 files changed, 2584 insertions(+), 2290 deletions(-)

diff --git a/source/montgomery.c b/source/montgomery.c @@ -6,297 +6,447 @@ // #include "montgomery.h" +#include <math.h> -// assume 64 bit, keep in mind that on the GPU, we can't dynamically allocate -void mont_prepare(mpz_t b, mpz_t e, mpz_t m, - mpz_t r, mpz_t r_1, - mpz_t ni, mpz_t M, mpz_t x - ); -void mont_product(mpz_t ret, - const mpz_t a, const mpz_t b, - const mpz_t r, const mpz_t r_1, - const mpz_t n, const mpz_t ni - ); +#define BITS_PER_DIGIT (sizeof(gpu_register) * 8) +#define HIBITMASK 0x8000000000000000 +#define MAX_DIGIT 0xFFFFFFFFFFFFFFFF -void mont_modexp(mpz_t ret, - mpz_t a, mpz_t e, - const mpz_t M, - const mpz_t n, const mpz_t ni, - const mpz_t r, const mpz_t r_1 - ); +#define R 32 -void mont_finish(mpz_t ret, - const mpz_t xx, - const mpz_t n, const mpz_t ni, - const mpz_t r, const mpz_t r_1 - ); +int mult(gpu_register p[2], gpu_register x, gpu_register y) +{ -void mont_prepare_even_modulus(mpz_t m, mpz_t q, mpz_t powj); - -void mont_mulmod(mpz_t res, const mpz_t a, const mpz_t b, const mpz_t mod); - -void mont_go(mpz_t res, char *base, char *exponent, char *modulus, int radix) { - - mpz_t b,e,m; - - mpz_init_set_str(b,base,radix); // M - mpz_init_set_str(e,exponent,radix); - mpz_init_set_str(m,modulus,radix); // n + /* Use a 64-bit temp for product */ + //ulong t = (ulong)x * (ulong)y; + /* then split into two parts */ - mpz_t r, r_1, ni, M, x; - mpz_init(r); // MARK: I think I have to destroy these myself - mpz_init(r_1); - mpz_init(ni); - mpz_init(M); - mpz_init(x); + __int128_t t = (__int128_t)x * (__int128_t)y; - mpz_t xx; - mpz_init(xx); - - if (mpz_even_p(m)) { - - mpz_t bb, x1, x2, q, powj; - mpz_init(bb); - mpz_init(x1); - mpz_init(x2); - mpz_init(q); - mpz_init(powj); - - mont_prepare_even_modulus(m, q, powj); - - // q is uneven, so we can use regular modexp - // MARK: we can improve the efficiency here by doing simple reductions - - mpz_mod(bb, b, q); // reductions like this - - mont_prepare(bb, e, q, r, r_1, ni, M, x); - mont_modexp(xx, x, e, M, q, ni, r, r_1); - mont_finish(x1, xx, q, ni, r, r_1); - - - // MARK: we can also reduce and really speed this up as well -> binary method? - mpz_powm(x2, b, e, powj); - - mpz_t y, q_1; - mpz_init(y); - mpz_init(q_1); - - mpz_sub(y, x2, x1); - - mpz_invert(q_1, q, powj); - - mpz_mul(y, y, q_1); - mpz_mod(y, y, powj); - - mpz_addmul(x1, q, y); - - mpz_set(res, x1); - - printf("--\n"); - - - - } else { - - mont_prepare(b, e, m, r, r_1, ni, M, x); - - mont_modexp(xx, x, e, M, m, ni, r, r_1); - - mont_finish(res, xx, m, ni, r, r_1); - - + p[1] = (gpu_register)(t >> 64); + p[0] = (gpu_register)t; + + return 0; +} + + +int multiply( gpu_register *w, gpu_register *u, gpu_register *v, size_t ndigits) +{ + /* Computes product w = u * v + where u, v are multiprecision integers of ndigits each + and w is a multiprecision integer of 2*ndigits + + Ref: Knuth Vol 2 Ch 4.3.1 p 268 Algorithm M. + */ + + gpu_register k, t[2]; + size_t i, j, m, n; + + //assert(w != u && w != v); + + m = n = ndigits; + + /* Step M1. Initialise */ + for (i = 0; i < 2 * m; i++) + w[i] = 0; + + for (j = 0; j < n; j++) + { + /* Step M2. Zero multiplier? */ + if (v[j] == 0) + { + w[j + m] = 0; + } + else + { + /* Step M3. Initialise i */ + k = 0; + for (i = 0; i < m; i++) + { + /* Step M4. Multiply and add */ + /* t = u_i * v_j + w_(i+j) + k */ + mult(t, u[i], v[j]); + + t[0] += k; + if (t[0] < k) + t[1]++; + t[0] += w[i+j]; + if (t[0] < w[i+j]) + t[1]++; + + w[i+j] = t[0]; + k = t[1]; + } + /* Step M5. Loop on i, set w_(j+m) = k */ + w[j+m] = k; + } + } /* Step M6. Loop on j */ + + return 0; +} + + +int square( gpu_register *w, gpu_register *x, size_t ndigits) +/* New in Version 2.0 */ +{ + /* Computes square w = x * x + where x is a multiprecision integer of ndigits + and w is a multiprecision integer of 2*ndigits + + Ref: Menezes p596 Algorithm 14.16 with errata. + */ + + gpu_register k, p[2], u[2], cbit, carry; + size_t i, j, t, i2, cpos; + + t = ndigits; + + /* 1. For i from 0 to (2t-1) do: w_i = 0 */ + i2 = t << 1; + for (i = 0; i < i2; i++) + w[i] = 0; + + carry = 0; + cpos = i2-1; + /* 2. For i from 0 to (t-1) do: */ + for (i = 0; i < t; i++) + { + /* 2.1 (uv) = w_2i + x_i * x_i, w_2i = v, c = u + Careful, w_2i may be double-prec + */ + i2 = i << 1; /* 2*i */ + mult(p, x[i], x[i]); + p[0] += w[i2]; + if (p[0] < w[i2]) + p[1]++; + k = 0; /* p[1] < b, so no overflow here */ + if (i2 == cpos && carry) + { + p[1] += carry; + if (p[1] < carry) + k++; + carry = 0; + } + w[i2] = p[0]; + u[0] = p[1]; + u[1] = k; + + /* 2.2 for j from (i+1) to (t-1) do: + (uv) = w_{i+j} + 2x_j * x_i + c, + w_{i+j} = v, c = u, + u is double-prec + w_{i+j} is dbl if [i+j] == cpos + */ + k = 0; + for (j = i+1; j < t; j++) + { + /* p = x_j * x_i */ + mult(p, x[j], x[i]); + /* p = 2p <=> p <<= 1 */ + cbit = (p[0] & HIBITMASK) != 0; + k = (p[1] & HIBITMASK) != 0; + p[0] <<= 1; + p[1] <<= 1; + p[1] |= cbit; + /* p = p + c */ + p[0] += u[0]; + if (p[0] < u[0]) + { + p[1]++; + if (p[1] == 0) + k++; + } + p[1] += u[1]; + if (p[1] < u[1]) + k++; + /* p = p + w_{i+j} */ + p[0] += w[i+j]; + if (p[0] < w[i+j]) + { + p[1]++; + if (p[1] == 0) + k++; + } + if ((i+j) == cpos && carry) + { /* catch overflow from last round */ + p[1] += carry; + if (p[1] < carry) + k++; + carry = 0; + } + /* w_{i+j} = v, c = u */ + w[i+j] = p[0]; + u[0] = p[1]; + u[1] = k; + } + /* 2.3 w_{i+t} = u */ + w[i+t] = u[0]; + /* remember overflow in w_{i+t} */ + carry = u[1]; + cpos = i+t; } + + /* (NB original step 3 deleted in Menezes errata) */ + + /* Return w */ + + return 0; } +gpu_register add( gpu_register *w, gpu_register *u, gpu_register *v, size_t ndigits) +{ + /* Calculates w = u + v + where w, u, v are multiprecision integers of ndigits each + Returns carry if overflow. Carry = 0 or 1. -void mont_prepare_even_modulus(mpz_t m, mpz_t q, mpz_t powj) { - - mpz_t two; // powj == 2^j - - mpz_init_set_ui(two, 2); - - mp_bitcnt_t j = mpz_scan1(m, 0); - - mpz_tdiv_q_2exp(q,m,j); - mpz_mul_2exp(powj,two,j - 1); - - mpz_clear(two); - + Ref: Knuth Vol 2 Ch 4.3.1 p 266 Algorithm A. + */ + + gpu_register k; + size_t j; + + //assert(w != v); + + /* Step A1. Initialise */ + k = 0; + + for (j = 0; j < ndigits; j++) + { + /* Step A2. Add digits w_j = (u_j + v_j + k) + Set k = 1 if carry (overflow) occurs + */ + w[j] = u[j] + k; + if (w[j] < k) + k = 1; + else + k = 0; + + w[j] += v[j]; + if (w[j] < v[j]) + k++; + + } /* Step A3. Loop on j */ + + return k; /* w_n = k */ } -// CPU -void mont_prepare(mpz_t b, mpz_t e, mpz_t m, - mpz_t r, mpz_t r_1, - mpz_t ni, mpz_t M, mpz_t x) { - - // MARK: break this up, reduce the amount of temporary variables - - // r and n (modulus) must be relatively prime (this is a given if n (modulus) is odd) - - // calculate r, which must be larger than the modulo and also a power of 2 - - mpz_t one, oo; // some helper variables - mpz_init_set_si(one,1); - mpz_init_set_si(oo,0); - - size_t len = mpz_sizeinbase(m,2); - - mpz_mul_2exp(r,one,len); - - mpz_set_si(one, 0); - - mpz_gcdext(one, r_1, ni, r, m); // set r_1 and ni - - int sgn = mpz_sgn(r_1); - - mpz_abs(r_1, r_1); - mpz_abs(ni, ni); +gpu_register subtract(gpu_register *w, gpu_register *u, gpu_register *v, size_t ndigits) +{ + /* Calculates w = u - v where u >= v + w, u, v are multiprecision integers of ndigits each + Returns 0 if OK, or 1 if v > u. + + Ref: Knuth Vol 2 Ch 4.3.1 p 267 Algorithm S. + */ + + gpu_register k; + size_t j; + - if (sgn == -1) { - mpz_sub(ni, r, ni); - mpz_sub(r_1, m, r_1); + + /* Step S1. Initialise */ + k = 0; + + for (j = 0; j < ndigits; j++) + { + /* Step S2. Subtract digits w_j = (u_j - v_j - k) + Set k = 1 if borrow occurs. + */ + w[j] = u[j] - k; + if (w[j] > MAX_DIGIT - k) + k = 1; + else + k = 0; + + w[j] -= v[j]; + if (w[j] > MAX_DIGIT - v[j]) + k++; + + } /* Step S3. Loop on j */ + + return k; /* Should be zero if u >= v */ +} + +void equal( gpu_register *a, gpu_register *b, size_t ndigits) +{ /* Sets a = b */ + size_t i; + + for (i = 0; i < ndigits; i++) + { + a[i] = b[i]; } +} + +/* +void erase_above( gpu_register *a, size_t n) +{ - if (mpz_cmp_ui(one, 1)) - assert(0); - - mpz_mul(one, r, r_1); - mpz_mul(oo,ni,m); - - mpz_sub(one, one, oo); // oo must be one - - if (mpz_cmp_ui(one, 1)) - assert(0); - - mpz_mul(M, b, r); - mpz_mod(M, M, m); // set M - - mpz_mod(x, r, m); // set x - - mpz_clear(one); - mpz_clear(oo); + for (int i = n-1; i >= (n / 2); i--) + { + a[i] = 0; + } } +*/ -// maybe GPU? -// MARK: n MUST be an odd number -void mont_modexp(mpz_t ret, - mpz_t a, mpz_t e, - const mpz_t M, - const mpz_t n, const mpz_t ni, - const mpz_t r, const mpz_t r_1 - ) { - - mpz_t aa,xx; +void erase_all( gpu_register *a, size_t n) +{ - mpz_init_set(aa, M); - mpz_init_set(xx, a); + for (int i = 0; i < n; i++) + { + a[i] = 0; + } - int k = (int)mpz_sizeinbase(e,2); +} + +void shift_right(gpu_register *r, int n) { - for (int i = k - 1; i >= 0; i--) { - - mont_product(xx, xx, xx, r, r_1, n, ni); + for (int i = 0; i < R; i++) { - if (mpz_tstbit(e, i)) - mont_product(xx, aa, xx, r, r_1, n, ni); + r[i] = r[i + n]; + r[i + n] = 0; } - - mpz_set(ret, xx); - mpz_clear(aa); - mpz_clear(xx); +} +/* +int is_greater(gpu_register *r, int n) { + for (int i = n - 1; i >= 0; i--) { + if (r[i] != 0) + return i; + } + return 0; +} +*/ +// 1 if r > l ; -1 if r < l; == 0 +int compare(gpu_register *r, gpu_register *l, int n) { + + int x = 0; + for (int i = 0; i < n; i++) { + x = r[i] > l[i]; + if (x) return 1; + x = r[i] < l[i]; + if (x) return -1; + } + return 0; } -void mont_finish(mpz_t ret, - const mpz_t xx, - const mpz_t n, const mpz_t ni, - const mpz_t r, const mpz_t r_1 - ) { +int testbit(gpu_register e, int i) { + return (e & (0x1 << (gpu_register)i) ) > 0 ? 1 : 0; - mpz_t x,one; +} + +void montMul( gpu_register *ret, + gpu_register *a, gpu_register *b, + gpu_register *ni, gpu_register *n, + gpu_register *tmp_1, gpu_register *tmp_2, gpu_register *tmp_3 + ) { + + multiply(tmp_1,a,b,R); + //if (is_greater(tmp_1, R*2) >= 32) shift_right(tmp_1, R); + - mpz_init(x); - mpz_init_set_ui(one, 1); + multiply(tmp_2,tmp_1,ni,R); + //if (is_greater(tmp_2, R*2) >= 32) shift_right(tmp_2, R); - mont_product(x, xx, one, r, r_1, n, ni); + multiply(tmp_3,tmp_2,n,R); - mpz_set(ret, x); + add(tmp_2,tmp_1,tmp_3,R*2); + shift_right(tmp_2, R); - mpz_clear(x); - mpz_clear(one); + if (compare(tmp_2, n, R) >= 0) { + subtract(ret, tmp_2, n, R); + } else { + equal(ret, tmp_2, R); + } } - -// GPU -void mont_product(mpz_t ret, - const mpz_t a, const mpz_t b, - const mpz_t r, const mpz_t r_1, - const mpz_t n, const mpz_t ni - ) { - - mpz_t t,m,u; +void montSqr( gpu_register *ret, + gpu_register *a, + gpu_register *ni, gpu_register *n, + gpu_register *tmp_1, gpu_register *tmp_2, gpu_register *tmp_3 + ) { - mpz_init(t); - mpz_init(m); - mpz_init(u); + square(tmp_1,a,R); + //if (is_greater(tmp_1, R*2) >= 32) shift_right(tmp_1, R); // only shift if the number is actually greater than R + multiply(tmp_2,tmp_1,ni,R); + //if (is_greater(tmp_2, R*2) >= 32) shift_right(tmp_2, R); + multiply(tmp_3,tmp_2,n,R); - mont_mulmod(t, b, a, r); + add(tmp_2,tmp_1,tmp_3,R*2); + shift_right(tmp_2, R); - mont_mulmod(m, ni, t, r); + if (compare(tmp_2, n, R) >= 0) { + subtract(ret, tmp_2, n, R); + } else { + equal(ret, tmp_2, R); + } + - mpz_t ab,mn; - mpz_init(ab); - mpz_init(mn); +} + + + void mont( gpu_register *x, gpu_register *m, + gpu_register *res, gpu_register *n, // res is not needed, we write the result in x + gpu_register *ni, gpu_register *exp, + gpu_register *tmp_1, gpu_register *tmp_2, gpu_register *tmp_3, + gpu_register *pks//, unsigned long count // invalid is not needed either + ) +{ - mpz_mul(ab, a, b); - mpz_mul(mn, m, n); + size_t i = 0; - mpz_add(ab, ab, mn); + int offs = 0; // the size of one number - unsigned long sz = mpz_sizeinbase(r,2) - 1; - mpz_tdiv_q_2exp(u, ab, sz); // this is essentially a bit shift, instead of a division + int pk = 0; // das funktioniert so nicht – die globale id wird grösser, ohne dass noch weitere elemente in pks sind... - if (mpz_cmp(u, n) >= 0) - mpz_sub(u, u, n); - - mpz_set(ret, u); - mpz_clear(ab); - mpz_clear(mn); - mpz_clear(t); - mpz_clear(m); - mpz_clear(u); +// while (1) { +// if (pks[pk] >= i) +// break; +// pk++; +// } -} - - -// not the fastest... but it does not increase the variable sizes -void mont_mulmod(mpz_t res, const mpz_t a, const mpz_t b, const mpz_t mod) { - mpz_t aa, bb; - mpz_init_set(aa, a); - mpz_init_set(bb,b); + int k = ceil(log2((float)exp[pk] + (float)1)); - mpz_mod(aa, aa, mod); // in case a is bigger + - while (mpz_cmp_ui(bb, 0) > 0) { - if (mpz_odd_p(bb)) { - mpz_add(res, res, aa); - mpz_mod(res, res, mod); + for (int j = k - 1; j >= 0; j--) { + + montSqr(res, x, ni, n, tmp_1, tmp_2, tmp_3); + + if (testbit(exp[pk], j)) { + + equal(x, res, R); + erase_all(tmp_1,R * 2); + erase_all(tmp_2,R * 2); + erase_all(tmp_3,R * 2); + + montMul(res, x, m, ni, n, tmp_1, tmp_2, tmp_3); + + } - mpz_mul_2exp(aa,aa,1); - mpz_mod(aa, aa, mod); - mpz_tdiv_q_2exp(bb, bb, 1); + equal(x, res, R); + erase_all(tmp_1,R * 2); + erase_all(tmp_2,R * 2); + erase_all(tmp_3,R * 2); + // clear / reset the temps... } + + equal(x, res, R); + erase_all(m,R); + m[0] = 1; // reuse m, to convert out of montgomery + montMul(res, x, m, ni, n, tmp_1, tmp_2, tmp_3); + + } diff --git a/source/montgomery.h b/source/montgomery.h @@ -14,6 +14,14 @@ #include <assert.h> -void mont_go(mpz_t res, char *base, char *exponent, char *modulus, int radix); +typedef u_int64_t gpu_register; + +void mont( gpu_register *x, gpu_register *m, + gpu_register *res, gpu_register *n, // res is not needed, we write the result in x + gpu_register *ni, gpu_register *exp, + gpu_register *tmp_1, gpu_register *tmp_2, gpu_register *tmp_3, + gpu_register *pks//, unsigned long count // invalid is not needed either +); + #endif /* montgomery_h */ diff --git a/source/montmodmult.c b/source/montmodmult.c @@ -8,6 +8,8 @@ #include "montmodmult.h" #include "util.h" +#include "montgomery.h" + static unsigned long len_in_bytes = 0; #define ORDER -1 // I think we need to do this, because we want to write it in the 'wrong' way @@ -97,16 +99,9 @@ void montmodmult_pairs_from_files(void *x_buf, void *m_buf, mpz_init(N); mpz_init(NN); - mpz_t one; // some helper variables + mpz_t one,oo; // some helper variables mpz_init_set_si(one,1); - - - // N is a constant for a given field (2048) - mpz_mul_2exp(N,one,2043); // r - mpz_mul_2exp(NN,one,44); // r - - mpz_add(N, N, NN); - mpz_add_ui(N, N, 1); // N = 2^2044 + 2^45 + 1 + mpz_init_set_si(oo,0); while (message != NULL && signature != NULL) { @@ -132,18 +127,22 @@ void montmodmult_pairs_from_files(void *x_buf, void *m_buf, mpz_gcdext(one, r_1, ni, r, mod); // set r_1 and ni - // MARK: n' is negative – fix that - - int sgn = mpz_sgn(r_1); + int sgn = mpz_sgn(r_1); mpz_abs(r_1, r_1); mpz_abs(ni, ni); if (sgn == -1) { mpz_sub(ni, r, ni); - mpz_sub(r_1, N, r_1); + mpz_sub(r_1, mod, r_1); } + // tests + mpz_mul(oo,r,r_1); + mpz_mod(oo,oo,mod); + + assert(mpz_cmp(one,oo) == 0); + // MARK: export // exponent as is and mod -> n, ni -> ni, r_1 -> r_1 @@ -165,14 +164,16 @@ void montmodmult_pairs_from_files(void *x_buf, void *m_buf, signature = strtok_r(0, "\n",&ms_ptr_rest); // set x (the number to 'square' (multiply by itself)) - mpz_mul(x, s, r); - mpz_mod(x, x, mod); + mpz_mul(M, s, r); + mpz_mod(M, M, mod); + + mpz_mod(x, r, mod); // message as is and 'signature' -> x , M -> m mpz_export(&msg_buf_t[len * i], NULL, ORDER, sizeof(gpu_register), END, 0, msg); mpz_export(&s_buf_t[len * i], NULL, ORDER, sizeof(gpu_register), END, 0, s); - mpz_export(&x_buf_t[len * i], NULL, ORDER, sizeof(gpu_register), END, 0, s); - mpz_export(&m_buf_t[len * i], NULL, ORDER, sizeof(gpu_register), END, 0, s); + mpz_export(&x_buf_t[len * i], NULL, ORDER, sizeof(gpu_register), END, 0, x); + mpz_export(&m_buf_t[len * i], NULL, ORDER, sizeof(gpu_register), END, 0, M); @@ -226,7 +227,7 @@ int modmult_opencl_prepare(struct gpu_info *info, struct gpu_state_alt *state, unsigned long len = len_in_bytes; state->x_mem = clCreateBuffer(info->context, CL_MEM_READ_WRITE, len, NULL, NULL); - state->m_mem = clCreateBuffer(info->context, CL_MEM_READ_ONLY, len, NULL, NULL); + state->m_mem = clCreateBuffer(info->context, CL_MEM_READ_WRITE, len, NULL, NULL); //state->res_mem = clCreateBuffer(info->context, CL_MEM_READ_WRITE, len, NULL, NULL); // the result that is written back state->n_mem = clCreateBuffer(info->context, CL_MEM_READ_ONLY, len, NULL, NULL); @@ -236,6 +237,7 @@ int modmult_opencl_prepare(struct gpu_info *info, struct gpu_state_alt *state, state->tmp_1 = clCreateBuffer(info->context, CL_MEM_READ_WRITE, len * 2, NULL, NULL); state->tmp_2 = clCreateBuffer(info->context, CL_MEM_READ_WRITE, len * 2, NULL, NULL); + state->tmp_3 = clCreateBuffer(info->context, CL_MEM_READ_WRITE, len * 2, NULL, NULL); state->pks_indices = clCreateBuffer(info->context, CL_MEM_READ_ONLY, sizeof(unsigned long) * (pk + 1),NULL, NULL); @@ -247,11 +249,13 @@ int modmult_opencl_prepare(struct gpu_info *info, struct gpu_state_alt *state, void *tmp_1 = malloc(len * 2); void *tmp_2 = malloc(len * 2); + void *tmp_3 = malloc(len * 2); //void *res = malloc(len); memset(tmp_1, 0, len * 2); memset(tmp_2, 0, len * 2); + memset(tmp_3, 0, len * 2); //memset(res, 0, len); // Write our data set into the input array in device memory @@ -267,6 +271,7 @@ int modmult_opencl_prepare(struct gpu_info *info, struct gpu_state_alt *state, err |= clEnqueueWriteBuffer(info->commands, state->tmp_1, CL_TRUE, 0, len * 2, tmp_1, 0, NULL, NULL); err |= clEnqueueWriteBuffer(info->commands, state->tmp_2, CL_TRUE, 0, len * 2, tmp_2, 0, NULL, NULL); + err |= clEnqueueWriteBuffer(info->commands, state->tmp_3, CL_TRUE, 0, len * 2, tmp_3, 0, NULL, NULL); err |= clEnqueueWriteBuffer(info->commands, state->pks_indices, CL_TRUE, 0, sizeof(unsigned long) * (pk + 1), pks, 0, NULL, NULL); if (err != CL_SUCCESS) @@ -277,6 +282,7 @@ int modmult_opencl_prepare(struct gpu_info *info, struct gpu_state_alt *state, free(tmp_1); free(tmp_2); + free(tmp_3); //free(res); // Set the arguments to our compute kernel @@ -290,7 +296,8 @@ int modmult_opencl_prepare(struct gpu_info *info, struct gpu_state_alt *state, err |= clSetKernelArg(info->kernel, 5, sizeof(cl_mem), &state->exp_mem); err |= clSetKernelArg(info->kernel, 6, sizeof(cl_mem), &state->tmp_1); err |= clSetKernelArg(info->kernel, 7, sizeof(cl_mem), &state->tmp_2); - err |= clSetKernelArg(info->kernel, 8, sizeof(cl_mem), &state->pks_indices); + err |= clSetKernelArg(info->kernel, 8, sizeof(cl_mem), &state->tmp_3); + err |= clSetKernelArg(info->kernel, 9, sizeof(cl_mem), &state->pks_indices); //err |= clSetKernelArg(info->kernel, 9, sizeof(unsigned long), &n); @@ -394,8 +401,7 @@ unsigned long modmult_opencl_results(struct gpu_info *info, struct gpu_state_alt mpz_import(N, len, ORDER, sizeof(gpu_register), END, 0, &n_buf[i * len]); mpz_import(mod, len, ORDER, sizeof(gpu_register), END, 0, &mod_buf[i * len]); - // mpz_mul(ret, a, r_1); - // mpz_mod(ret, ret, mod); + } @@ -403,22 +409,13 @@ unsigned long modmult_opencl_results(struct gpu_info *info, struct gpu_state_alt // test reference - mpz_t sig, sig_tmp, one, r; - mpz_init(sig); - mpz_init(sig_tmp); - - mpz_init(one); - mpz_init(r); - - mpz_import(sig, len, ORDER, sizeof(gpu_register), END, 0, s_buf); + mpz_t mmm; + mpz_init(mmm); - mpz_set_si(one, 1); - mpz_mul_2exp(r,one,BIT_LENGTH); // r - mpz_mul(sig, sig, sig); - mpz_mod(sig, sig, r); + mpz_import(mmm, len, ORDER, sizeof(gpu_register), END, 0, msg_buf); - gmp_printf ("ref: %Zd\n", sig); + gmp_printf ("mmm: %Zd\n", mmm); printf(""); @@ -428,7 +425,6 @@ unsigned long modmult_opencl_results(struct gpu_info *info, struct gpu_state_alt mpz_clear(r_1); mpz_clear(mod); - mpz_clear(one); @@ -521,6 +517,40 @@ void modmult_gpu_execute(struct gpu_info *info, struct gpu_state_alt *state, void *s_buf, unsigned long *pks, unsigned long n) { + + int len = len_in_bytes; + + // MARK: on the cpu + + void *res = malloc(len); + + void *tmp_1 = malloc(len * 2); + void *tmp_2 = malloc(len * 2); + void *tmp_3 = malloc(len * 2); + + //void *res = malloc(len); + + memset(tmp_1, 0, len * 2); + memset(tmp_2, 0, len * 2); + memset(tmp_3, 0, len * 2); + + memset(res, 0, len); + + + mpz_t ret; + mpz_init(ret); + + mont(x_buf, m_buf, res, n_buf, ni_buf, exp_buf, tmp_1, tmp_2, tmp_3, pks); + + mpz_import(ret, len / 8, ORDER, sizeof(gpu_register), END, 0, res); + + gmp_printf ("CPU ret in decimal: %Zd\n", ret); + + free(tmp_1); + free(tmp_2); + free(tmp_3); + + modmult_opencl_prepare(info, state, x_buf, m_buf, //r_1_buf, @@ -567,7 +597,7 @@ int mont_modmult_tests(void) { gpu_register *m_buf = malloc(digit_sz); gpu_register *r_1_buf = malloc(digit_sz); gpu_register *n_buf = malloc(digit_sz); - gpu_register *ni_buf = malloc(digit_sz); + gpu_register *ni_buf = malloc(digit_sz + pairs); gpu_register *msg_buf = malloc(digit_sz); gpu_register *s_buf = malloc(digit_sz); gpu_register *mod_buf = malloc(digit_sz); @@ -592,7 +622,10 @@ int mont_modmult_tests(void) { montmodmult_pairs_from_files(x_buf, m_buf, r_1_buf, n_buf, ni_buf, - msg_buf, exp_buf, mod_buf, s_buf, + msg_buf, + exp_buf, + mod_buf, + s_buf, pks, &pairs); printf("VERIFYING %lu SIGNATURES...\n", pairs); @@ -606,7 +639,10 @@ int mont_modmult_tests(void) { x_buf, m_buf, r_1_buf, n_buf, ni_buf, - msg_buf, exp_buf, mod_buf, s_buf, + msg_buf, + exp_buf, + mod_buf, + s_buf, pks, pairs); unsigned long res = modmult_gpu_finish(&info, &state, msg_buf, r_1_buf, n_buf, mod_buf,s_buf, pairs); diff --git a/source/util.h b/source/util.h @@ -116,6 +116,7 @@ struct gpu_state_alt { cl_mem tmp_1; cl_mem tmp_2; + cl_mem tmp_3; cl_mem pks_indices; diff --git a/xcode/lib-gpu-generate/msgsig.txt b/xcode/lib-gpu-generate/msgsig.txt @@ -1,2 +1,2 @@ -9506E0DF73 -7134105D4E8706C01F2EDE5C773E2A250A269D2DA99BAB49AC8D5FF9AEA2E059D4D66F514452DEA37AB39E2D5B65281CB6566850548E5DCA87ABD5FC171D56BD1DB449A257D1CA2ECBA66C8232B4A2F1E590427CA3E451188A036A49346D8AFFA48A4F90DA6D26B22CECEE53FD8951CA101D937598C292B380CE836C8B6D992ABE0DC5AD4240C9E01BD441F359374C15A0D30BC296F56C79D85157AC00B339A8C4B2414300A131B023ED30EDFFD9CFA6FEBCBC724D5C88C3FC89815654526D28D41871AC7FC4514F4FCC6789404A3F13661A3DA4B311AB6AF547673D5FD13E544377A8960E6360E76DEF3788BD3356720EF514DCD2BBD1C4950385A2104BA984 +5806A25CC6B1AA63 +43B7F97A9BF895F907C450CF658ADCC35223B8B3E5F91C933BA71762E7F2A49EBF7AD9B8EC6A9B87CCE33B3AD20DBB20E70943C887409EF515CA4BF6B2C1CE10F7CEBBD0BD1146BE27765CBC51409B07FEB7D0CAE473D797C9A092E5B9D64B136CC7BE53DE1CD4F84D7FBCFE75054A9B51F0DF7808E58A01480B0650CFB6244348782AE96604BD909760E65343133C4B7A0CF4E99DEA76C78991F179E9A08B139B28099BE0B55328500F54C71348F4F0E62471E645824BD3CC7781DA840E354DAEA062B72E2E64A9128AA82E973DF2B69B6FFDB954130F5625B45D80776B1FD21D1EE1F5898B55004EC4688A44F0505D0E08FB5D4F8484E2FE700B18D640DAC5 diff --git a/xcode/lib-gpu-generate/publickey.txt b/xcode/lib-gpu-generate/publickey.txt @@ -1,3 +1,3 @@ -00CA5F6FD970F17AAEA1F2272368C1CE27E2252F7357C651AAC203EA012D888CED38F4F1B97DB332E005E291D845DECBD3846A3E09F0FEBCDC71D31A735874F9848974814474055FA200F6D42B715AFD9E04C4DA1FF2457020EEB4753E44318AF4E41111923B007FCBB1E2E17898E00AD500BFF849E7360B0249DA98A3D7301E12C6A2C33925078E783336263AC07A3EED6594414736E01DFA621CBB93E1C548E539AF8D0FB87AE0F8181B9C38046E01508F2865333305BDC8C177F3D7A1CF677F11F6115D45792AFF2BAFFB36CC700757AC262C29F76D0869DF5B6258D754237DBE492236251599D3ACB500F0764021881BD1F1777143F6D73B63D7B9AD67CB2B -02 +00B70364447990A82B5148BD0D380753E8AECD553E7FD63148A97C0184D45FB6D4152781A31E424DF5514D1C437C63675C349AD0E364DB6E040F573CDA4A4E00D6497224FC2247CB66FDDF1FA260764122DEC624AB76458BB20FA10A5941E2DDD245FFB3BF58431AB4C3D998E9B014370CDD67D253AF62644312CABF16D16AA2F37A44A92902684729EC611D33CC3A612D684C3AE220BFDC732D20C06E349497C44F6F67B51FFAE5CC1802A3BF86093C9663BB5BBF4A8B65B17BE07B247DED2A1602698506C0DC5E2EB2C150DC6D4847412768D1F3D3398710E74BD2B27264EE411B99CCB84F7EF7BF6E1F3E4EBAA839A32720D23271C0429662A05BB61D999397 +010001 0 diff --git a/xcode/lib-gpu-verify.xcodeproj/project.pbxproj b/xcode/lib-gpu-verify.xcodeproj/project.pbxproj @@ -13,6 +13,7 @@ 6AB4D99D2B1645F900A686F2 /* montgomery-test.c in Sources */ = {isa = PBXBuildFile; fileRef = 6AB4D99C2B1645F900A686F2 /* montgomery-test.c */; }; 6ABC2E842B231DFF00033B90 /* util.c in Sources */ = {isa = PBXBuildFile; fileRef = 6ABC2E832B231DFF00033B90 /* util.c */; }; 6ABC2E882B231E3D00033B90 /* reference-test.c in Sources */ = {isa = PBXBuildFile; fileRef = 6ABC2E862B231E3D00033B90 /* reference-test.c */; }; + 6AC0BA972B37A90B005B9AAE /* montgomery.c in Sources */ = {isa = PBXBuildFile; fileRef = 6A7914CD2B0CF320001EDCC1 /* montgomery.c */; }; 6AC553252B2E174900046AB7 /* montmodmult.cl in Sources */ = {isa = PBXBuildFile; fileRef = 6AC553242B2E174900046AB7 /* montmodmult.cl */; }; 6AC553292B2E17C800046AB7 /* montmodmult.c in Sources */ = {isa = PBXBuildFile; fileRef = 6AC553282B2E17C800046AB7 /* montmodmult.c */; }; 6AF7487A2ADADEBD00D58E08 /* lib-gpu-verify.c in Sources */ = {isa = PBXBuildFile; fileRef = 6AF748792ADADEBD00D58E08 /* lib-gpu-verify.c */; }; @@ -240,6 +241,7 @@ isa = PBXSourcesBuildPhase; buildActionMask = 2147483647; files = ( + 6AC0BA972B37A90B005B9AAE /* montgomery.c in Sources */, 6AB4D99D2B1645F900A686F2 /* montgomery-test.c in Sources */, 6ABC2E882B231E3D00033B90 /* reference-test.c in Sources */, 6AC553252B2E174900046AB7 /* montmodmult.cl in Sources */, diff --git a/xcode/lib-gpu-verify.xcodeproj/project.xcworkspace/xcuserdata/cedriczwahlen.xcuserdatad/UserInterfaceState.xcuserstate b/xcode/lib-gpu-verify.xcodeproj/project.xcworkspace/xcuserdata/cedriczwahlen.xcuserdatad/UserInterfaceState.xcuserstate Binary files differ. diff --git a/xcode/lib-gpu-verify.xcodeproj/xcuserdata/cedriczwahlen.xcuserdatad/xcdebugger/Breakpoints_v2.xcbkptlist b/xcode/lib-gpu-verify.xcodeproj/xcuserdata/cedriczwahlen.xcuserdatad/xcdebugger/Breakpoints_v2.xcbkptlist @@ -1192,69 +1192,6 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "985780EE-603E-4B6C-BF80-1BB11F65F6BA" - shouldBeEnabled = "No" - ignoreCount = "0" - continueAfterRunningActions = "No" - filePath = "../source/montgomery.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "181" - endingLineNumber = "181" - landmarkName = "mont_prepare(b, e, m, r, r_1, ni, M, x)" - landmarkType = "9"> - <Locations> - <Location - uuid = "985780EE-603E-4B6C-BF80-1BB11F65F6BA - 4382d64135f5d7ec" - shouldBeEnabled = "Yes" - ignoreCount = "0" - continueAfterRunningActions = "No" - symbolName = "mont_prepare" - moduleName = "lib-gpu-verify" - usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "181" - endingLineNumber = "181" - offsetFromSymbolStart = "450"> - </Location> - <Location - uuid = "985780EE-603E-4B6C-BF80-1BB11F65F6BA - 4382d64135f5d760" - shouldBeEnabled = "Yes" - ignoreCount = "0" - continueAfterRunningActions = "No" - symbolName = "mont_prepare" - moduleName = "lib-gpu-verify" - usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "185" - endingLineNumber = "185" - offsetFromSymbolStart = "487"> - </Location> - <Location - uuid = "985780EE-603E-4B6C-BF80-1BB11F65F6BA - 4382d64135f5d7ec" - shouldBeEnabled = "Yes" - ignoreCount = "0" - continueAfterRunningActions = "No" - symbolName = "mont_prepare" - moduleName = "lib-gpu-verify" - usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "181" - endingLineNumber = "181" - offsetFromSymbolStart = "646"> - </Location> - </Locations> - </BreakpointContent> - </BreakpointProxy> - <BreakpointProxy - BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> - <BreakpointContent uuid = "BFF56279-A16A-4556-9919-058156F61FD5" shouldBeEnabled = "No" ignoreCount = "0" @@ -1592,122 +1529,268 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "5237754D-0F3B-47A1-B768-D4F7FD47830D" + uuid = "B9F0C216-49BE-4576-980B-E3E707CF2200" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/montgomery.c" + filePath = "../source/gmp.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "987" + endingLineNumber = "987" + landmarkName = "mpn_div_qr_1_preinv(qp, np, nn, inv)" + landmarkType = "9"> + </BreakpointContent> + </BreakpointProxy> + <BreakpointProxy + BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> + <BreakpointContent + uuid = "B7D2B136-D2CC-494F-B46C-D6FF5545EE39" + shouldBeEnabled = "No" + ignoreCount = "0" + continueAfterRunningActions = "No" + filePath = "../source/gmp.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "4202" + endingLineNumber = "4202" + landmarkName = "mpz_sizeinbase(u, base)" + landmarkType = "9"> + </BreakpointContent> + </BreakpointProxy> + <BreakpointProxy + BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> + <BreakpointContent + uuid = "403AE82D-01F5-40B2-BBD9-A4420ED3D914" + shouldBeEnabled = "No" + ignoreCount = "0" + continueAfterRunningActions = "No" + filePath = "../source/gmp.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "983" + endingLineNumber = "983" + landmarkName = "mpn_div_qr_1_preinv(qp, np, nn, inv)" + landmarkType = "9"> + </BreakpointContent> + </BreakpointProxy> + <BreakpointProxy + BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> + <BreakpointContent + uuid = "8ECD43E8-C440-47F2-92EE-5C0EFBCD0487" + shouldBeEnabled = "No" + ignoreCount = "0" + continueAfterRunningActions = "No" + filePath = "../source/gmp_GPU.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "490" + endingLineNumber = "490" + landmarkName = "mpz_set(r, x)" + landmarkType = "9"> + </BreakpointContent> + </BreakpointProxy> + <BreakpointProxy + BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> + <BreakpointContent + uuid = "472223C6-07BA-494A-A0A7-058648BF776C" + shouldBeEnabled = "No" + ignoreCount = "0" + continueAfterRunningActions = "No" + filePath = "../source/gmp_GPU.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "487" + endingLineNumber = "487" + landmarkName = "mpz_set(r, x)" + landmarkType = "9"> + </BreakpointContent> + </BreakpointProxy> + <BreakpointProxy + BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> + <BreakpointContent + uuid = "1E44FD05-54D7-4E86-9450-6A8BDE263CE7" + shouldBeEnabled = "No" + ignoreCount = "0" + continueAfterRunningActions = "No" + filePath = "../source/gmp_GPU.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "2797" + endingLineNumber = "2797" + landmarkName = "mont_mulmod(res, a, b, mod)" + landmarkType = "9"> + </BreakpointContent> + </BreakpointProxy> + <BreakpointProxy + BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> + <BreakpointContent + uuid = "D1044013-3029-4CCB-9700-A4ED809E7749" + shouldBeEnabled = "No" + ignoreCount = "0" + continueAfterRunningActions = "No" + filePath = "../source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "206" - endingLineNumber = "206" - landmarkName = "mont_modexp(ret, a, e, M, n, ni, r, r_1)" + startingLineNumber = "2853" + endingLineNumber = "2853" + landmarkName = "montgomery(signature, exponent, modulus, base, valid)" landmarkType = "9"> <Locations> <Location - uuid = "5237754D-0F3B-47A1-B768-D4F7FD47830D - 554a9b6fb8ae9009" + uuid = "D1044013-3029-4CCB-9700-A4ED809E7749 - 941e65ef5d451165" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_modexp" + symbolName = "montgomery" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "125" - endingLineNumber = "125" - offsetFromSymbolStart = "231"> + startingLineNumber = "2852" + endingLineNumber = "2852" + offsetFromSymbolStart = "235"> </Location> <Location - uuid = "5237754D-0F3B-47A1-B768-D4F7FD47830D - 554a9b6fb8ae9009" + uuid = "D1044013-3029-4CCB-9700-A4ED809E7749 - 941e65ef5d4511a7" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_modexp" + symbolName = "montgomery" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "125" - endingLineNumber = "125" - offsetFromSymbolStart = "250"> + startingLineNumber = "2850" + endingLineNumber = "2850" + offsetFromSymbolStart = "235"> </Location> <Location - uuid = "5237754D-0F3B-47A1-B768-D4F7FD47830D - 554a9b6fb8ae938d" + uuid = "D1044013-3029-4CCB-9700-A4ED809E7749 - 941e65ef5d451104" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_modexp" + symbolName = "montgomery" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "121" - endingLineNumber = "121" - offsetFromSymbolStart = "250"> + startingLineNumber = "2853" + endingLineNumber = "2853" + offsetFromSymbolStart = "235"> </Location> <Location - uuid = "5237754D-0F3B-47A1-B768-D4F7FD47830D - 554a9b6fb8ae9360" + uuid = "D1044013-3029-4CCB-9700-A4ED809E7749 - 941e65ef5d4512fa" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_modexp" + symbolName = "montgomery" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "118" - endingLineNumber = "118" - offsetFromSymbolStart = "230"> + startingLineNumber = "2855" + endingLineNumber = "2855" + offsetFromSymbolStart = "235"> </Location> + </Locations> + </BreakpointContent> + </BreakpointProxy> + <BreakpointProxy + BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> + <BreakpointContent + uuid = "78DCF329-4308-45D8-AC1F-CCBE9A16757A" + shouldBeEnabled = "No" + ignoreCount = "0" + continueAfterRunningActions = "No" + filePath = "../source/gmp_GPU.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "2898" + endingLineNumber = "2898" + landmarkName = "montgomery(signature, exponent, modulus, base, valid)" + landmarkType = "9"> + </BreakpointContent> + </BreakpointProxy> + <BreakpointProxy + BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> + <BreakpointContent + uuid = "4BE2D23D-FE66-40D8-AAC5-D21A82847405" + shouldBeEnabled = "No" + ignoreCount = "0" + continueAfterRunningActions = "No" + filePath = "../source/gmp_GPU.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "2896" + endingLineNumber = "2896" + landmarkName = "montgomery(signature, exponent, modulus, base, valid)" + landmarkType = "9"> + </BreakpointContent> + </BreakpointProxy> + <BreakpointProxy + BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> + <BreakpointContent + uuid = "D6011B18-999E-4186-A3BD-BCBFB4665557" + shouldBeEnabled = "No" + ignoreCount = "0" + continueAfterRunningActions = "No" + filePath = "../source/gmp_GPU.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "2664" + endingLineNumber = "2664" + landmarkName = "mont_prepare(b, e, m, r, r_1, ni, M, x)" + landmarkType = "9"> + <Locations> <Location - uuid = "5237754D-0F3B-47A1-B768-D4F7FD47830D - 554a9b6fb8ae865e" + uuid = "D6011B18-999E-4186-A3BD-BCBFB4665557 - 64518ca852e0645" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_modexp" + symbolName = "mont_prepare" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "204" - endingLineNumber = "204" - offsetFromSymbolStart = "212"> + startingLineNumber = "2659" + endingLineNumber = "2659" + offsetFromSymbolStart = "138"> </Location> <Location - uuid = "5237754D-0F3B-47A1-B768-D4F7FD47830D - 554a9b6fb8ae8698" + uuid = "D6011B18-999E-4186-A3BD-BCBFB4665557 - 64518ca852e07f9" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_modexp" + symbolName = "mont_prepare" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "206" - endingLineNumber = "206" - offsetFromSymbolStart = "212"> + startingLineNumber = "2663" + endingLineNumber = "2663" + offsetFromSymbolStart = "180"> </Location> <Location - uuid = "5237754D-0F3B-47A1-B768-D4F7FD47830D - 554a9b6fb8ae86fb" + uuid = "D6011B18-999E-4186-A3BD-BCBFB4665557 - 64518ca852e075c" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_modexp" + symbolName = "mont_prepare" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "207" - endingLineNumber = "207" - offsetFromSymbolStart = "212"> + startingLineNumber = "2666" + endingLineNumber = "2666" + offsetFromSymbolStart = "180"> </Location> </Locations> </BreakpointContent> @@ -1715,107 +1798,125 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "2EF66FC4-83FF-48DC-BD74-7DCAF53542F8" - shouldBeEnabled = "Yes" + uuid = "48FEE708-B88E-43F9-AAF0-4D30F363C472" + shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/montgomery.c" + filePath = "../source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "97" - endingLineNumber = "97" - landmarkName = "mont_go(res, base, exponent, modulus, radix)" + startingLineNumber = "831" + endingLineNumber = "831" + landmarkName = "mpz_div_qr(q, r, n, d, mode)" landmarkType = "9"> <Locations> <Location - uuid = "2EF66FC4-83FF-48DC-BD74-7DCAF53542F8 - 509351695818d924" + uuid = "48FEE708-B88E-43F9-AAF0-4D30F363C472 - 50dbcca7228f7fc5" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_go" + symbolName = "mpn_invert_3by2" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "95" - endingLineNumber = "95" - offsetFromSymbolStart = "642"> + startingLineNumber = "827" + endingLineNumber = "827" + offsetFromSymbolStart = "931"> </Location> <Location - uuid = "2EF66FC4-83FF-48DC-BD74-7DCAF53542F8 - 509351695818d947" + uuid = "48FEE708-B88E-43F9-AAF0-4D30F363C472 - b538a7a206838259" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_go" + symbolName = "mpz_div_qr" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "94" - endingLineNumber = "94" - offsetFromSymbolStart = "642"> + startingLineNumber = "834" + endingLineNumber = "834" + offsetFromSymbolStart = "66"> </Location> <Location - uuid = "2EF66FC4-83FF-48DC-BD74-7DCAF53542F8 - 509351695818d924" + uuid = "48FEE708-B88E-43F9-AAF0-4D30F363C472 - b538a7a20683823a" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_go" + symbolName = "mpz_div_qr" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "95" - endingLineNumber = "95" - offsetFromSymbolStart = "660"> + startingLineNumber = "837" + endingLineNumber = "837" + offsetFromSymbolStart = "66"> </Location> + </Locations> + </BreakpointContent> + </BreakpointProxy> + <BreakpointProxy + BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> + <BreakpointContent + uuid = "2EE70F0A-89B5-47E5-95F0-727F46783CEE" + shouldBeEnabled = "No" + ignoreCount = "0" + continueAfterRunningActions = "No" + filePath = "../source/gmp_GPU.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "902" + endingLineNumber = "902" + landmarkName = "mpz_div_qr(q, r, n, d, mode)" + landmarkType = "9"> + <Locations> <Location - uuid = "2EF66FC4-83FF-48DC-BD74-7DCAF53542F8 - 509351695818d924" + uuid = "2EE70F0A-89B5-47E5-95F0-727F46783CEE - b538a7a206838a7e" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_go" + symbolName = "mpz_div_qr" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "95" - endingLineNumber = "95" - offsetFromSymbolStart = "670"> + startingLineNumber = "897" + endingLineNumber = "897" + offsetFromSymbolStart = "766"> </Location> <Location - uuid = "2EF66FC4-83FF-48DC-BD74-7DCAF53542F8 - 509351695818d9da" + uuid = "2EE70F0A-89B5-47E5-95F0-727F46783CEE - b538a7a2068389fa" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_go" + symbolName = "mpz_div_qr" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "97" - endingLineNumber = "97" - offsetFromSymbolStart = "670"> + startingLineNumber = "901" + endingLineNumber = "901" + offsetFromSymbolStart = "800"> </Location> <Location - uuid = "2EF66FC4-83FF-48DC-BD74-7DCAF53542F8 - 509351695818d9da" + uuid = "2EE70F0A-89B5-47E5-95F0-727F46783CEE - b538a7a206838967" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_go" + symbolName = "mpz_div_qr" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "97" - endingLineNumber = "97" - offsetFromSymbolStart = "751"> + startingLineNumber = "904" + endingLineNumber = "904" + offsetFromSymbolStart = "800"> </Location> </Locations> </BreakpointContent> @@ -1823,47 +1924,62 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "C6EEB3B9-DBCA-4C09-9043-EEC04F29FE5E" + uuid = "98374BB9-2845-4DB0-825F-5112D3F5E50D" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/montgomery.c" + filePath = "../source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "82" - endingLineNumber = "82" - landmarkName = "mont_go(res, base, exponent, modulus, radix)" + startingLineNumber = "1028" + endingLineNumber = "1028" + landmarkName = "mpn_div_qr_invert(inv, dp, dn)" landmarkType = "9"> <Locations> <Location - uuid = "C6EEB3B9-DBCA-4C09-9043-EEC04F29FE5E - 5093516958192491" + uuid = "98374BB9-2845-4DB0-825F-5112D3F5E50D - 392da6fc5c4f34b3" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_go" + symbolName = "mpn_div_qr_2_invert" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "76" - endingLineNumber = "76" - offsetFromSymbolStart = "449"> + startingLineNumber = "1023" + endingLineNumber = "1023" + offsetFromSymbolStart = "282"> </Location> <Location - uuid = "C6EEB3B9-DBCA-4C09-9043-EEC04F29FE5E - 5093516958192491" + uuid = "98374BB9-2845-4DB0-825F-5112D3F5E50D - 7554351b5843b57" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_go" + symbolName = "mpn_div_qr_invert" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "1030" + endingLineNumber = "1030" + offsetFromSymbolStart = "20"> + </Location> + <Location + uuid = "98374BB9-2845-4DB0-825F-5112D3F5E50D - 7554351b5843af4" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + symbolName = "mpn_div_qr_invert" + moduleName = "lib-gpu-verify" + usesParentBreakpointCondition = "Yes" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "76" - endingLineNumber = "76" - offsetFromSymbolStart = "446"> + startingLineNumber = "1033" + endingLineNumber = "1033" + offsetFromSymbolStart = "20"> </Location> </Locations> </BreakpointContent> @@ -1871,107 +1987,77 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "B5C8842D-43A1-48AF-B843-DA7C249FABDD" - shouldBeEnabled = "Yes" + uuid = "8DBF09D6-C8CB-4D1F-B149-A4BCF77FB839" + shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/montgomery.c" + filePath = "../source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "88" - endingLineNumber = "88" - landmarkName = "mont_go(res, base, exponent, modulus, radix)" + startingLineNumber = "943" + endingLineNumber = "943" + landmarkName = "mpn_div_qr(qp, np, nn, dp, dn)" landmarkType = "9"> <Locations> <Location - uuid = "B5C8842D-43A1-48AF-B843-DA7C249FABDD - 509351695818da4f" - shouldBeEnabled = "Yes" - ignoreCount = "0" - continueAfterRunningActions = "No" - symbolName = "mont_go" - moduleName = "lib-gpu-verify" - usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "86" - endingLineNumber = "86" - offsetFromSymbolStart = "519"> - </Location> - <Location - uuid = "B5C8842D-43A1-48AF-B843-DA7C249FABDD - 509351695818da6e" - shouldBeEnabled = "Yes" - ignoreCount = "0" - continueAfterRunningActions = "No" - symbolName = "mont_go" - moduleName = "lib-gpu-verify" - usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "85" - endingLineNumber = "85" - offsetFromSymbolStart = "519"> - </Location> - <Location - uuid = "B5C8842D-43A1-48AF-B843-DA7C249FABDD - 509351695818da4f" + uuid = "8DBF09D6-C8CB-4D1F-B149-A4BCF77FB839 - 7090678fa8dcffd6" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_go" + symbolName = "mpn_div_qr" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "86" - endingLineNumber = "86" - offsetFromSymbolStart = "537"> + startingLineNumber = "949" + endingLineNumber = "949" + offsetFromSymbolStart = "60"> </Location> <Location - uuid = "B5C8842D-43A1-48AF-B843-DA7C249FABDD - 509351695818da4f" + uuid = "8DBF09D6-C8CB-4D1F-B149-A4BCF77FB839 - 7090678fa8dcffd6" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_go" + symbolName = "mpn_div_qr" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "86" - endingLineNumber = "86" - offsetFromSymbolStart = "547"> + startingLineNumber = "949" + endingLineNumber = "949" + offsetFromSymbolStart = "66"> </Location> <Location - uuid = "B5C8842D-43A1-48AF-B843-DA7C249FABDD - 509351695818da0d" + uuid = "8DBF09D6-C8CB-4D1F-B149-A4BCF77FB839 - 7090678fa8dcff6b" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_go" + symbolName = "mpn_div_qr" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "88" - endingLineNumber = "88" - offsetFromSymbolStart = "547"> + startingLineNumber = "952" + endingLineNumber = "952" + offsetFromSymbolStart = "66"> </Location> <Location - uuid = "B5C8842D-43A1-48AF-B843-DA7C249FABDD - 509351695818da0d" + uuid = "8DBF09D6-C8CB-4D1F-B149-A4BCF77FB839 - 7090678fa8dcff6b" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_go" + symbolName = "mpn_div_qr" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "88" - endingLineNumber = "88" - offsetFromSymbolStart = "628"> + startingLineNumber = "952" + endingLineNumber = "952" + offsetFromSymbolStart = "60"> </Location> </Locations> </BreakpointContent> @@ -1979,92 +2065,62 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "5B4EE098-39B2-40C9-B573-DEFE8DCB7F4E" - shouldBeEnabled = "Yes" + uuid = "7B64655D-0DD5-4A2E-A066-2B84000FEDCF" + shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/montgomery.c" + filePath = "../source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "74" - endingLineNumber = "74" - landmarkName = "mont_go(res, base, exponent, modulus, radix)" + startingLineNumber = "2835" + endingLineNumber = "2835" + landmarkName = "montgomery(signature, exponent, modulus, base, valid)" landmarkType = "9"> <Locations> <Location - uuid = "5B4EE098-39B2-40C9-B573-DEFE8DCB7F4E - 509351695819243c" - shouldBeEnabled = "Yes" - ignoreCount = "0" - continueAfterRunningActions = "No" - symbolName = "mont_go" - moduleName = "lib-gpu-verify" - usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "71" - endingLineNumber = "71" - offsetFromSymbolStart = "297"> - </Location> - <Location - uuid = "5B4EE098-39B2-40C9-B573-DEFE8DCB7F4E - 509351695819241d" - shouldBeEnabled = "Yes" - ignoreCount = "0" - continueAfterRunningActions = "No" - symbolName = "mont_go" - moduleName = "lib-gpu-verify" - usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "72" - endingLineNumber = "72" - offsetFromSymbolStart = "312"> - </Location> - <Location - uuid = "5B4EE098-39B2-40C9-B573-DEFE8DCB7F4E - 509351695819241d" + uuid = "7B64655D-0DD5-4A2E-A066-2B84000FEDCF - 941e65ef5d4517f1" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_go" + symbolName = "montgomery" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "72" - endingLineNumber = "72" - offsetFromSymbolStart = "322"> + startingLineNumber = "2832" + endingLineNumber = "2832" + offsetFromSymbolStart = "88"> </Location> <Location - uuid = "5B4EE098-39B2-40C9-B573-DEFE8DCB7F4E - 50935169581924d3" + uuid = "7B64655D-0DD5-4A2E-A066-2B84000FEDCF - 941e65ef5d451756" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_go" + symbolName = "montgomery" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "74" - endingLineNumber = "74" - offsetFromSymbolStart = "322"> + startingLineNumber = "2835" + endingLineNumber = "2835" + offsetFromSymbolStart = "88"> </Location> <Location - uuid = "5B4EE098-39B2-40C9-B573-DEFE8DCB7F4E - 50935169581924d3" + uuid = "7B64655D-0DD5-4A2E-A066-2B84000FEDCF - 941e65ef5d451714" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_go" + symbolName = "montgomery" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "74" - endingLineNumber = "74" - offsetFromSymbolStart = "358"> + startingLineNumber = "2837" + endingLineNumber = "2837" + offsetFromSymbolStart = "88"> </Location> </Locations> </BreakpointContent> @@ -2072,159 +2128,126 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "66C954E0-FB86-4D51-9DC9-17349FF75295" + uuid = "0307EA98-8D0F-4EAD-8ECA-A057B11BE8EB" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/montgomery.c" + filePath = "../source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "162" - endingLineNumber = "162" - landmarkName = "mont_prepare(b, e, m, r, r_1, ni, M, x)" + startingLineNumber = "2581" + endingLineNumber = "2581" + landmarkName = "mpz_set_str(r, sp, base)" landmarkType = "9"> - <Locations> - <Location - uuid = "66C954E0-FB86-4D51-9DC9-17349FF75295 - 4382d64135f5d361" - shouldBeEnabled = "Yes" - ignoreCount = "0" - continueAfterRunningActions = "No" - symbolName = "mont_prepare" - moduleName = "lib-gpu-verify" - usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "154" - endingLineNumber = "154" - offsetFromSymbolStart = "229"> - </Location> - <Location - uuid = "66C954E0-FB86-4D51-9DC9-17349FF75295 - 4382d64135f5d361" - shouldBeEnabled = "Yes" - ignoreCount = "0" - continueAfterRunningActions = "No" - symbolName = "mont_prepare" - moduleName = "lib-gpu-verify" - usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "154" - endingLineNumber = "154" - offsetFromSymbolStart = "203"> - </Location> - </Locations> </BreakpointContent> </BreakpointProxy> <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "239A39EA-25E5-40A3-A9FC-BA8B2F93B3AF" + uuid = "C92C231A-CD9B-47F3-91FF-937373714089" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/montgomery.c" + filePath = "../source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "154" - endingLineNumber = "154" - landmarkName = "mont_prepare(b, e, m, r, r_1, ni, M, x)" + startingLineNumber = "851" + endingLineNumber = "851" + landmarkName = "mpz_div_qr(q, r, n, d, mode)" landmarkType = "9"> - <Locations> - <Location - uuid = "239A39EA-25E5-40A3-A9FC-BA8B2F93B3AF - 4382d64135f5d30e" - shouldBeEnabled = "Yes" - ignoreCount = "0" - continueAfterRunningActions = "No" - symbolName = "mont_prepare" - moduleName = "lib-gpu-verify" - usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "151" - endingLineNumber = "151" - offsetFromSymbolStart = "195"> - </Location> - <Location - uuid = "239A39EA-25E5-40A3-A9FC-BA8B2F93B3AF - 4382d64135f5d3ed" - shouldBeEnabled = "Yes" - ignoreCount = "0" - continueAfterRunningActions = "No" - symbolName = "mont_prepare" - moduleName = "lib-gpu-verify" - usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "150" - endingLineNumber = "150" - offsetFromSymbolStart = "169"> - </Location> - </Locations> </BreakpointContent> </BreakpointProxy> <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "1F76F5C8-15BF-4157-A430-19FF317E722F" + uuid = "BBB53FD7-763F-4D9E-85C9-A827113A6971" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/montgomery.c" + filePath = "../source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "130" - endingLineNumber = "130" - landmarkName = "mont_prepare(b, e, m, r, r_1, ni, M, x)" + startingLineNumber = "2208" + endingLineNumber = "2208" + landmarkName = "mpz_gcdext(g, s, t, u, v)" landmarkType = "9"> </BreakpointContent> </BreakpointProxy> <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "CE0189C6-0135-4BE6-B729-0B05FC72BD43" + uuid = "A13F2AE0-69B2-403C-A34C-03F8E2D0358E" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/montgomery.c" + filePath = "../source/gmp_GPU.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "2659" + endingLineNumber = "2659" + landmarkName = "mont_prepare(b, e, m, r, r_1, ni, M, x)" + landmarkType = "9"> + </BreakpointContent> + </BreakpointProxy> + <BreakpointProxy + BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> + <BreakpointContent + uuid = "F1B8A13D-2350-47BF-BCEB-CDEAD7827EA9" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + filePath = "../source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "185" - endingLineNumber = "185" - landmarkName = "mont_modexp(ret, a, e, M, n, ni, r, r_1)" + startingLineNumber = "2914" + endingLineNumber = "2914" + landmarkName = "montgomery(signature, exponent, modulus, base, valid)" landmarkType = "9"> <Locations> <Location - uuid = "CE0189C6-0135-4BE6-B729-0B05FC72BD43 - 554a9b6fb8ae9977" + uuid = "F1B8A13D-2350-47BF-BCEB-CDEAD7827EA9 - 941e65ef5d451925" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_modexp" + symbolName = "montgomery" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "195" - endingLineNumber = "195" - offsetFromSymbolStart = "54"> + startingLineNumber = "2916" + endingLineNumber = "2916" + offsetFromSymbolStart = "990"> </Location> <Location - uuid = "CE0189C6-0135-4BE6-B729-0B05FC72BD43 - 554a9b6fb8ae988b" + uuid = "F1B8A13D-2350-47BF-BCEB-CDEAD7827EA9 - 941e65ef5d451906" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_modexp" + symbolName = "montgomery" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "191" - endingLineNumber = "191" - offsetFromSymbolStart = "54"> + startingLineNumber = "2915" + endingLineNumber = "2915" + offsetFromSymbolStart = "1009"> + </Location> + <Location + uuid = "F1B8A13D-2350-47BF-BCEB-CDEAD7827EA9 - 941e65ef5d451967" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + symbolName = "montgomery" + moduleName = "lib-gpu-verify" + usesParentBreakpointCondition = "Yes" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "2914" + endingLineNumber = "2914" + offsetFromSymbolStart = "990"> </Location> </Locations> </BreakpointContent> @@ -2232,173 +2255,194 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "4725101A-CB5E-41D3-BEC9-15B3806D1AC8" + uuid = "DF3913BB-0DF6-48AA-A6C9-ECFDE4C32A54" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/montgomery.c" + filePath = "../source/gmp.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "277" - endingLineNumber = "277" - landmarkName = "mont_product(ret, a, b, r, r_1, n, ni)" + startingLineNumber = "982" + endingLineNumber = "982" + landmarkName = "mpn_div_qr_1_preinv(qp, np, nn, inv)" landmarkType = "9"> </BreakpointContent> </BreakpointProxy> <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "73788825-A8DA-42FF-A5ED-8299384A888E" - shouldBeEnabled = "No" + uuid = "E3DBFC38-2984-402B-8763-F6B5E1731C25" + shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/montgomery.c" + filePath = "../source/gmp_GPU.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "199" - endingLineNumber = "199" - landmarkName = "mont_modexp(ret, a, e, M, n, ni, r, r_1)" + startingLineNumber = "1982" + endingLineNumber = "1982" + landmarkName = "mpn_common_scan(limb, i, up, un, ux)" landmarkType = "9"> </BreakpointContent> </BreakpointProxy> <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "86FC3761-67BB-4DAB-B3B0-54F0F7748C46" + uuid = "611649C6-F572-4BD7-8292-D34AAEFBEB60" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/montgomery.c" + filePath = "../source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "238" - endingLineNumber = "238" - landmarkName = "mont_product(ret, a, b, r, r_1, n, ni)" - landmarkType = "9"> + startingLineNumber = "784" + endingLineNumber = "784"> + </BreakpointContent> + </BreakpointProxy> + <BreakpointProxy + BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> + <BreakpointContent + uuid = "05F8D35E-91FD-4ACB-8F84-DB68890486D1" + shouldBeEnabled = "No" + ignoreCount = "0" + continueAfterRunningActions = "No" + filePath = "../source/rsa-test.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "768" + endingLineNumber = "768"> + </BreakpointContent> + </BreakpointProxy> + <BreakpointProxy + BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> + <BreakpointContent + uuid = "82396ACE-5048-4985-962E-C4918C15ABD5" + shouldBeEnabled = "No" + ignoreCount = "0" + continueAfterRunningActions = "No" + filePath = "../source/rsa-test.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "754" + endingLineNumber = "754"> + </BreakpointContent> + </BreakpointProxy> + <BreakpointProxy + BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> + <BreakpointContent + uuid = "CE83768C-EDB9-4387-B742-DC98D1A4CA5B" + shouldBeEnabled = "No" + ignoreCount = "0" + continueAfterRunningActions = "No" + filePath = "../source/rsa-test.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "761" + endingLineNumber = "761"> <Locations> <Location - uuid = "86FC3761-67BB-4DAB-B3B0-54F0F7748C46 - 4382d80c0bf88c39" + uuid = "CE83768C-EDB9-4387-B742-DC98D1A4CA5B - bca392ed5f046d52" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_product" + symbolName = "sexp_from_string" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "244" - endingLineNumber = "244" - offsetFromSymbolStart = "59"> + startingLineNumber = "1164" + endingLineNumber = "1164" + offsetFromSymbolStart = "100"> </Location> <Location - uuid = "86FC3761-67BB-4DAB-B3B0-54F0F7748C46 - 4382d80c0bf88c7f" + uuid = "CE83768C-EDB9-4387-B742-DC98D1A4CA5B - bca392ed5f046d37" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_product" + symbolName = "sexp_from_string" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "246" - endingLineNumber = "246" - offsetFromSymbolStart = "59"> + startingLineNumber = "1167" + endingLineNumber = "1167" + offsetFromSymbolStart = "111"> </Location> <Location - uuid = "86FC3761-67BB-4DAB-B3B0-54F0F7748C46 - 4382d80c0bf88c5c" + uuid = "CE83768C-EDB9-4387-B742-DC98D1A4CA5B - bca392ed5f046d37" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_product" + symbolName = "sexp_from_string" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "247" - endingLineNumber = "247" - offsetFromSymbolStart = "59"> + startingLineNumber = "1167" + endingLineNumber = "1167" + offsetFromSymbolStart = "108"> </Location> - </Locations> - </BreakpointContent> - </BreakpointProxy> - <BreakpointProxy - BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> - <BreakpointContent - uuid = "F04A400B-ECC0-4FC0-BDB1-F85652929E04" - shouldBeEnabled = "No" - ignoreCount = "0" - continueAfterRunningActions = "No" - filePath = "../source/montgomery.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "284" - endingLineNumber = "284" - landmarkName = "mont_mulmod(res, a, b, mod)" - landmarkType = "9"> - </BreakpointContent> - </BreakpointProxy> - <BreakpointProxy - BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> - <BreakpointContent - uuid = "3DB0ADF0-9143-4EAB-8BE4-859E2A31EB03" - shouldBeEnabled = "No" - ignoreCount = "0" - continueAfterRunningActions = "No" - filePath = "../source/montgomery.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "252" - endingLineNumber = "252" - landmarkName = "mont_product(ret, a, b, r, r_1, n, ni)" - landmarkType = "9"> - <Locations> <Location - uuid = "3DB0ADF0-9143-4EAB-8BE4-859E2A31EB03 - 4382d80c0bf88f77" + uuid = "CE83768C-EDB9-4387-B742-DC98D1A4CA5B - bca392ed5f046d37" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_product" + symbolName = "sexp_from_string" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "254" - endingLineNumber = "254" - offsetFromSymbolStart = "86"> + startingLineNumber = "1167" + endingLineNumber = "1167" + offsetFromSymbolStart = "182"> </Location> <Location - uuid = "3DB0ADF0-9143-4EAB-8BE4-859E2A31EB03 - 4382d80c0bf88eb5" + uuid = "CE83768C-EDB9-4387-B742-DC98D1A4CA5B - bca392ed5f046de9" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_product" + symbolName = "sexp_from_string" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "256" - endingLineNumber = "256" - offsetFromSymbolStart = "86"> + startingLineNumber = "1169" + endingLineNumber = "1169" + offsetFromSymbolStart = "203"> </Location> <Location - uuid = "3DB0ADF0-9143-4EAB-8BE4-859E2A31EB03 - 4382d80c0bf88f31" + uuid = "CE83768C-EDB9-4387-B742-DC98D1A4CA5B - bca392ed5f046de9" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_product" + symbolName = "sexp_from_string" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "1169" + endingLineNumber = "1169" + offsetFromSymbolStart = "206"> + </Location> + <Location + uuid = "CE83768C-EDB9-4387-B742-DC98D1A4CA5B - bca392ed5f046d75" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + symbolName = "sexp_from_string" + moduleName = "lib-gpu-verify" + usesParentBreakpointCondition = "Yes" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "252" - endingLineNumber = "252" - offsetFromSymbolStart = "113"> + startingLineNumber = "1165" + endingLineNumber = "1165" + offsetFromSymbolStart = "96"> </Location> </Locations> </BreakpointContent> @@ -2406,173 +2450,231 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "B9F0C216-49BE-4576-980B-E3E707CF2200" - shouldBeEnabled = "No" - ignoreCount = "0" - continueAfterRunningActions = "No" - filePath = "../source/gmp.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "987" - endingLineNumber = "987" - landmarkName = "mpn_div_qr_1_preinv(qp, np, nn, inv)" - landmarkType = "9"> - </BreakpointContent> - </BreakpointProxy> - <BreakpointProxy - BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> - <BreakpointContent - uuid = "B7D2B136-D2CC-494F-B46C-D6FF5545EE39" + uuid = "4D8DE650-DB66-4341-82CF-F6AD23B1CEDE" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/gmp.c" + filePath = "../source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "4202" - endingLineNumber = "4202" - landmarkName = "mpz_sizeinbase(u, base)" - landmarkType = "9"> - </BreakpointContent> - </BreakpointProxy> - <BreakpointProxy - BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> - <BreakpointContent - uuid = "403AE82D-01F5-40B2-BBD9-A4420ED3D914" - shouldBeEnabled = "No" - ignoreCount = "0" - continueAfterRunningActions = "No" - filePath = "../source/gmp.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "983" - endingLineNumber = "983" - landmarkName = "mpn_div_qr_1_preinv(qp, np, nn, inv)" - landmarkType = "9"> + startingLineNumber = "873" + endingLineNumber = "873"> + <Locations> + <Location + uuid = "4D8DE650-DB66-4341-82CF-F6AD23B1CEDE - ac4f85360ab7eac" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + symbolName = "reference_tests" + moduleName = "lib-gpu-verify" + usesParentBreakpointCondition = "Yes" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "1245" + endingLineNumber = "1245" + offsetFromSymbolStart = "851"> + </Location> + <Location + uuid = "4D8DE650-DB66-4341-82CF-F6AD23B1CEDE - ac4f85360ab7945" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + symbolName = "reference_tests" + moduleName = "lib-gpu-verify" + usesParentBreakpointCondition = "Yes" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "1238" + endingLineNumber = "1238" + offsetFromSymbolStart = "851"> + </Location> + <Location + uuid = "4D8DE650-DB66-4341-82CF-F6AD23B1CEDE - ac4f85360ab7e0f" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + symbolName = "reference_tests" + moduleName = "lib-gpu-verify" + usesParentBreakpointCondition = "Yes" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "1248" + endingLineNumber = "1248" + offsetFromSymbolStart = "1013"> + </Location> + </Locations> </BreakpointContent> </BreakpointProxy> <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "8ECD43E8-C440-47F2-92EE-5C0EFBCD0487" + uuid = "5EE37865-6671-456D-BF88-7BF9E15A6B3A" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/gmp_GPU.c" + filePath = "../source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "490" - endingLineNumber = "490" - landmarkName = "mpz_set(r, x)" + startingLineNumber = "618" + endingLineNumber = "618" + landmarkName = "rsa_tests()" landmarkType = "9"> + <Locations> + <Location + uuid = "5EE37865-6671-456D-BF88-7BF9E15A6B3A - 126d44634feb25b3" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + symbolName = "verify_pairs_with_opencl" + moduleName = "lib-gpu-verify" + usesParentBreakpointCondition = "Yes" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "598" + endingLineNumber = "598" + offsetFromSymbolStart = "4719"> + </Location> + <Location + uuid = "5EE37865-6671-456D-BF88-7BF9E15A6B3A - 126d44634feb24d6" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + symbolName = "verify_pairs_with_opencl" + moduleName = "lib-gpu-verify" + usesParentBreakpointCondition = "Yes" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "593" + endingLineNumber = "593" + offsetFromSymbolStart = "4579"> + </Location> + </Locations> </BreakpointContent> </BreakpointProxy> <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "472223C6-07BA-494A-A0A7-058648BF776C" + uuid = "DB6B0032-27DD-4107-A7D3-27CC57B94237" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/gmp_GPU.c" + filePath = "../source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "487" - endingLineNumber = "487" - landmarkName = "mpz_set(r, x)" - landmarkType = "9"> + startingLineNumber = "867" + endingLineNumber = "867"> </BreakpointContent> </BreakpointProxy> <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "1E44FD05-54D7-4E86-9450-6A8BDE263CE7" + uuid = "64ADE5A5-3C16-4A3A-A62D-9A9A79DCC136" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/gmp_GPU.c" + filePath = "../source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "2797" - endingLineNumber = "2797" - landmarkName = "mont_mulmod(res, a, b, mod)" - landmarkType = "9"> + startingLineNumber = "826" + endingLineNumber = "826"> + <Locations> + <Location + uuid = "64ADE5A5-3C16-4A3A-A62D-9A9A79DCC136 - ac4f85360ab7a30" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + symbolName = "reference_tests" + moduleName = "lib-gpu-verify" + usesParentBreakpointCondition = "Yes" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "1217" + endingLineNumber = "1217" + offsetFromSymbolStart = "213"> + </Location> + <Location + uuid = "64ADE5A5-3C16-4A3A-A62D-9A9A79DCC136 - ac4f85360ab7a4e" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + symbolName = "reference_tests" + moduleName = "lib-gpu-verify" + usesParentBreakpointCondition = "Yes" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "1215" + endingLineNumber = "1215" + offsetFromSymbolStart = "213"> + </Location> + </Locations> </BreakpointContent> </BreakpointProxy> <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "D1044013-3029-4CCB-9700-A4ED809E7749" + uuid = "27D712E3-1EEC-4050-A2B9-CA0FE6F18BD2" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/gmp_GPU.c" + filePath = "../source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "2853" - endingLineNumber = "2853" - landmarkName = "montgomery(signature, exponent, modulus, base, valid)" + startingLineNumber = "550" + endingLineNumber = "550" + landmarkName = "rsa_tests()" landmarkType = "9"> <Locations> <Location - uuid = "D1044013-3029-4CCB-9700-A4ED809E7749 - 941e65ef5d451165" - shouldBeEnabled = "Yes" - ignoreCount = "0" - continueAfterRunningActions = "No" - symbolName = "montgomery" - moduleName = "lib-gpu-verify" - usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "2852" - endingLineNumber = "2852" - offsetFromSymbolStart = "235"> - </Location> - <Location - uuid = "D1044013-3029-4CCB-9700-A4ED809E7749 - 941e65ef5d4511a7" + uuid = "27D712E3-1EEC-4050-A2B9-CA0FE6F18BD2 - 5146ab6be8094991" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "montgomery" + symbolName = "number_of_pairs" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "2850" - endingLineNumber = "2850" - offsetFromSymbolStart = "235"> + startingLineNumber = "476" + endingLineNumber = "476" + offsetFromSymbolStart = "11"> </Location> <Location - uuid = "D1044013-3029-4CCB-9700-A4ED809E7749 - 941e65ef5d451104" + uuid = "27D712E3-1EEC-4050-A2B9-CA0FE6F18BD2 - 5146ab6be80949b6" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "montgomery" + symbolName = "number_of_pairs" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "2853" - endingLineNumber = "2853" - offsetFromSymbolStart = "235"> + startingLineNumber = "477" + endingLineNumber = "477" + offsetFromSymbolStart = "11"> </Location> <Location - uuid = "D1044013-3029-4CCB-9700-A4ED809E7749 - 941e65ef5d4512fa" + uuid = "27D712E3-1EEC-4050-A2B9-CA0FE6F18BD2 - 5146ab6be8094991" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "montgomery" + symbolName = "number_of_pairs" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "2855" - endingLineNumber = "2855" - offsetFromSymbolStart = "235"> + startingLineNumber = "476" + endingLineNumber = "476" + offsetFromSymbolStart = "8"> </Location> </Locations> </BreakpointContent> @@ -2580,94 +2682,94 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "78DCF329-4308-45D8-AC1F-CCBE9A16757A" + uuid = "1D3649C1-4B93-4002-A7A6-5AC0A13BDDBA" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/gmp_GPU.c" + filePath = "lib-gpu-generate/main.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "2898" - endingLineNumber = "2898" - landmarkName = "montgomery(signature, exponent, modulus, base, valid)" + startingLineNumber = "182" + endingLineNumber = "182" + landmarkName = "main(argc, argv)" landmarkType = "9"> </BreakpointContent> </BreakpointProxy> <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "4BE2D23D-FE66-40D8-AAC5-D21A82847405" + uuid = "C5D147D4-9AFA-4D90-A714-8898ECD742A8" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/gmp_GPU.c" + filePath = "lib-gpu-generate/main.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "2896" - endingLineNumber = "2896" - landmarkName = "montgomery(signature, exponent, modulus, base, valid)" + startingLineNumber = "184" + endingLineNumber = "184" + landmarkName = "main(argc, argv)" landmarkType = "9"> </BreakpointContent> </BreakpointProxy> <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "D6011B18-999E-4186-A3BD-BCBFB4665557" + uuid = "43C3A9D0-1E78-4B7C-B790-79BA62006C23" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/gmp_GPU.c" + filePath = "../source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "2664" - endingLineNumber = "2664" - landmarkName = "mont_prepare(b, e, m, r, r_1, ni, M, x)" + startingLineNumber = "616" + endingLineNumber = "616" + landmarkName = "rsa_tests()" landmarkType = "9"> <Locations> <Location - uuid = "D6011B18-999E-4186-A3BD-BCBFB4665557 - 64518ca852e0645" + uuid = "43C3A9D0-1E78-4B7C-B790-79BA62006C23 - 126d44634feb2d7b" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_prepare" + symbolName = "verify_pairs_with_opencl" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "2659" - endingLineNumber = "2659" - offsetFromSymbolStart = "138"> + startingLineNumber = "542" + endingLineNumber = "542" + offsetFromSymbolStart = "330"> </Location> <Location - uuid = "D6011B18-999E-4186-A3BD-BCBFB4665557 - 64518ca852e07f9" + uuid = "43C3A9D0-1E78-4B7C-B790-79BA62006C23 - 126d44634feb2d1a" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_prepare" + symbolName = "verify_pairs_with_opencl" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "2663" - endingLineNumber = "2663" - offsetFromSymbolStart = "180"> + startingLineNumber = "541" + endingLineNumber = "541" + offsetFromSymbolStart = "234"> </Location> <Location - uuid = "D6011B18-999E-4186-A3BD-BCBFB4665557 - 64518ca852e075c" + uuid = "43C3A9D0-1E78-4B7C-B790-79BA62006C23 - 126d44634feb2d1a" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_prepare" + symbolName = "verify_pairs_with_opencl" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "2666" - endingLineNumber = "2666" - offsetFromSymbolStart = "180"> + startingLineNumber = "541" + endingLineNumber = "541" + offsetFromSymbolStart = "229"> </Location> </Locations> </BreakpointContent> @@ -2675,62 +2777,62 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "48FEE708-B88E-43F9-AAF0-4D30F363C472" + uuid = "A6F69856-0EC4-4570-8FCB-05ABC0C321EB" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/gmp_GPU.c" + filePath = "../source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "831" - endingLineNumber = "831" - landmarkName = "mpz_div_qr(q, r, n, d, mode)" + startingLineNumber = "584" + endingLineNumber = "584" + landmarkName = "rsa_tests()" landmarkType = "9"> <Locations> <Location - uuid = "48FEE708-B88E-43F9-AAF0-4D30F363C472 - 50dbcca7228f7fc5" + uuid = "A6F69856-0EC4-4570-8FCB-05ABC0C321EB - 126d44634feb2834" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mpn_invert_3by2" + symbolName = "verify_pairs_with_opencl" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "827" - endingLineNumber = "827" - offsetFromSymbolStart = "931"> + startingLineNumber = "563" + endingLineNumber = "563" + offsetFromSymbolStart = "616"> </Location> <Location - uuid = "48FEE708-B88E-43F9-AAF0-4D30F363C472 - b538a7a206838259" + uuid = "A6F69856-0EC4-4570-8FCB-05ABC0C321EB - 126d44634feb2834" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mpz_div_qr" + symbolName = "verify_pairs_with_opencl" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "834" - endingLineNumber = "834" - offsetFromSymbolStart = "66"> + startingLineNumber = "563" + endingLineNumber = "563" + offsetFromSymbolStart = "624"> </Location> <Location - uuid = "48FEE708-B88E-43F9-AAF0-4D30F363C472 - b538a7a20683823a" + uuid = "A6F69856-0EC4-4570-8FCB-05ABC0C321EB - 126d44634feb2872" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mpz_div_qr" + symbolName = "verify_pairs_with_opencl" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "837" - endingLineNumber = "837" - offsetFromSymbolStart = "66"> + startingLineNumber = "565" + endingLineNumber = "565" + offsetFromSymbolStart = "668"> </Location> </Locations> </BreakpointContent> @@ -2738,125 +2840,63 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "2EE70F0A-89B5-47E5-95F0-727F46783CEE" + uuid = "C7EB9179-6E2F-4B1D-9010-E495BD9BD4FB" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/gmp_GPU.c" + filePath = "../source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "902" - endingLineNumber = "902" - landmarkName = "mpz_div_qr(q, r, n, d, mode)" + startingLineNumber = "576" + endingLineNumber = "576" + landmarkName = "rsa_tests()" landmarkType = "9"> - <Locations> - <Location - uuid = "2EE70F0A-89B5-47E5-95F0-727F46783CEE - b538a7a206838a7e" - shouldBeEnabled = "Yes" - ignoreCount = "0" - continueAfterRunningActions = "No" - symbolName = "mpz_div_qr" - moduleName = "lib-gpu-verify" - usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "897" - endingLineNumber = "897" - offsetFromSymbolStart = "766"> - </Location> - <Location - uuid = "2EE70F0A-89B5-47E5-95F0-727F46783CEE - b538a7a2068389fa" - shouldBeEnabled = "Yes" - ignoreCount = "0" - continueAfterRunningActions = "No" - symbolName = "mpz_div_qr" - moduleName = "lib-gpu-verify" - usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "901" - endingLineNumber = "901" - offsetFromSymbolStart = "800"> - </Location> - <Location - uuid = "2EE70F0A-89B5-47E5-95F0-727F46783CEE - b538a7a206838967" - shouldBeEnabled = "Yes" - ignoreCount = "0" - continueAfterRunningActions = "No" - symbolName = "mpz_div_qr" - moduleName = "lib-gpu-verify" - usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "904" - endingLineNumber = "904" - offsetFromSymbolStart = "800"> - </Location> - </Locations> </BreakpointContent> </BreakpointProxy> <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "98374BB9-2845-4DB0-825F-5112D3F5E50D" + uuid = "147C2BF1-3902-4398-8032-C9447E65EB58" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/gmp_GPU.c" + filePath = "../source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "1028" - endingLineNumber = "1028" - landmarkName = "mpn_div_qr_invert(inv, dp, dn)" + startingLineNumber = "609" + endingLineNumber = "609" + landmarkName = "rsa_tests()" landmarkType = "9"> <Locations> <Location - uuid = "98374BB9-2845-4DB0-825F-5112D3F5E50D - 392da6fc5c4f34b3" - shouldBeEnabled = "Yes" - ignoreCount = "0" - continueAfterRunningActions = "No" - symbolName = "mpn_div_qr_2_invert" - moduleName = "lib-gpu-verify" - usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "1023" - endingLineNumber = "1023" - offsetFromSymbolStart = "282"> - </Location> - <Location - uuid = "98374BB9-2845-4DB0-825F-5112D3F5E50D - 7554351b5843b57" + uuid = "147C2BF1-3902-4398-8032-C9447E65EB58 - 126d44634feb2c73" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mpn_div_qr_invert" + symbolName = "verify_pairs_with_opencl" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "1030" - endingLineNumber = "1030" - offsetFromSymbolStart = "20"> + startingLineNumber = "534" + endingLineNumber = "534" + offsetFromSymbolStart = "206"> </Location> <Location - uuid = "98374BB9-2845-4DB0-825F-5112D3F5E50D - 7554351b5843af4" + uuid = "147C2BF1-3902-4398-8032-C9447E65EB58 - 126d44634feb2c73" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mpn_div_qr_invert" + symbolName = "verify_pairs_with_opencl" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "1033" - endingLineNumber = "1033" - offsetFromSymbolStart = "20"> + startingLineNumber = "534" + endingLineNumber = "534" + offsetFromSymbolStart = "229"> </Location> </Locations> </BreakpointContent> @@ -2864,267 +2904,235 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "8DBF09D6-C8CB-4D1F-B149-A4BCF77FB839" + uuid = "AAE0383B-A1D7-410A-A5D3-DC404A1699C2" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/gmp_GPU.c" + filePath = "../source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "943" - endingLineNumber = "943" - landmarkName = "mpn_div_qr(qp, np, nn, dp, dn)" + startingLineNumber = "563" + endingLineNumber = "563" + landmarkName = "rsa_tests()" landmarkType = "9"> - <Locations> - <Location - uuid = "8DBF09D6-C8CB-4D1F-B149-A4BCF77FB839 - 7090678fa8dcffd6" - shouldBeEnabled = "Yes" - ignoreCount = "0" - continueAfterRunningActions = "No" - symbolName = "mpn_div_qr" - moduleName = "lib-gpu-verify" - usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "949" - endingLineNumber = "949" - offsetFromSymbolStart = "60"> - </Location> - <Location - uuid = "8DBF09D6-C8CB-4D1F-B149-A4BCF77FB839 - 7090678fa8dcffd6" - shouldBeEnabled = "Yes" - ignoreCount = "0" - continueAfterRunningActions = "No" - symbolName = "mpn_div_qr" - moduleName = "lib-gpu-verify" - usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "949" - endingLineNumber = "949" - offsetFromSymbolStart = "66"> - </Location> - <Location - uuid = "8DBF09D6-C8CB-4D1F-B149-A4BCF77FB839 - 7090678fa8dcff6b" - shouldBeEnabled = "Yes" - ignoreCount = "0" - continueAfterRunningActions = "No" - symbolName = "mpn_div_qr" - moduleName = "lib-gpu-verify" - usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "952" - endingLineNumber = "952" - offsetFromSymbolStart = "66"> - </Location> - <Location - uuid = "8DBF09D6-C8CB-4D1F-B149-A4BCF77FB839 - 7090678fa8dcff6b" - shouldBeEnabled = "Yes" - ignoreCount = "0" - continueAfterRunningActions = "No" - symbolName = "mpn_div_qr" - moduleName = "lib-gpu-verify" - usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "952" - endingLineNumber = "952" - offsetFromSymbolStart = "60"> - </Location> - </Locations> </BreakpointContent> </BreakpointProxy> <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "7B64655D-0DD5-4A2E-A066-2B84000FEDCF" + uuid = "F1BE4D1E-FF33-41CD-BFD5-0DE3122948B2" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/gmp_GPU.c" + filePath = "../source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "2835" - endingLineNumber = "2835" - landmarkName = "montgomery(signature, exponent, modulus, base, valid)" + startingLineNumber = "604" + endingLineNumber = "604" + landmarkName = "rsa_tests()" landmarkType = "9"> - <Locations> - <Location - uuid = "7B64655D-0DD5-4A2E-A066-2B84000FEDCF - 941e65ef5d4517f1" - shouldBeEnabled = "Yes" - ignoreCount = "0" - continueAfterRunningActions = "No" - symbolName = "montgomery" - moduleName = "lib-gpu-verify" - usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "2832" - endingLineNumber = "2832" - offsetFromSymbolStart = "88"> - </Location> - <Location - uuid = "7B64655D-0DD5-4A2E-A066-2B84000FEDCF - 941e65ef5d451756" - shouldBeEnabled = "Yes" - ignoreCount = "0" - continueAfterRunningActions = "No" - symbolName = "montgomery" - moduleName = "lib-gpu-verify" - usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "2835" - endingLineNumber = "2835" - offsetFromSymbolStart = "88"> - </Location> - <Location - uuid = "7B64655D-0DD5-4A2E-A066-2B84000FEDCF - 941e65ef5d451714" - shouldBeEnabled = "Yes" - ignoreCount = "0" - continueAfterRunningActions = "No" - symbolName = "montgomery" - moduleName = "lib-gpu-verify" - usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "2837" - endingLineNumber = "2837" - offsetFromSymbolStart = "88"> - </Location> - </Locations> </BreakpointContent> </BreakpointProxy> <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "0307EA98-8D0F-4EAD-8ECA-A057B11BE8EB" + uuid = "ECF44F24-633C-4BA1-B4A0-C74482A696F8" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/gmp_GPU.c" + filePath = "../source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "2581" - endingLineNumber = "2581" - landmarkName = "mpz_set_str(r, sp, base)" + startingLineNumber = "354" + endingLineNumber = "354" + landmarkName = "opencl_prepare(info, state, bases, b_len, exponents, e_len, moduli, m_len, signatures, s_len, pks, n)" landmarkType = "9"> </BreakpointContent> </BreakpointProxy> <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "C92C231A-CD9B-47F3-91FF-937373714089" + uuid = "7FF0EDA0-A48D-4F84-AA0A-780C0A386787" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/gmp_GPU.c" + filePath = "../source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "851" - endingLineNumber = "851" - landmarkName = "mpz_div_qr(q, r, n, d, mode)" + startingLineNumber = "300" + endingLineNumber = "300" + landmarkName = "opencl_prepare(info, state, bases, b_len, exponents, e_len, moduli, m_len, signatures, s_len, pks, n)" landmarkType = "9"> </BreakpointContent> </BreakpointProxy> <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "BBB53FD7-763F-4D9E-85C9-A827113A6971" + uuid = "2E961D1A-84DE-451D-BCEF-8714ED489E88" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/gmp_GPU.c" + filePath = "../source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "2208" - endingLineNumber = "2208" - landmarkName = "mpz_gcdext(g, s, t, u, v)" + startingLineNumber = "283" + endingLineNumber = "283" + landmarkName = "opencl_prepare(info, state, bases, b_len, exponents, e_len, moduli, m_len, signatures, s_len, pks, n)" landmarkType = "9"> </BreakpointContent> </BreakpointProxy> <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "A13F2AE0-69B2-403C-A34C-03F8E2D0358E" + uuid = "EC48D20A-0217-4010-9668-47BB821C7402" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/gmp_GPU.c" + filePath = "../source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "2659" - endingLineNumber = "2659" - landmarkName = "mont_prepare(b, e, m, r, r_1, ni, M, x)" + startingLineNumber = "276" + endingLineNumber = "276" + landmarkName = "opencl_prepare(info, state, bases, b_len, exponents, e_len, moduli, m_len, signatures, s_len, pks, n)" landmarkType = "9"> </BreakpointContent> </BreakpointProxy> <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "F1B8A13D-2350-47BF-BCEB-CDEAD7827EA9" - shouldBeEnabled = "Yes" + uuid = "7DFFF96C-5204-43D6-91C9-06280AC7CB2D" + shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/gmp_GPU.c" + filePath = "../source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "2914" - endingLineNumber = "2914" - landmarkName = "montgomery(signature, exponent, modulus, base, valid)" + startingLineNumber = "598" + endingLineNumber = "598" + landmarkName = "rsa_tests()" + landmarkType = "9"> + </BreakpointContent> + </BreakpointProxy> + <BreakpointProxy + BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> + <BreakpointContent + uuid = "B5C98CC6-07D0-4CBC-81A5-126BF73359EE" + shouldBeEnabled = "No" + ignoreCount = "0" + continueAfterRunningActions = "No" + filePath = "../source/rsa-test.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "511" + endingLineNumber = "511" + landmarkName = "gpu_execute(info, state, bases, b_len, exponents, e_len, moduli, m_len, signatures, s_len, pks, n)" + landmarkType = "9"> + </BreakpointContent> + </BreakpointProxy> + <BreakpointProxy + BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> + <BreakpointContent + uuid = "4BFDCF8B-3D15-452B-8DC2-522A18D98765" + shouldBeEnabled = "No" + ignoreCount = "0" + continueAfterRunningActions = "No" + filePath = "../source/rsa-test.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "429" + endingLineNumber = "429" + landmarkName = "opencl_results(info, state, timed)" landmarkType = "9"> <Locations> <Location - uuid = "F1B8A13D-2350-47BF-BCEB-CDEAD7827EA9 - 941e65ef5d451925" + uuid = "4BFDCF8B-3D15-452B-8DC2-522A18D98765 - 5ab4451edf722b69" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "montgomery" + symbolName = "opencl_results" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "2916" - endingLineNumber = "2916" - offsetFromSymbolStart = "990"> + startingLineNumber = "426" + endingLineNumber = "426" + offsetFromSymbolStart = "434"> </Location> <Location - uuid = "F1B8A13D-2350-47BF-BCEB-CDEAD7827EA9 - 941e65ef5d451906" + uuid = "4BFDCF8B-3D15-452B-8DC2-522A18D98765 - 5ab4451edf722aed" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "montgomery" + symbolName = "opencl_results" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "2915" - endingLineNumber = "2915" - offsetFromSymbolStart = "1009"> + startingLineNumber = "430" + endingLineNumber = "430" + offsetFromSymbolStart = "434"> </Location> <Location - uuid = "F1B8A13D-2350-47BF-BCEB-CDEAD7827EA9 - 941e65ef5d451967" + uuid = "4BFDCF8B-3D15-452B-8DC2-522A18D98765 - 5ab4451edf722a50" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "montgomery" + symbolName = "opencl_results" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/gmp_GPU.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "2914" - endingLineNumber = "2914" - offsetFromSymbolStart = "990"> + startingLineNumber = "433" + endingLineNumber = "433" + offsetFromSymbolStart = "434"> + </Location> + <Location + uuid = "4BFDCF8B-3D15-452B-8DC2-522A18D98765 - 5ab4451edf722a2f" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + symbolName = "opencl_results" + moduleName = "lib-gpu-verify" + usesParentBreakpointCondition = "Yes" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "432" + endingLineNumber = "432" + offsetFromSymbolStart = "434"> + </Location> + <Location + uuid = "4BFDCF8B-3D15-452B-8DC2-522A18D98765 - 5ab4451edf722a0e" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + symbolName = "opencl_results" + moduleName = "lib-gpu-verify" + usesParentBreakpointCondition = "Yes" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "431" + endingLineNumber = "431" + offsetFromSymbolStart = "434"> + </Location> + <Location + uuid = "4BFDCF8B-3D15-452B-8DC2-522A18D98765 - 5ab4451edf722acc" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + symbolName = "opencl_results" + moduleName = "lib-gpu-verify" + usesParentBreakpointCondition = "Yes" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "429" + endingLineNumber = "429" + offsetFromSymbolStart = "434"> </Location> </Locations> </BreakpointContent> @@ -3132,194 +3140,266 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "DF3913BB-0DF6-48AA-A6C9-ECFDE4C32A54" + uuid = "67C54221-36A3-470A-B162-32347275EF10" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/gmp.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "982" - endingLineNumber = "982" - landmarkName = "mpn_div_qr_1_preinv(qp, np, nn, inv)" - landmarkType = "9"> - </BreakpointContent> - </BreakpointProxy> - <BreakpointProxy - BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> - <BreakpointContent - uuid = "E3DBFC38-2984-402B-8763-F6B5E1731C25" - shouldBeEnabled = "Yes" - ignoreCount = "0" - continueAfterRunningActions = "No" - filePath = "../source/gmp_GPU.c" + filePath = "../source/rsa-test.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "1982" - endingLineNumber = "1982" - landmarkName = "mpn_common_scan(limb, i, up, un, ux)" + startingLineNumber = "370" + endingLineNumber = "370" + landmarkName = "opencl_exec_kernel(info, state)" landmarkType = "9"> </BreakpointContent> </BreakpointProxy> <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "611649C6-F572-4BD7-8292-D34AAEFBEB60" + uuid = "B5F8D09B-DBD6-4D27-9F18-0AA02E970656" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/rsa-test.c" + filePath = "../source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "784" - endingLineNumber = "784"> + startingLineNumber = "23" + endingLineNumber = "23" + landmarkName = "montmodmult_pairs_from_files(x_buf, m_buf, r_1_buf, n_buf, ni_buf, msg_buf, exp_buf, mod_buf, s_buf, pks, n)" + landmarkType = "9"> </BreakpointContent> </BreakpointProxy> <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "05F8D35E-91FD-4ACB-8F84-DB68890486D1" + uuid = "3947C3E7-D4B7-443E-9C64-26FA73518839" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/rsa-test.c" + filePath = "../source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "768" - endingLineNumber = "768"> + startingLineNumber = "110" + endingLineNumber = "110" + landmarkName = "montmodmult_pairs_from_files(x_buf, m_buf, r_1_buf, n_buf, ni_buf, msg_buf, exp_buf, mod_buf, s_buf, pks, n)" + landmarkType = "9"> + <Locations> + <Location + uuid = "3947C3E7-D4B7-443E-9C64-26FA73518839 - 18037aea005af134" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + symbolName = "montmodmult_pairs_from_files" + moduleName = "lib-gpu-verify" + usesParentBreakpointCondition = "Yes" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "92" + endingLineNumber = "92" + offsetFromSymbolStart = "928"> + </Location> + <Location + uuid = "3947C3E7-D4B7-443E-9C64-26FA73518839 - 18037aea005af115" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + symbolName = "montmodmult_pairs_from_files" + moduleName = "lib-gpu-verify" + usesParentBreakpointCondition = "Yes" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "91" + endingLineNumber = "91" + offsetFromSymbolStart = "1023"> + </Location> + </Locations> </BreakpointContent> </BreakpointProxy> <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "82396ACE-5048-4985-962E-C4918C15ABD5" + uuid = "700C8EE6-BC1E-427F-B1C6-E018D10BDEC8" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/rsa-test.c" + filePath = "../source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "754" - endingLineNumber = "754"> + startingLineNumber = "588" + endingLineNumber = "588" + landmarkName = "mont_modmult_tests()" + landmarkType = "9"> + <Locations> + <Location + uuid = "700C8EE6-BC1E-427F-B1C6-E018D10BDEC8 - 3a6dd6ae57b14a5e" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + symbolName = "mont_modmult_tests" + moduleName = "lib-gpu-verify" + usesParentBreakpointCondition = "Yes" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "462" + endingLineNumber = "462" + offsetFromSymbolStart = "23"> + </Location> + <Location + uuid = "700C8EE6-BC1E-427F-B1C6-E018D10BDEC8 - 3a6dd6ae57b14a5e" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + symbolName = "mont_modmult_tests" + moduleName = "lib-gpu-verify" + usesParentBreakpointCondition = "Yes" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "462" + endingLineNumber = "462" + offsetFromSymbolStart = "14"> + </Location> + </Locations> </BreakpointContent> </BreakpointProxy> <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "CE83768C-EDB9-4387-B742-DC98D1A4CA5B" + uuid = "DB1A1F80-9BCD-4641-8418-19BE4BCBC405" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/rsa-test.c" + filePath = "../source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "761" - endingLineNumber = "761"> + startingLineNumber = "102" + endingLineNumber = "102" + landmarkName = "montmodmult_pairs_from_files(x_buf, m_buf, r_1_buf, n_buf, ni_buf, msg_buf, exp_buf, mod_buf, s_buf, pks, n)" + landmarkType = "9"> + </BreakpointContent> + </BreakpointProxy> + <BreakpointProxy + BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> + <BreakpointContent + uuid = "D2BA3F25-8290-42F4-8C03-1F8F1A3C497D" + shouldBeEnabled = "No" + ignoreCount = "0" + continueAfterRunningActions = "No" + filePath = "../source/montmodmult.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "638" + endingLineNumber = "638" + landmarkName = "mont_modmult_tests()" + landmarkType = "9"> <Locations> <Location - uuid = "CE83768C-EDB9-4387-B742-DC98D1A4CA5B - bca392ed5f046d52" + uuid = "D2BA3F25-8290-42F4-8C03-1F8F1A3C497D - 3a6dd6ae57b149b8" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "sexp_from_string" + symbolName = "mont_modmult_tests" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "1164" - endingLineNumber = "1164" - offsetFromSymbolStart = "100"> + startingLineNumber = "492" + endingLineNumber = "492" + offsetFromSymbolStart = "437"> </Location> <Location - uuid = "CE83768C-EDB9-4387-B742-DC98D1A4CA5B - bca392ed5f046d37" + uuid = "D2BA3F25-8290-42F4-8C03-1F8F1A3C497D - 3a6dd6ae57b149b8" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "sexp_from_string" + symbolName = "mont_modmult_tests" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "1167" - endingLineNumber = "1167" - offsetFromSymbolStart = "111"> + startingLineNumber = "492" + endingLineNumber = "492" + offsetFromSymbolStart = "473"> </Location> <Location - uuid = "CE83768C-EDB9-4387-B742-DC98D1A4CA5B - bca392ed5f046d37" + uuid = "D2BA3F25-8290-42F4-8C03-1F8F1A3C497D - 3a6dd6ae57b14e3c" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "sexp_from_string" + symbolName = "mont_modmult_tests" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "1167" - endingLineNumber = "1167" - offsetFromSymbolStart = "108"> + startingLineNumber = "496" + endingLineNumber = "496" + offsetFromSymbolStart = "473"> </Location> <Location - uuid = "CE83768C-EDB9-4387-B742-DC98D1A4CA5B - bca392ed5f046d37" + uuid = "D2BA3F25-8290-42F4-8C03-1F8F1A3C497D - 3a6dd6ae57b151d5" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "sexp_from_string" + symbolName = "mont_modmult_tests" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "1167" - endingLineNumber = "1167" - offsetFromSymbolStart = "182"> + startingLineNumber = "551" + endingLineNumber = "551" + offsetFromSymbolStart = "488"> </Location> <Location - uuid = "CE83768C-EDB9-4387-B742-DC98D1A4CA5B - bca392ed5f046de9" + uuid = "D2BA3F25-8290-42F4-8C03-1F8F1A3C497D - 3a6dd6ae57b15742" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "sexp_from_string" + symbolName = "mont_modmult_tests" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "1169" - endingLineNumber = "1169" - offsetFromSymbolStart = "203"> + startingLineNumber = "562" + endingLineNumber = "562" + offsetFromSymbolStart = "488"> </Location> <Location - uuid = "CE83768C-EDB9-4387-B742-DC98D1A4CA5B - bca392ed5f046de9" + uuid = "D2BA3F25-8290-42F4-8C03-1F8F1A3C497D - 3a6dd6ae57b15742" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "sexp_from_string" + symbolName = "mont_modmult_tests" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "1169" - endingLineNumber = "1169" - offsetFromSymbolStart = "206"> + startingLineNumber = "562" + endingLineNumber = "562" + offsetFromSymbolStart = "538"> </Location> <Location - uuid = "CE83768C-EDB9-4387-B742-DC98D1A4CA5B - bca392ed5f046d75" + uuid = "D2BA3F25-8290-42F4-8C03-1F8F1A3C497D - 3a6dd6ae57b15b85" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "sexp_from_string" + symbolName = "mont_modmult_tests" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "1165" - endingLineNumber = "1165" - offsetFromSymbolStart = "96"> + startingLineNumber = "599" + endingLineNumber = "599" + offsetFromSymbolStart = "538"> </Location> </Locations> </BreakpointContent> @@ -3327,60 +3407,47 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "4D8DE650-DB66-4341-82CF-F6AD23B1CEDE" + uuid = "877D065B-1222-4A88-A7A1-36AA5BAAA34B" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/rsa-test.c" + filePath = "../source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "873" - endingLineNumber = "873"> + startingLineNumber = "227" + endingLineNumber = "227" + landmarkName = "modmult_opencl_prepare(info, state, x_buf, m_buf, n_buf, ni_buf, msg_buf, exp_buf, mod_buf, s_buf, pks, n)" + landmarkType = "9"> <Locations> <Location - uuid = "4D8DE650-DB66-4341-82CF-F6AD23B1CEDE - ac4f85360ab7eac" - shouldBeEnabled = "Yes" - ignoreCount = "0" - continueAfterRunningActions = "No" - symbolName = "reference_tests" - moduleName = "lib-gpu-verify" - usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "1245" - endingLineNumber = "1245" - offsetFromSymbolStart = "851"> - </Location> - <Location - uuid = "4D8DE650-DB66-4341-82CF-F6AD23B1CEDE - ac4f85360ab7945" + uuid = "877D065B-1222-4A88-A7A1-36AA5BAAA34B - 7ea67c6850ea9357" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "reference_tests" + symbolName = "modmult_opencl_prepare" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "1238" - endingLineNumber = "1238" - offsetFromSymbolStart = "851"> + startingLineNumber = "194" + endingLineNumber = "194" + offsetFromSymbolStart = "108"> </Location> <Location - uuid = "4D8DE650-DB66-4341-82CF-F6AD23B1CEDE - ac4f85360ab7e0f" + uuid = "877D065B-1222-4A88-A7A1-36AA5BAAA34B - 7ea67c6850ea90f0" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "reference_tests" + symbolName = "modmult_opencl_prepare" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "1248" - endingLineNumber = "1248" - offsetFromSymbolStart = "1013"> + startingLineNumber = "199" + endingLineNumber = "199" + offsetFromSymbolStart = "104"> </Location> </Locations> </BreakpointContent> @@ -3388,47 +3455,78 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "5EE37865-6671-456D-BF88-7BF9E15A6B3A" + uuid = "0919DE7F-CA68-40D2-98C2-CDC334661F60" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/rsa-test.c" + filePath = "../source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "618" - endingLineNumber = "618" - landmarkName = "rsa_tests()" + startingLineNumber = "217" + endingLineNumber = "217" + landmarkName = "modmult_opencl_prepare(info, state, x_buf, m_buf, n_buf, ni_buf, msg_buf, exp_buf, mod_buf, s_buf, pks, n)" + landmarkType = "9"> + </BreakpointContent> + </BreakpointProxy> + <BreakpointProxy + BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> + <BreakpointContent + uuid = "4B27D588-7D34-4BD1-A24D-4C6E8D39B984" + shouldBeEnabled = "No" + ignoreCount = "0" + continueAfterRunningActions = "No" + filePath = "../source/montmodmult.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "436" + endingLineNumber = "436" + landmarkName = "modmult_opencl_results(info, state, timed, msg_buf, r_1_buf, n_buf, s_buf, mod_buf, n)" landmarkType = "9"> <Locations> <Location - uuid = "5EE37865-6671-456D-BF88-7BF9E15A6B3A - 126d44634feb25b3" + uuid = "4B27D588-7D34-4BD1-A24D-4C6E8D39B984 - b46ebf1cc4a0b9c0" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "verify_pairs_with_opencl" + symbolName = "modmult_opencl_results" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "598" - endingLineNumber = "598" - offsetFromSymbolStart = "4719"> + startingLineNumber = "346" + endingLineNumber = "346" + offsetFromSymbolStart = "269"> </Location> <Location - uuid = "5EE37865-6671-456D-BF88-7BF9E15A6B3A - 126d44634feb24d6" + uuid = "4B27D588-7D34-4BD1-A24D-4C6E8D39B984 - b46ebf1cc4a0b9c0" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "verify_pairs_with_opencl" + symbolName = "modmult_opencl_results" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "593" - endingLineNumber = "593" - offsetFromSymbolStart = "4579"> + startingLineNumber = "346" + endingLineNumber = "346" + offsetFromSymbolStart = "259"> + </Location> + <Location + uuid = "4B27D588-7D34-4BD1-A24D-4C6E8D39B984 - b46ebf1cc4a0b9c0" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + symbolName = "modmult_opencl_results" + moduleName = "lib-gpu-verify" + usesParentBreakpointCondition = "Yes" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "346" + endingLineNumber = "346" + offsetFromSymbolStart = "256"> </Location> </Locations> </BreakpointContent> @@ -3436,59 +3534,47 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "DB6B0032-27DD-4107-A7D3-27CC57B94237" - shouldBeEnabled = "No" - ignoreCount = "0" - continueAfterRunningActions = "No" - filePath = "../source/rsa-test.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "867" - endingLineNumber = "867"> - </BreakpointContent> - </BreakpointProxy> - <BreakpointProxy - BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> - <BreakpointContent - uuid = "64ADE5A5-3C16-4A3A-A62D-9A9A79DCC136" + uuid = "800CDD46-DF8C-4E7E-A8E0-2BC47B0E60D2" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/rsa-test.c" + filePath = "../source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "826" - endingLineNumber = "826"> + startingLineNumber = "229" + endingLineNumber = "229" + landmarkName = "modmult_opencl_prepare(info, state, x_buf, m_buf, n_buf, ni_buf, msg_buf, exp_buf, mod_buf, s_buf, pks, n)" + landmarkType = "9"> <Locations> <Location - uuid = "64ADE5A5-3C16-4A3A-A62D-9A9A79DCC136 - ac4f85360ab7a30" + uuid = "800CDD46-DF8C-4E7E-A8E0-2BC47B0E60D2 - 7ea67c6850ea90d3" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "reference_tests" + symbolName = "modmult_opencl_prepare" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "1217" - endingLineNumber = "1217" - offsetFromSymbolStart = "213"> + startingLineNumber = "198" + endingLineNumber = "198" + offsetFromSymbolStart = "119"> </Location> <Location - uuid = "64ADE5A5-3C16-4A3A-A62D-9A9A79DCC136 - ac4f85360ab7a4e" + uuid = "800CDD46-DF8C-4E7E-A8E0-2BC47B0E60D2 - 7ea67c6850ea90be" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "reference_tests" + symbolName = "modmult_opencl_prepare" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "1215" - endingLineNumber = "1215" - offsetFromSymbolStart = "213"> + startingLineNumber = "201" + endingLineNumber = "201" + offsetFromSymbolStart = "116"> </Location> </Locations> </BreakpointContent> @@ -3496,520 +3582,257 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "27D712E3-1EEC-4050-A2B9-CA0FE6F18BD2" + uuid = "84A684AB-D668-4B78-9FD1-2540A08574E3" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/rsa-test.c" + filePath = "../source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "550" - endingLineNumber = "550" - landmarkName = "rsa_tests()" + startingLineNumber = "395" + endingLineNumber = "395" + landmarkName = "modmult_opencl_results(info, state, timed, msg_buf, r_1_buf, n_buf, s_buf, mod_buf, n)" landmarkType = "9"> <Locations> <Location - uuid = "27D712E3-1EEC-4050-A2B9-CA0FE6F18BD2 - 5146ab6be8094991" + uuid = "84A684AB-D668-4B78-9FD1-2540A08574E3 - b46ebf1cc4a0ba5c" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "number_of_pairs" + symbolName = "modmult_opencl_results" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "476" - endingLineNumber = "476" - offsetFromSymbolStart = "11"> + startingLineNumber = "358" + endingLineNumber = "358" + offsetFromSymbolStart = "361"> </Location> <Location - uuid = "27D712E3-1EEC-4050-A2B9-CA0FE6F18BD2 - 5146ab6be80949b6" + uuid = "84A684AB-D668-4B78-9FD1-2540A08574E3 - b46ebf1cc4a0ba7d" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "number_of_pairs" + symbolName = "modmult_opencl_results" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "477" - endingLineNumber = "477" - offsetFromSymbolStart = "11"> + startingLineNumber = "357" + endingLineNumber = "357" + offsetFromSymbolStart = "351"> </Location> <Location - uuid = "27D712E3-1EEC-4050-A2B9-CA0FE6F18BD2 - 5146ab6be8094991" + uuid = "84A684AB-D668-4B78-9FD1-2540A08574E3 - b46ebf1cc4a0ba3f" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "number_of_pairs" + symbolName = "modmult_opencl_results" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "476" - endingLineNumber = "476" - offsetFromSymbolStart = "8"> + startingLineNumber = "359" + endingLineNumber = "359" + offsetFromSymbolStart = "351"> </Location> - </Locations> - </BreakpointContent> - </BreakpointProxy> - <BreakpointProxy - BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> - <BreakpointContent - uuid = "1D3649C1-4B93-4002-A7A6-5AC0A13BDDBA" - shouldBeEnabled = "No" - ignoreCount = "0" - continueAfterRunningActions = "No" - filePath = "lib-gpu-generate/main.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "182" - endingLineNumber = "182" - landmarkName = "main(argc, argv)" - landmarkType = "9"> - </BreakpointContent> - </BreakpointProxy> - <BreakpointProxy - BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> - <BreakpointContent - uuid = "C5D147D4-9AFA-4D90-A714-8898ECD742A8" - shouldBeEnabled = "No" - ignoreCount = "0" - continueAfterRunningActions = "No" - filePath = "lib-gpu-generate/main.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "184" - endingLineNumber = "184" - landmarkName = "main(argc, argv)" - landmarkType = "9"> - </BreakpointContent> - </BreakpointProxy> - <BreakpointProxy - BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> - <BreakpointContent - uuid = "43C3A9D0-1E78-4B7C-B790-79BA62006C23" - shouldBeEnabled = "No" - ignoreCount = "0" - continueAfterRunningActions = "No" - filePath = "../source/rsa-test.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "616" - endingLineNumber = "616" - landmarkName = "rsa_tests()" - landmarkType = "9"> - <Locations> <Location - uuid = "43C3A9D0-1E78-4B7C-B790-79BA62006C23 - 126d44634feb2d7b" + uuid = "84A684AB-D668-4B78-9FD1-2540A08574E3 - b46ebf1cc4a0ba5c" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "verify_pairs_with_opencl" + symbolName = "modmult_opencl_results" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "542" - endingLineNumber = "542" - offsetFromSymbolStart = "330"> + startingLineNumber = "358" + endingLineNumber = "358" + offsetFromSymbolStart = "351"> </Location> <Location - uuid = "43C3A9D0-1E78-4B7C-B790-79BA62006C23 - 126d44634feb2d1a" + uuid = "84A684AB-D668-4B78-9FD1-2540A08574E3 - b46ebf1cc4a0ba1e" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "verify_pairs_with_opencl" + symbolName = "modmult_opencl_results" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "541" - endingLineNumber = "541" - offsetFromSymbolStart = "234"> + startingLineNumber = "360" + endingLineNumber = "360" + offsetFromSymbolStart = "351"> </Location> <Location - uuid = "43C3A9D0-1E78-4B7C-B790-79BA62006C23 - 126d44634feb2d1a" + uuid = "84A684AB-D668-4B78-9FD1-2540A08574E3 - b46ebf1cc4a0bbd0" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "verify_pairs_with_opencl" + symbolName = "modmult_opencl_results" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "541" - endingLineNumber = "541" - offsetFromSymbolStart = "229"> + startingLineNumber = "362" + endingLineNumber = "362" + offsetFromSymbolStart = "351"> </Location> - </Locations> - </BreakpointContent> - </BreakpointProxy> - <BreakpointProxy - BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> - <BreakpointContent - uuid = "A6F69856-0EC4-4570-8FCB-05ABC0C321EB" - shouldBeEnabled = "No" - ignoreCount = "0" - continueAfterRunningActions = "No" - filePath = "../source/rsa-test.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "584" - endingLineNumber = "584" - landmarkName = "rsa_tests()" - landmarkType = "9"> - <Locations> <Location - uuid = "A6F69856-0EC4-4570-8FCB-05ABC0C321EB - 126d44634feb2834" + uuid = "84A684AB-D668-4B78-9FD1-2540A08574E3 - b46ebf1cc4a0bb75" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "verify_pairs_with_opencl" + symbolName = "modmult_opencl_results" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "563" - endingLineNumber = "563" - offsetFromSymbolStart = "616"> + startingLineNumber = "365" + endingLineNumber = "365" + offsetFromSymbolStart = "351"> </Location> <Location - uuid = "A6F69856-0EC4-4570-8FCB-05ABC0C321EB - 126d44634feb2834" + uuid = "84A684AB-D668-4B78-9FD1-2540A08574E3 - b46ebf1cc4a041ce" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "verify_pairs_with_opencl" + symbolName = "modmult_opencl_results" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "563" - endingLineNumber = "563" - offsetFromSymbolStart = "624"> + startingLineNumber = "408" + endingLineNumber = "408" + offsetFromSymbolStart = "369"> </Location> <Location - uuid = "A6F69856-0EC4-4570-8FCB-05ABC0C321EB - 126d44634feb2872" + uuid = "84A684AB-D668-4B78-9FD1-2540A08574E3 - b46ebf1cc4a0be9b" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "verify_pairs_with_opencl" + symbolName = "modmult_opencl_results" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "565" - endingLineNumber = "565" - offsetFromSymbolStart = "668"> + startingLineNumber = "387" + endingLineNumber = "387" + offsetFromSymbolStart = "394"> </Location> - </Locations> - </BreakpointContent> - </BreakpointProxy> - <BreakpointProxy - BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> - <BreakpointContent - uuid = "C7EB9179-6E2F-4B1D-9010-E495BD9BD4FB" - shouldBeEnabled = "No" - ignoreCount = "0" - continueAfterRunningActions = "No" - filePath = "../source/rsa-test.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "576" - endingLineNumber = "576" - landmarkName = "rsa_tests()" - landmarkType = "9"> - </BreakpointContent> - </BreakpointProxy> - <BreakpointProxy - BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> - <BreakpointContent - uuid = "147C2BF1-3902-4398-8032-C9447E65EB58" - shouldBeEnabled = "No" - ignoreCount = "0" - continueAfterRunningActions = "No" - filePath = "../source/rsa-test.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "609" - endingLineNumber = "609" - landmarkName = "rsa_tests()" - landmarkType = "9"> - <Locations> <Location - uuid = "147C2BF1-3902-4398-8032-C9447E65EB58 - 126d44634feb2c73" + uuid = "84A684AB-D668-4B78-9FD1-2540A08574E3 - b46ebf1cc4a0bd45" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "verify_pairs_with_opencl" + symbolName = "modmult_opencl_results" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "534" - endingLineNumber = "534" - offsetFromSymbolStart = "206"> + startingLineNumber = "381" + endingLineNumber = "381" + offsetFromSymbolStart = "370"> </Location> <Location - uuid = "147C2BF1-3902-4398-8032-C9447E65EB58 - 126d44634feb2c73" - shouldBeEnabled = "Yes" - ignoreCount = "0" - continueAfterRunningActions = "No" - symbolName = "verify_pairs_with_opencl" - moduleName = "lib-gpu-verify" - usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "534" - endingLineNumber = "534" - offsetFromSymbolStart = "229"> - </Location> - </Locations> - </BreakpointContent> - </BreakpointProxy> - <BreakpointProxy - BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> - <BreakpointContent - uuid = "AAE0383B-A1D7-410A-A5D3-DC404A1699C2" - shouldBeEnabled = "No" - ignoreCount = "0" - continueAfterRunningActions = "No" - filePath = "../source/rsa-test.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "563" - endingLineNumber = "563" - landmarkName = "rsa_tests()" - landmarkType = "9"> - </BreakpointContent> - </BreakpointProxy> - <BreakpointProxy - BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> - <BreakpointContent - uuid = "F1BE4D1E-FF33-41CD-BFD5-0DE3122948B2" - shouldBeEnabled = "No" - ignoreCount = "0" - continueAfterRunningActions = "No" - filePath = "../source/rsa-test.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "604" - endingLineNumber = "604" - landmarkName = "rsa_tests()" - landmarkType = "9"> - </BreakpointContent> - </BreakpointProxy> - <BreakpointProxy - BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> - <BreakpointContent - uuid = "ECF44F24-633C-4BA1-B4A0-C74482A696F8" - shouldBeEnabled = "No" - ignoreCount = "0" - continueAfterRunningActions = "No" - filePath = "../source/rsa-test.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "354" - endingLineNumber = "354" - landmarkName = "opencl_prepare(info, state, bases, b_len, exponents, e_len, moduli, m_len, signatures, s_len, pks, n)" - landmarkType = "9"> - </BreakpointContent> - </BreakpointProxy> - <BreakpointProxy - BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> - <BreakpointContent - uuid = "7FF0EDA0-A48D-4F84-AA0A-780C0A386787" - shouldBeEnabled = "No" - ignoreCount = "0" - continueAfterRunningActions = "No" - filePath = "../source/rsa-test.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "300" - endingLineNumber = "300" - landmarkName = "opencl_prepare(info, state, bases, b_len, exponents, e_len, moduli, m_len, signatures, s_len, pks, n)" - landmarkType = "9"> - </BreakpointContent> - </BreakpointProxy> - <BreakpointProxy - BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> - <BreakpointContent - uuid = "2E961D1A-84DE-451D-BCEF-8714ED489E88" - shouldBeEnabled = "No" - ignoreCount = "0" - continueAfterRunningActions = "No" - filePath = "../source/rsa-test.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "283" - endingLineNumber = "283" - landmarkName = "opencl_prepare(info, state, bases, b_len, exponents, e_len, moduli, m_len, signatures, s_len, pks, n)" - landmarkType = "9"> - </BreakpointContent> - </BreakpointProxy> - <BreakpointProxy - BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> - <BreakpointContent - uuid = "EC48D20A-0217-4010-9668-47BB821C7402" - shouldBeEnabled = "No" - ignoreCount = "0" - continueAfterRunningActions = "No" - filePath = "../source/rsa-test.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "276" - endingLineNumber = "276" - landmarkName = "opencl_prepare(info, state, bases, b_len, exponents, e_len, moduli, m_len, signatures, s_len, pks, n)" - landmarkType = "9"> - </BreakpointContent> - </BreakpointProxy> - <BreakpointProxy - BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> - <BreakpointContent - uuid = "7DFFF96C-5204-43D6-91C9-06280AC7CB2D" - shouldBeEnabled = "No" - ignoreCount = "0" - continueAfterRunningActions = "No" - filePath = "../source/rsa-test.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "598" - endingLineNumber = "598" - landmarkName = "rsa_tests()" - landmarkType = "9"> - </BreakpointContent> - </BreakpointProxy> - <BreakpointProxy - BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> - <BreakpointContent - uuid = "B5C98CC6-07D0-4CBC-81A5-126BF73359EE" - shouldBeEnabled = "No" - ignoreCount = "0" - continueAfterRunningActions = "No" - filePath = "../source/rsa-test.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "511" - endingLineNumber = "511" - landmarkName = "gpu_execute(info, state, bases, b_len, exponents, e_len, moduli, m_len, signatures, s_len, pks, n)" - landmarkType = "9"> - </BreakpointContent> - </BreakpointProxy> - <BreakpointProxy - BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> - <BreakpointContent - uuid = "4BFDCF8B-3D15-452B-8DC2-522A18D98765" - shouldBeEnabled = "No" - ignoreCount = "0" - continueAfterRunningActions = "No" - filePath = "../source/rsa-test.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "429" - endingLineNumber = "429" - landmarkName = "opencl_results(info, state, timed)" - landmarkType = "9"> - <Locations> - <Location - uuid = "4BFDCF8B-3D15-452B-8DC2-522A18D98765 - 5ab4451edf722b69" + uuid = "84A684AB-D668-4B78-9FD1-2540A08574E3 - b46ebf1cc4a0bed9" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "opencl_results" + symbolName = "modmult_opencl_results" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "426" - endingLineNumber = "426" - offsetFromSymbolStart = "434"> + startingLineNumber = "385" + endingLineNumber = "385" + offsetFromSymbolStart = "370"> </Location> <Location - uuid = "4BFDCF8B-3D15-452B-8DC2-522A18D98765 - 5ab4451edf722aed" + uuid = "84A684AB-D668-4B78-9FD1-2540A08574E3 - b46ebf1cc4a0bed9" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "opencl_results" + symbolName = "modmult_opencl_results" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "430" - endingLineNumber = "430" - offsetFromSymbolStart = "434"> + startingLineNumber = "385" + endingLineNumber = "385" + offsetFromSymbolStart = "374"> </Location> <Location - uuid = "4BFDCF8B-3D15-452B-8DC2-522A18D98765 - 5ab4451edf722a50" + uuid = "84A684AB-D668-4B78-9FD1-2540A08574E3 - b46ebf1cc4a0bed9" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "opencl_results" + symbolName = "modmult_opencl_results" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "433" - endingLineNumber = "433" - offsetFromSymbolStart = "434"> + startingLineNumber = "385" + endingLineNumber = "385" + offsetFromSymbolStart = "398"> </Location> <Location - uuid = "4BFDCF8B-3D15-452B-8DC2-522A18D98765 - 5ab4451edf722a2f" + uuid = "84A684AB-D668-4B78-9FD1-2540A08574E3 - b46ebf1cc4a0be7a" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "opencl_results" + symbolName = "modmult_opencl_results" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "432" - endingLineNumber = "432" - offsetFromSymbolStart = "434"> + startingLineNumber = "388" + endingLineNumber = "388" + offsetFromSymbolStart = "398"> </Location> <Location - uuid = "4BFDCF8B-3D15-452B-8DC2-522A18D98765 - 5ab4451edf722a0e" + uuid = "84A684AB-D668-4B78-9FD1-2540A08574E3 - b46ebf1cc4a0bf72" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "opencl_results" + symbolName = "modmult_opencl_results" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "431" - endingLineNumber = "431" - offsetFromSymbolStart = "434"> + startingLineNumber = "396" + endingLineNumber = "396" + offsetFromSymbolStart = "401"> </Location> <Location - uuid = "4BFDCF8B-3D15-452B-8DC2-522A18D98765 - 5ab4451edf722acc" + uuid = "84A684AB-D668-4B78-9FD1-2540A08574E3 - b46ebf1cc4a0bf72" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "opencl_results" + symbolName = "modmult_opencl_results" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/rsa-test.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "429" - endingLineNumber = "429" - offsetFromSymbolStart = "434"> + startingLineNumber = "396" + endingLineNumber = "396" + offsetFromSymbolStart = "389"> </Location> </Locations> </BreakpointContent> @@ -4017,79 +3840,140 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "67C54221-36A3-470A-B162-32347275EF10" - shouldBeEnabled = "No" - ignoreCount = "0" - continueAfterRunningActions = "No" - filePath = "../source/rsa-test.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "370" - endingLineNumber = "370" - landmarkName = "opencl_exec_kernel(info, state)" - landmarkType = "9"> - </BreakpointContent> - </BreakpointProxy> - <BreakpointProxy - BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> - <BreakpointContent - uuid = "B5F8D09B-DBD6-4D27-9F18-0AA02E970656" + uuid = "FAC6BA4D-8703-4276-BEAA-7EA43AF63D0F" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" filePath = "../source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "21" - endingLineNumber = "21" - landmarkName = "montmodmult_pairs_from_files(x_buf, m_buf, r_1_buf, n_buf, ni_buf, msg_buf, exp_buf, mod_buf, s_buf, pks, n)" + startingLineNumber = "333" + endingLineNumber = "333" + landmarkName = "modmult_opencl_exec_kernel(info, state)" landmarkType = "9"> + <Locations> + <Location + uuid = "FAC6BA4D-8703-4276-BEAA-7EA43AF63D0F - 22ed8a6bec85ee99" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + symbolName = "modmult_opencl_exec_kernel" + moduleName = "lib-gpu-verify" + usesParentBreakpointCondition = "Yes" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "298" + endingLineNumber = "298" + offsetFromSymbolStart = "28"> + </Location> + <Location + uuid = "FAC6BA4D-8703-4276-BEAA-7EA43AF63D0F - 22ed8a6bec85ee99" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + symbolName = "modmult_opencl_exec_kernel" + moduleName = "lib-gpu-verify" + usesParentBreakpointCondition = "Yes" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "298" + endingLineNumber = "298" + offsetFromSymbolStart = "32"> + </Location> + </Locations> </BreakpointContent> </BreakpointProxy> <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "3947C3E7-D4B7-443E-9C64-26FA73518839" + uuid = "5B1B4488-A19F-4A97-926D-1263BFEFF802" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" filePath = "../source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "115" - endingLineNumber = "115" - landmarkName = "montmodmult_pairs_from_files(x_buf, m_buf, r_1_buf, n_buf, ni_buf, msg_buf, exp_buf, mod_buf, s_buf, pks, n)" + startingLineNumber = "330" + endingLineNumber = "330" + landmarkName = "modmult_opencl_exec_kernel(info, state)" landmarkType = "9"> <Locations> <Location - uuid = "3947C3E7-D4B7-443E-9C64-26FA73518839 - 18037aea005af134" + uuid = "5B1B4488-A19F-4A97-926D-1263BFEFF802 - 22ed8a6bec85ee15" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "montmodmult_pairs_from_files" + symbolName = "modmult_opencl_exec_kernel" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "92" - endingLineNumber = "92" - offsetFromSymbolStart = "928"> + startingLineNumber = "294" + endingLineNumber = "294" + offsetFromSymbolStart = "24"> + </Location> + <Location + uuid = "5B1B4488-A19F-4A97-926D-1263BFEFF802 - 22ed8a6bec85eed7" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + symbolName = "modmult_opencl_exec_kernel" + moduleName = "lib-gpu-verify" + usesParentBreakpointCondition = "Yes" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "296" + endingLineNumber = "296" + offsetFromSymbolStart = "24"> + </Location> + <Location + uuid = "5B1B4488-A19F-4A97-926D-1263BFEFF802 - 22ed8a6bec85e8c6" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + symbolName = "modmult_opencl_exec_kernel" + moduleName = "lib-gpu-verify" + usesParentBreakpointCondition = "Yes" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "311" + endingLineNumber = "311" + offsetFromSymbolStart = "24"> + </Location> + <Location + uuid = "5B1B4488-A19F-4A97-926D-1263BFEFF802 - 22ed8a6bec85e487" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + symbolName = "modmult_opencl_exec_kernel" + moduleName = "lib-gpu-verify" + usesParentBreakpointCondition = "Yes" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "344" + endingLineNumber = "344" + offsetFromSymbolStart = "24"> </Location> <Location - uuid = "3947C3E7-D4B7-443E-9C64-26FA73518839 - 18037aea005af115" + uuid = "5B1B4488-A19F-4A97-926D-1263BFEFF802 - 22ed8a6bec85ea71" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "montmodmult_pairs_from_files" + symbolName = "modmult_opencl_exec_kernel" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "91" - endingLineNumber = "91" - offsetFromSymbolStart = "1023"> + startingLineNumber = "322" + endingLineNumber = "322" + offsetFromSymbolStart = "24"> </Location> </Locations> </BreakpointContent> @@ -4097,47 +3981,63 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "700C8EE6-BC1E-427F-B1C6-E018D10BDEC8" + uuid = "E19DB0AE-EBC4-42E6-A48E-0A5B64A9CF56" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" filePath = "../source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "558" - endingLineNumber = "558" - landmarkName = "mont_modmult_tests()" + startingLineNumber = "75" + endingLineNumber = "75" + landmarkName = "montmodmult_pairs_from_files(x_buf, m_buf, r_1_buf, n_buf, ni_buf, msg_buf, exp_buf, mod_buf, s_buf, pks, n)" + landmarkType = "9"> + </BreakpointContent> + </BreakpointProxy> + <BreakpointProxy + BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> + <BreakpointContent + uuid = "5AA79044-F9D9-4539-870E-8082CCF4F458" + shouldBeEnabled = "No" + ignoreCount = "0" + continueAfterRunningActions = "No" + filePath = "../source/montmodmult.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "562" + endingLineNumber = "562" + landmarkName = "modmult_gpu_execute(info, state, x_buf, m_buf, r_1_buf, n_buf, ni_buf, msg_buf, exp_buf, mod_buf, s_buf, pks, n)" landmarkType = "9"> <Locations> <Location - uuid = "700C8EE6-BC1E-427F-B1C6-E018D10BDEC8 - 3a6dd6ae57b14a5e" + uuid = "5AA79044-F9D9-4539-870E-8082CCF4F458 - 30fdc229490fff9e" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_modmult_tests" + symbolName = "modmult_gpu_execute" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "462" - endingLineNumber = "462" - offsetFromSymbolStart = "23"> + startingLineNumber = "477" + endingLineNumber = "477" + offsetFromSymbolStart = "117"> </Location> <Location - uuid = "700C8EE6-BC1E-427F-B1C6-E018D10BDEC8 - 3a6dd6ae57b14a5e" + uuid = "5AA79044-F9D9-4539-870E-8082CCF4F458 - 30fdc229490fffdc" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_modmult_tests" + symbolName = "modmult_gpu_execute" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "462" - endingLineNumber = "462" - offsetFromSymbolStart = "14"> + startingLineNumber = "479" + endingLineNumber = "479" + offsetFromSymbolStart = "117"> </Location> </Locations> </BreakpointContent> @@ -4145,186 +4045,171 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "DB1A1F80-9BCD-4641-8418-19BE4BCBC405" + uuid = "29FF3D84-E5F9-4429-8A53-756F9A7E5AD4" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" filePath = "../source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "100" - endingLineNumber = "100" - landmarkName = "montmodmult_pairs_from_files(x_buf, m_buf, r_1_buf, n_buf, ni_buf, msg_buf, exp_buf, mod_buf, s_buf, pks, n)" + startingLineNumber = "263" + endingLineNumber = "263" + landmarkName = "modmult_opencl_prepare(info, state, x_buf, m_buf, n_buf, ni_buf, msg_buf, exp_buf, mod_buf, s_buf, pks, n)" landmarkType = "9"> </BreakpointContent> </BreakpointProxy> <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "D2BA3F25-8290-42F4-8C03-1F8F1A3C497D" + uuid = "CCF0BFD9-35C8-47D4-A9DE-665DC105BDF8" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" filePath = "../source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "605" - endingLineNumber = "605" - landmarkName = "mont_modmult_tests()" + startingLineNumber = "130" + endingLineNumber = "130" + landmarkName = "montmodmult_pairs_from_files(x_buf, m_buf, r_1_buf, n_buf, ni_buf, msg_buf, exp_buf, mod_buf, s_buf, pks, n)" landmarkType = "9"> <Locations> <Location - uuid = "D2BA3F25-8290-42F4-8C03-1F8F1A3C497D - 3a6dd6ae57b149b8" - shouldBeEnabled = "Yes" - ignoreCount = "0" - continueAfterRunningActions = "No" - symbolName = "mont_modmult_tests" - moduleName = "lib-gpu-verify" - usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "492" - endingLineNumber = "492" - offsetFromSymbolStart = "437"> - </Location> - <Location - uuid = "D2BA3F25-8290-42F4-8C03-1F8F1A3C497D - 3a6dd6ae57b149b8" + uuid = "CCF0BFD9-35C8-47D4-A9DE-665DC105BDF8 - 18037aea005af767" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_modmult_tests" + symbolName = "montmodmult_pairs_from_files" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "492" - endingLineNumber = "492" - offsetFromSymbolStart = "473"> + startingLineNumber = "137" + endingLineNumber = "137" + offsetFromSymbolStart = "1406"> </Location> <Location - uuid = "D2BA3F25-8290-42F4-8C03-1F8F1A3C497D - 3a6dd6ae57b14e3c" + uuid = "CCF0BFD9-35C8-47D4-A9DE-665DC105BDF8 - 18037aea005af725" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_modmult_tests" + symbolName = "montmodmult_pairs_from_files" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "496" - endingLineNumber = "496" - offsetFromSymbolStart = "473"> + startingLineNumber = "139" + endingLineNumber = "139" + offsetFromSymbolStart = "1406"> </Location> <Location - uuid = "D2BA3F25-8290-42F4-8C03-1F8F1A3C497D - 3a6dd6ae57b151d5" + uuid = "CCF0BFD9-35C8-47D4-A9DE-665DC105BDF8 - 18037aea005af767" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_modmult_tests" + symbolName = "montmodmult_pairs_from_files" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "551" - endingLineNumber = "551" - offsetFromSymbolStart = "488"> + startingLineNumber = "137" + endingLineNumber = "137" + offsetFromSymbolStart = "1403"> </Location> + </Locations> + </BreakpointContent> + </BreakpointProxy> + <BreakpointProxy + BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> + <BreakpointContent + uuid = "854BEA05-AC22-4D30-B923-D574599C490D" + shouldBeEnabled = "No" + ignoreCount = "0" + continueAfterRunningActions = "No" + filePath = "../source/montmodmult.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "153" + endingLineNumber = "153" + landmarkName = "montmodmult_pairs_from_files(x_buf, m_buf, r_1_buf, n_buf, ni_buf, msg_buf, exp_buf, mod_buf, s_buf, pks, n)" + landmarkType = "9"> + <Locations> <Location - uuid = "D2BA3F25-8290-42F4-8C03-1F8F1A3C497D - 3a6dd6ae57b15742" + uuid = "854BEA05-AC22-4D30-B923-D574599C490D - 18037aea005af4a9" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_modmult_tests" + symbolName = "montmodmult_pairs_from_files" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "562" - endingLineNumber = "562" - offsetFromSymbolStart = "488"> + startingLineNumber = "135" + endingLineNumber = "135" + offsetFromSymbolStart = "1465"> </Location> <Location - uuid = "D2BA3F25-8290-42F4-8C03-1F8F1A3C497D - 3a6dd6ae57b15742" + uuid = "854BEA05-AC22-4D30-B923-D574599C490D - 18037aea005af63e" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_modmult_tests" + symbolName = "montmodmult_pairs_from_files" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "562" - endingLineNumber = "562" - offsetFromSymbolStart = "538"> + startingLineNumber = "146" + endingLineNumber = "146" + offsetFromSymbolStart = "1590"> </Location> <Location - uuid = "D2BA3F25-8290-42F4-8C03-1F8F1A3C497D - 3a6dd6ae57b15b85" + uuid = "854BEA05-AC22-4D30-B923-D574599C490D - 18037aea005af640" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "mont_modmult_tests" + symbolName = "montmodmult_pairs_from_files" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "599" - endingLineNumber = "599" - offsetFromSymbolStart = "538"> + startingLineNumber = "144" + endingLineNumber = "144" + offsetFromSymbolStart = "1665"> </Location> - </Locations> - </BreakpointContent> - </BreakpointProxy> - <BreakpointProxy - BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> - <BreakpointContent - uuid = "877D065B-1222-4A88-A7A1-36AA5BAAA34B" - shouldBeEnabled = "No" - ignoreCount = "0" - continueAfterRunningActions = "No" - filePath = "../source/montmodmult.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "226" - endingLineNumber = "226" - landmarkName = "modmult_opencl_prepare(info, state, x_buf, m_buf, n_buf, ni_buf, msg_buf, exp_buf, mod_buf, s_buf, pks, n)" - landmarkType = "9"> - <Locations> <Location - uuid = "877D065B-1222-4A88-A7A1-36AA5BAAA34B - 7ea67c6850ea9357" + uuid = "854BEA05-AC22-4D30-B923-D574599C490D - 18037aea005ac936" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "modmult_opencl_prepare" + symbolName = "montmodmult_pairs_from_files" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "194" - endingLineNumber = "194" - offsetFromSymbolStart = "108"> + startingLineNumber = "154" + endingLineNumber = "154" + offsetFromSymbolStart = "1730"> </Location> <Location - uuid = "877D065B-1222-4A88-A7A1-36AA5BAAA34B - 7ea67c6850ea90f0" + uuid = "854BEA05-AC22-4D30-B923-D574599C490D - 18037aea005ac936" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "modmult_opencl_prepare" + symbolName = "montmodmult_pairs_from_files" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "199" - endingLineNumber = "199" - offsetFromSymbolStart = "104"> + startingLineNumber = "154" + endingLineNumber = "154" + offsetFromSymbolStart = "1721"> </Location> </Locations> </BreakpointContent> @@ -4332,36 +4217,20 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "0919DE7F-CA68-40D2-98C2-CDC334661F60" - shouldBeEnabled = "No" - ignoreCount = "0" - continueAfterRunningActions = "No" - filePath = "../source/montmodmult.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "216" - endingLineNumber = "216" - landmarkName = "modmult_opencl_prepare(info, state, x_buf, m_buf, n_buf, ni_buf, msg_buf, exp_buf, mod_buf, s_buf, pks, n)" - landmarkType = "9"> - </BreakpointContent> - </BreakpointProxy> - <BreakpointProxy - BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> - <BreakpointContent - uuid = "4B27D588-7D34-4BD1-A24D-4C6E8D39B984" + uuid = "56542C6C-ED16-48E5-A345-C0E798659638" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" filePath = "../source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "440" - endingLineNumber = "440" + startingLineNumber = "385" + endingLineNumber = "385" landmarkName = "modmult_opencl_results(info, state, timed, msg_buf, r_1_buf, n_buf, s_buf, mod_buf, n)" landmarkType = "9"> <Locations> <Location - uuid = "4B27D588-7D34-4BD1-A24D-4C6E8D39B984 - b46ebf1cc4a0b9c0" + uuid = "56542C6C-ED16-48E5-A345-C0E798659638 - b46ebf1cc4a0ba5c" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" @@ -4371,12 +4240,12 @@ urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "346" - endingLineNumber = "346" - offsetFromSymbolStart = "269"> + startingLineNumber = "358" + endingLineNumber = "358" + offsetFromSymbolStart = "315"> </Location> <Location - uuid = "4B27D588-7D34-4BD1-A24D-4C6E8D39B984 - b46ebf1cc4a0b9c0" + uuid = "56542C6C-ED16-48E5-A345-C0E798659638 - b46ebf1cc4a0bcc9" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" @@ -4386,12 +4255,12 @@ urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "346" - endingLineNumber = "346" - offsetFromSymbolStart = "259"> + startingLineNumber = "369" + endingLineNumber = "369" + offsetFromSymbolStart = "315"> </Location> <Location - uuid = "4B27D588-7D34-4BD1-A24D-4C6E8D39B984 - b46ebf1cc4a0b9c0" + uuid = "56542C6C-ED16-48E5-A345-C0E798659638 - b46ebf1cc4a0bb54" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" @@ -4401,9 +4270,9 @@ urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "346" - endingLineNumber = "346" - offsetFromSymbolStart = "256"> + startingLineNumber = "366" + endingLineNumber = "366" + offsetFromSymbolStart = "315"> </Location> </Locations> </BreakpointContent> @@ -4411,47 +4280,62 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "800CDD46-DF8C-4E7E-A8E0-2BC47B0E60D2" + uuid = "A0B20FE3-FB60-4D60-9B51-300DE8543447" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" filePath = "../source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "228" - endingLineNumber = "228" - landmarkName = "modmult_opencl_prepare(info, state, x_buf, m_buf, n_buf, ni_buf, msg_buf, exp_buf, mod_buf, s_buf, pks, n)" + startingLineNumber = "371" + endingLineNumber = "371" + landmarkName = "modmult_opencl_results(info, state, timed, msg_buf, r_1_buf, n_buf, s_buf, mod_buf, n)" landmarkType = "9"> <Locations> <Location - uuid = "800CDD46-DF8C-4E7E-A8E0-2BC47B0E60D2 - 7ea67c6850ea90d3" + uuid = "A0B20FE3-FB60-4D60-9B51-300DE8543447 - b46ebf1cc4a0b84c" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "modmult_opencl_prepare" + symbolName = "modmult_opencl_results" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "198" - endingLineNumber = "198" - offsetFromSymbolStart = "119"> + startingLineNumber = "342" + endingLineNumber = "342" + offsetFromSymbolStart = "148"> </Location> <Location - uuid = "800CDD46-DF8C-4E7E-A8E0-2BC47B0E60D2 - 7ea67c6850ea90be" + uuid = "A0B20FE3-FB60-4D60-9B51-300DE8543447 - b46ebf1cc4a0baf9" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + symbolName = "modmult_opencl_results" + moduleName = "lib-gpu-verify" + usesParentBreakpointCondition = "Yes" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "353" + endingLineNumber = "353" + offsetFromSymbolStart = "148"> + </Location> + <Location + uuid = "A0B20FE3-FB60-4D60-9B51-300DE8543447 - b46ebf1cc4a0b944" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "modmult_opencl_prepare" + symbolName = "modmult_opencl_results" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "201" - endingLineNumber = "201" - offsetFromSymbolStart = "116"> + startingLineNumber = "350" + endingLineNumber = "350" + offsetFromSymbolStart = "148"> </Location> </Locations> </BreakpointContent> @@ -4459,125 +4343,143 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "84A684AB-D668-4B78-9FD1-2540A08574E3" - shouldBeEnabled = "Yes" + uuid = "6B6DD1A1-289E-455E-B49C-DDF8158E3B10" + shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" filePath = "../source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "388" - endingLineNumber = "388" - landmarkName = "modmult_opencl_results(info, state, timed, msg_buf, r_1_buf, n_buf, s_buf, mod_buf, n)" + startingLineNumber = "176" + endingLineNumber = "176" + landmarkName = "montmodmult_pairs_from_files(x_buf, m_buf, r_1_buf, n_buf, ni_buf, msg_buf, exp_buf, mod_buf, s_buf, pks, n)" landmarkType = "9"> <Locations> <Location - uuid = "84A684AB-D668-4B78-9FD1-2540A08574E3 - b46ebf1cc4a0ba5c" + uuid = "6B6DD1A1-289E-455E-B49C-DDF8158E3B10 - 18037aea005ac82e" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "modmult_opencl_results" + symbolName = "montmodmult_pairs_from_files" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "358" - endingLineNumber = "358" - offsetFromSymbolStart = "361"> + startingLineNumber = "162" + endingLineNumber = "162" + offsetFromSymbolStart = "1892"> </Location> <Location - uuid = "84A684AB-D668-4B78-9FD1-2540A08574E3 - b46ebf1cc4a0ba7d" + uuid = "6B6DD1A1-289E-455E-B49C-DDF8158E3B10 - 18037aea005acb83" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "modmult_opencl_results" + symbolName = "montmodmult_pairs_from_files" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "357" - endingLineNumber = "357" - offsetFromSymbolStart = "351"> + startingLineNumber = "173" + endingLineNumber = "173" + offsetFromSymbolStart = "2017"> </Location> <Location - uuid = "84A684AB-D668-4B78-9FD1-2540A08574E3 - b46ebf1cc4a0ba3f" + uuid = "6B6DD1A1-289E-455E-B49C-DDF8158E3B10 - 18037aea005acb07" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "modmult_opencl_results" + symbolName = "montmodmult_pairs_from_files" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "359" - endingLineNumber = "359" - offsetFromSymbolStart = "351"> + startingLineNumber = "169" + endingLineNumber = "169" + offsetFromSymbolStart = "2078"> </Location> <Location - uuid = "84A684AB-D668-4B78-9FD1-2540A08574E3 - b46ebf1cc4a0ba5c" + uuid = "6B6DD1A1-289E-455E-B49C-DDF8158E3B10 - 18037aea005acb07" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "modmult_opencl_results" + symbolName = "montmodmult_pairs_from_files" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "358" - endingLineNumber = "358" - offsetFromSymbolStart = "351"> + startingLineNumber = "169" + endingLineNumber = "169" + offsetFromSymbolStart = "2075"> </Location> <Location - uuid = "84A684AB-D668-4B78-9FD1-2540A08574E3 - b46ebf1cc4a0ba1e" + uuid = "6B6DD1A1-289E-455E-B49C-DDF8158E3B10 - 18037aea005acb07" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "modmult_opencl_results" + symbolName = "montmodmult_pairs_from_files" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "360" - endingLineNumber = "360" - offsetFromSymbolStart = "351"> + startingLineNumber = "169" + endingLineNumber = "169" + offsetFromSymbolStart = "2072"> </Location> <Location - uuid = "84A684AB-D668-4B78-9FD1-2540A08574E3 - b46ebf1cc4a0bbd0" + uuid = "6B6DD1A1-289E-455E-B49C-DDF8158E3B10 - 18037aea005aca41" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "modmult_opencl_results" + symbolName = "montmodmult_pairs_from_files" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "362" - endingLineNumber = "362" - offsetFromSymbolStart = "351"> + startingLineNumber = "175" + endingLineNumber = "175" + offsetFromSymbolStart = "2194"> </Location> <Location - uuid = "84A684AB-D668-4B78-9FD1-2540A08574E3 - b46ebf1cc4a0bb75" + uuid = "6B6DD1A1-289E-455E-B49C-DDF8158E3B10 - 18037aea005aca3f" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "modmult_opencl_results" + symbolName = "montmodmult_pairs_from_files" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "365" - endingLineNumber = "365" - offsetFromSymbolStart = "351"> + startingLineNumber = "177" + endingLineNumber = "177" + offsetFromSymbolStart = "2211"> </Location> + </Locations> + </BreakpointContent> + </BreakpointProxy> + <BreakpointProxy + BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> + <BreakpointContent + uuid = "5C0ACEE0-4246-4CA2-9B7C-A5B3E417DD3E" + shouldBeEnabled = "No" + ignoreCount = "0" + continueAfterRunningActions = "No" + filePath = "../source/montmodmult.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "377" + endingLineNumber = "377" + landmarkName = "modmult_opencl_results(info, state, timed, msg_buf, r_1_buf, n_buf, s_buf, mod_buf, n)" + landmarkType = "9"> + <Locations> <Location - uuid = "84A684AB-D668-4B78-9FD1-2540A08574E3 - b46ebf1cc4a041ce" + uuid = "5C0ACEE0-4246-4CA2-9B7C-A5B3E417DD3E - b46ebf1cc4a0ba9a" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" @@ -4587,12 +4489,12 @@ urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "408" - endingLineNumber = "408" - offsetFromSymbolStart = "369"> + startingLineNumber = "356" + endingLineNumber = "356" + offsetFromSymbolStart = "272"> </Location> <Location - uuid = "84A684AB-D668-4B78-9FD1-2540A08574E3 - b46ebf1cc4a0be9b" + uuid = "5C0ACEE0-4246-4CA2-9B7C-A5B3E417DD3E - b46ebf1cc4a0bfd1" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" @@ -4602,12 +4504,12 @@ urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "387" - endingLineNumber = "387" - offsetFromSymbolStart = "394"> + startingLineNumber = "393" + endingLineNumber = "393" + offsetFromSymbolStart = "272"> </Location> <Location - uuid = "84A684AB-D668-4B78-9FD1-2540A08574E3 - b46ebf1cc4a0bd45" + uuid = "5C0ACEE0-4246-4CA2-9B7C-A5B3E417DD3E - b46ebf1cc4a0bf93" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" @@ -4617,12 +4519,12 @@ urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "381" - endingLineNumber = "381" - offsetFromSymbolStart = "370"> + startingLineNumber = "395" + endingLineNumber = "395" + offsetFromSymbolStart = "272"> </Location> <Location - uuid = "84A684AB-D668-4B78-9FD1-2540A08574E3 - b46ebf1cc4a0bed9" + uuid = "5C0ACEE0-4246-4CA2-9B7C-A5B3E417DD3E - b46ebf1cc4a0bf55" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" @@ -4632,12 +4534,12 @@ urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "385" - endingLineNumber = "385" - offsetFromSymbolStart = "370"> + startingLineNumber = "397" + endingLineNumber = "397" + offsetFromSymbolStart = "272"> </Location> <Location - uuid = "84A684AB-D668-4B78-9FD1-2540A08574E3 - b46ebf1cc4a0bed9" + uuid = "5C0ACEE0-4246-4CA2-9B7C-A5B3E417DD3E - b46ebf1cc4a0bf55" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" @@ -4647,12 +4549,12 @@ urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "385" - endingLineNumber = "385" - offsetFromSymbolStart = "374"> + startingLineNumber = "397" + endingLineNumber = "397" + offsetFromSymbolStart = "290"> </Location> <Location - uuid = "84A684AB-D668-4B78-9FD1-2540A08574E3 - b46ebf1cc4a0bed9" + uuid = "5C0ACEE0-4246-4CA2-9B7C-A5B3E417DD3E - b46ebf1cc4a0be1f" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" @@ -4662,12 +4564,12 @@ urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "385" - endingLineNumber = "385" - offsetFromSymbolStart = "398"> + startingLineNumber = "391" + endingLineNumber = "391" + offsetFromSymbolStart = "290"> </Location> <Location - uuid = "84A684AB-D668-4B78-9FD1-2540A08574E3 - b46ebf1cc4a0be7a" + uuid = "5C0ACEE0-4246-4CA2-9B7C-A5B3E417DD3E - b46ebf1cc4a0bcc9" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" @@ -4677,57 +4579,39 @@ urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "388" - endingLineNumber = "388" - offsetFromSymbolStart = "398"> + startingLineNumber = "369" + endingLineNumber = "369" + offsetFromSymbolStart = "306"> </Location> - </Locations> - </BreakpointContent> - </BreakpointProxy> - <BreakpointProxy - BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> - <BreakpointContent - uuid = "FAC6BA4D-8703-4276-BEAA-7EA43AF63D0F" - shouldBeEnabled = "No" - ignoreCount = "0" - continueAfterRunningActions = "No" - filePath = "../source/montmodmult.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "326" - endingLineNumber = "326" - landmarkName = "modmult_opencl_exec_kernel(info, state)" - landmarkType = "9"> - <Locations> <Location - uuid = "FAC6BA4D-8703-4276-BEAA-7EA43AF63D0F - 22ed8a6bec85ee99" + uuid = "5C0ACEE0-4246-4CA2-9B7C-A5B3E417DD3E - b46ebf1cc4a0bbb3" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "modmult_opencl_exec_kernel" + symbolName = "modmult_opencl_results" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "298" - endingLineNumber = "298" - offsetFromSymbolStart = "28"> + startingLineNumber = "363" + endingLineNumber = "363" + offsetFromSymbolStart = "282"> </Location> <Location - uuid = "FAC6BA4D-8703-4276-BEAA-7EA43AF63D0F - 22ed8a6bec85ee99" + uuid = "5C0ACEE0-4246-4CA2-9B7C-A5B3E417DD3E - b46ebf1cc4a0bda0" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "modmult_opencl_exec_kernel" + symbolName = "modmult_opencl_results" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "298" - endingLineNumber = "298" - offsetFromSymbolStart = "32"> + startingLineNumber = "378" + endingLineNumber = "378" + offsetFromSymbolStart = "301"> </Location> </Locations> </BreakpointContent> @@ -4735,92 +4619,62 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "5B1B4488-A19F-4A97-926D-1263BFEFF802" + uuid = "1D13B1BF-088A-44A4-B036-D2267F8385C5" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" filePath = "../source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "323" - endingLineNumber = "323" - landmarkName = "modmult_opencl_exec_kernel(info, state)" + startingLineNumber = "128" + endingLineNumber = "128" + landmarkName = "montmodmult_pairs_from_files(x_buf, m_buf, r_1_buf, n_buf, ni_buf, msg_buf, exp_buf, mod_buf, s_buf, pks, n)" landmarkType = "9"> <Locations> <Location - uuid = "5B1B4488-A19F-4A97-926D-1263BFEFF802 - 22ed8a6bec85ee15" - shouldBeEnabled = "Yes" - ignoreCount = "0" - continueAfterRunningActions = "No" - symbolName = "modmult_opencl_exec_kernel" - moduleName = "lib-gpu-verify" - usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "294" - endingLineNumber = "294" - offsetFromSymbolStart = "24"> - </Location> - <Location - uuid = "5B1B4488-A19F-4A97-926D-1263BFEFF802 - 22ed8a6bec85eed7" - shouldBeEnabled = "Yes" - ignoreCount = "0" - continueAfterRunningActions = "No" - symbolName = "modmult_opencl_exec_kernel" - moduleName = "lib-gpu-verify" - usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "296" - endingLineNumber = "296" - offsetFromSymbolStart = "24"> - </Location> - <Location - uuid = "5B1B4488-A19F-4A97-926D-1263BFEFF802 - 22ed8a6bec85e8c6" + uuid = "1D13B1BF-088A-44A4-B036-D2267F8385C5 - 18037aea005af42d" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "modmult_opencl_exec_kernel" + symbolName = "montmodmult_pairs_from_files" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "311" - endingLineNumber = "311" - offsetFromSymbolStart = "24"> + startingLineNumber = "131" + endingLineNumber = "131" + offsetFromSymbolStart = "1360"> </Location> <Location - uuid = "5B1B4488-A19F-4A97-926D-1263BFEFF802 - 22ed8a6bec85e487" + uuid = "1D13B1BF-088A-44A4-B036-D2267F8385C5 - 18037aea005af4eb" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "modmult_opencl_exec_kernel" + symbolName = "montmodmult_pairs_from_files" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "344" - endingLineNumber = "344" - offsetFromSymbolStart = "24"> + startingLineNumber = "133" + endingLineNumber = "133" + offsetFromSymbolStart = "1375"> </Location> <Location - uuid = "5B1B4488-A19F-4A97-926D-1263BFEFF802 - 22ed8a6bec85ea71" + uuid = "1D13B1BF-088A-44A4-B036-D2267F8385C5 - 18037aea005af450" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "modmult_opencl_exec_kernel" + symbolName = "montmodmult_pairs_from_files" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "322" - endingLineNumber = "322" - offsetFromSymbolStart = "24"> + startingLineNumber = "128" + endingLineNumber = "128" + offsetFromSymbolStart = "1293"> </Location> </Locations> </BreakpointContent> @@ -4828,15 +4682,47 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "E19DB0AE-EBC4-42E6-A48E-0A5B64A9CF56" + uuid = "EC8E40B9-5869-4CD4-A602-C7739D7BFF03" + shouldBeEnabled = "No" + ignoreCount = "0" + continueAfterRunningActions = "No" + filePath = "../source/rsa-test.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "251" + endingLineNumber = "251" + landmarkName = "opencl_pairs_from_files(bases, b_len, exponents, e_len, moduli, m_len, signatures, s_len, pks, n)" + landmarkType = "9"> + </BreakpointContent> + </BreakpointProxy> + <BreakpointProxy + BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> + <BreakpointContent + uuid = "E4BEB202-36D5-4E45-9886-88D8B2A6D37B" + shouldBeEnabled = "No" + ignoreCount = "0" + continueAfterRunningActions = "No" + filePath = "../source/montmodmult.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "399" + endingLineNumber = "399" + landmarkName = "modmult_opencl_results(info, state, timed, msg_buf, r_1_buf, n_buf, s_buf, mod_buf, n)" + landmarkType = "9"> + </BreakpointContent> + </BreakpointProxy> + <BreakpointProxy + BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> + <BreakpointContent + uuid = "EBE3EB24-9B9A-43BD-850A-460559601A71" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" filePath = "../source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "73" - endingLineNumber = "73" + startingLineNumber = "167" + endingLineNumber = "167" landmarkName = "montmodmult_pairs_from_files(x_buf, m_buf, r_1_buf, n_buf, ni_buf, msg_buf, exp_buf, mod_buf, s_buf, pks, n)" landmarkType = "9"> </BreakpointContent> @@ -4844,47 +4730,47 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "5AA79044-F9D9-4539-870E-8082CCF4F458" + uuid = "7E182A4C-319B-4622-9FD0-18C77CB42D7B" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" filePath = "../source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "532" - endingLineNumber = "532" - landmarkName = "modmult_gpu_execute(info, state, x_buf, m_buf, r_1_buf, n_buf, ni_buf, msg_buf, exp_buf, mod_buf, s_buf, pks, n)" + startingLineNumber = "154" + endingLineNumber = "154" + landmarkName = "montmodmult_pairs_from_files(x_buf, m_buf, r_1_buf, n_buf, ni_buf, msg_buf, exp_buf, mod_buf, s_buf, pks, n)" landmarkType = "9"> <Locations> <Location - uuid = "5AA79044-F9D9-4539-870E-8082CCF4F458 - 30fdc229490fff9e" + uuid = "7E182A4C-319B-4622-9FD0-18C77CB42D7B - 18037aea005ac9d5" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "modmult_gpu_execute" + symbolName = "montmodmult_pairs_from_files" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "477" - endingLineNumber = "477" - offsetFromSymbolStart = "117"> + startingLineNumber = "155" + endingLineNumber = "155" + offsetFromSymbolStart = "1787"> </Location> <Location - uuid = "5AA79044-F9D9-4539-870E-8082CCF4F458 - 30fdc229490fffdc" + uuid = "7E182A4C-319B-4622-9FD0-18C77CB42D7B - 18037aea005ac9d5" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "modmult_gpu_execute" + symbolName = "montmodmult_pairs_from_files" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "479" - endingLineNumber = "479" - offsetFromSymbolStart = "117"> + startingLineNumber = "155" + endingLineNumber = "155" + offsetFromSymbolStart = "1790"> </Location> </Locations> </BreakpointContent> @@ -4892,36 +4778,20 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "29FF3D84-E5F9-4429-8A53-756F9A7E5AD4" - shouldBeEnabled = "No" - ignoreCount = "0" - continueAfterRunningActions = "No" - filePath = "../source/montmodmult.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "259" - endingLineNumber = "259" - landmarkName = "modmult_opencl_prepare(info, state, x_buf, m_buf, n_buf, ni_buf, msg_buf, exp_buf, mod_buf, s_buf, pks, n)" - landmarkType = "9"> - </BreakpointContent> - </BreakpointProxy> - <BreakpointProxy - BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> - <BreakpointContent - uuid = "CCF0BFD9-35C8-47D4-A9DE-665DC105BDF8" + uuid = "171A0245-9C2B-423B-BF2D-6B6ADC9DD08E" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" filePath = "../source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "137" - endingLineNumber = "137" + startingLineNumber = "138" + endingLineNumber = "138" landmarkName = "montmodmult_pairs_from_files(x_buf, m_buf, r_1_buf, n_buf, ni_buf, msg_buf, exp_buf, mod_buf, s_buf, pks, n)" landmarkType = "9"> <Locations> <Location - uuid = "CCF0BFD9-35C8-47D4-A9DE-665DC105BDF8 - 18037aea005af767" + uuid = "171A0245-9C2B-423B-BF2D-6B6ADC9DD08E - 18037aea005af725" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" @@ -4931,12 +4801,12 @@ urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "137" - endingLineNumber = "137" - offsetFromSymbolStart = "1406"> + startingLineNumber = "139" + endingLineNumber = "139" + offsetFromSymbolStart = "1403"> </Location> <Location - uuid = "CCF0BFD9-35C8-47D4-A9DE-665DC105BDF8 - 18037aea005af725" + uuid = "171A0245-9C2B-423B-BF2D-6B6ADC9DD08E - 18037aea005af61f" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" @@ -4946,9 +4816,9 @@ urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "139" - endingLineNumber = "139" - offsetFromSymbolStart = "1406"> + startingLineNumber = "145" + endingLineNumber = "145" + offsetFromSymbolStart = "1434"> </Location> </Locations> </BreakpointContent> @@ -4956,77 +4826,77 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "854BEA05-AC22-4D30-B923-D574599C490D" - shouldBeEnabled = "No" + uuid = "B83D34D8-9764-4755-9D60-43B2D148AC0D" + shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" filePath = "../source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "154" - endingLineNumber = "154" - landmarkName = "montmodmult_pairs_from_files(x_buf, m_buf, r_1_buf, n_buf, ni_buf, msg_buf, exp_buf, mod_buf, s_buf, pks, n)" + startingLineNumber = "549" + endingLineNumber = "549" + landmarkName = "modmult_gpu_execute(info, state, x_buf, m_buf, r_1_buf, n_buf, ni_buf, msg_buf, exp_buf, mod_buf, s_buf, pks, n)" landmarkType = "9"> <Locations> <Location - uuid = "854BEA05-AC22-4D30-B923-D574599C490D - 18037aea005af4a9" + uuid = "B83D34D8-9764-4755-9D60-43B2D148AC0D - 30fdc229490fe73d" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "montmodmult_pairs_from_files" + symbolName = "modmult_gpu_execute" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "135" - endingLineNumber = "135" - offsetFromSymbolStart = "1465"> + startingLineNumber = "544" + endingLineNumber = "544" + offsetFromSymbolStart = "278"> </Location> <Location - uuid = "854BEA05-AC22-4D30-B923-D574599C490D - 18037aea005af63e" + uuid = "B83D34D8-9764-4755-9D60-43B2D148AC0D - 30fdc229490fe73d" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "montmodmult_pairs_from_files" + symbolName = "modmult_gpu_execute" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "146" - endingLineNumber = "146" - offsetFromSymbolStart = "1590"> + startingLineNumber = "544" + endingLineNumber = "544" + offsetFromSymbolStart = "409"> </Location> <Location - uuid = "854BEA05-AC22-4D30-B923-D574599C490D - 18037aea005af640" + uuid = "B83D34D8-9764-4755-9D60-43B2D148AC0D - 30fdc229490fe604" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "montmodmult_pairs_from_files" + symbolName = "modmult_gpu_execute" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "144" - endingLineNumber = "144" - offsetFromSymbolStart = "1665"> + startingLineNumber = "551" + endingLineNumber = "551" + offsetFromSymbolStart = "409"> </Location> <Location - uuid = "854BEA05-AC22-4D30-B923-D574599C490D - 18037aea005ac936" + uuid = "B83D34D8-9764-4755-9D60-43B2D148AC0D - 30fdc229490fe604" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "montmodmult_pairs_from_files" + symbolName = "modmult_gpu_execute" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "154" - endingLineNumber = "154" - offsetFromSymbolStart = "1730"> + startingLineNumber = "551" + endingLineNumber = "551" + offsetFromSymbolStart = "399"> </Location> </Locations> </BreakpointContent> @@ -5034,62 +4904,108 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "56542C6C-ED16-48E5-A345-C0E798659638" + uuid = "7F23C592-81D4-4437-8AB5-2BE803E72B30" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/montmodmult.c" + filePath = "../source/montgomery.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "378" - endingLineNumber = "378" - landmarkName = "modmult_opencl_results(info, state, timed, msg_buf, r_1_buf, n_buf, s_buf, mod_buf, n)" + startingLineNumber = "404" + endingLineNumber = "404" + landmarkName = "mont(x, m, res, n, ni, exp, tmp_1, tmp_2, tmp_3, pks)" + landmarkType = "9"> + </BreakpointContent> + </BreakpointProxy> + <BreakpointProxy + BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> + <BreakpointContent + uuid = "7FD97089-A020-4966-AF42-247C6253D79B" + shouldBeEnabled = "No" + ignoreCount = "0" + continueAfterRunningActions = "No" + filePath = "../source/montgomery.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "375" + endingLineNumber = "375" + landmarkName = "montSqr(ret, a, ni, n, tmp_1, tmp_2, tmp_3)" landmarkType = "9"> <Locations> <Location - uuid = "56542C6C-ED16-48E5-A345-C0E798659638 - b46ebf1cc4a0ba5c" + uuid = "7FD97089-A020-4966-AF42-247C6253D79B - 50935169520bc94b" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "modmult_opencl_results" + symbolName = "montSqr" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "358" - endingLineNumber = "358" - offsetFromSymbolStart = "315"> + startingLineNumber = "369" + endingLineNumber = "369" + offsetFromSymbolStart = "36"> </Location> <Location - uuid = "56542C6C-ED16-48E5-A345-C0E798659638 - b46ebf1cc4a0bcc9" + uuid = "7FD97089-A020-4966-AF42-247C6253D79B - 50935169520bc64c" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "modmult_opencl_results" + symbolName = "montSqr" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "369" - endingLineNumber = "369" - offsetFromSymbolStart = "315"> + startingLineNumber = "408" + endingLineNumber = "408" + offsetFromSymbolStart = "36"> </Location> <Location - uuid = "56542C6C-ED16-48E5-A345-C0E798659638 - b46ebf1cc4a0bb54" + uuid = "7FD97089-A020-4966-AF42-247C6253D79B - 50935169520bc05d" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "modmult_opencl_results" + symbolName = "montSqr" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "366" - endingLineNumber = "366" - offsetFromSymbolStart = "315"> + startingLineNumber = "423" + endingLineNumber = "423" + offsetFromSymbolStart = "36"> + </Location> + <Location + uuid = "7FD97089-A020-4966-AF42-247C6253D79B - 50935169520bc07e" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + symbolName = "montSqr" + moduleName = "lib-gpu-verify" + usesParentBreakpointCondition = "Yes" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "422" + endingLineNumber = "422" + offsetFromSymbolStart = "36"> + </Location> + <Location + uuid = "7FD97089-A020-4966-AF42-247C6253D79B - 50935169520bc2c9" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + symbolName = "montSqr" + moduleName = "lib-gpu-verify" + usesParentBreakpointCondition = "Yes" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "435" + endingLineNumber = "435" + offsetFromSymbolStart = "36"> </Location> </Locations> </BreakpointContent> @@ -5097,62 +5013,168 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "A0B20FE3-FB60-4D60-9B51-300DE8543447" + uuid = "A389FC36-07B0-4AEA-8191-5AD6B84E5FE0" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/montmodmult.c" + filePath = "../source/montgomery.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "364" - endingLineNumber = "364" - landmarkName = "modmult_opencl_results(info, state, timed, msg_buf, r_1_buf, n_buf, s_buf, mod_buf, n)" + startingLineNumber = "215" + endingLineNumber = "215" + landmarkName = "add(w, u, v, ndigits)" + landmarkType = "9"> + </BreakpointContent> + </BreakpointProxy> + <BreakpointProxy + BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> + <BreakpointContent + uuid = "20C58A0F-A986-4200-81BE-6650A55F5F80" + shouldBeEnabled = "No" + ignoreCount = "0" + continueAfterRunningActions = "No" + filePath = "../source/montgomery.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "383" + endingLineNumber = "383" + landmarkName = "montSqr(ret, a, ni, n, tmp_1, tmp_2, tmp_3)" landmarkType = "9"> <Locations> <Location - uuid = "A0B20FE3-FB60-4D60-9B51-300DE8543447 - b46ebf1cc4a0b84c" + uuid = "20C58A0F-A986-4200-81BE-6650A55F5F80 - 50935169520bca6c" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "modmult_opencl_results" + symbolName = "montSqr" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "342" - endingLineNumber = "342" - offsetFromSymbolStart = "148"> + startingLineNumber = "376" + endingLineNumber = "376" + offsetFromSymbolStart = "124"> </Location> <Location - uuid = "A0B20FE3-FB60-4D60-9B51-300DE8543447 - b46ebf1cc4a0baf9" + uuid = "20C58A0F-A986-4200-81BE-6650A55F5F80 - 50935169520bcaae" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "modmult_opencl_results" + symbolName = "montSqr" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "353" - endingLineNumber = "353" - offsetFromSymbolStart = "148"> + startingLineNumber = "374" + endingLineNumber = "374" + offsetFromSymbolStart = "98"> </Location> <Location - uuid = "A0B20FE3-FB60-4D60-9B51-300DE8543447 - b46ebf1cc4a0b944" + uuid = "20C58A0F-A986-4200-81BE-6650A55F5F80 - 50935169520bc7c0" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "modmult_opencl_results" + symbolName = "montSqr" + moduleName = "lib-gpu-verify" + usesParentBreakpointCondition = "Yes" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "412" + endingLineNumber = "412" + offsetFromSymbolStart = "98"> + </Location> + <Location + uuid = "20C58A0F-A986-4200-81BE-6650A55F5F80 - 50935169520bc7e1" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + symbolName = "montSqr" + moduleName = "lib-gpu-verify" + usesParentBreakpointCondition = "Yes" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "411" + endingLineNumber = "411" + offsetFromSymbolStart = "98"> + </Location> + <Location + uuid = "20C58A0F-A986-4200-81BE-6650A55F5F80 - 50935169520bc786" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + symbolName = "montSqr" + moduleName = "lib-gpu-verify" + usesParentBreakpointCondition = "Yes" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "414" + endingLineNumber = "414" + offsetFromSymbolStart = "140"> + </Location> + <Location + uuid = "20C58A0F-A986-4200-81BE-6650A55F5F80 - 50935169520bc786" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + symbolName = "montSqr" + moduleName = "lib-gpu-verify" + usesParentBreakpointCondition = "Yes" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "414" + endingLineNumber = "414" + offsetFromSymbolStart = "126"> + </Location> + <Location + uuid = "20C58A0F-A986-4200-81BE-6650A55F5F80 - 50935169520bc134" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + symbolName = "montSqr" + moduleName = "lib-gpu-verify" + usesParentBreakpointCondition = "Yes" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "432" + endingLineNumber = "432" + offsetFromSymbolStart = "140"> + </Location> + <Location + uuid = "20C58A0F-A986-4200-81BE-6650A55F5F80 - 50935169520bc3a0" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + symbolName = "montSqr" + moduleName = "lib-gpu-verify" + usesParentBreakpointCondition = "Yes" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "444" + endingLineNumber = "444" + offsetFromSymbolStart = "116"> + </Location> + <Location + uuid = "20C58A0F-A986-4200-81BE-6650A55F5F80 - 50935169520bcb1a" + shouldBeEnabled = "Yes" + ignoreCount = "0" + continueAfterRunningActions = "No" + symbolName = "montSqr" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "350" - endingLineNumber = "350" - offsetFromSymbolStart = "148"> + startingLineNumber = "386" + endingLineNumber = "386" + offsetFromSymbolStart = "116"> </Location> </Locations> </BreakpointContent> @@ -5160,107 +5182,107 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "6B6DD1A1-289E-455E-B49C-DDF8158E3B10" - shouldBeEnabled = "No" + uuid = "9B34856F-65B7-49E7-9879-CE2E7291BD44" + shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/montmodmult.c" + filePath = "../source/montgomery.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "175" - endingLineNumber = "175" - landmarkName = "montmodmult_pairs_from_files(x_buf, m_buf, r_1_buf, n_buf, ni_buf, msg_buf, exp_buf, mod_buf, s_buf, pks, n)" + startingLineNumber = "446" + endingLineNumber = "446" + landmarkName = "mont(x, m, res, n, ni, exp, tmp_1, tmp_2, tmp_3, pks)" landmarkType = "9"> <Locations> <Location - uuid = "6B6DD1A1-289E-455E-B49C-DDF8158E3B10 - 18037aea005ac82e" + uuid = "9B34856F-65B7-49E7-9879-CE2E7291BD44 - 165c509e6f753a5b" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "montmodmult_pairs_from_files" + symbolName = "mont" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "162" - endingLineNumber = "162" - offsetFromSymbolStart = "1892"> + startingLineNumber = "474" + endingLineNumber = "474" + offsetFromSymbolStart = "443"> </Location> <Location - uuid = "6B6DD1A1-289E-455E-B49C-DDF8158E3B10 - 18037aea005acb83" + uuid = "9B34856F-65B7-49E7-9879-CE2E7291BD44 - 165c509e6f753caf" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "montmodmult_pairs_from_files" + symbolName = "mont" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "173" - endingLineNumber = "173" - offsetFromSymbolStart = "2017"> + startingLineNumber = "494" + endingLineNumber = "494" + offsetFromSymbolStart = "443"> </Location> <Location - uuid = "6B6DD1A1-289E-455E-B49C-DDF8158E3B10 - 18037aea005acb07" + uuid = "9B34856F-65B7-49E7-9879-CE2E7291BD44 - 165c509e6f753f33" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "montmodmult_pairs_from_files" + symbolName = "mont" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "169" - endingLineNumber = "169" - offsetFromSymbolStart = "2078"> + startingLineNumber = "498" + endingLineNumber = "498" + offsetFromSymbolStart = "443"> </Location> <Location - uuid = "6B6DD1A1-289E-455E-B49C-DDF8158E3B10 - 18037aea005acb07" + uuid = "9B34856F-65B7-49E7-9879-CE2E7291BD44 - 165c509e6f753ef9" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "montmodmult_pairs_from_files" + symbolName = "mont" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "169" - endingLineNumber = "169" - offsetFromSymbolStart = "2075"> + startingLineNumber = "508" + endingLineNumber = "508" + offsetFromSymbolStart = "443"> </Location> <Location - uuid = "6B6DD1A1-289E-455E-B49C-DDF8158E3B10 - 18037aea005acb07" + uuid = "9B34856F-65B7-49E7-9879-CE2E7291BD44 - 165c509e6f75386a" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "montmodmult_pairs_from_files" + symbolName = "mont" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "169" - endingLineNumber = "169" - offsetFromSymbolStart = "2072"> + startingLineNumber = "457" + endingLineNumber = "457" + offsetFromSymbolStart = "443"> </Location> <Location - uuid = "6B6DD1A1-289E-455E-B49C-DDF8158E3B10 - 18037aea005aca41" + uuid = "9B34856F-65B7-49E7-9879-CE2E7291BD44 - 165c509e6f7526ff" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "montmodmult_pairs_from_files" + symbolName = "mont" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "175" - endingLineNumber = "175" - offsetFromSymbolStart = "2194"> + startingLineNumber = "446" + endingLineNumber = "446" + offsetFromSymbolStart = "443"> </Location> </Locations> </BreakpointContent> @@ -5268,137 +5290,204 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "5C0ACEE0-4246-4CA2-9B7C-A5B3E417DD3E" + uuid = "52864517-51A6-4A94-BBCD-2CFE742F9567" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/montmodmult.c" + filePath = "../source/montgomery.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "370" - endingLineNumber = "370" - landmarkName = "modmult_opencl_results(info, state, timed, msg_buf, r_1_buf, n_buf, s_buf, mod_buf, n)" + startingLineNumber = "425" + endingLineNumber = "425" + landmarkName = "mont(x, m, res, n, ni, exp, tmp_1, tmp_2, tmp_3, pks)" landmarkType = "9"> <Locations> <Location - uuid = "5C0ACEE0-4246-4CA2-9B7C-A5B3E417DD3E - b46ebf1cc4a0ba9a" - shouldBeEnabled = "Yes" - ignoreCount = "0" - continueAfterRunningActions = "No" - symbolName = "modmult_opencl_results" - moduleName = "lib-gpu-verify" - usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "356" - endingLineNumber = "356" - offsetFromSymbolStart = "272"> - </Location> - <Location - uuid = "5C0ACEE0-4246-4CA2-9B7C-A5B3E417DD3E - b46ebf1cc4a0bfd1" + uuid = "52864517-51A6-4A94-BBCD-2CFE742F9567 - 165c509e6f753bb4" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "modmult_opencl_results" + symbolName = "mont" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "393" - endingLineNumber = "393" - offsetFromSymbolStart = "272"> + startingLineNumber = "471" + endingLineNumber = "471" + offsetFromSymbolStart = "197"> </Location> <Location - uuid = "5C0ACEE0-4246-4CA2-9B7C-A5B3E417DD3E - b46ebf1cc4a0bf93" + uuid = "52864517-51A6-4A94-BBCD-2CFE742F9567 - 165c509e6f753bd7" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "modmult_opencl_results" + symbolName = "mont" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "395" - endingLineNumber = "395" - offsetFromSymbolStart = "272"> + startingLineNumber = "470" + endingLineNumber = "470" + offsetFromSymbolStart = "197"> </Location> <Location - uuid = "5C0ACEE0-4246-4CA2-9B7C-A5B3E417DD3E - b46ebf1cc4a0bf55" + uuid = "52864517-51A6-4A94-BBCD-2CFE742F9567 - 165c509e6f753bf6" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "modmult_opencl_results" + symbolName = "mont" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "397" - endingLineNumber = "397" - offsetFromSymbolStart = "272"> + startingLineNumber = "469" + endingLineNumber = "469" + offsetFromSymbolStart = "197"> </Location> <Location - uuid = "5C0ACEE0-4246-4CA2-9B7C-A5B3E417DD3E - b46ebf1cc4a0bf55" + uuid = "52864517-51A6-4A94-BBCD-2CFE742F9567 - 165c509e6f753a7a" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "modmult_opencl_results" + symbolName = "mont" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "397" - endingLineNumber = "397" - offsetFromSymbolStart = "290"> + startingLineNumber = "473" + endingLineNumber = "473" + offsetFromSymbolStart = "197"> </Location> <Location - uuid = "5C0ACEE0-4246-4CA2-9B7C-A5B3E417DD3E - b46ebf1cc4a0be1f" + uuid = "52864517-51A6-4A94-BBCD-2CFE742F9567 - 165c509e6f753d00" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "modmult_opencl_results" + symbolName = "mont" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "391" - endingLineNumber = "391" - offsetFromSymbolStart = "290"> + startingLineNumber = "483" + endingLineNumber = "483" + offsetFromSymbolStart = "197"> </Location> + </Locations> + </BreakpointContent> + </BreakpointProxy> + <BreakpointProxy + BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> + <BreakpointContent + uuid = "98E28699-1DD6-4D46-A28A-23DE8A36F614" + shouldBeEnabled = "No" + ignoreCount = "0" + continueAfterRunningActions = "No" + filePath = "../source/montgomery.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "429" + endingLineNumber = "429" + landmarkName = "mont(x, m, res, n, ni, exp, tmp_1, tmp_2, tmp_3, pks)" + landmarkType = "9"> + </BreakpointContent> + </BreakpointProxy> + <BreakpointProxy + BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> + <BreakpointContent + uuid = "441245F5-9A8B-4465-AF4F-FCEAB744C418" + shouldBeEnabled = "No" + ignoreCount = "0" + continueAfterRunningActions = "No" + filePath = "../source/montgomery.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "315" + endingLineNumber = "315" + landmarkName = "unknown" + landmarkType = "0"> + </BreakpointContent> + </BreakpointProxy> + <BreakpointProxy + BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> + <BreakpointContent + uuid = "C68E232F-2EC2-4E18-96E0-32EF8A2C8EEE" + shouldBeEnabled = "No" + ignoreCount = "0" + continueAfterRunningActions = "No" + filePath = "../source/montmodmult.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "106" + endingLineNumber = "106" + landmarkName = "montmodmult_pairs_from_files(x_buf, m_buf, r_1_buf, n_buf, ni_buf, msg_buf, exp_buf, mod_buf, s_buf, pks, n)" + landmarkType = "9"> + </BreakpointContent> + </BreakpointProxy> + <BreakpointProxy + BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> + <BreakpointContent + uuid = "EB17C7BB-5771-42E6-8EF0-292F464916B4" + shouldBeEnabled = "No" + ignoreCount = "0" + continueAfterRunningActions = "No" + filePath = "../source/montgomery.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "317" + endingLineNumber = "317" + landmarkName = "unknown" + landmarkType = "0"> + </BreakpointContent> + </BreakpointProxy> + <BreakpointProxy + BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> + <BreakpointContent + uuid = "072A6EF8-4BE2-4C21-9B90-1CA1F931C0CB" + shouldBeEnabled = "No" + ignoreCount = "0" + continueAfterRunningActions = "No" + filePath = "../source/montgomery.c" + startingColumnNumber = "9223372036854775807" + endingColumnNumber = "9223372036854775807" + startingLineNumber = "306" + endingLineNumber = "306" + landmarkName = "shift_right(r, n)" + landmarkType = "9"> + <Locations> <Location - uuid = "5C0ACEE0-4246-4CA2-9B7C-A5B3E417DD3E - b46ebf1cc4a0bcc9" + uuid = "072A6EF8-4BE2-4C21-9B90-1CA1F931C0CB - a468c511f0ad6f58" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "modmult_opencl_results" + symbolName = "shift_right" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "369" - endingLineNumber = "369" - offsetFromSymbolStart = "306"> + startingLineNumber = "383" + endingLineNumber = "383" + offsetFromSymbolStart = "11"> </Location> <Location - uuid = "5C0ACEE0-4246-4CA2-9B7C-A5B3E417DD3E - b46ebf1cc4a0bbb3" + uuid = "072A6EF8-4BE2-4C21-9B90-1CA1F931C0CB - a468c511f0ad55b7" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "modmult_opencl_results" + symbolName = "shift_right" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "363" - endingLineNumber = "363" - offsetFromSymbolStart = "282"> + startingLineNumber = "306" + endingLineNumber = "306" + offsetFromSymbolStart = "11"> </Location> </Locations> </BreakpointContent> @@ -5406,47 +5495,47 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "1D13B1BF-088A-44A4-B036-D2267F8385C5" + uuid = "814C9058-AF6A-42F2-A8B1-4B9168878D0C" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/montmodmult.c" + filePath = "../source/montgomery.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "133" - endingLineNumber = "133" - landmarkName = "montmodmult_pairs_from_files(x_buf, m_buf, r_1_buf, n_buf, ni_buf, msg_buf, exp_buf, mod_buf, s_buf, pks, n)" + startingLineNumber = "313" + endingLineNumber = "313" + landmarkName = "shift_right(r, n)" landmarkType = "9"> <Locations> <Location - uuid = "1D13B1BF-088A-44A4-B036-D2267F8385C5 - 18037aea005af42d" + uuid = "814C9058-AF6A-42F2-A8B1-4B9168878D0C - a468c511f0ad6043" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "montmodmult_pairs_from_files" + symbolName = "shift_right" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "131" - endingLineNumber = "131" - offsetFromSymbolStart = "1360"> + startingLineNumber = "390" + endingLineNumber = "390" + offsetFromSymbolStart = "92"> </Location> <Location - uuid = "1D13B1BF-088A-44A4-B036-D2267F8385C5 - 18037aea005af4eb" + uuid = "814C9058-AF6A-42F2-A8B1-4B9168878D0C - a468c511f0ad565e" shouldBeEnabled = "Yes" ignoreCount = "0" continueAfterRunningActions = "No" - symbolName = "montmodmult_pairs_from_files" + symbolName = "shift_right" moduleName = "lib-gpu-verify" usesParentBreakpointCondition = "Yes" - urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montmodmult.c" + urlString = "file:///Users/cedriczwahlen/libgpuverify/source/montgomery.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "133" - endingLineNumber = "133" - offsetFromSymbolStart = "1375"> + startingLineNumber = "313" + endingLineNumber = "313" + offsetFromSymbolStart = "92"> </Location> </Locations> </BreakpointContent> @@ -5454,80 +5543,32 @@ <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "FB38C9CB-9FB8-4B84-9CE2-7184FCD7F326" + uuid = "257EAF63-4F46-4A12-A16E-97D7AA79DF7F" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" filePath = "../source/montgomery.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "144" - endingLineNumber = "144" - landmarkName = "mont_prepare(b, e, m, r, r_1, ni, M, x)" - landmarkType = "9"> - </BreakpointContent> - </BreakpointProxy> - <BreakpointProxy - BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> - <BreakpointContent - uuid = "EC8E40B9-5869-4CD4-A602-C7739D7BFF03" - shouldBeEnabled = "No" - ignoreCount = "0" - continueAfterRunningActions = "No" - filePath = "../source/rsa-test.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "251" - endingLineNumber = "251" - landmarkName = "opencl_pairs_from_files(bases, b_len, exponents, e_len, moduli, m_len, signatures, s_len, pks, n)" - landmarkType = "9"> - </BreakpointContent> - </BreakpointProxy> - <BreakpointProxy - BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> - <BreakpointContent - uuid = "E4BEB202-36D5-4E45-9886-88D8B2A6D37B" - shouldBeEnabled = "No" - ignoreCount = "0" - continueAfterRunningActions = "No" - filePath = "../source/montmodmult.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "392" - endingLineNumber = "392" - landmarkName = "modmult_opencl_results(info, state, timed, msg_buf, r_1_buf, n_buf, s_buf, mod_buf, n)" + startingLineNumber = "244" + endingLineNumber = "244" + landmarkName = "subtract(w, u, v, ndigits)" landmarkType = "9"> </BreakpointContent> </BreakpointProxy> <BreakpointProxy BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> <BreakpointContent - uuid = "EBE3EB24-9B9A-43BD-850A-460559601A71" + uuid = "CA6F6DA2-98B7-4F85-B29E-BE8C2B318DEA" shouldBeEnabled = "No" ignoreCount = "0" continueAfterRunningActions = "No" - filePath = "../source/montmodmult.c" - startingColumnNumber = "9223372036854775807" - endingColumnNumber = "9223372036854775807" - startingLineNumber = "168" - endingLineNumber = "168" - landmarkName = "montmodmult_pairs_from_files(x_buf, m_buf, r_1_buf, n_buf, ni_buf, msg_buf, exp_buf, mod_buf, s_buf, pks, n)" - landmarkType = "9"> - </BreakpointContent> - </BreakpointProxy> - <BreakpointProxy - BreakpointExtensionID = "Xcode.Breakpoint.FileBreakpoint"> - <BreakpointContent - uuid = "7E182A4C-319B-4622-9FD0-18C77CB42D7B" - shouldBeEnabled = "Yes" - ignoreCount = "0" - continueAfterRunningActions = "No" - filePath = "../source/montmodmult.c" + filePath = "../source/montgomery.c" startingColumnNumber = "9223372036854775807" endingColumnNumber = "9223372036854775807" - startingLineNumber = "155" - endingLineNumber = "155" - landmarkName = "montmodmult_pairs_from_files(x_buf, m_buf, r_1_buf, n_buf, ni_buf, msg_buf, exp_buf, mod_buf, s_buf, pks, n)" + startingLineNumber = "245" + endingLineNumber = "245" + landmarkName = "subtract(w, u, v, ndigits)" landmarkType = "9"> </BreakpointContent> </BreakpointProxy> diff --git a/xcode/montgomery.cl b/xcode/montgomery.cl @@ -2732,7 +2732,7 @@ void mont_prepare(mpz_t b, mpz_t e, mpz_t m, //unsigned long len = mpz_sizeinbase(m,2); - unsigned long len = 2049; + unsigned long len = 2048; mpz_mul_2exp(r,one,len); diff --git a/xcode/montmodmult.cl b/xcode/montmodmult.cl @@ -10,7 +10,7 @@ int mult(gpu_register p[2], gpu_register x, gpu_register y) { - + /* Use a 64-bit temp for product */ //ulong t = (ulong)x * (ulong)y; @@ -318,17 +318,55 @@ void erase_above(__global gpu_register *a, size_t n) } +void erase(__global gpu_register *a, size_t n) +{ + + for (int i = 0; i < n; i++) + { + a[i] = 0; + } + +} + int testbit(gpu_register e, int i) { return (e & (0x1 << (gpu_register)i) ) > 0 ? 1 : 0; } +void montMul(__global gpu_register *ret, + __global gpu_register *a, __global gpu_register *b, + __global gpu_register *ni, __global gpu_register *n, + __global gpu_register *tmp_1, __global gpu_register *tmp_2, __global gpu_register *tmp_3 + ) { + + multiply(tmp_1,a,b,32); + //tmp_1[33] = 0; + multiply(tmp_2,tmp_1,ni,32); + multiply(tmp_3,tmp_2,n,32); + add(ret,tmp_1,tmp_3,32); + //erase_above(res); +} + +void montSqr(__global gpu_register *ret, + __global gpu_register *a, + __global gpu_register *ni, __global gpu_register *n, + __global gpu_register *tmp_1, __global gpu_register *tmp_2, __global gpu_register *tmp_3 + ) { + + square(tmp_1,a,32); + //tmp_1[33] = 0; + multiply(tmp_2,tmp_1,ni,32); + multiply(tmp_3,tmp_2,n,32); + add(ret,tmp_1,tmp_3,32); + //erase_above(res); +} + __kernel void mont(__global gpu_register *x, __global gpu_register *m, __global gpu_register *res, __global gpu_register *n, // res is not needed, we write the result in x __global gpu_register *ni, __global gpu_register *exp, - __global gpu_register *tmp_1, __global gpu_register *tmp_2, + __global gpu_register *tmp_1, __global gpu_register *tmp_2, __global gpu_register *tmp_3, __global gpu_register *pks//, unsigned long count // invalid is not needed either ) { @@ -349,27 +387,45 @@ __kernel int k = ceil(log2((float)exp[pk] + (float)1)); - //printf((char __constant *)"%i\n", k); + printf((char __constant *)"%i\n", k); barrier(CLK_GLOBAL_MEM_FENCE | CLK_LOCAL_MEM_FENCE); - equal(tmp_2, x, 32); - - int z = 0; - for (int j = k - 1; j >= 0; j--) { - square(tmp_1,tmp_2,32); - erase_above(tmp_1, 64); - //printf((char __constant *)"sqr\n"); + //square(tmp_1,tmp_2,32); // replace with montSqr + //erase_above(tmp_1, 64); + printf((char __constant *)"sqr\n"); + + montSqr(res, x, ni, n, tmp_1, tmp_2, tmp_3); + + if (testbit(exp[pk], j)) { - multiply(tmp_1,tmp_2,m,32); - erase_above(tmp_1, 64); - //printf((char __constant *)"mul\n"); + + equal(x, res, 32); + erase(tmp_1,64); + erase(tmp_2,64); + erase(tmp_3,64); + + montMul(res, x, m, ni, n, tmp_1, tmp_2, tmp_3); + //equal(tmp_2, tmp_1, 32); + //multiply(tmp_1,tmp_2,m,32); + //erase_above(tmp_1, 64); + printf((char __constant *)"mul\n"); } + + equal(x, res, 32); + erase(tmp_1,64); + erase(tmp_2,64); + erase(tmp_3,64); + // clear / reset the temps... } - - equal(res, tmp_1, 32); - + + equal(x, res, 32); + erase(tmp_2,64); + tmp_2[0] = 1; + montMul(res, x, tmp_2, ni, n, tmp_1, tmp_2, tmp_3); + + }