diff options
author | Alon Zakai <alonzakai@gmail.com> | 2012-01-05 11:26:18 -0800 |
---|---|---|
committer | Alon Zakai <alonzakai@gmail.com> | 2012-01-05 11:26:18 -0800 |
commit | 048cb329be8de531a7f427c95187fae1f86f24a7 (patch) | |
tree | 866ee9457343f22e395a7b1dd09bdec14065f560 | |
parent | 3d8cee8e467ab21e197f93e424b9912368d55526 (diff) |
handle the case where there is no explicit label for the entry, and the name of the entry is important for phi purposes
-rw-r--r-- | src/analyzer.js | 4 | ||||
-rw-r--r-- | tests/cases/phientryimplicit.ll | 24 |
2 files changed, 26 insertions, 2 deletions
diff --git a/src/analyzer.js b/src/analyzer.js index 974dd67d..3feaff92 100644 --- a/src/analyzer.js +++ b/src/analyzer.js @@ -69,10 +69,10 @@ function analyzer(data, sidePass) { subItem.labels = []; // no explicit 'entry' label in clang on LLVM 2.8 - most of the time, but not all the time! - so we add one if necessary - if (LLVM_STYLE == 'new' && item.items[i+1].intertype !== 'label') { + if (item.items[i+1].intertype !== 'label') { item.items.splice(i+1, 0, { intertype: 'label', - ident: toNiceIdent('%0'), + ident: toNiceIdent('%1'), lineNum: subItem.lineNum + '.5' }); } diff --git a/tests/cases/phientryimplicit.ll b/tests/cases/phientryimplicit.ll new file mode 100644 index 00000000..5b3b0b31 --- /dev/null +++ b/tests/cases/phientryimplicit.ll @@ -0,0 +1,24 @@ +; ModuleID = 'tests/hello_world.bc' +target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32-n8:16:32-S128" +target triple = "i386-pc-linux-gnu" + +@.str = private unnamed_addr constant [15 x i8] c"hello, world!\0A\00", align 1 ; [#uses=1 type=[15 x i8]*] + +; [#uses=0] +define i32 @main() { + %retval = alloca i32, align 4 ; [#uses=1 type=i32*] + %16 = trunc i32 1 to i1 + br i1 %16, label %17, label %26, !dbg !1269853 ; [debug line = 3920:5] + +; <label>:17 ; preds = %1 + %25 = trunc i32 1 to i1 + +; <label>:26 ; preds = %17, %1 + %27 = phi i1 [ false, %1 ], [ %25, %17 ] ; [#uses=1 type=i1] + store i32 0, i32* %retval + %call = call i32 (i8*, ...)* @printf(i8* getelementptr inbounds ([15 x i8]* @.str, i32 0, i32 0)) ; [#uses=0 type=i32] + ret i32 1 +} + +; [#uses=1] +declare i32 @printf(i8*, ...) |