diff --git a/gcc/ChangeLog b/gcc/ChangeLog
index b4a8d562b48..8ea0314e10f 100644
--- a/gcc/ChangeLog
+++ b/gcc/ChangeLog
@@ -1,3 +1,7 @@
+2000-09-13  Richard Henderson  <rth@cygnus.com>
+
+	* config/ia64/lib1funcs.asm (__divsf3): Protect fnorm.s with p6.
+
 2000-09-13  Stephane Carrez  <Stephane.Carrez@worldnet.fr>
 
 	* flags.h (flag_dump_rtl_in_asm): Declare.
diff --git a/gcc/config/ia64/lib1funcs.asm b/gcc/config/ia64/lib1funcs.asm
index 5e1b8fc2837..1296c1e0cab 100644
--- a/gcc/config/ia64/lib1funcs.asm
+++ b/gcc/config/ia64/lib1funcs.asm
@@ -96,8 +96,11 @@ __divdf3:
 	.global __divsf3
 	.proc __divsf3
 __divsf3:
+	cmp.eq p7, p0 = r0, r0
 	frcpa.s0 f10, p6 = farg0, farg1
 	;;
+(p6)	cmp.ne p7, p0 = r0, r0
+	.pred.rel.mutex p6, p7
 (p6)	fmpy.s1 f8 = farg0, f10
 (p6)	fnma.s1 f9 = farg1, f10, f1
 	;;
@@ -109,7 +112,8 @@ __divsf3:
 	;;
 (p6)	fma.d.s1 f10 = f9, f8, f8
 	;;
-	fnorm.s.s0 fret0 = f10
+(p6)	fnorm.s.s0 fret0 = f10
+(p7)	mov fret0 = f10
 	br.ret.sptk rp
 	;;
 	.endp __divsf3