1; RUN: opt %loadNPMPolly -polly-stmt-granularity=bb "-passes=scop(print<polly-simplify>)" -disable-output -aa-pipeline=basic-aa < %s | FileCheck %s -match-full-lines 2; 3; Remove a dead instruction 4; (an instruction whose result is not used anywhere) 5; 6; for (int j = 0; j < n; j += 1) { 7; double val = 21.0 + 21.0; 8; A[0] = 42.0; 9; } 10; 11define void @func(i32 %n, ptr noalias nonnull %A) { 12entry: 13 br label %for 14 15for: 16 %j = phi i32 [0, %entry], [%j.inc, %inc] 17 %j.cmp = icmp slt i32 %j, %n 18 br i1 %j.cmp, label %body, label %exit 19 20 body: 21 %val = fadd double 21.0, 21.0 22 store double 42.0, ptr %A 23 br label %inc 24 25inc: 26 %j.inc = add nuw nsw i32 %j, 1 27 br label %for 28 29exit: 30 br label %return 31 32return: 33 ret void 34} 35 36 37; CHECK: Statistics { 38; CHECK: Dead instructions removed: 1 39; CHECK: } 40