From: Chris Lattner Date: Tue, 25 Jun 2002 20:20:08 +0000 (+0000) Subject: Avoid calling LLVM "Strongly typed" X-Git-Url: http://plrg.eecs.uci.edu/git/?a=commitdiff_plain;h=b7c6c2a5cc5c7d11243a14a5c01859b1a506ac0c;p=oota-llvm.git Avoid calling LLVM "Strongly typed" git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@2785 91177308-0d34-0410-b5e6-96231b3b80d8 --- diff --git a/docs/LangRef.html b/docs/LangRef.html index b2d9e387f2d..a23d68a79ad 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -118,14 +118,14 @@ different forms of LLVM are all equivalent. This document describes the human readable representation and notation.

The LLVM representation aims to be a light weight and low level while being -expressive, type safe, and extensible at the same time. It aims to be a -"universal IR" of sorts, by being at a low enough level that high level ideas -may be cleanly mapped to it (similar to how microprocessors are "universal -IR's", allowing many source languages to be mapped to them). By providing type -safety, LLVM can be used as the target of optimizations: for example, through -pointer analysis, it can be proven that a C automatic variable is never accessed -outside of the current function... allowing it to be promoted to a simple SSA -value instead of a memory location.

+expressive, typed, and extensible at the same time. It aims to be a "universal +IR" of sorts, by being at a low enough level that high level ideas may be +cleanly mapped to it (similar to how microprocessors are "universal IR's", +allowing many source languages to be mapped to them). By providing type +information, LLVM can be used as the target of optimizations: for example, +through pointer analysis, it can be proven that a C automatic variable is never +accessed outside of the current function... allowing it to be promoted to a +simple SSA value instead of a memory location.

Well Formedness