Donate to e Foundation | Murena handsets with /e/OS | Own a part of Murena! Learn more

Commit 12ae9a07 authored by Romain Guy's avatar Romain Guy
Browse files

Improve support for half floats and expose as public API 

Half floats (often called fp16) are commonly used to store floating
point data efficiently without having to use lossy compression schemes.

Half floats are commonly used in the following cases:
- Wide gamut colors
- Meshes (OpenGL and Vulkan)
- HDR images/textures
- Lookup tables as textures (OpenGL and Vulkan), particularly
  in physically-based renderers
- Maching learning/compute

OpenGL and Renderscript both provide Java language APIs that accept
half floats but the platform offers no support to create fp16 values
from fp32 data. The Half class is an IEEE 754 compliant implementation
of half floats that can be used to feed OpenGL and Renderscript properly
encoded values. A comprehensive series of test is also added to CTS.

Test: cts-tradefed run singleCommand cts-dev --module CtsUtilTestCases --test android.util.cts.HalfTest
Bug: 29940137

Change-Id: I908bde7b3c6f65f7a24e0ab5652be4d16cc0358d
parent 780b624f

api/current.txt

+57 −18
Original line number Diff line number Diff line
@@ -11800,14 +11800,14 @@ package android.graphics { 
    method public deprecated boolean clipRegion(android.graphics.Region);

    method public void concat(android.graphics.Matrix);

    method public void drawARGB(int, int, int, int);

    method public void drawArc(float, float, float, float, float, float, boolean, android.graphics.Paint);

    method public void drawArc(android.graphics.RectF, float, float, boolean, android.graphics.Paint);

    method public void drawArc(float, float, float, float, float, float, boolean, android.graphics.Paint);

    method public void drawBitmap(android.graphics.Bitmap, float, float, android.graphics.Paint);

    method public void drawBitmap(android.graphics.Bitmap, android.graphics.Matrix, android.graphics.Paint);

    method public void drawBitmap(android.graphics.Bitmap, android.graphics.Rect, android.graphics.Rect, android.graphics.Paint);

    method public void drawBitmap(android.graphics.Bitmap, android.graphics.Rect, android.graphics.RectF, android.graphics.Paint);

    method public void drawBitmap(android.graphics.Bitmap, android.graphics.Rect, android.graphics.Rect, android.graphics.Paint);

    method public deprecated void drawBitmap(int[], int, int, float, float, int, int, boolean, android.graphics.Paint);

    method public deprecated void drawBitmap(int[], int, int, int, int, int, int, boolean, android.graphics.Paint);

    method public void drawBitmap(android.graphics.Bitmap, android.graphics.Matrix, android.graphics.Paint);

    method public void drawBitmapMesh(android.graphics.Bitmap, int, int, float[], int, int[], int, android.graphics.Paint);

    method public void drawCircle(float, float, float, android.graphics.Paint);

    method public void drawColor(int);
@@ -11815,28 +11815,28 @@ package android.graphics { 
    method public void drawLine(float, float, float, float, android.graphics.Paint);

    method public void drawLines(float[], int, int, android.graphics.Paint);

    method public void drawLines(float[], android.graphics.Paint);

    method public void drawOval(float, float, float, float, android.graphics.Paint);

    method public void drawOval(android.graphics.RectF, android.graphics.Paint);

    method public void drawOval(float, float, float, float, android.graphics.Paint);

    method public void drawPaint(android.graphics.Paint);

    method public void drawPath(android.graphics.Path, android.graphics.Paint);

    method public void drawPicture(android.graphics.Picture);

    method public void drawPicture(android.graphics.Picture, android.graphics.Rect);

    method public void drawPicture(android.graphics.Picture, android.graphics.RectF);

    method public void drawPicture(android.graphics.Picture, android.graphics.Rect);

    method public void drawPoint(float, float, android.graphics.Paint);

    method public void drawPoints(float[], int, int, android.graphics.Paint);

    method public void drawPoints(float[], android.graphics.Paint);

    method public deprecated void drawPosText(char[], int, int, float[], android.graphics.Paint);

    method public deprecated void drawPosText(java.lang.String, float[], android.graphics.Paint);

    method public void drawRGB(int, int, int);

    method public void drawRect(float, float, float, float, android.graphics.Paint);

    method public void drawRect(android.graphics.Rect, android.graphics.Paint);

    method public void drawRect(android.graphics.RectF, android.graphics.Paint);

    method public void drawRoundRect(float, float, float, float, float, float, android.graphics.Paint);

    method public void drawRect(android.graphics.Rect, android.graphics.Paint);

    method public void drawRect(float, float, float, float, android.graphics.Paint);

    method public void drawRoundRect(android.graphics.RectF, float, float, android.graphics.Paint);

    method public void drawRoundRect(float, float, float, float, float, float, android.graphics.Paint);

    method public void drawText(char[], int, int, float, float, android.graphics.Paint);

    method public void drawText(java.lang.CharSequence, int, int, float, float, android.graphics.Paint);

    method public void drawText(java.lang.String, float, float, android.graphics.Paint);

    method public void drawText(java.lang.String, int, int, float, float, android.graphics.Paint);

    method public void drawText(java.lang.CharSequence, int, int, float, float, android.graphics.Paint);

    method public void drawTextOnPath(char[], int, int, android.graphics.Path, float, float, android.graphics.Paint);

    method public void drawTextOnPath(java.lang.String, android.graphics.Path, float, float, android.graphics.Paint);

    method public void drawTextRun(char[], int, int, int, int, float, float, boolean, android.graphics.Paint);
@@ -32103,6 +32103,15 @@ package android.provider { 
    field public static final java.lang.String MIME_TYPE_DIR = "vnd.android.document/directory";

  }













  public static final class DocumentsContract.Path implements android.os.Parcelable {













    ctor public DocumentsContract.Path(java.lang.String, java.util.List<java.lang.String>);













    method public int describeContents();













    method public java.util.List<java.lang.String> getPath();













    method public java.lang.String getRootId();













    method public void writeToParcel(android.os.Parcel, int);













    field public static final android.os.Parcelable.Creator<android.provider.DocumentsContract.Path> CREATOR;













  }



























  public static final class DocumentsContract.Root {















    field public static final java.lang.String COLUMN_AVAILABLE_BYTES = "available_bytes";















    field public static final java.lang.String COLUMN_CAPACITY_BYTES = "capacity_bytes";









@@ -32120,15 +32129,6 @@ package android.provider {













    field public static final int FLAG_SUPPORTS_SEARCH = 8; // 0x8















  }



























  public static final class DocumentsContract.Path implements android.os.Parcelable {













    ctor public DocumentsContract.Path(java.lang.String, java.util.List<java.lang.String>);













    method public int describeContents();













    method public java.util.List<java.lang.String> getPath();













    method public java.lang.String getRootId();













    method public void writeToParcel(android.os.Parcel, int);













    field public static final android.os.Parcelable.Creator<android.provider.DocumentsContract.Path> CREATOR;













  }



























  public abstract class DocumentsProvider extends android.content.ContentProvider {















    ctor public DocumentsProvider();















    method public java.lang.String copyDocument(java.lang.String, java.lang.String) throws java.io.FileNotFoundException;










@@ -40504,6 +40504,45 @@ package android.util {













    method public abstract void setValue(T, float);















  }



























  public final class Half {













    method public static short abs(short);













    method public static short ceil(short);













    method public static short copySign(short, short);













    method public static boolean equals(short, short);













    method public static short floor(short);













    method public static int getExponent(short);













    method public static int getSign(short);













    method public static int getSignificand(short);













    method public static boolean greater(short, short);













    method public static boolean greaterEquals(short, short);













    method public static boolean isInfinite(short);













    method public static boolean isNaN(short);













    method public static boolean isNormalized(short);













    method public static boolean less(short, short);













    method public static boolean lessEquals(short, short);













    method public static short max(short, short);













    method public static short min(short, short);













    method public static short round(short);













    method public static float toFloat(short);













    method public static java.lang.String toHexString(short);













    method public static java.lang.String toString(short);













    method public static short trunc(short);













    method public static short valueOf(float);













    field public static final short EPSILON = 5120; // 0x1400













    field public static final short LOWEST_VALUE = -1025; // 0xfffffbff













    field public static final int MAX_EXPONENT = 15; // 0xf













    field public static final short MAX_VALUE = 31743; // 0x7bff













    field public static final int MIN_EXPONENT = -14; // 0xfffffff2













    field public static final short MIN_NORMAL = 1024; // 0x400













    field public static final short MIN_VALUE = 1; // 0x1













    field public static final short NEGATIVE_INFINITY = -1024; // 0xfffffc00













    field public static final short NEGATIVE_ZERO = -32768; // 0xffff8000













    field public static final short NaN = 32256; // 0x7e00













    field public static final short POSITIVE_INFINITY = 31744; // 0x7c00













    field public static final short POSITIVE_ZERO = 0; // 0x0













    field public static final int SIZE = 16; // 0x10













  }



























  public abstract class IntProperty<T> extends android.util.Property {















    ctor public IntProperty(java.lang.String);















    method public final void set(T, java.lang.Integer);

























api/system-current.txt



+48
−9




























Original line number
Diff line number
Diff line








@@ -12251,14 +12251,14 @@ package android.graphics {













    method public deprecated boolean clipRegion(android.graphics.Region);















    method public void concat(android.graphics.Matrix);















    method public void drawARGB(int, int, int, int);













    method public void drawArc(float, float, float, float, float, float, boolean, android.graphics.Paint);















    method public void drawArc(android.graphics.RectF, float, float, boolean, android.graphics.Paint);













    method public void drawArc(float, float, float, float, float, float, boolean, android.graphics.Paint);















    method public void drawBitmap(android.graphics.Bitmap, float, float, android.graphics.Paint);













    method public void drawBitmap(android.graphics.Bitmap, android.graphics.Matrix, android.graphics.Paint);













    method public void drawBitmap(android.graphics.Bitmap, android.graphics.Rect, android.graphics.Rect, android.graphics.Paint);















    method public void drawBitmap(android.graphics.Bitmap, android.graphics.Rect, android.graphics.RectF, android.graphics.Paint);













    method public void drawBitmap(android.graphics.Bitmap, android.graphics.Rect, android.graphics.Rect, android.graphics.Paint);















    method public deprecated void drawBitmap(int[], int, int, float, float, int, int, boolean, android.graphics.Paint);















    method public deprecated void drawBitmap(int[], int, int, int, int, int, int, boolean, android.graphics.Paint);













    method public void drawBitmap(android.graphics.Bitmap, android.graphics.Matrix, android.graphics.Paint);















    method public void drawBitmapMesh(android.graphics.Bitmap, int, int, float[], int, int[], int, android.graphics.Paint);















    method public void drawCircle(float, float, float, android.graphics.Paint);















    method public void drawColor(int);









@@ -12266,28 +12266,28 @@ package android.graphics {













    method public void drawLine(float, float, float, float, android.graphics.Paint);















    method public void drawLines(float[], int, int, android.graphics.Paint);















    method public void drawLines(float[], android.graphics.Paint);













    method public void drawOval(float, float, float, float, android.graphics.Paint);















    method public void drawOval(android.graphics.RectF, android.graphics.Paint);













    method public void drawOval(float, float, float, float, android.graphics.Paint);















    method public void drawPaint(android.graphics.Paint);















    method public void drawPath(android.graphics.Path, android.graphics.Paint);















    method public void drawPicture(android.graphics.Picture);













    method public void drawPicture(android.graphics.Picture, android.graphics.Rect);















    method public void drawPicture(android.graphics.Picture, android.graphics.RectF);













    method public void drawPicture(android.graphics.Picture, android.graphics.Rect);















    method public void drawPoint(float, float, android.graphics.Paint);















    method public void drawPoints(float[], int, int, android.graphics.Paint);















    method public void drawPoints(float[], android.graphics.Paint);















    method public deprecated void drawPosText(char[], int, int, float[], android.graphics.Paint);















    method public deprecated void drawPosText(java.lang.String, float[], android.graphics.Paint);















    method public void drawRGB(int, int, int);













    method public void drawRect(float, float, float, float, android.graphics.Paint);













    method public void drawRect(android.graphics.Rect, android.graphics.Paint);















    method public void drawRect(android.graphics.RectF, android.graphics.Paint);













    method public void drawRoundRect(float, float, float, float, float, float, android.graphics.Paint);













    method public void drawRect(android.graphics.Rect, android.graphics.Paint);













    method public void drawRect(float, float, float, float, android.graphics.Paint);















    method public void drawRoundRect(android.graphics.RectF, float, float, android.graphics.Paint);













    method public void drawRoundRect(float, float, float, float, float, float, android.graphics.Paint);















    method public void drawText(char[], int, int, float, float, android.graphics.Paint);













    method public void drawText(java.lang.CharSequence, int, int, float, float, android.graphics.Paint);















    method public void drawText(java.lang.String, float, float, android.graphics.Paint);















    method public void drawText(java.lang.String, int, int, float, float, android.graphics.Paint);













    method public void drawText(java.lang.CharSequence, int, int, float, float, android.graphics.Paint);















    method public void drawTextOnPath(char[], int, int, android.graphics.Path, float, float, android.graphics.Paint);















    method public void drawTextOnPath(java.lang.String, android.graphics.Path, float, float, android.graphics.Paint);















    method public void drawTextRun(char[], int, int, int, int, float, float, boolean, android.graphics.Paint);










@@ -43686,6 +43686,45 @@ package android.util {













    method public abstract void setValue(T, float);















  }



























  public final class Half {













    method public static short abs(short);













    method public static short ceil(short);













    method public static short copySign(short, short);













    method public static boolean equals(short, short);













    method public static short floor(short);













    method public static int getExponent(short);













    method public static int getSign(short);













    method public static int getSignificand(short);













    method public static boolean greater(short, short);













    method public static boolean greaterEquals(short, short);













    method public static boolean isInfinite(short);













    method public static boolean isNaN(short);













    method public static boolean isNormalized(short);













    method public static boolean less(short, short);













    method public static boolean lessEquals(short, short);













    method public static short max(short, short);













    method public static short min(short, short);













    method public static short round(short);













    method public static float toFloat(short);













    method public static java.lang.String toHexString(short);













    method public static java.lang.String toString(short);













    method public static short trunc(short);













    method public static short valueOf(float);













    field public static final short EPSILON = 5120; // 0x1400













    field public static final short LOWEST_VALUE = -1025; // 0xfffffbff













    field public static final int MAX_EXPONENT = 15; // 0xf













    field public static final short MAX_VALUE = 31743; // 0x7bff













    field public static final int MIN_EXPONENT = -14; // 0xfffffff2













    field public static final short MIN_NORMAL = 1024; // 0x400













    field public static final short MIN_VALUE = 1; // 0x1













    field public static final short NEGATIVE_INFINITY = -1024; // 0xfffffc00













    field public static final short NEGATIVE_ZERO = -32768; // 0xffff8000













    field public static final short NaN = 32256; // 0x7e00













    field public static final short POSITIVE_INFINITY = 31744; // 0x7c00













    field public static final short POSITIVE_ZERO = 0; // 0x0













    field public static final int SIZE = 16; // 0x10













  }



























  public abstract class IntProperty<T> extends android.util.Property {















    ctor public IntProperty(java.lang.String);















    method public final void set(T, java.lang.Integer);

























api/test-current.txt



+48
−9




























Original line number
Diff line number
Diff line








@@ -11818,14 +11818,14 @@ package android.graphics {













    method public deprecated boolean clipRegion(android.graphics.Region);















    method public void concat(android.graphics.Matrix);















    method public void drawARGB(int, int, int, int);













    method public void drawArc(float, float, float, float, float, float, boolean, android.graphics.Paint);















    method public void drawArc(android.graphics.RectF, float, float, boolean, android.graphics.Paint);













    method public void drawArc(float, float, float, float, float, float, boolean, android.graphics.Paint);















    method public void drawBitmap(android.graphics.Bitmap, float, float, android.graphics.Paint);













    method public void drawBitmap(android.graphics.Bitmap, android.graphics.Matrix, android.graphics.Paint);













    method public void drawBitmap(android.graphics.Bitmap, android.graphics.Rect, android.graphics.Rect, android.graphics.Paint);















    method public void drawBitmap(android.graphics.Bitmap, android.graphics.Rect, android.graphics.RectF, android.graphics.Paint);













    method public void drawBitmap(android.graphics.Bitmap, android.graphics.Rect, android.graphics.Rect, android.graphics.Paint);















    method public deprecated void drawBitmap(int[], int, int, float, float, int, int, boolean, android.graphics.Paint);















    method public deprecated void drawBitmap(int[], int, int, int, int, int, int, boolean, android.graphics.Paint);













    method public void drawBitmap(android.graphics.Bitmap, android.graphics.Matrix, android.graphics.Paint);















    method public void drawBitmapMesh(android.graphics.Bitmap, int, int, float[], int, int[], int, android.graphics.Paint);















    method public void drawCircle(float, float, float, android.graphics.Paint);















    method public void drawColor(int);









@@ -11833,28 +11833,28 @@ package android.graphics {













    method public void drawLine(float, float, float, float, android.graphics.Paint);















    method public void drawLines(float[], int, int, android.graphics.Paint);















    method public void drawLines(float[], android.graphics.Paint);













    method public void drawOval(float, float, float, float, android.graphics.Paint);















    method public void drawOval(android.graphics.RectF, android.graphics.Paint);













    method public void drawOval(float, float, float, float, android.graphics.Paint);















    method public void drawPaint(android.graphics.Paint);















    method public void drawPath(android.graphics.Path, android.graphics.Paint);















    method public void drawPicture(android.graphics.Picture);













    method public void drawPicture(android.graphics.Picture, android.graphics.Rect);















    method public void drawPicture(android.graphics.Picture, android.graphics.RectF);













    method public void drawPicture(android.graphics.Picture, android.graphics.Rect);















    method public void drawPoint(float, float, android.graphics.Paint);















    method public void drawPoints(float[], int, int, android.graphics.Paint);















    method public void drawPoints(float[], android.graphics.Paint);















    method public deprecated void drawPosText(char[], int, int, float[], android.graphics.Paint);















    method public deprecated void drawPosText(java.lang.String, float[], android.graphics.Paint);















    method public void drawRGB(int, int, int);













    method public void drawRect(float, float, float, float, android.graphics.Paint);













    method public void drawRect(android.graphics.Rect, android.graphics.Paint);















    method public void drawRect(android.graphics.RectF, android.graphics.Paint);













    method public void drawRoundRect(float, float, float, float, float, float, android.graphics.Paint);













    method public void drawRect(android.graphics.Rect, android.graphics.Paint);













    method public void drawRect(float, float, float, float, android.graphics.Paint);















    method public void drawRoundRect(android.graphics.RectF, float, float, android.graphics.Paint);













    method public void drawRoundRect(float, float, float, float, float, float, android.graphics.Paint);















    method public void drawText(char[], int, int, float, float, android.graphics.Paint);













    method public void drawText(java.lang.CharSequence, int, int, float, float, android.graphics.Paint);















    method public void drawText(java.lang.String, float, float, android.graphics.Paint);















    method public void drawText(java.lang.String, int, int, float, float, android.graphics.Paint);













    method public void drawText(java.lang.CharSequence, int, int, float, float, android.graphics.Paint);















    method public void drawTextOnPath(char[], int, int, android.graphics.Path, float, float, android.graphics.Paint);















    method public void drawTextOnPath(java.lang.String, android.graphics.Path, float, float, android.graphics.Paint);















    method public void drawTextRun(char[], int, int, int, int, float, float, boolean, android.graphics.Paint);










@@ -40589,6 +40589,45 @@ package android.util {













    method public abstract void setValue(T, float);















  }



























  public final class Half {













    method public static short abs(short);













    method public static short ceil(short);













    method public static short copySign(short, short);













    method public static boolean equals(short, short);













    method public static short floor(short);













    method public static int getExponent(short);













    method public static int getSign(short);













    method public static int getSignificand(short);













    method public static boolean greater(short, short);













    method public static boolean greaterEquals(short, short);













    method public static boolean isInfinite(short);













    method public static boolean isNaN(short);













    method public static boolean isNormalized(short);













    method public static boolean less(short, short);













    method public static boolean lessEquals(short, short);













    method public static short max(short, short);













    method public static short min(short, short);













    method public static short round(short);













    method public static float toFloat(short);













    method public static java.lang.String toHexString(short);













    method public static java.lang.String toString(short);













    method public static short trunc(short);













    method public static short valueOf(float);













    field public static final short EPSILON = 5120; // 0x1400













    field public static final short LOWEST_VALUE = -1025; // 0xfffffbff













    field public static final int MAX_EXPONENT = 15; // 0xf













    field public static final short MAX_VALUE = 31743; // 0x7bff













    field public static final int MIN_EXPONENT = -14; // 0xfffffff2













    field public static final short MIN_NORMAL = 1024; // 0x400













    field public static final short MIN_VALUE = 1; // 0x1













    field public static final short NEGATIVE_INFINITY = -1024; // 0xfffffc00













    field public static final short NEGATIVE_ZERO = -32768; // 0xffff8000













    field public static final short NaN = 32256; // 0x7e00













    field public static final short POSITIVE_INFINITY = 31744; // 0x7c00













    field public static final short POSITIVE_ZERO = 0; // 0x0













    field public static final int SIZE = 16; // 0x10













  }



























  public abstract class IntProperty<T> extends android.util.Property {















    ctor public IntProperty(java.lang.String);















    method public final void set(T, java.lang.Integer);

























core/java/android/util/Half.java



+407
−51


























File changed.
Preview size limit exceeded, changes collapsed.