Conversions.smali

.class final Lorg/spongycastle/pqc/crypto/mceliece/Conversions;
.super Ljava/lang/Object;
.source "Conversions.java"


# static fields
.field private static final ONE:Ljava/math/BigInteger;

.field private static final ZERO:Ljava/math/BigInteger;


# direct methods
.method static constructor <clinit>()V
    .registers 2

    .prologue
    .line 15
    const-wide/16 v0, 0x0

    invoke-static {v0, v1}, Ljava/math/BigInteger;->valueOf(J)Ljava/math/BigInteger;

    move-result-object v0

    sput-object v0, Lorg/spongycastle/pqc/crypto/mceliece/Conversions;->ZERO:Ljava/math/BigInteger;

    .line 16
    const-wide/16 v0, 0x1

    invoke-static {v0, v1}, Ljava/math/BigInteger;->valueOf(J)Ljava/math/BigInteger;

    move-result-object v0

    sput-object v0, Lorg/spongycastle/pqc/crypto/mceliece/Conversions;->ONE:Ljava/math/BigInteger;

    return-void
.end method

.method private constructor <init>()V
    .registers 1

    .prologue
    .line 22
    invoke-direct {p0}, Ljava/lang/Object;-><init>()V

    .line 23
    return-void
.end method

.method public static decode(IILorg/spongycastle/pqc/math/linearalgebra/GF2Vector;)[B
    .registers 12

    .prologue
    .line 93
    invoke-virtual {p2}, Lorg/spongycastle/pqc/math/linearalgebra/GF2Vector;->getLength()I

    move-result v0

    if-ne v0, p0, :cond_c

    invoke-virtual {p2}, Lorg/spongycastle/pqc/math/linearalgebra/GF2Vector;->getHammingWeight()I

    move-result v0

    if-eq v0, p1, :cond_14

    .line 95
    :cond_c
    new-instance v0, Ljava/lang/IllegalArgumentException;

    const-string v1, "vector has wrong length or hamming weight"

    invoke-direct {v0, v1}, Ljava/lang/IllegalArgumentException;-><init>(Ljava/lang/String;)V

    throw v0

    .line 98
    :cond_14
    invoke-virtual {p2}, Lorg/spongycastle/pqc/math/linearalgebra/GF2Vector;->getVecArray()[I

    move-result-object v5

    .line 100
    invoke-static {p0, p1}, Lorg/spongycastle/pqc/math/linearalgebra/IntegerFunctions;->binomial(II)Ljava/math/BigInteger;

    move-result-object v2

    .line 101
    sget-object v1, Lorg/spongycastle/pqc/crypto/mceliece/Conversions;->ZERO:Ljava/math/BigInteger;

    .line 104
    const/4 v0, 0x0

    move v3, v0

    move v4, p0

    move-object v0, v1

    move-object v1, v2

    move v2, p1

    :goto_24
    if-ge v3, p0, :cond_6b

    .line 106
    sub-int v6, v4, v2

    int-to-long v6, v6

    invoke-static {v6, v7}, Ljava/math/BigInteger;->valueOf(J)Ljava/math/BigInteger;

    move-result-object v6

    invoke-virtual {v1, v6}, Ljava/math/BigInteger;->multiply(Ljava/math/BigInteger;)Ljava/math/BigInteger;

    move-result-object v1

    int-to-long v6, v4

    .line 107
    invoke-static {v6, v7}, Ljava/math/BigInteger;->valueOf(J)Ljava/math/BigInteger;

    move-result-object v6

    .line 106
    invoke-virtual {v1, v6}, Ljava/math/BigInteger;->divide(Ljava/math/BigInteger;)Ljava/math/BigInteger;

    move-result-object v1

    .line 108
    add-int/lit8 v4, v4, -0x1

    .line 110
    shr-int/lit8 v6, v3, 0x5

    .line 111
    aget v6, v5, v6

    const/4 v7, 0x1

    and-int/lit8 v8, v3, 0x1f

    shl-int/2addr v7, v8

    and-int/2addr v6, v7

    .line 112
    if-eqz v6, :cond_51

    .line 114
    invoke-virtual {v0, v1}, Ljava/math/BigInteger;->add(Ljava/math/BigInteger;)Ljava/math/BigInteger;

    move-result-object v0

    .line 115
    add-int/lit8 v2, v2, -0x1

    .line 116
    if-ne v4, v2, :cond_54

    .line 118
    sget-object v1, Lorg/spongycastle/pqc/crypto/mceliece/Conversions;->ONE:Ljava/math/BigInteger;

    .line 104
    :cond_51
    :goto_51
    add-int/lit8 v3, v3, 0x1

    goto :goto_24

    .line 122
    :cond_54
    add-int/lit8 v6, v2, 0x1

    int-to-long v6, v6

    invoke-static {v6, v7}, Ljava/math/BigInteger;->valueOf(J)Ljava/math/BigInteger;

    move-result-object v6

    invoke-virtual {v1, v6}, Ljava/math/BigInteger;->multiply(Ljava/math/BigInteger;)Ljava/math/BigInteger;

    move-result-object v1

    sub-int v6, v4, v2

    int-to-long v6, v6

    .line 123
    invoke-static {v6, v7}, Ljava/math/BigInteger;->valueOf(J)Ljava/math/BigInteger;

    move-result-object v6

    .line 122
    invoke-virtual {v1, v6}, Ljava/math/BigInteger;->divide(Ljava/math/BigInteger;)Ljava/math/BigInteger;

    move-result-object v1

    goto :goto_51

    .line 129
    :cond_6b
    invoke-static {v0}, Lorg/spongycastle/pqc/math/linearalgebra/BigIntUtils;->toMinimalByteArray(Ljava/math/BigInteger;)[B

    move-result-object v0

    return-object v0
.end method

.method public static encode(II[B)Lorg/spongycastle/pqc/math/linearalgebra/GF2Vector;
    .registers 11

    .prologue
    .line 37
    if-ge p0, p1, :cond_a

    .line 39
    new-instance v0, Ljava/lang/IllegalArgumentException;

    const-string v1, "n < t"

    invoke-direct {v0, v1}, Ljava/lang/IllegalArgumentException;-><init>(Ljava/lang/String;)V

    throw v0

    .line 43
    :cond_a
    invoke-static {p0, p1}, Lorg/spongycastle/pqc/math/linearalgebra/IntegerFunctions;->binomial(II)Ljava/math/BigInteger;

    move-result-object v1

    .line 45
    new-instance v2, Ljava/math/BigInteger;

    const/4 v0, 0x1

    invoke-direct {v2, v0, p2}, Ljava/math/BigInteger;-><init>(I[B)V

    .line 47
    invoke-virtual {v2, v1}, Ljava/math/BigInteger;->compareTo(Ljava/math/BigInteger;)I

    move-result v0

    if-ltz v0, :cond_22

    .line 49
    new-instance v0, Ljava/lang/IllegalArgumentException;

    const-string v1, "Encoded number too large."

    invoke-direct {v0, v1}, Ljava/lang/IllegalArgumentException;-><init>(Ljava/lang/String;)V

    throw v0

    .line 52
    :cond_22
    new-instance v5, Lorg/spongycastle/pqc/math/linearalgebra/GF2Vector;

    invoke-direct {v5, p0}, Lorg/spongycastle/pqc/math/linearalgebra/GF2Vector;-><init>(I)V

    .line 56
    const/4 v0, 0x0

    move v3, v0

    move v4, p0

    move-object v0, v1

    move-object v1, v2

    move v2, p1

    :goto_2d
    if-ge v3, p0, :cond_72

    .line 58
    sub-int v6, v4, v2

    int-to-long v6, v6

    invoke-static {v6, v7}, Ljava/math/BigInteger;->valueOf(J)Ljava/math/BigInteger;

    move-result-object v6

    invoke-virtual {v0, v6}, Ljava/math/BigInteger;->multiply(Ljava/math/BigInteger;)Ljava/math/BigInteger;

    move-result-object v0

    int-to-long v6, v4

    .line 59
    invoke-static {v6, v7}, Ljava/math/BigInteger;->valueOf(J)Ljava/math/BigInteger;

    move-result-object v6

    .line 58
    invoke-virtual {v0, v6}, Ljava/math/BigInteger;->divide(Ljava/math/BigInteger;)Ljava/math/BigInteger;

    move-result-object v0

    .line 60
    add-int/lit8 v4, v4, -0x1

    .line 61
    invoke-virtual {v0, v1}, Ljava/math/BigInteger;->compareTo(Ljava/math/BigInteger;)I

    move-result v6

    if-gtz v6, :cond_58

    .line 63
    invoke-virtual {v5, v3}, Lorg/spongycastle/pqc/math/linearalgebra/GF2Vector;->setBit(I)V

    .line 64
    invoke-virtual {v1, v0}, Ljava/math/BigInteger;->subtract(Ljava/math/BigInteger;)Ljava/math/BigInteger;

    move-result-object v1

    .line 65
    add-int/lit8 v2, v2, -0x1

    .line 66
    if-ne v4, v2, :cond_5b

    .line 68
    sget-object v0, Lorg/spongycastle/pqc/crypto/mceliece/Conversions;->ONE:Ljava/math/BigInteger;

    .line 56
    :cond_58
    :goto_58
    add-int/lit8 v3, v3, 0x1

    goto :goto_2d

    .line 72
    :cond_5b
    add-int/lit8 v6, v2, 0x1

    int-to-long v6, v6

    invoke-static {v6, v7}, Ljava/math/BigInteger;->valueOf(J)Ljava/math/BigInteger;

    move-result-object v6

    invoke-virtual {v0, v6}, Ljava/math/BigInteger;->multiply(Ljava/math/BigInteger;)Ljava/math/BigInteger;

    move-result-object v0

    sub-int v6, v4, v2

    int-to-long v6, v6

    .line 73
    invoke-static {v6, v7}, Ljava/math/BigInteger;->valueOf(J)Ljava/math/BigInteger;

    move-result-object v6

    invoke-virtual {v0, v6}, Ljava/math/BigInteger;->divide(Ljava/math/BigInteger;)Ljava/math/BigInteger;

    move-result-object v0

    goto :goto_58

    .line 78
    :cond_72
    return-object v5
.end method

.method public static signConversion(II[B)[B
    .registers 15

    .prologue
    const/16 v0, 0x8

    const/4 v11, 0x1

    const/4 v4, 0x0

    .line 145
    if-ge p0, p1, :cond_e

    .line 147
    new-instance v0, Ljava/lang/IllegalArgumentException;

    const-string v1, "n < t"

    invoke-direct {v0, v1}, Ljava/lang/IllegalArgumentException;-><init>(Ljava/lang/String;)V

    throw v0

    .line 150
    :cond_e
    invoke-static {p0, p1}, Lorg/spongycastle/pqc/math/linearalgebra/IntegerFunctions;->binomial(II)Ljava/math/BigInteger;

    move-result-object v3

    .line 152
    invoke-virtual {v3}, Ljava/math/BigInteger;->bitLength()I

    move-result v1

    add-int/lit8 v2, v1, -0x1

    .line 154
    shr-int/lit8 v1, v2, 0x3

    .line 155
    and-int/lit8 v2, v2, 0x7

    .line 156
    if-nez v2, :cond_d5

    .line 158
    add-int/lit8 v1, v1, -0x1

    move v6, v1

    move v7, v0

    .line 163
    :goto_22
    shr-int/lit8 v2, p0, 0x3

    .line 164
    and-int/lit8 v1, p0, 0x7

    .line 165
    if-nez v1, :cond_d1

    .line 167
    add-int/lit8 v1, v2, -0x1

    .line 171
    :goto_2a
    add-int/lit8 v2, v1, 0x1

    new-array v8, v2, [B

    .line 172
    array-length v2, p2

    array-length v5, v8

    if-ge v2, v5, :cond_3f

    .line 174
    array-length v0, p2

    invoke-static {p2, v4, v8, v4, v0}, Ljava/lang/System;->arraycopy(Ljava/lang/Object;ILjava/lang/Object;II)V

    .line 175
    array-length v0, p2

    :goto_37
    array-length v1, v8

    if-ge v0, v1, :cond_4c

    .line 177
    aput-byte v4, v8, v0

    .line 175
    add-int/lit8 v0, v0, 0x1

    goto :goto_37

    .line 182
    :cond_3f
    invoke-static {p2, v4, v8, v4, v1}, Ljava/lang/System;->arraycopy(Ljava/lang/Object;ILjava/lang/Object;II)V

    .line 183
    shl-int v0, v11, v0

    add-int/lit8 v0, v0, -0x1

    .line 184
    aget-byte v2, p2, v1

    and-int/2addr v0, v2

    int-to-byte v0, v0

    aput-byte v0, v8, v1

    .line 187
    :cond_4c
    sget-object v0, Lorg/spongycastle/pqc/crypto/mceliece/Conversions;->ZERO:Ljava/math/BigInteger;

    move-object v1, v3

    move v5, p0

    move v2, p1

    move v3, v4

    .line 190
    :goto_52
    if-ge v3, p0, :cond_aa

    .line 192
    new-instance v9, Ljava/math/BigInteger;

    sub-int v10, v5, v2

    invoke-static {v10}, Ljava/lang/Integer;->toString(I)Ljava/lang/String;

    move-result-object v10

    invoke-direct {v9, v10}, Ljava/math/BigInteger;-><init>(Ljava/lang/String;)V

    invoke-virtual {v1, v9}, Ljava/math/BigInteger;->multiply(Ljava/math/BigInteger;)Ljava/math/BigInteger;

    move-result-object v1

    new-instance v9, Ljava/math/BigInteger;

    .line 193
    invoke-static {v5}, Ljava/lang/Integer;->toString(I)Ljava/lang/String;

    move-result-object v10

    invoke-direct {v9, v10}, Ljava/math/BigInteger;-><init>(Ljava/lang/String;)V

    invoke-virtual {v1, v9}, Ljava/math/BigInteger;->divide(Ljava/math/BigInteger;)Ljava/math/BigInteger;

    move-result-object v1

    .line 194
    add-int/lit8 v5, v5, -0x1

    .line 196
    ushr-int/lit8 v9, v3, 0x3

    .line 197
    and-int/lit8 v10, v3, 0x7

    .line 198
    shl-int v10, v11, v10

    .line 199
    aget-byte v9, v8, v9

    and-int/2addr v9, v10

    int-to-byte v9, v9

    .line 200
    if-eqz v9, :cond_88

    .line 202
    invoke-virtual {v0, v1}, Ljava/math/BigInteger;->add(Ljava/math/BigInteger;)Ljava/math/BigInteger;

    move-result-object v0

    .line 203
    add-int/lit8 v2, v2, -0x1

    .line 204
    if-ne v5, v2, :cond_8b

    .line 206
    sget-object v1, Lorg/spongycastle/pqc/crypto/mceliece/Conversions;->ONE:Ljava/math/BigInteger;

    .line 190
    :cond_88
    :goto_88
    add-int/lit8 v3, v3, 0x1

    goto :goto_52

    .line 210
    :cond_8b
    new-instance v9, Ljava/math/BigInteger;

    add-int/lit8 v10, v2, 0x1

    .line 211
    invoke-static {v10}, Ljava/lang/Integer;->toString(I)Ljava/lang/String;

    move-result-object v10

    invoke-direct {v9, v10}, Ljava/math/BigInteger;-><init>(Ljava/lang/String;)V

    invoke-virtual {v1, v9}, Ljava/math/BigInteger;->multiply(Ljava/math/BigInteger;)Ljava/math/BigInteger;

    move-result-object v1

    new-instance v9, Ljava/math/BigInteger;

    sub-int v10, v5, v2

    .line 212
    invoke-static {v10}, Ljava/lang/Integer;->toString(I)Ljava/lang/String;

    move-result-object v10

    invoke-direct {v9, v10}, Ljava/math/BigInteger;-><init>(Ljava/lang/String;)V

    invoke-virtual {v1, v9}, Ljava/math/BigInteger;->divide(Ljava/math/BigInteger;)Ljava/math/BigInteger;

    move-result-object v1

    goto :goto_88

    .line 217
    :cond_aa
    add-int/lit8 v1, v6, 0x1

    new-array v1, v1, [B

    .line 218
    invoke-virtual {v0}, Ljava/math/BigInteger;->toByteArray()[B

    move-result-object v0

    .line 219
    array-length v2, v0

    array-length v3, v1

    if-ge v2, v3, :cond_c3

    .line 221
    array-length v2, v0

    invoke-static {v0, v4, v1, v4, v2}, Ljava/lang/System;->arraycopy(Ljava/lang/Object;ILjava/lang/Object;II)V

    .line 222
    array-length v0, v0

    :goto_bb
    array-length v2, v1

    if-ge v0, v2, :cond_d0

    .line 224
    aput-byte v4, v1, v0

    .line 222
    add-int/lit8 v0, v0, 0x1

    goto :goto_bb

    .line 229
    :cond_c3
    invoke-static {v0, v4, v1, v4, v6}, Ljava/lang/System;->arraycopy(Ljava/lang/Object;ILjava/lang/Object;II)V

    .line 230
    shl-int v2, v11, v7

    add-int/lit8 v2, v2, -0x1

    aget-byte v0, v0, v6

    and-int/2addr v0, v2

    int-to-byte v0, v0

    aput-byte v0, v1, v6

    .line 233
    :cond_d0
    return-object v1

    :cond_d1
    move v0, v1

    move v1, v2

    goto/16 :goto_2a

    :cond_d5
    move v6, v1

    move v7, v2

    goto/16 :goto_22
.end method