From 64f9fb1975e52cc1fea3ea9ce9414608c4412677 Mon Sep 17 00:00:00 2001 From: Nick Lewycky Date: Mon, 16 May 2011 19:29:30 +0000 Subject: Fix errors in this llvm ir example. git-svn-id: https://llvm.org/svn/llvm-project/llvm/trunk@131416 91177308-0d34-0410-b5e6-96231b3b80d8 --- docs/LangRef.html | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) (limited to 'docs/LangRef.html') diff --git a/docs/LangRef.html b/docs/LangRef.html index 381fed5..58da875 100644 --- a/docs/LangRef.html +++ b/docs/LangRef.html @@ -2446,11 +2446,11 @@ entry: %narrowaddr = bitcast i32* @g to i16* %wideaddr = bitcast i32* @g to i64* - %trap3 = load 16* %narrowaddr ; Returns a trap value. - %trap4 = load i64* %widaddr ; Returns a trap value. + %trap3 = load i16* %narrowaddr ; Returns a trap value. + %trap4 = load i64* %wideaddr ; Returns a trap value. - %cmp = icmp i32 slt %trap, 0 ; Returns a trap value. - %br i1 %cmp, %true, %end ; Branch to either destination. + %cmp = icmp slt i32 %trap, 0 ; Returns a trap value. + br i1 %cmp, label %true, label %end ; Branch to either destination. true: volatile store i32 0, i32* @g ; This is control-dependent on %cmp, so @@ -2467,19 +2467,19 @@ end: ; if %cmp is true, or the store in %entry ; otherwise, so this is undefined behavior. - %br i1 %cmp, %second_true, %second_end + br i1 %cmp, label %second_true, label %second_end ; The same branch again, but this time the ; true block doesn't have side effects. second_true: ; No side effects! - br label %end + ret void second_end: volatile store i32 0, i32* @g ; This time, the instruction always depends ; on the store in %end. Also, it is ; control-equivalent to %end, so this is - ; well- defined (again, ignoring earlier + ; well-defined (again, ignoring earlier ; undefined behavior in this example). -- cgit v1.1