test/Transforms/LICM/pr23608.ll

   1 ; RUN: opt -S -licm %s | FileCheck %s
   2 ; ModuleID = '../pr23608.ll'
   3 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   4 target triple = "x86_64-unknown-linux-gnu"
   5
   6 %struct.PyFrameObject = type { i32 }
   7
   8 @a = common global %struct.PyFrameObject* null, align 8
   9 @__msan_origin_tls = external thread_local(initialexec) global i32
  10
  11 define void @fn1() {
  12 entry:
  13   br label %indirectgoto
  14
  15 while.cond:                                       ; preds = %indirectgoto, %bb15
  16   %tmp = load %struct.PyFrameObject*, %struct.PyFrameObject** @a, align 8
  17   %_msld = load i64, i64* inttoptr (i64 and (i64 ptrtoint (%struct.PyFrameObject** @a to i64), i64 -70368744177665) to i64*), align 8
  18   %tmp1 = load i32, i32* inttoptr (i64 add (i64 and (i64 ptrtoint (%struct.PyFrameObject** @a to i64), i64 -70368744177665), i64 35184372088832) to i32*), align 8
  19   %f_iblock = getelementptr inbounds %struct.PyFrameObject, %struct.PyFrameObject* %tmp, i64 0, i32 0
  20   br label %bb2
  21
  22 bb:                                               ; preds = %while.cond
  23   call void @__msan_warning_noreturn()
  24   unreachable
  25
  26 bb2:                                              ; preds = %while.cond
  27   %tmp3 = load i32, i32* %f_iblock, align 4
  28   %tmp4 = ptrtoint i32* %f_iblock to i64
  29   %tmp8 = inttoptr i64 %tmp4 to i32*
  30   %tobool = icmp eq i64 %tmp4, 0
  31   br i1 %tobool, label %bb13, label %bb15
  32
  33 bb13:                                             ; preds = %bb2
  34 ; CHECK-LABEL: bb13:
  35 ; CHECK: %tmp8.le = inttoptr
  36   %.lcssa7 = phi i32* [ %tmp8, %bb2 ]
  37   call void @__msan_warning_noreturn()
  38   unreachable
  39
  40 bb15:                                             ; preds = %bb2
  41   br i1 %tobool, label %while.end, label %while.cond
  42
  43 while.end:                                        ; preds = %bb15
  44   ret void
  45
  46 indirectgoto:                                     ; preds = %indirectgoto, %entry
  47   indirectbr i8* null, [label %indirectgoto, label %while.cond]
  48 }
  49
  50 declare void @__msan_warning_noreturn()