diff --git a/src/backend/tcop/postgres.c b/src/backend/tcop/postgres.c
index cf591ed5e32..bd8287e68d1 100644
--- a/src/backend/tcop/postgres.c
+++ b/src/backend/tcop/postgres.c
@@ -2690,7 +2690,9 @@ ProcessInterrupts(void)
  */
 #if defined(__ia64__) || defined(__ia64)
 
+#ifdef __INTEL_COMPILER
 #include <asm/ia64regs.h>
+#endif
 
 static __inline__ char *
 ia64_get_bsp(void)