Alive k=1 report Transforms/LoopReroll/basic.ll

define void @pointer_bitcast_baseinst(* %arg, * %arg1, i8 %arg2) {
%bb:
  br label %bb3

%bb3:
  %tmp = phi i8 [ 1, %bb ]
  %tmp4 = add nuw i8 %tmp, 8
  %tmp5 = shl nuw i8 %tmp, 1
  %tmp6 = gep * %arg1, 1 x i8 %tmp5
  %tmp8 = load i8, * %tmp6, align 1 ; LOAD 876
  %tmp9 = shl i8 %tmp4, 1
  %tmp10 = gep * %arg1, 1 x i8 %tmp9
  %tmp12 = load i8, * %tmp10, align 1 ; LOAD 892
  %tmp13 = gep * %arg, 1 x i8 %tmp
  store i8 %tmp8, * %tmp13, align 1 ; STORE 892
  %tmp15 = gep * %arg, 1 x i8 %tmp4
  store i8 %tmp12, * %tmp15, align 1 ; STORE 900
  %tmp17 = add nsw nuw i8 %tmp, 16
  %tmp18 = icmp eq i8 %tmp17, %arg2
  br i1 %tmp18, label %bb19, label %bb3_#body

%bb3_#body:
  br label %bb3_#1

%bb3_#1:
  %tmp_#1 = phi i8 [ %tmp17, %bb3_#body ]
  %tmp4_#1 = add nuw i8 %tmp_#1, 8
  %tmp5_#1 = shl nuw i8 %tmp_#1, 1
  %tmp6_#1 = gep * %arg1, 1 x i8 %tmp5_#1
  %tmp8_#1 = load i8, * %tmp6_#1, align 1
  %tmp9_#1 = shl i8 %tmp4_#1, 1
  %tmp10_#1 = gep * %arg1, 1 x i8 %tmp9_#1
  %tmp12_#1 = load i8, * %tmp10_#1, align 1
  %tmp13_#1 = gep * %arg, 1 x i8 %tmp_#1
  store i8 %tmp8_#1, * %tmp13_#1, align 1
  %tmp15_#1 = gep * %arg, 1 x i8 %tmp4_#1
  store i8 %tmp12_#1, * %tmp15_#1, align 1
  %tmp17_#1 = add nsw nuw i8 %tmp_#1, 16
  %tmp18_#1 = icmp eq i8 %tmp17_#1, %arg2
  br i1 %tmp18_#1, label %bb19, label #sink

%bb19:
  ret void
}
=>
define void @pointer_bitcast_baseinst(* %arg, * %arg1, i8 %arg2) {
%bb:
  %0 = add i8 %arg2, 239
  %1 = lshr i8 %0, 4
  %2 = shl nsw nuw i8 %1, 1
  %3 = add i8 %2, 1
  br label %bb3

%bb3:
  %indvar = phi i8 [ 0, %bb ]
  %4 = shl nuw i8 %indvar, 3
  %5 = add i8 %4, 1
  %tmp5 = shl nuw i8 %5, 1
  %tmp6 = gep * %arg1, 1 x i8 %tmp5
  %tmp8 = load i8, * %tmp6, align 1 ; LOAD 876
  %tmp13 = gep * %arg, 1 x i8 %5
  store i8 %tmp8, * %tmp13, align 1 ; STORE 892
  %indvar.next = add i8 %indvar, 1
  %exitcond = icmp eq i8 %indvar, %3
  br i1 %exitcond, label %bb19, label %bb3_#body

%bb3_#body:
  br label %bb3_#1

%bb3_#1:
  %indvar_#1 = phi i8 [ %indvar.next, %bb3_#body ]
  %4_#1 = shl nuw i8 %indvar_#1, 3
  %5_#1 = add i8 %4_#1, 1
  %tmp5_#1 = shl nuw i8 %5_#1, 1
  %tmp6_#1 = gep * %arg1, 1 x i8 %tmp5_#1
  %tmp8_#1 = load i8, * %tmp6_#1, align 1 ; LOAD 892
  %tmp13_#1 = gep * %arg, 1 x i8 %5_#1
  store i8 %tmp8_#1, * %tmp13_#1, align 1 ; STORE 900
  %indvar.next_#1 = add i8 %indvar_#1, 1
  %exitcond_#1 = icmp eq i8 %indvar_#1, %3
  br i1 %exitcond_#1, label %bb19, label #sink

%bb19:
  ret void
}

num_locals_src: 0
num_locals_tgt: 0
num_nonlocals_src: 3
num_nonlocals: 3
bits_for_bid: 2
bits_for_offset: 64
bits_size_t: 64
bits_program_pointer: 64
max_alloc_size: 0
min_access_size: 1
max_access_size: 1
bits_byte: 8
bits_poison_per_byte: 1
strlen_unroll_cnt: 10
memcmp_unroll_cnt: 10
little_endian: 1
nullptr_is_used: 0
has_int2ptr: 0
has_ptr2int: 0
has_malloc: 0
has_free: 0
has_null_block: 1
does_ptr_store: 0
does_mem_access: 1
does_ptr_mem_access: 0
does_int_mem_access: 1
Transformation doesn't verify!
ERROR: Mismatch in memory

Example:
* %arg = pointer(non-local, block_id=1, offset=1261007895663738891)
* %arg1 = pointer(non-local, block_id=1, offset=1261007895663738874)
i8 %arg2 = #x11 (17)

Source:
i8 %tmp = #x01 (1)
i8 %tmp4 = #x09 (9)
i8 %tmp5 = #x02 (2)
* %tmp6 = pointer(non-local, block_id=1, offset=1261007895663738876)
i8 %tmp8 = poison
i8 %tmp9 = #x12 (18)
* %tmp10 = pointer(non-local, block_id=1, offset=1261007895663738892)
i8 %tmp12 = #x1a (26)
* %tmp13 = pointer(non-local, block_id=1, offset=1261007895663738892)
* %tmp15 = pointer(non-local, block_id=1, offset=1261007895663738900)
i8 %tmp17 = #x11 (17)
i1 %tmp18 = #x1 (1)
i8 %tmp_#1 = #x11 (17)
i8 %tmp4_#1 = #x19 (25)
i8 %tmp5_#1 = #x22 (34)
* %tmp6_#1 = pointer(non-local, block_id=1, offset=1261007895663738908)
i8 %tmp8_#1 = #x00 (0)
i8 %tmp9_#1 = #x32 (50)
* %tmp10_#1 = pointer(non-local, block_id=1, offset=1261007895663738924)
i8 %tmp12_#1 = #x00 (0)
* %tmp13_#1 = pointer(non-local, block_id=1, offset=1261007895663738908)
* %tmp15_#1 = pointer(non-local, block_id=1, offset=1261007895663738916)
i8 %tmp17_#1 = #x21 (33)
i1 %tmp18_#1 = #x0 (0)

SOURCE MEMORY STATE
===================
NON-LOCAL BLOCKS:
Block 0 >       size: 0 align: 1        alloc type: 0
Block 1 >       size: 4684869512372158465       align: 2        alloc type: 0
Block 2 >       align: 2        alloc type: 0

Target:
i8 %0 = #x00 (0)
i8 %1 = #x00 (0)
i8 %2 = #x00 (0)
i8 %3 = #x01 (1)
i8 %indvar = #x00 (0)
i8 %4 = #x00 (0)
i8 %5 = #x01 (1)
i8 %tmp5 = #x02 (2)
* %tmp6 = pointer(non-local, block_id=1, offset=1261007895663738876)
i8 %tmp8 = poison
* %tmp13 = pointer(non-local, block_id=1, offset=1261007895663738892)
i8 %indvar.next = #x01 (1)
i1 %exitcond = #x0 (0)
i8 %indvar_#1 = #x01 (1)
i8 %4_#1 = #x08 (8)
i8 %5_#1 = #x09 (9)
i8 %tmp5_#1 = #x12 (18)
* %tmp6_#1 = pointer(non-local, block_id=1, offset=1261007895663738892)
i8 %tmp8_#1 = poison
* %tmp13_#1 = pointer(non-local, block_id=1, offset=1261007895663738900)
i8 %indvar.next_#1 = #x02 (2)
i1 %exitcond_#1 = #x1 (1)

Mismatch in pointer(non-local, block_id=1, offset=1261007895663738900)
Source value: #x1a
Target value: poison