test/ScopInfo/invariant_load_zextended_in_own_execution_context.ll

   1 ; RUN: opt %loadPolly -polly-scops -polly-invariant-load-hoisting=true -analyze < %s | FileCheck %s
   2 ; RUN: opt %loadPolly -polly-codegen -polly-invariant-load-hoisting=true -analyze < %s
   3 ;
   4 ; CHECK: Execution Context: [p_0_loaded_from_currpc] -> {  :  }
   5 ;
   6 target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128"
   7
   8 @currpc = external global i32, align 4
   9 @inbuff = external global i8*, align 8
  10
  11 ; Function Attrs: uwtable
  12 define void @_Z13dotableswitchP9Classfile() {
  13 entry:
  14   br i1 undef, label %for.end, label %while.body
  15
  16 while.body:                                       ; preds = %while.body, %entry
  17   store i8* undef, i8** @inbuff, align 8
  18   %0 = load i32, i32* @currpc, align 4
  19   %rem = and i32 %0, 3
  20   %tobool = icmp eq i32 %rem, 0
  21   br i1 %tobool, label %while.end, label %while.body
  22
  23 while.end:                                        ; preds = %while.body
  24   br i1 undef, label %for.end, label %for.body
  25
  26 for.body:                                         ; preds = %for.body, %while.end
  27   br label %for.body
  28
  29 for.end:                                          ; preds = %while.end, %entry
  30   ret void
  31 }