| ; RUN: opt %loadPolly -polly-ignore-aliasing -polly-invariant-load-hoisting=true -polly-scops -analyze < %s | FileCheck %s |
| ; RUN: opt %loadPolly -polly-ignore-aliasing -polly-invariant-load-hoisting=true -polly-codegen -analyze < %s |
| ; |
| ; %tmp is added to the list of required hoists by -polly-scops and just |
| ; assumed to be hoisted. Only -polly-scops recognizes it to be unhoistable |
| ; because ir depends on %call which cannot be executed speculatively. |
| ; |
| ; CHECK-NOT: Invariant Accesses: |
| ; |
| target datalayout = "e-m:e-i64:64-f80:128-n8:16:32:64-S128" |
| |
| ; Function Attrs: nounwind uwtable |
| define void @cli_hex2int() { |
| entry: |
| br label %if.end |
| |
| if.end: ; preds = %entry |
| %call = call i16** @__ctype_b_loc() #0 |
| %tmp = load i16*, i16** %call, align 8 |
| %arrayidx = getelementptr inbounds i16, i16* %tmp, i64 0 |
| %tmp1 = load i16, i16* %arrayidx, align 2 |
| store i16 3, i16 *%arrayidx, align 2 |
| br i1 false, label %if.then.2, label %if.end.3 |
| |
| if.then.2: ; preds = %if.end |
| br label %cleanup |
| |
| if.end.3: ; preds = %if.end |
| br label %cleanup |
| |
| cleanup: ; preds = %if.end.3, %if.then.2 |
| ret void |
| } |
| |
| ; Function Attrs: nounwind readnone |
| declare i16** @__ctype_b_loc() #0 |
| |
| attributes #0 = { nounwind readnone } |
