• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1; RUN: opt -S -licm %s | FileCheck %s
2; ModuleID = '../pr23608.ll'
3target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
4target 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
11define void @fn1() {
12entry:
13  br label %indirectgoto
14
15while.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
22bb:                                               ; preds = %while.cond
23  call void @__msan_warning_noreturn()
24  unreachable
25
26bb2:                                              ; 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
33bb13:                                             ; 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
40bb15:                                             ; preds = %bb2
41  br i1 %tobool, label %while.end, label %while.cond
42
43while.end:                                        ; preds = %bb15
44  ret void
45
46indirectgoto:                                     ; preds = %indirectgoto, %entry
47  indirectbr i8* null, [label %indirectgoto, label %while.cond]
48}
49
50declare void @__msan_warning_noreturn()
51