1; RUN: opt < %s -sccp -S | FileCheck %s 2 3; Test that SCCP has basic knowledge of when div can nuke overdefined values. 4 5; 0 / X = 0 even if X is overdefined. 6; CHECK-LABEL: test1 7; CHECK-NEXT: ret i32 0 8define i32 @test1(i32 %foo) { 9 %tinkywinky = udiv i32 0, %foo 10 ret i32 %tinkywinky 11} 12 13; CHECK-LABEL: test2 14; CHECK-NEXT: ret i32 0 15define i32 @test2(i32 %foo) { 16 %tinkywinky = sdiv i32 0, %foo 17 ret i32 %tinkywinky 18} 19 20; CHECK-LABEL: test3 21; CHECK: ret i32 %tinkywinky 22define i32 @test3(i32 %foo) { 23 %tinkywinky = udiv i32 %foo, 0 24 ret i32 %tinkywinky 25} 26 27; CHECK-LABEL: test4 28; CHECK: ret i32 %tinkywinky 29define i32 @test4(i32 %foo) { 30 %tinkywinky = sdiv i32 %foo, 0 31 ret i32 %tinkywinky 32} 33