1; RUN: opt < %s -basicaa -basicaa-recphi=1 -gvn -S | FileCheck %s 2; 3; Check that section->word_ofs doesn't get reloaded in every iteration of the 4; for loop. 5; 6; Code: 7; 8; typedef struct { 9; unsigned num_words; 10; unsigned word_ofs; 11; const unsigned *data; 12; } section_t; 13; 14; 15; void test2(const section_t * restrict section, unsigned * restrict dst) {; 16; while (section->data != NULL) { 17; const unsigned *src = section->data; 18; for (unsigned i=0; i < section->num_words; ++i) { 19; dst[section->word_ofs + i] = src[i]; 20; } 21; 22; ++section; 23; } 24; } 25; 26 27; CHECK-LABEL: for.body: 28; CHECK-NOT: load i32, i32* %word_ofs 29 30%struct.section_t = type { i32, i32, i32* } 31 32define void @test2(%struct.section_t* noalias nocapture readonly %section, i32* noalias nocapture %dst) { 33entry: 34 %data13 = getelementptr inbounds %struct.section_t, %struct.section_t* %section, i32 0, i32 2 35 %0 = load i32*, i32** %data13, align 4 36 %cmp14 = icmp eq i32* %0, null 37 br i1 %cmp14, label %while.end, label %for.cond.preheader 38 39for.cond.preheader: ; preds = %entry, %for.end 40 %1 = phi i32* [ %6, %for.end ], [ %0, %entry ] 41 %section.addr.015 = phi %struct.section_t* [ %incdec.ptr, %for.end ], [ %section, %entry ] 42 %num_words = getelementptr inbounds %struct.section_t, %struct.section_t* %section.addr.015, i32 0, i32 0 43 %2 = load i32, i32* %num_words, align 4 44 %cmp211 = icmp eq i32 %2, 0 45 br i1 %cmp211, label %for.end, label %for.body.lr.ph 46 47for.body.lr.ph: ; preds = %for.cond.preheader 48 %word_ofs = getelementptr inbounds %struct.section_t, %struct.section_t* %section.addr.015, i32 0, i32 1 49 br label %for.body 50 51for.body: ; preds = %for.body.lr.ph, %for.body 52 %arrayidx.phi = phi i32* [ %1, %for.body.lr.ph ], [ %arrayidx.inc, %for.body ] 53 %i.012 = phi i32 [ 0, %for.body.lr.ph ], [ %inc, %for.body ] 54 %3 = load i32, i32* %arrayidx.phi, align 4 55 %4 = load i32, i32* %word_ofs, align 4 56 %add = add i32 %4, %i.012 57 %arrayidx3 = getelementptr inbounds i32, i32* %dst, i32 %add 58 store i32 %3, i32* %arrayidx3, align 4 59 %inc = add i32 %i.012, 1 60 %5 = load i32, i32* %num_words, align 4 61 %cmp2 = icmp ult i32 %inc, %5 62 %arrayidx.inc = getelementptr i32, i32* %arrayidx.phi, i32 1 63 br i1 %cmp2, label %for.body, label %for.end 64 65for.end: ; preds = %for.body, %for.cond.preheader 66 %incdec.ptr = getelementptr inbounds %struct.section_t, %struct.section_t* %section.addr.015, i32 1 67 %data = getelementptr inbounds %struct.section_t, %struct.section_t* %section.addr.015, i32 1, i32 2 68 %6 = load i32*, i32** %data, align 4 69 %cmp = icmp eq i32* %6, null 70 br i1 %cmp, label %while.end, label %for.cond.preheader 71 72while.end: ; preds = %for.end, %entry 73 ret void 74} 75 76