From 4dc87bc85f08b7e7d04e6603db8a3aeabba066b4 Mon Sep 17 00:00:00 2001
From: Trevor Gross <tmgross@umich.edu>
Date: Mon, 19 Aug 2024 15:48:45 -0500
Subject: [PATCH] Update intrinsics examples

---
 examples/intrinsics.rs | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/examples/intrinsics.rs b/examples/intrinsics.rs
index 8bb70767..6dcd3820 100644
--- a/examples/intrinsics.rs
+++ b/examples/intrinsics.rs
@@ -256,6 +256,10 @@ mod intrinsics {
         a * b
     }
 
+    pub fn divtf(a: f128, b: f128) -> f128 {
+        a / b
+    }
+
     pub fn subtf(a: f128, b: f128) -> f128 {
         a - b
     }
@@ -440,6 +444,7 @@ fn run() {
     bb(aeabi_uldivmod(bb(2), bb(3)));
     bb(ashlti3(bb(2), bb(2)));
     bb(ashrti3(bb(2), bb(2)));
+    bb(divtf(bb(2.), bb(2.)));
     bb(divti3(bb(2), bb(2)));
     bb(eqtf(bb(2.), bb(2.)));
     bb(extendhfdf(bb(2.)));