thr3ads.net - llvm dev - [LLVMdev] Possible miscompilation? [Jun 2008]

If this information is useful, please help other people find it:
Share via:

Gary Benson

2008-Jun-11 15:38 UTC

[LLVMdev] Possible miscompilation?

Hi all,

I'm trying to figure out a weird bug I'm seeing.  I'm hoping
it's
something simple in my IR but I can't see anything wrong so I'm
hoping someone here can see something.

I'm using LLVM to compile Java bytecode into native functions.
My code keeps track of the Java local variables in an array of
llvm::Value pointers which get phi'd up at various points.  The
function I'm seeing the bug in has a variable "sl" which is
calculated once and used as a loop end condition, ie:

  int sp = 0;
  int sl = whatever;
  while (sp < sl) {
    // do stuff
  }

The bug is that in my JITted code, sl is calculated as 57, but
after the first iteration it is 0xf900000 despite nothing touching
it as far as I can see.

I attached a copy of the IR, both for the entire function and
for that section with only the blocks that are actually entered
as the function executes.  grepping it for local_5 I don't see
anything that would modify it.  There is some tracing code too,
the calls to @trace_bytecode and @print_value; the output from
that is also attached.

The bizarre thing is that if I add print the value of local_5
at every bytecode then everything is correct.  This is what is
making me suspect a miscompilation.

Thanks in advance for any help!

Cheers,
Gary

--
http://gbenson.net/

Gary Benson

2008-Jun-11 15:39 UTC

head link

[LLVMdev] Possible miscompilation?

Gary Benson wrote:> I attached a copy of the IR, both for the entire function and
> for that section with only the blocks that are actually entered
> as the function executes.  grepping it for local_5 I don't see
> anything that would modify it.  There is some tracing code too,
> the calls to @trace_bytecode and @print_value; the output from
> that is also attached.
Actually attached this time...
-------------- next part --------------
bci_630_private_copy:		; preds = %bci_129
	%method108 = phi [84 x i8]* [ %method98, %bci_129 ]		; <[84 x i8]*>
[#uses=2]
	%local_0_109 = phi [8 x i8]* [ %local_0_99, %bci_129 ]		; <[8 x i8]*>
[#uses=2]
	%local_1_110 = phi [8 x i8]* [ %local_1_100, %bci_129 ]		; <[8 x i8]*>
[#uses=2]
	%local_2_111 = phi [8 x i8]* [ %local_2_101, %bci_129 ]		; <[8 x i8]*>
[#uses=2]
	%local_3_112 = phi [8 x i8]* [ %local_3_102, %bci_129 ]		; <[8 x i8]*>
[#uses=2]
	%local_4_113 = phi i32 [ %local_4_103, %bci_129 ]		; <i32> [#uses=5]
	%local_5_114 = phi i32 [ %local_5_104, %bci_129 ]		; <i32> [#uses=4]
	%local_6_115 = phi [8 x i8]* [ %local_6_105, %bci_129 ]		; <[8 x i8]*>
[#uses=2]
	%local_7_116 = phi i32 [ %local_7_106, %bci_129 ]		; <i32> [#uses=2]
	%local_8_117 = phi i32 [ %local_8_107, %bci_129 ]		; <i32> [#uses=2]
	call void @trace_bytecode( i32 630, i32 261134796 )
	call void @print_value( i32 ptrtoint ([12 x i8]* @dump55 to i32), i32
%local_4_113 )
	call void @trace_bytecode( i32 632, i32 261134796 )
	call void @print_value( i32 ptrtoint ([12 x i8]* @dump56 to i32), i32
%local_5_114 )
	call void @print_value( i32 ptrtoint ([12 x i8]* @dump57 to i32), i32
%local_4_113 )
	call void @trace_bytecode( i32 634, i32 261135952 )
	%state = load i32* inttoptr (i32 264165936 to i32*)		; <i32> [#uses=1]
	icmp eq i32 %state, 1		; <i1>:632 [#uses=1]
	br i1 %632, label %do_safepoint, label %safepointed

safepointed:		; preds = %bci_630_private_copy
	icmp slt i32 %local_4_113, %local_5_114		; <i1>:633 [#uses=1]
	br i1 %633, label %safepointed.bci_132_crit_edge, label
%safepointed.bci_637_crit_edge

safepointed.bci_132_crit_edge:		; preds = %safepointed
	br label %bci_132

bci_132:		; preds = %safepointed901.bci_132_crit_edge,
%safepointed.bci_132_crit_edge
	%method118 = phi [84 x i8]* [ %method414, %safepointed901.bci_132_crit_edge ],
[ %method108, %safepointed.bci_132_crit_edge ]		; <[84 x i8]*> [#uses=2]
	%local_0_119 = phi [8 x i8]* [ %local_0_415, %safepointed901.bci_132_crit_edge
], [ %local_0_109, %safepointed.bci_132_crit_edge ]		; <[8 x i8]*>
[#uses=2]
	%local_1_120 = phi [8 x i8]* [ %local_1_416, %safepointed901.bci_132_crit_edge
], [ %local_1_110, %safepointed.bci_132_crit_edge ]		; <[8 x i8]*>
[#uses=2]
	%local_2_121 = phi [8 x i8]* [ %local_2_417, %safepointed901.bci_132_crit_edge
], [ %local_2_111, %safepointed.bci_132_crit_edge ]		; <[8 x i8]*>
[#uses=2]
	%local_3_122 = phi [8 x i8]* [ %local_3_418, %safepointed901.bci_132_crit_edge
], [ %local_3_112, %safepointed.bci_132_crit_edge ]		; <[8 x i8]*>
[#uses=5]
	%local_4_123 = phi i32 [ %local_4_419, %safepointed901.bci_132_crit_edge ], [
%local_4_113, %safepointed.bci_132_crit_edge ]		; <i32> [#uses=4]
	%local_5_124 = phi i32 [ %local_5_420, %safepointed901.bci_132_crit_edge ], [
%local_5_114, %safepointed.bci_132_crit_edge ]		; <i32> [#uses=2]
	%local_6_125 = phi [8 x i8]* [ %local_6_421, %safepointed901.bci_132_crit_edge
], [ %local_6_115, %safepointed.bci_132_crit_edge ]		; <[8 x i8]*>
[#uses=2]
	%local_7_126 = phi i32 [ %local_7_422, %safepointed901.bci_132_crit_edge ], [
%local_7_116, %safepointed.bci_132_crit_edge ]		; <i32> [#uses=2]
	%local_8_127 = phi i32 [ %local_8_423, %safepointed901.bci_132_crit_edge ], [
%local_8_117, %safepointed.bci_132_crit_edge ]		; <i32> [#uses=2]
	call void @trace_bytecode( i32 132, i32 261134996 )
	call void @trace_bytecode( i32 133, i32 261134796 )
	call void @trace_bytecode( i32 135, i32 261135052 )
	icmp eq [8 x i8]* %local_3_122, null		; <i1>:634 [#uses=1]
	br i1 %634, label %null546, label %not_null547

not_null547:		; preds = %bci_132
	getelementptr [8 x i8]* %local_3_122, i32 0, i32 8		; <i8*>:635 [#uses=1]
	bitcast i8* %635 to i32*		; <i32*>:636 [#uses=1]
	%length = load i32* %636		; <i32> [#uses=1]
	icmp slt i32 %local_4_123, %length		; <i1>:637 [#uses=1]
	br i1 %637, label %in_bounds, label %out_of_bounds

in_bounds:		; preds = %not_null547
	shl i32 %local_4_123, 1		; <i32>:638 [#uses=1]
	add i32 12, %638		; <i32>:639 [#uses=1]
	ptrtoint [8 x i8]* %local_3_122 to i32		; <i32>:640 [#uses=1]
	add i32 %640, %639		; <i32>:641 [#uses=1]
	inttoptr i32 %641 to i16*		; <i16*>:642 [#uses=1]
	load i16* %642		; <i16>:643 [#uses=1]
	zext i16 %643 to i32		; <i32>:644 [#uses=3]
	call void @trace_bytecode( i32 136, i32 261135068 )
	call void @trace_bytecode( i32 138, i32 261134796 )
	call void @trace_bytecode( i32 140, i32 261134756 )
	call void @trace_bytecode( i32 143, i32 261135964 )
	icmp sge i32 %644, 128		; <i1>:645 [#uses=1]
	br i1 %645, label %bci_202, label %bci_146

bci_146:		; preds = %in_bounds
	%method128 = phi [84 x i8]* [ %method118, %in_bounds ]		; <[84 x i8]*>
[#uses=2]
	%local_0_129 = phi [8 x i8]* [ %local_0_119, %in_bounds ]		; <[8 x i8]*>
[#uses=2]
	%local_1_130 = phi [8 x i8]* [ %local_1_120, %in_bounds ]		; <[8 x i8]*>
[#uses=2]
	%local_2_131 = phi [8 x i8]* [ %local_2_121, %in_bounds ]		; <[8 x i8]*>
[#uses=2]
	%local_3_132 = phi [8 x i8]* [ %local_3_122, %in_bounds ]		; <[8 x i8]*>
[#uses=2]
	%local_4_133 = phi i32 [ %local_4_123, %in_bounds ]		; <i32> [#uses=2]
	%local_5_134 = phi i32 [ %local_5_124, %in_bounds ]		; <i32> [#uses=2]
	%local_6_135 = phi [8 x i8]* [ %local_6_125, %in_bounds ]		; <[8 x i8]*>
[#uses=2]
	%local_7_136 = phi i32 [ %local_7_126, %in_bounds ]		; <i32> [#uses=3]
	%local_8_137 = phi i32 [ %local_8_127, %in_bounds ]		; <i32> [#uses=3]
	%local_9_ = phi i32 [ %644, %in_bounds ]		; <i32> [#uses=2]
	call void @trace_bytecode( i32 146, i32 261134796 )
	call void @trace_bytecode( i32 148, i32 261134796 )
	call void @trace_bytecode( i32 150, i32 261135952 )
	icmp slt i32 %local_7_136, %local_8_137		; <i1>:646 [#uses=1]
	br i1 %646, label %bci_185, label %bci_153

bci_185:		; preds = %bci_146
	%method160 = phi [84 x i8]* [ %method128, %bci_146 ]		; <[84 x i8]*>
[#uses=1]
	%local_0_161 = phi [8 x i8]* [ %local_0_129, %bci_146 ]		; <[8 x i8]*>
[#uses=1]
	%local_1_162 = phi [8 x i8]* [ %local_1_130, %bci_146 ]		; <[8 x i8]*>
[#uses=1]
	%local_2_163 = phi [8 x i8]* [ %local_2_131, %bci_146 ]		; <[8 x i8]*>
[#uses=1]
	%local_3_164 = phi [8 x i8]* [ %local_3_132, %bci_146 ]		; <[8 x i8]*>
[#uses=1]
	%local_4_165 = phi i32 [ %local_4_133, %bci_146 ]		; <i32> [#uses=1]
	%local_5_166 = phi i32 [ %local_5_134, %bci_146 ]		; <i32> [#uses=1]
	%local_6_167 = phi [8 x i8]* [ %local_6_135, %bci_146 ]		; <[8 x i8]*>
[#uses=4]
	%local_7_168 = phi i32 [ %local_7_136, %bci_146 ]		; <i32> [#uses=3]
	%local_8_169 = phi i32 [ %local_8_137, %bci_146 ]		; <i32> [#uses=1]
	%local_9_170 = phi i32 [ %local_9_, %bci_146 ]		; <i32> [#uses=2]
	call void @trace_bytecode( i32 185, i32 261134836 )
	call void @trace_bytecode( i32 187, i32 261134796 )
	call void @trace_bytecode( i32 189, i32 261135756 )
	add i32 1, %local_7_168		; <i32>:956 [#uses=1]
	call void @trace_bytecode( i32 192, i32 261134796 )
	call void @trace_bytecode( i32 194, i32 261135824 )
	shl i32 %local_9_170, 24		; <i32>:957 [#uses=1]
	ashr i32 %957, 24		; <i32>:958 [#uses=1]
	call void @trace_bytecode( i32 195, i32 261135388 )
	icmp eq [8 x i8]* %local_6_167, null		; <i1>:959 [#uses=1]
	br i1 %959, label %null599, label %not_null600

not_null600:		; preds = %bci_185
	getelementptr [8 x i8]* %local_6_167, i32 0, i32 8		; <i8*>:960 [#uses=1]
	bitcast i8* %960 to i32*		; <i32*>:961 [#uses=1]
	%length603 = load i32* %961		; <i32> [#uses=1]
	icmp slt i32 %local_7_168, %length603		; <i1>:962 [#uses=1]
	br i1 %962, label %in_bounds602, label %out_of_bounds601

in_bounds602:		; preds = %not_null600
	trunc i32 %958 to i8		; <i8>:963 [#uses=1]
	add i32 12, %local_7_168		; <i32>:964 [#uses=1]
	ptrtoint [8 x i8]* %local_6_167 to i32		; <i32>:965 [#uses=1]
	add i32 %965, %964		; <i32>:966 [#uses=1]
	inttoptr i32 %966 to i8*		; <i8*>:967 [#uses=1]
	store i8 %963, i8* %967
	call void @trace_bytecode( i32 196, i32 261135756 )
	add i32 1, %local_4_165		; <i32>:968 [#uses=1]
	call void @trace_bytecode( i32 199, i32 261136024 )
	br label %bci_630

bci_630:		; preds = %bci_616.bci_630_crit_edge, %no_exception898, %in_bounds738,
%in_bounds673, %in_bounds602
	%method414 = phi [84 x i8]* [ %method160, %in_bounds602 ], [ %method227,
%in_bounds673 ], [ %method283, %in_bounds738 ], [ %2562, %no_exception898 ], [
%method390, %bci_616.bci_630_crit_edge ]		; <[84 x i8]*> [#uses=2]
	%local_0_415 = phi [8 x i8]* [ %local_0_161, %in_bounds602 ], [ %local_0_228,
%in_bounds673 ], [ %local_0_284, %in_bounds738 ], [ %2577, %no_exception898 ], [
%local_0_391, %bci_616.bci_630_crit_edge ]		; <[8 x i8]*> [#uses=2]
	%local_1_416 = phi [8 x i8]* [ %local_1_162, %in_bounds602 ], [ %local_1_229,
%in_bounds673 ], [ %local_1_285, %in_bounds738 ], [ %2574, %no_exception898 ], [
%local_1_392, %bci_616.bci_630_crit_edge ]		; <[8 x i8]*> [#uses=2]
	%local_2_417 = phi [8 x i8]* [ %local_2_163, %in_bounds602 ], [ %local_2_230,
%in_bounds673 ], [ %local_2_286, %in_bounds738 ], [ %2571, %no_exception898 ], [
%local_2_393, %bci_616.bci_630_crit_edge ]		; <[8 x i8]*> [#uses=2]
	%local_3_418 = phi [8 x i8]* [ %local_3_164, %in_bounds602 ], [ %local_3_231,
%in_bounds673 ], [ %local_3_287, %in_bounds738 ], [ %2568, %no_exception898 ], [
%local_3_394, %bci_616.bci_630_crit_edge ]		; <[8 x i8]*> [#uses=2]
	%local_4_419 = phi i32 [ %968, %in_bounds602 ], [ %1370, %in_bounds673 ], [
%1725, %in_bounds738 ], [ %2583, %no_exception898 ], [ %local_4_395,
%bci_616.bci_630_crit_edge ]		; <i32> [#uses=5]
	%local_5_420 = phi i32 [ %local_5_166, %in_bounds602 ], [ %local_5_233,
%in_bounds673 ], [ %local_5_289, %in_bounds738 ], [ %local_5_384,
%no_exception898 ], [ %local_5_396, %bci_616.bci_630_crit_edge ]		; <i32>
[#uses=4]
	%local_6_421 = phi [8 x i8]* [ %local_6_167, %in_bounds602 ], [ %local_6_234,
%in_bounds673 ], [ %local_6_290, %in_bounds738 ], [ %2565, %no_exception898 ], [
%local_6_397, %bci_616.bci_630_crit_edge ]		; <[8 x i8]*> [#uses=2]
	%local_7_422 = phi i32 [ %956, %in_bounds602 ], [ %1356, %in_bounds673 ], [
%1711, %in_bounds738 ], [ %2505, %no_exception898 ], [ %local_7_398,
%bci_616.bci_630_crit_edge ]		; <i32> [#uses=2]
	%local_8_423 = phi i32 [ %local_8_169, %in_bounds602 ], [ %local_8_236,
%in_bounds673 ], [ %local_8_292, %in_bounds738 ], [ %local_8_387,
%no_exception898 ], [ %local_8_399, %bci_616.bci_630_crit_edge ]		; <i32>
[#uses=2]
	%local_9_424 = phi i32 [ %local_9_170, %in_bounds602 ], [ %local_9_237,
%in_bounds673 ], [ %local_9_293, %in_bounds738 ], [ %local_9_388,
%no_exception898 ], [ %local_9_400, %bci_616.bci_630_crit_edge ]		; <i32>
[#uses=0]
	call void @trace_bytecode( i32 630, i32 261134796 )
	call void @print_value( i32 ptrtoint ([12 x i8]* @dump58 to i32), i32
%local_4_419 )
	call void @trace_bytecode( i32 632, i32 261134796 )
	call void @print_value( i32 ptrtoint ([12 x i8]* @dump59 to i32), i32
%local_5_420 )
	call void @print_value( i32 ptrtoint ([12 x i8]* @dump60 to i32), i32
%local_4_419 )
	call void @trace_bytecode( i32 634, i32 261135952 )
	%state902 = load i32* inttoptr (i32 264165936 to i32*)		; <i32> [#uses=1]
	icmp eq i32 %state902, 1		; <i1>:2584 [#uses=1]
	br i1 %2584, label %do_safepoint900, label %safepointed901
-------------- next part --------------
  0: aload_1
local_1_ = 0xd1e7cf58
  1: invokevirtual
unnamed_value = 0xd1e7cdb8
  4: astore_3
  5: aload_1
unnamed_value = 0xd1e7cf58
  6: invokevirtual
unnamed_value = 0
  9: aload_1
unnamed_value = 0xd1e7cf58
unnamed_value = 0
 10: invokevirtual
unnamed_value = 0
unnamed_value = 0
 13: iadd
unnamed_value = 0
 14: istore
 16: aload_1
unnamed_value = 0xd1e7cf58
 17: invokevirtual
unnamed_value = 0
 20: aload_1
unnamed_value = 0xd1e7cf58
unnamed_value = 0
 21: invokevirtual
unnamed_value = 57
unnamed_value = 0
 24: iadd
unnamed_value = 57
 25: istore
 27: getstatic
unnamed_value = 1
 30: ifne
 48: iload
local_4_17 = 0
 50: iload
local_5_18 = 57
local_4_17 = 0
 52: if_icmpgt
 55: iload
local_4_24 = 0
 57: goto
stack_0_ = 0
 62: istore
 64: aload_2
local_2_36 = 0xd1e7cf28
 65: invokevirtual
unnamed_value = 0xd1e7ce38
 68: astore
 70: aload_2
unnamed_value = 0xd1e7cf28
 71: invokevirtual
unnamed_value = 0
 74: aload_2
unnamed_value = 0xd1e7cf28
unnamed_value = 0
 75: invokevirtual
unnamed_value = 0
unnamed_value = 0
 78: iadd
unnamed_value = 0
 79: istore
 81: aload_2
unnamed_value = 0xd1e7cf28
 82: invokevirtual
unnamed_value = 0
 85: aload_2
unnamed_value = 0xd1e7cf28
unnamed_value = 0
 86: invokevirtual
unnamed_value = 228
unnamed_value = 0
 89: iadd
unnamed_value = 228
 90: istore
 92: getstatic
unnamed_value = 1
 95: ifne
113: iload
local_7_65 = 0
115: iload
local_8_66 = 228
local_7_65 = 0
117: if_icmpgt
120: iload
local_7_75 = 0
122: goto
stack_0_97 = 0
127: istore
129: goto
630: iload
local_4_113 = 0
632: iload
local_5_114 = 57
local_4_113 = 0
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 1
632: iload
local_5_420 = 261095424
local_4_419 = 1
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 2
632: iload
local_5_420 = 261095424
local_4_419 = 2
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 3
632: iload
local_5_420 = 261095424
local_4_419 = 3
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 4
632: iload
local_5_420 = 261095424
local_4_419 = 4
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 5
632: iload
local_5_420 = 261095424
local_4_419 = 5
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 6
632: iload
local_5_420 = 261095424
local_4_419 = 6
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 7
632: iload
local_5_420 = 261095424
local_4_419 = 7
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 8
632: iload
local_5_420 = 261095424
local_4_419 = 8
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 9
632: iload
local_5_420 = 261095424
local_4_419 = 9
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 10
632: iload
local_5_420 = 261095424
local_4_419 = 10
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 11
632: iload
local_5_420 = 261095424
local_4_419 = 11
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 12
632: iload
local_5_420 = 261095424
local_4_419 = 12
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 13
632: iload
local_5_420 = 261095424
local_4_419 = 13
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 14
632: iload
local_5_420 = 261095424
local_4_419 = 14
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 15
632: iload
local_5_420 = 261095424
local_4_419 = 15
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 16
632: iload
local_5_420 = 261095424
local_4_419 = 16
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 17
632: iload
local_5_420 = 261095424
local_4_419 = 17
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 18
632: iload
local_5_420 = 261095424
local_4_419 = 18
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 19
632: iload
local_5_420 = 261095424
local_4_419 = 19
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 20
632: iload
local_5_420 = 261095424
local_4_419 = 20
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 21
632: iload
local_5_420 = 261095424
local_4_419 = 21
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 22
632: iload
local_5_420 = 261095424
local_4_419 = 22
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 23
632: iload
local_5_420 = 261095424
local_4_419 = 23
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 24
632: iload
local_5_420 = 261095424
local_4_419 = 24
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 25
632: iload
local_5_420 = 261095424
local_4_419 = 25
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 26
632: iload
local_5_420 = 261095424
local_4_419 = 26
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 27
632: iload
local_5_420 = 261095424
local_4_419 = 27
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 28
632: iload
local_5_420 = 261095424
local_4_419 = 28
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 29
632: iload
local_5_420 = 261095424
local_4_419 = 29
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 30
632: iload
local_5_420 = 261095424
local_4_419 = 30
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 31
632: iload
local_5_420 = 261095424
local_4_419 = 31
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 32
632: iload
local_5_420 = 261095424
local_4_419 = 32
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 33
632: iload
local_5_420 = 261095424
local_4_419 = 33
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 34
632: iload
local_5_420 = 261095424
local_4_419 = 34
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 35
632: iload
local_5_420 = 261095424
local_4_419 = 35
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 36
632: iload
local_5_420 = 261095424
local_4_419 = 36
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 37
632: iload
local_5_420 = 261095424
local_4_419 = 37
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 38
632: iload
local_5_420 = 261095424
local_4_419 = 38
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 39
632: iload
local_5_420 = 261095424
local_4_419 = 39
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 40
632: iload
local_5_420 = 261095424
local_4_419 = 40
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 41
632: iload
local_5_420 = 261095424
local_4_419 = 41
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 42
632: iload
local_5_420 = 261095424
local_4_419 = 42
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 43
632: iload
local_5_420 = 261095424
local_4_419 = 43
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 44
632: iload
local_5_420 = 261095424
local_4_419 = 44
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 45
632: iload
local_5_420 = 261095424
local_4_419 = 45
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 46
632: iload
local_5_420 = 261095424
local_4_419 = 46
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 47
632: iload
local_5_420 = 261095424
local_4_419 = 47
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 48
632: iload
local_5_420 = 261095424
local_4_419 = 48
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 49
632: iload
local_5_420 = 261095424
local_4_419 = 49
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 50
632: iload
local_5_420 = 261095424
local_4_419 = 50
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 51
632: iload
local_5_420 = 261095424
local_4_419 = 51
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 52
632: iload
local_5_420 = 261095424
local_4_419 = 52
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 53
632: iload
local_5_420 = 261095424
local_4_419 = 53
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 54
632: iload
local_5_420 = 261095424
local_4_419 = 54
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 55
632: iload
local_5_420 = 261095424
local_4_419 = 55
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 56
632: iload
local_5_420 = 261095424
local_4_419 = 56
634: if_icmplt
132: aload_3
133: iload
135: caload
136: istore
138: iload
140: sipush
143: if_icmpge
146: iload
148: iload
150: if_icmplt
185: aload
187: iload
189: iinc
192: iload
194: i2b
195: bastore
196: iinc
199: goto
630: iload
local_4_419 = 57
632: iload
local_5_420 = 261095424
local_4_419 = 57
634: if_icmplt
132: aload_3
133: iload
135: caload
# To suppress the following error report, specify this argument
# after -XX: or in .hotspotrc:  SuppressErrorAt=/sharkBlock.cpp:629
#
# An unexpected error has been detected by Java Runtime Environment:
#
#  Internal Error
(/home/gbenson/mixtec/openjdk-ecj/hotspot/src/share/vm/shark/sharkBlock.cpp:629),
pid=25113, tid=4160480432
#  Error: Unimplemented()
#
# Java VM: OpenJDK Shark VM (1.6.0-b08-product mixed mode linux-ppc)
# An error report file with more information is saved as:
# /home/gbenson/mixtec/hs_err_pid25113.log
#
# If you would like to submit a bug report, please visit:
#   http://icedtea.classpath.org/bugzilla
#
Current thread is 4160480432
Dumping core ...
-------------- next part --------------
A non-text attachment was scrubbed...
Name: encodeArrayLoop.ir.gz
Type: application/x-gzip
Size: 39610 bytes
Desc: not available
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20080611/940a8d3b/attachment.bin>

Duncan Sands

2008-Jun-11 16:25 UTC

head link

[LLVMdev] Possible miscompilation?

Can you please attach IR which can be compiled
to an executable (and shows the problem).

Thanks!

Duncan.

Gary Benson

2008-Jun-11 17:16 UTC

head link

[LLVMdev] Possible miscompilation?

Duncan Sands wrote:> Can you please attach IR which can be compiled
> to an executable (and shows the problem).
I've been generating functions using a builder and then
compiling them with ExecutionEngine::getPointerToFunction().
Is there some way I can get compilable IR from that?

Cheers,
Gary

-- 
http://gbenson.net/

llvm dev - Jun 2008 - [LLVMdev] Possible miscompilation?

[LLVMdev] Possible miscompilation?

[LLVMdev] Possible miscompilation?

[LLVMdev] Possible miscompilation?

[LLVMdev] Possible miscompilation?

Maybe Matching Threads